Jump to content

Завершение кольца

(Перенаправлено с Полное локальное кольцо )

В абстрактной алгебре пополнение это любой из нескольких связанных функторов на кольцах и модулях , которые приводят к полным топологическим кольцам и модулям . Завершение похоже на локализацию , и вместе они являются одними из самых основных инструментов анализа коммутативных колец . Полные коммутативные кольца имеют более простое строение, чем общие, и лемма Гензеля к ним применима . В алгебраической геометрии пополнение кольца функций 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 -алгебры , существует изоморфизм
для некоторого n и некоторого идеала I (Эйзенбуд, теорема 7.7).

См. также

[ редактировать ]
  1. ^ «Проект Stacks — Тег 0316» . stacks.math.columbia.edu . Проверено 14 января 2017 г.
  2. ^ Атья и Макдональд 1969 , Теорема 10.26.
  3. ^ Атья и Макдональд 1969 , Предложение 10.16. и теорема 10.26.
  4. ^ Атья и Макдональд 1969 , Предложение 10.14.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: f19c559d5e4d1213a488a49744b42e52__1715181900
URL1:https://arc.ask3.ru/arc/aa/f1/52/f19c559d5e4d1213a488a49744b42e52.html
Заголовок, (Title) документа по адресу, URL1:
Completion of a ring - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)