Пусть Ф – ссоциативное коммутативное кольцо с единицей, содержащее

. Рассматривается гомотоп алгебры Новикова, т.е. алгебра

, полученная из алгебры Новикова

посредством производной операции

на Ф-модуле

, где отображение

удовлетворяет равенству

, и находятся условия, при которых гомотоп алгебры Новикова снова является алгеброй Новикова.