Целостное расширение

Целостное расширение — это расширение кольца, в котором каждый элемент удовлетворяет унитарному многочлену над подкольцом, обобщая алгебраические расширения полей и контролируя взаимосвязь между простыми идеалами в кольцах.

Definition

Элемент расширения кольца является целостным над подкольцом, если он является корнем унитарного многочлена с коэффициентами из подкольца; расширение является целостным, когда каждый элемент целостен, а целостное замыкание — это множество всех таких элементов.

Scope

Эта тема охватывает целостные элементы и целостную зависимость, целостное замыкание кольца в расширении и нормальные кольца, теоремы о лежании над, подъеме и спуске, а также нормализацию Нётер — структурные результаты, лежащие в основе теории размерности.

Core questions

• Что означает, что один элемент кольца является целостным над подкольцом?
• Что такое целостное замыкание и когда кольцо является нормальным?
• Как простые идеалы поднимаются и опускаются вдоль целостного расширения?
• Как нормализация Нётер представляет алгебру как конечное расширение кольца многочленов?

Key theories

Целостное замыкание и нормальность

Элементы, целостные над подкольцом, образуют подкольцо, называемое целостным замыканием, а область, равная своему собственному целостному замыканию в своем поле частных, называется целостно замкнутой или нормальной, что является ключевым условием регулярности.

Теоремы о лежании над и подъеме

Для целостного расширения каждый простой идеал подкольца является сужением простого идеала расширения (лежание над), и цепочки простых идеалов поднимаются совместимым образом (подъем), так что спектры простых идеалов двух колец тесно связаны.

Нормализация Нётер

Каждая конечно порожденная алгебра над полем является конечным, следовательно, целостным модулем над подкольцом многочленов от алгебраически независимых элементов, что является алгебраическим ядром теории размерности и геометрии аффинных многообразий.

Clinical relevance

Целостные расширения занимают центральное место в алгебраической теории чисел, где кольцо целых чисел числового поля является целостным замыканием целых чисел, и в алгебраической геометрии, где нормализация Нётер и теорема о подъеме лежат в основе теории размерности и поведения конечных морфизмов между многообразиями.

History

Целостная зависимость абстрагирует алгебраические целые числа теории чисел, изученные Дедекиндом. Лемма о нормализации Эмми Нётер и работы Крулля в 1920-х и 1930-х годах сделали целостные расширения основой теории размерности, позднее геометрически интерпретированной Зарисским и Гротендиком.

Key figures

• Emmy Noether
• Wolfgang Krull
• David Hilbert
• Oscar Zariski

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Как целостное расширение обобщает алгебраическое расширение поля?

Над полем «целостный» и «алгебраический» означают одно и то же, потому что унитарные и произвольные ненулевые многочлены отличаются только единицей. Над общим кольцом условие унитарности существенно, оно охватывает элементы, которые ведут себя как алгебраические целые числа.

Почему важна нормализация Нётер?

Она представляет любую конечно порожденную алгебру над полем как конечное расширение кольца многочленов, поэтому ее размерность равна числу переменных многочлена. Это обосновывает всю теорию размерности аффинных многообразий на основе конкретной конструкции.