posic | Насколько контрамодули сложнее комодулей

Препринт, который я сегодня послал в Архив, может служить иллюстрацией того, насколько сложнее иметь дело с контрамодулями, чем с комодулями. Разница очень ощутимая. А один из предудущих препринтов (второй январский, доработанный в июле) показывает, что если приглядеться поглубже, то разница растворяется. Там просто сдвиг по гомологической размерности. Сложные явления, ощутимые на уровне гомоморфизмов контрамодулей, проявляются в комодулях при рассмотрении функтора Ext¹, и т.д.