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

[posic]

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

Comments

Re: pochemu ?

[posic.livejournal.com]

Или, лучше сказать, подкоалгебры в коалгебрах соответствуют факторалгебрам алгебр. Подкоалгебра с базисом 1,x,...,x^n в коалгебре многочленов от x соответствует факторалгебре k[[y]]/(y^{n+1}) алгебры k[[y]].

Re: pochemu ?

[piont.livejournal.com]

Spasibo!