posic

Это у меня будет основное техническое понятие для вычисления некоторых модулей Ext. С контравариантной F-системой связан дискретный правый R-модуль, с ковариантной F-системой связан левый R-контрамодуль, а с псевдо-F-системой связан просто R-модуль. Левый или правый, смотря по тому, ковариантная она или контравариантная.

Здесь буква F обозначает, конечно, фильтр правых идеалов, а не то, что вы подумали.

(Ну, не умею я красивые термины выдумывать, что ж теперь поделать. У меня еще "контрамодульные модули" иногда встречаются. И копроективные комодули, конечно, как же без них.)