Если C -- коалгебра, то сама C -- это комодуль над C, а двойственное к ней векторное пространство C^* -- это контрамодуль над C. Распределения, сосредоточенные в точке -- это комодуль, а формальные степенные ряды -- это контрамодуль. Дальнейшие примеры здесь.
Вот ещё: в категории комодулей есть инъективные объекты, а в категории контрамодулей есть проективные объекты. От комодулей хорошо брать прямую сумму, а от контрамодулей хорошо брать прямое произведение. Всякий C-комодуль является объединением конечномерных комодулей над конечномерными подкоалгебрами C, но не всякий C-контрамодуль является проективным пределом каких-либо контрамодулей над конечномерными подкоалгебрами C.
Да, я слова и сейчас понимаю. Но лет 30 назад оно для меня все было вполне живым и жутко интересным, и я сам мог что-то с этим делать (ну, насколько теорфизик это может).
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2006-05-10 03:57 pm (UTC)no subject
Date: 2006-05-10 04:24 pm (UTC)привет
Date: 2006-05-10 04:10 pm (UTC)Re: привет
Date: 2006-05-10 04:15 pm (UTC)Re: привет
Date: 2006-05-10 04:41 pm (UTC)Re: привет
Date: 2006-05-10 04:54 pm (UTC)спасибо
Date: 2006-05-10 05:09 pm (UTC)Re: спасибо
Date: 2006-05-10 05:53 pm (UTC)no subject
Date: 2006-05-10 07:53 pm (UTC)no subject
Date: 2006-05-10 10:25 pm (UTC)no subject
Date: 2006-05-11 07:51 am (UTC)no subject
Date: 2006-05-11 08:07 am (UTC)no subject
Date: 2006-05-11 08:39 am (UTC)