![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Придумал термин "псевдо-F-система"
Это у меня будет основное техническое понятие для вычисления некоторых модулей Ext. С контравариантной F-системой связан дискретный правый R-модуль, с ковариантной F-системой связан левый R-контрамодуль, а с псевдо-F-системой связан просто R-модуль. Левый или правый, смотря по тому, ковариантная она или контравариантная.
Здесь буква F обозначает, конечно, фильтр правых идеалов, а не то, что вы подумали.
(Ну, не умею я красивые термины выдумывать, что ж теперь поделать. У меня еще "контрамодульные модули" иногда встречаются. И копроективные комодули, конечно, как же без них.)
Здесь буква F обозначает, конечно, фильтр правых идеалов, а не то, что вы подумали.
(Ну, не умею я красивые термины выдумывать, что ж теперь поделать. У меня еще "контрамодульные модули" иногда встречаются. И копроективные комодули, конечно, как же без них.)
no subject