Работа над ошибками

[posic]

Ограничение скаляров для контрамодулей не коммутирует с бесконечными прямыми суммами. В том числе, ограничение на кольцо с факторкольца. Ограничение скаляров для контрамодулей не коммутирует с бесконечными прямыми суммами. В том числе, ограничение на кольцо с факторкольца. (Повторить 10 раз.)

Между тем, мне кажется, ограничение скаляров на кольцо с факторкольца коммутирует с бесконечными произведениями комодулей. Более того, у этого функтора есть сопряженный слева. Потому что дискретный модуль можно профакторизовать по действию идеала, хоть это и не очень правильно.

А вот максимальный подконтрамодуль, аннулируемый идеалом, не существует. Потому что структура контрамодуля есть некая бесконечноместная операция.