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

[posic]

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

Comments

[xvoid.livejournal.com]

Фигня, теория множеств лучше, разве забудешь красоту: Гомоморфный образ группы изоморфен фактор-группе по ядру гомоморфизма.

[posic.livejournal.com]

Теорема о гомоморфизме -- это алгебра, а не теория множеств :)

[xvoid.livejournal.com]

Точно, виноват :-) , для меня это пять жизней назад, группы, кольца, поля...