Другие новости от posic.livejournal.com
Реклама на проекте
... и ее применение к конструкциям плоской и т.п. теорий кокручения в категориях контрамодулей
Thursday, 15 October, 00:10,
posic.livejournal.com
Тогда класс F всех плоских левых контрамодулей над топологическим кольцом R = lim Rn, редукции которых до Rn-модулей принадлежат Fn, является левой стороной полной наследственной теории кокручения на абелевой категории левых R-контрамодулей.
Доказательство основывается на следующих сообращениях:
1. Будем называть Rn-модулями Fn-кручения левые Rn-модули, Ext1-перпендикулярные к модулям из класса Fn (заметим, что всякий Rn-модуль Fn-кокручения является одновременно Rn+1-модулем Fn+1-кокручения; обратное не утверждается). Проверяется, что все Rn-модули Fn-кокручения, рассматриваемые как левые R-контрамодули, Ext1-перпендикулярны справа к классу F.
2. Всякий левый R-контрамодуль, перпендикулярный слева ко всем инъективным левым Rn-модулям, рассматриваемым как левые R-контрамодули, для всех n, -- является проективным пределом своих редукций до Rn-модулей. Левый R-контрамодуль перпендикулярен слева ко всем Rn-модулям Fn-кокручения тогда и только тогда, когда он принадлежит к классу F.
3. Функторы редукции R-контрамодулей до Rn-модулей, будучи левыми сопряженными функторами, коммутируют с индуктивными пределами. Индуктивный предел цепочки плоских R-контрамодулей, занумерованных вполне упорядоченным множеством индексов, с плоскими факторконтрамодулями каждого контрамодуля в цепочке по индуктивному пределу предыдущих, является плоским R-контрамодулем. Индуктивные пределы начальных отрезков такой цепочки являются подконтрамодулями индуктивного предела всей цепочки с плоским факторконтрамодулем, изоморфным индуктивному пределу факторконтрамодулей контрамодулей из остатка (конечного отрезка) цепочки по индуктивному пределу начального отрезка. В этом смысле можно говорить о трансфинитно-итерированных расширениях плоских R-контрамодулей.
4. Класс левых R-контрамодулей F "деконструируем": он состоит в точности из трансфинитно-итерированных расширений контрамодулей этого класса с мощностью, ограниченной достаточно большим кардиналом.
5. Всякий левый R-контрамодуль, являющийся проективным пределом своих редукций до Rn-модулей, можно вложить в левый R-контрамодуль, перпендикулярный справа ко всем R-контрамодулям из класса F (очевидное следствие пункта 1). Согласно пункту 4 и основной теореме из предыдущего постинга, отсюда можно заключить, что такой R-контрамодуль можно вложить в R-контрамодуль, перпендикулярный справа к классу F, с коядром из класса F.
6. Свободные левые R-контрамодули принадлежат к классу F. Подконтрамодули свободных R-контрамодулей являются проективными пределами своих редукций до Rn-контрамодулей. Согласно лемме Салче (или ее доказательству), отсюда следует, что всякий левый R-контрамодуль можно представить как факторконтрамодуль контрамодуля из класса F по подконтрамодулю из перпендикулярного справа класса.
7. Класс левых R-контрамодулей F (содержит свободные контрамодули и) замкнут относительно операции перехода к ядру сюръективного морфизма. Поэтому ортогональный к нему справа класс замкнут относительно операции перехода к коядру вложения. Согласно пункту 6, всякий левый R-контрамодуль можно представить как факторконтрамодуль контрамодуля из класса F по подконтрамодулю из перпендикулярного класса; согласно пункту 5, всякий контрамодуль из класса F можно вложить в контрамодуль из перпендикулярного класса так, чтобы факторконтрамодуль принадлежал к классу F. Согласно "лемме Салче для бедных" 9.1.2 из полубесконечной книжки, отсюда следует, что всякий левый R-контрамодуль можно вложить в R-контрамодуль, перпендикулярный справа к классу F, с коядром из класса F.
P.S. Все условия плоскости в этих рассуждениях можно заменить на условия "плоскости применительно к проективной системе колец": вместо "плоских левых Rn-модулей", можно говорить о левых Rn-модулях, у которых зануляются все высшие группы Tor с кольцом/модулем Rn−1 над Rn. Последнее условие, однако, похоже, зависит от способа представления топологического кольца R в виде проективной системы его дискретных факторколец Rn.
Комментарии (0)