В абстрактной алгебре , завершение является одной из нескольких связанных функторов на кольцах и модулях , которые приводят в полных топологических кольцах и модулях . Завершение похоже на локализацию , и вместе они являются одними из самых основных инструментов при анализе коммутативных колец . Полные коммутативные кольца имеют более простую структуру, чем общие, и к ним применима лемма Гензеля . В алгебраической геометрии пополнение кольца функций R на пространстве X концентрируется на формальной окрестноститочки X : эвристически это настолько малая окрестность, что все ряды Тейлора с центром в точке сходятся. Алгебраическое завершение строится способом , аналогичное завершение в виде метрического пространства с последовательностями Коши , и соглашается с этим в случае , если R имеет метрику задается неархимедовом абсолютного значения .
Общая конструкция
Предположим, что E - абелева группа с убывающей фильтрацией
подгрупп. Затем определяется завершение (относительно фильтрации) как обратный предел :
Это снова абелева группа. Обычно E - аддитивная абелева группа. Если E имеет дополнительную алгебраическую структуру, совместимую с фильтрацией, например E - фильтрованное кольцо , фильтрованный модуль или фильтрованное векторное пространство , то его завершение снова является объектом с той же структурой, которая завершена в топологии, определяемой фильтрацией. . Эта конструкция может применяться как к коммутативным, так и к некоммутативным кольцам . Как и следовало ожидать, когда пересечениеравен нулю, это дает полное топологическое кольцо .
Топология Крулля
В коммутативной алгебре , фильтрация на коммутативное кольцо R по степеням правильного идеала Я определяет топологию Крулля (после того, как Wolfgang Крулля ) или I -адической топологии на R . Случай максимального идеала особенно важен, например, выделенный максимальный идеал оценочного кольца . Основой открытых окрестностей 0 в R даются полномочиями I п , которые вложены и образуют убывающую фильтрацию на R :
(Открытые окрестности любого г ∈ R задаются смежности г + I п .) Завершение является обратным пределом из фактор - колец ,
произносится "RI шляпа". Ядро канонического отображения П от кольца до его завершения является пересечением полномочий I . Таким образом, π инъективно тогда и только тогда, когда это пересечение сводится к нулевому элементу кольца; по теореме Крулля о пересечении это случай любого коммутативного нётерова кольца, которое является либо областью целостности, либо локальным кольцом .
Существует родственная топология на R - модулях, называемых также Krull или я - адическая топология . Базисом открытых окрестностей модуля M служат множества вида
Пополнение R -модуля M является обратным пределом частных
Эта процедура превращает любой модуль над R в полный топологический модуль над.
Примеры
- Кольцо целых p -адических чисел получается завершением кольца целых чисел в идеале ( p ).
- Пусть Р = К [ х 1 , ..., х п ] быть кольцо многочленов в п переменных над полем К и- максимальный идеал, порожденный переменными. Тогда завершениеэто кольцо К [[ х 1 , ..., х п ]] из формальных степенных рядов в п переменных над K .
- Учитывая нётерское кольцо и идеал в -адическое завершение является изображением кольца формальных степенных рядов, а именно изображением сюръекции [1]
- Ядро идеальное
Пополнения также могут быть использованы для анализа локальной структуры особенностей одного схемы . Например, аффинные схемы, связанные си узловая кубическая плоская кривая имеют похожие особенности в начале координат при просмотре их графиков (оба выглядят как знак плюса). Обратите внимание, что во втором случае любая окрестность начала координат Зарисского по-прежнему является неприводимой кривой. Если мы используем завершения, то мы смотрим на «достаточно маленькую» окрестность, где узел состоит из двух компонентов. Взяв локализации этих колец по идеалу и завершение дает а также соответственно, где является формальным квадратным корнем из в Более точно, степенной ряд:
Поскольку оба кольца задаются пересечением двух идеалов, порожденных однородным многочленом степени 1, мы можем алгебраически увидеть, что особенности «выглядят» одинаково. Это связано с тем, что такая схема представляет собой объединение двух неравных линейных подпространств аффинной плоскости.
Характеристики
1. Пополнение - это функториальная операция: непрерывное отображение топологических колец f : R → S порождает отображение их пополнений,
Более того, если M и N - два модуля над одним топологическим кольцом R и f : M → N - непрерывное отображение модулей, то f однозначно продолжается до отображения пополнений:
где модули над
2. завершение нётерова кольца R представляет собой плоский модуль над R .
3. Пополнение конечно порожденного модуля M над нётеровым кольцом R может быть получено расширением скаляров :
Вместе с предыдущим свойством это означает, что функтор пополнения конечно порожденных R -модулей точен : он сохраняет короткие точные последовательности . В частности, факторизация колец коммутирует с пополнением, что означает, что для любой факторной R -алгебры, существует изоморфизм
4. Структурная теорема Коэна (равнохарактерный случай). Пусть R - полное локальное нётерово коммутативное кольцо с максимальным идеаломи поле вычетов К . Если R содержит поле, то
для некоторого n и некоторого идеала I (Эйзенбуд, теорема 7.7).
Смотрите также
- Формальная схема
- Бесконечное целое число
- Локально компактное поле
- Кольцо Зарисского
- Линейная топология
- Квази-несмешанное кольцо
Рекомендации
- ^ "Stacks Project - Tag 0316" . stacks.math.columbia.edu . Проверено 14 января 2017 .
- Дэвид Эйзенбуд , Коммутативная алгебра. С прицелом на алгебраическую геометрию . Тексты для выпускников по математике , 150. Springer-Verlag, New York, 1995. xvi + 785 с. ISBN 0-387-94268-8 ; ISBN 0-387-94269-6 MR1322960
- Fujiwara, K .; Gabber, O .; Като Ф .: « О хаусдорфовых пополнениях коммутативных колец в жесткой геометрии ». Журнал алгебры , 322 (2011), 293–321.