Завершение кольца
В абстрактной алгебре пополнение — это любой из нескольких связанных функторов на кольцах и модулях , которые приводят к полным топологическим кольцам и модулям . Завершение похоже на локализацию , и вместе они являются одними из самых основных инструментов анализа коммутативных колец . Полные коммутативные кольца имеют более простое строение, чем общие, и лемма Гензеля к ним применима . В алгебраической геометрии пополнение кольца функций R в пространстве X концентрируется на формальной окрестности точки X : эвристически это настолько маленькая окрестность, что все ряды Тейлора с центром в этой точке сходятся. Алгебраическое пополнение строится аналогично пополнению метрического пространства последовательностями Коши и согласуется с ним в случае, когда R имеет метрику, заданную неархимедовым абсолютным значением .
Общее строительство
[ редактировать ]Предположим, что E — абелева группа с убывающей фильтрацией
подгрупп. Затем пополнение (по отношению к фильтрации) определяется как обратный предел :
Это снова абелева группа. Обычно E — аддитивная абелева группа. Если E имеет дополнительную алгебраическую структуру, совместимую с фильтрацией, например E — фильтрованное кольцо , фильтрованный модуль или фильтрованное векторное пространство , то его пополнение снова является объектом с той же структурой, полным в топологии, определяемой фильтрацией. . Эту конструкцию можно применить как к коммутативным , так и к некоммутативным кольцам . Как и следовало ожидать, при пересечении равно нулю, это дает полное топологическое кольцо .
Топология Крулла
[ редактировать ]В коммутативной алгебре фильтрация на коммутативном кольце R степеням собственного идеала I определяет Крулля (по Вольфгангу Круллю ) или I - адическую топологию на R. по Случай максимального идеала особенно важен, например, выделенный максимальный идеал кольца нормирования . Базис открытых окрестностей 0 в R задается степенями I н , которые вложены и образуют нисходящую фильтрацию на R :
(Открытые окрестности любого r ∈ R задаются классами r + I н ) ( I -адическое) пополнение есть обратный предел факторкольца . ,
произносится как «шляпа РИ». Ядро канонического отображения π от кольца до его пополнения есть пересечение степеней I . Таким образом, π инъективно тогда и только тогда, когда это пересечение сводится к нулевому элементу кольца; по теореме Крулля о пересечении это справедливо для любого коммутативного нётерова кольца , которое является областью целостности или локальным кольцом .
Существует родственная топология R - модулей , также называемая Круллом или I -адической топологией. Базис открытых окрестностей модуля M задается множествами вида
-адическое I пополнение R -модуля M есть обратный предел частных
Эта процедура преобразует любой модуль над R в полный топологический модуль над . [это вообще неправильно! Это так только в том случае, если идеал конечно порожден.]
Примеры
[ редактировать ]- Кольцо p -адических целых чисел получается путем завершения кольца целых чисел в идеале ( p ).
- Пусть R = K [ x1 xn ,..., ] — кольцо многочленов от n переменных над полем K и — максимальный идеал, порожденный переменными. Тогда завершение — кольцо K [[ x 1 ,..., x n ]] формальных степенных рядов от n переменных над K .
- Учитывая нетерово кольцо и идеал тот -адическое завершение есть образ кольца формальных степенных рядов, а именно образ сюръекции [1]
- Ядро – идеальное
Пополнения можно использовать и для анализа локальной особенностей схемы структуры . Например, аффинные схемы, связанные с и узловая кубическая плоская кривая имеют схожие особенности в начале координат при просмотре их графиков (оба выглядят как знак плюса). Заметим, что во втором случае любая окрестность начала координат Зариского по-прежнему остается неприводимой кривой. Если мы используем дополнения, то мы рассматриваем «достаточно маленькую» окрестность, в которой узел имеет два компонента. Взяв локализации этих колец вдоль идеала и завершение дает и соответственно, где формальный квадратный корень из в Более явно, степенной ряд:
Поскольку оба кольца задаются пересечением двух идеалов, порожденных однородным многочленом степени 1, мы можем алгебраически видеть, что особенности «выглядят» одинаково. Это связано с тем, что такая схема представляет собой объединение двух неравных линейных подпространств аффинной плоскости.
Характеристики
[ редактировать ]- Пополнение нётерова кольца относительно некоторого идеала является нётеровым кольцом. [2]
- Пополнение нётерового локального кольца относительно единственного максимального идеала является нётеровым локальным кольцом. [3]
- Пополнение является функториальной операцией: непрерывное отображение f : R → S топологических колец порождает отображение их пополнений,
- Более того, если M и N — два модуля над одним и тем же топологическим кольцом R и f : M → N — непрерывное отображение модулей, то f однозначно продолжается до отображения пополнений:
- где модули закончились
- Пополнение нетерова кольца R это плоский модуль над R. — [4]
- Пополнение конечно порожденного модуля M над нётеровым кольцом R можно получить расширением скаляров :
- Вместе с предыдущим свойством это означает, что функтор пополнения на конечно порожденных R -модулях точен : он сохраняет короткие точные последовательности . В частности, факторизация колец коммутирует с пополнением, а это означает, что для любой фактор R -алгебры , существует изоморфизм
- Структурная теорема Коэна (равнохарактеристический случай). Пусть R — полное локальное нётерово коммутативное кольцо с максимальным идеалом и поле вычетов K . Если R содержит поле, то
- для некоторого n и некоторого идеала I (Эйзенбуд, теорема 7.7).
См. также
[ редактировать ]- Формальная схема
- Проконечное целое число
- Локально компактное поле
- Кольцо Зариского
- Линейная топология
- Квазинесмешанное кольцо
Цитаты
[ редактировать ]- ^ «Проект Stacks — Тег 0316» . stacks.math.columbia.edu . Проверено 14 января 2017 г.
- ^ Атья и Макдональд 1969 , Теорема 10.26.
- ^ Атья и Макдональд 1969 , Предложение 10.16. и теорема 10.26.
- ^ Атья и Макдональд 1969 , Предложение 10.14.
Ссылки
[ редактировать ]- Атья, Майкл Фрэнсис ; Макдональд, И.Г. (1969). Введение в коммутативную алгебру . Вествью Пресс. ISBN 978-0-201-40751-8 .
- Дэвид Эйзенбуд , Коммутативная алгебра. В целях алгебраической геометрии . Тексты для выпускников по математике , 150. Springer-Verlag, Нью-Йорк, 1995. xvi+785 стр. ISBN 0-387-94268-8 ; ISBN 0-387-94269-6 МР 1322960
- Фудзивара, Кадзухиро; Габбер, Офер ; Като, Фумихару (2011). «О хаусдорфовых пополнениях коммутативных колец в жесткой геометрии» . Журнал алгебры . 332 (1): 293–321. дои : 10.1016/j.jalgebra.2011.02.001 .