Лемма Накаямы для контрамодулей

[posic]

Если D -- конильпотентная коалгебра без коединицы (т.е. такая, что для любого d из D найдется i, такое что i-кратное итерированное коумножение от d равно нулю) и P -- контрамодуль над D, такой что отображение контрадействия Hom(D,P) -> P сюръективно, то P=0.

Comments

Re: liubopytno

[piont.livejournal.com]

Da, konechno! izvinite za glupyj vopros -- ne privyk k associativnym koalgebram...