для гомологической алгебры у меня возникают -- например, доказать, что квадрат некоторого дифференциала равен нулю. Обычно это легко. Эту я решил, но теперь следующая -- доказать, что некоторый изоморфизм коммутирует с дифференциалом. Не получается.
Проблемы возникают при переходе к квази-дифференциальным кокольцам. Для CDG- (=квази-дифференциальных) коалгебр проблем нет или не ожидается. Для обыкновенных (не квази-дифференциальных) коколец проблем тоже нет.
Здесь коалгебра = коалгебра над полем. Кокольцо = коалгебра над кольцом.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2008-07-15 11:59 am (UTC)no subject
Date: 2008-07-15 12:53 pm (UTC)no subject
Date: 2008-07-15 01:03 pm (UTC)Здесь коалгебра = коалгебра над полем. Кокольцо = коалгебра над кольцом.