Лемма Накаямы для контрамодулей
Jun. 7th, 2006 10:43 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicЕсли D -- конильпотентная коалгебра без коединицы (т.е. такая, что для любого d из D найдется i, такое что i-кратное итерированное коумножение от d равно нулю) и P -- контрамодуль над D, такой что отображение контрадействия Hom(D,P) -> P сюръективно, то P=0.
