Иногда от этого рождаются теоремы. Ну, или контрпримеры. Сходил я тут на один (местный семинар по алгебре в понедельник). Выступил на нем с замечанием к докладу докладчика. Пока вернулся к себе в институт, додумал его немножко. Это конструкция, использующая контрамодули. На выходе ее получается комплекс модулей над кольцом. Модули-то небольшие, да кольцо великовато. Написал е-мейл, разослал участникам семинара, поехал домой. Пока доехал до дома, придумал другую конструкцию, не использующую контрамодулей. Другой комплекс модулей над кольцом. Вот это по-настоящему ужасное и чудовищное кольцо! По-моему, с контрамодулями гораздо лучше. Но надо уметь ими пользоваться.
Upd.: Впрочем, модулями тоже надо уметь пользоваться. Если обратить стрелки в модульной (в смысле, не контрамодульной) версии конструкции, то получается очень даже миленько. Тут уже дело вкуса, лучше ли с контрамодулями или без них.
Upd.: Впрочем, модулями тоже надо уметь пользоваться. Если обратить стрелки в модульной (в смысле, не контрамодульной) версии конструкции, то получается очень даже миленько. Тут уже дело вкуса, лучше ли с контрамодулями или без них.