Пусть Ф – ссоциативное коммутативное кольцо с единицей, содержащее
![$\frac{1}{2}$](/math_tex/47d54de4e337a06266c0e1d22c9b417b82.gif)
. Рассматривается гомотоп алгебры Новикова, т.е. алгебра
![$A_{\varphi}$](/math_tex/aa14f58fe8f0af49b80aaa61b8f7029f82.gif)
, полученная из алгебры Новикова
![$A$](/math_tex/53d147e7f3fe6e47ee05b88b166bd3f682.gif)
посредством производной операции
![$x\cdot y=xy\varphi$](/math_tex/c3192a59acbbf351a84d36472083a3a882.gif)
на Ф-модуле
![$A$](/math_tex/53d147e7f3fe6e47ee05b88b166bd3f682.gif)
, где отображение
![$\varphi$](/math_tex/417a5301693b60807fa658e5ef9f953582.gif)
удовлетворяет равенству
![$xy\varphi=x(y\varphi )$](/math_tex/11bd5f3b52337a00084d74a4da03e2ff82.gif)
, и находятся условия, при которых гомотоп алгебры Новикова снова является алгеброй Новикова.