Работа над ошибками
Jan. 11th, 2012 03:47 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicОграничение скаляров для контрамодулей не коммутирует с бесконечными прямыми суммами. В том числе, ограничение на кольцо с факторкольца. Ограничение скаляров для контрамодулей не коммутирует с бесконечными прямыми суммами. В том числе, ограничение на кольцо с факторкольца. (Повторить 10 раз.)
Между тем, мне кажется, ограничение скаляров на кольцо с факторкольца коммутирует с бесконечными произведениями комодулей. Более того, у этого функтора есть сопряженный слева. Потому что дискретный модуль можно профакторизовать по действию идеала, хоть это и не очень правильно.
А вот максимальный подконтрамодуль, аннулируемый идеалом, не существует. Потому что структура контрамодуля есть некая бесконечноместная операция.
Между тем, мне кажется, ограничение скаляров на кольцо с факторкольца коммутирует с бесконечными произведениями комодулей. Более того, у этого функтора есть сопряженный слева. Потому что дискретный модуль можно профакторизовать по действию идеала, хоть это и не очень правильно.
А вот максимальный подконтрамодуль, аннулируемый идеалом, не существует. Потому что структура контрамодуля есть некая бесконечноместная операция.
