1-формы

[paha]

Niclax в сообщении #381237 писал(а):

Определение. Пусть $A$ - алгебра, $D(A,P)$ - дифференцирование $A$ со значениями в $A$-модуле $P$
Пространством форм над алгеброй $A$ называется такой модуль, обозначаемый $\Lambda^1(A)$, что $\exists\ d:A\to \Lambda^1(A)$, при этом
$D(A,P)\overset{\phi}{\cong}Hom_A(\Lambda^1(A),A)$(существует изоморфизм) для любого модуля$P$ и $D=\phi(D)\circ d$.

Это не определение. Повторюсь: "кто на ком стоял"? Где кванторы?