Уфф

[posic]

Доказал одну свою гипотезу про контрамодули 2002-го года. Другую опроверг.

Comments

Re: привет

[vdots.livejournal.com]

скорее не знаю - это надо себе как что примерно представлять? есть какой-то естественный пример, который надо держать в голове?

Re: привет

[posic.livejournal.com]

Если C -- коалгебра, то сама C -- это комодуль над C, а двойственное к ней векторное пространство C^* -- это контрамодуль над C. Распределения, сосредоточенные в точке -- это комодуль, а формальные степенные ряды -- это контрамодуль. Дальнейшие примеры здесь.

спасибо

[vdots.livejournal.com]

*ушёл думать* ;-)

Re: спасибо

[posic.livejournal.com]

Вот ещё: в категории комодулей есть инъективные объекты, а в категории контрамодулей есть проективные объекты. От комодулей хорошо брать прямую сумму, а от контрамодулей хорошо брать прямое произведение. Всякий C-комодуль является объединением конечномерных комодулей над конечномерными подкоалгебрами C, но не всякий C-контрамодуль является проективным пределом каких-либо контрамодулей над конечномерными подкоалгебрами C.