Неотъемлемый элемент

В коммутативной алгебре элемент b коммутативного кольца B называется целым над подкольцом A кольца B, если b является корнем некоторого монического многочлена над A. ^[1 ]

Если A , B — поля , то понятия «интеграл над» и «интегральное расширение» — это в точности « алгебраическое над» и « алгебраические расширения » в теории поля (поскольку корень любого многочлена является корнем монического многочлена).

Наибольший интерес в теории чисел представляет случай комплексных чисел, целых по Z (например, или ); в этом контексте целые элементы обычно называются алгебраическими целыми числами . Алгебраические целые числа в конечном поле расширения k рациональных чисел Q образуют подкольцо k , называемое кольцом целых чисел k , центральный объект изучения в алгебраической теории чисел .${\displaystyle {\sqrt {2}}}$${\displaystyle 1+i}$

В данной статье под термином « кольцо» будет пониматься коммутативное кольцо с мультипликативным тождеством.

Пусть будет кольцом и пусть будет подкольцом кольца. Элемент кольца называется целым над кольцом, если для некоторого кольца существует такое , что${\displaystyle Б}$${\displaystyle A\подмножество B}$${\displaystyle Б.}$${\displaystyle б}$${\displaystyle Б}$ ${\displaystyle А}$${\displaystyle n\geq 1,}$${\displaystyle a_{0},\ a_{1},\ \точки ,\ a_{n-1}}$${\displaystyle А}$$${\displaystyle b^{n}+a_{n-1}b^{n-1}+\cdots +a_{1}b+a_{0}=0.}$$

Множество элементов из , которые целы над , называется целым замыканием в . Целое замыкание любого подкольца в само по себе является подкольцом и содержит Если каждый элемент из целочислен над , то мы говорим, что цело над , или, что эквивалентно, является целым расширением${\displaystyle Б}$${\displaystyle А}$${\displaystyle А}$${\displaystyle Б.}$${\displaystyle А}$${\displaystyle Б}$${\displaystyle Б}$${\displaystyle А.}$${\displaystyle Б}$${\displaystyle А,}$${\displaystyle Б}$ ${\displaystyle А}$${\displaystyle Б}$${\displaystyle А.}$

Существует множество примеров интегрального замыкания, которые можно найти в алгебраической теории чисел, поскольку оно имеет основополагающее значение для определения кольца целых чисел для алгебраического расширения поля (или ).${\displaystyle К/\mathbb {Q} }$${\displaystyle L/\mathbb {Q} _{p}}$

Целые числа — единственные элементы Q , которые являются целыми над Z. Другими словами, Z — это целое замыкание Z в Q.

Гауссовы целые числа являются комплексными числами вида и являются целыми по Z . Тогда — это интегральное замыкание Z в . Обычно это кольцо обозначается .${\displaystyle a+b{\sqrt {-1}},\,a,b\in \mathbf {Z} }$${\displaystyle \mathbf {Z} [{\sqrt {-1}}]}$${\displaystyle \mathbf {Q} ({\sqrt {-1}})}$${\displaystyle {\mathcal {O}}_{\mathbb {Q} [i]}}$

Целочисленное замыкание Z в — это кольцо${\displaystyle \mathbf {Q} ({\sqrt {5}})}$

${\displaystyle {\mathcal {O}}_{\mathbb {Q} [{\sqrt {5}}]}=\mathbb {Z} \!\left[{\frac {1+{\sqrt {5}}}{2}}\right]}$

Этот пример и предыдущий являются примерами квадратичных целых чисел . Целочисленное замыкание квадратичного расширения можно найти, построив минимальный многочлен произвольного элемента и найдя теоретико-числовой критерий того, что многочлен имеет целые коэффициенты. Этот анализ можно найти в статье о квадратичных расширениях .${\displaystyle \mathbb {Q} ({\sqrt {d}})}$${\displaystyle a+b{\sqrt {d}}}$

Пусть ζ — корень из единицы . Тогда интегральное замыкание Z в круговом поле Q (ζ) равно Z [ζ]. ^[2] Это можно найти, используя минимальный многочлен и используя критерий Эйзенштейна .

Целочисленное замыкание Z в поле комплексных чисел C , или алгебраическое замыкание, называется кольцом целых алгебраических чисел .${\displaystyle {\overline {\mathbb {Q} }}}$

Корни из единицы , нильпотентные элементы и идемпотентные элементы в любом кольце целы над Z.

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

• Например, целочисленное замыкание есть кольцо , поскольку геометрически первое кольцо соответствует -плоскости, объединенной с -плоскостью. Они имеют особенность коразмерности 1 вдоль -оси, где они пересекаются.${\displaystyle \mathbb {C} [x,y,z]/(xy)}$${\displaystyle \mathbb {C} [x,z]\times \mathbb {C} [y,z]}$${\displaystyle xz}$${\displaystyle yz}$${\displaystyle z}$
• Пусть конечная группа G действует на кольце A. Тогда A цело над AG , множеством элементов, фиксированным ^G ; см. Кольцо инвариантов .
• Пусть R — кольцо, а u — единица в кольце, содержащем R. Тогда ^[3]

1. u ⁻¹ является целым над R тогда и только тогда, когда u ⁻¹ ∈ R [ u ].
2. ${\displaystyle R[u]\cap R[u^{-1}]}$является целым по R.
3. Целое замыкание однородного координатного кольца нормального проективного многообразия X есть кольцо сечений ^[4]

${\displaystyle \bigoplus _{n\geq 0}\operatorname {H} ^{0}(X,{\mathcal {O}}_{X}(n)).}$

• Если — алгебраическое замыкание поля k , то — целочисленное по${\displaystyle {\overline {k}}}$${\displaystyle {\overline {k}}[x_{1},\dots ,x_{n}]}$${\displaystyle k[x_{1},\dots ,x_{n}].}$
• Целое замыкание C [[ x ]] в конечном расширении C (( x )) имеет вид (ср. ряд Пюизе ) ^{[ необходима ссылка ]}${\displaystyle \mathbf {C} [[x^{1/n}]]}$

Пусть B — кольцо, а A — подкольцо B. Для элемента b из B следующие условия эквивалентны:

(i) b является целым по A ;

(ii) подкольцо A [ b ] кольца B, порожденное A и b, является конечно порожденным A -модулем ;

(iii) существует подкольцо C кольца B, содержащее A [ b ] и являющееся конечно порожденным A -модулем;

(iv) существует точный A [ b ]-модуль M, такой что M конечно порожден как A -модуль.

Обычное доказательство этого использует следующий вариант теоремы Кэли–Гамильтона об определителях :

Теорема Пусть u — эндоморфизм A -модуля M , порожденный n элементами, а I — идеал A такой , что . Тогда имеет место соотношение:${\displaystyle u(M)\subset IM}$

${\displaystyle u^{n}+a_{1}u^{n-1}+\cdots +a_{n-1}u+a_{n}=0,\,a_{i}\in I^{i}.}$

Эта теорема (с I = A и умножением u на b ) дает (iv) ⇒ (i), а остальное просто. По совпадению, лемма Накаямы также является непосредственным следствием этой теоремы.

Из приведенных выше четырех эквивалентных утверждений следует, что множество элементов , которые целы над , образует подкольцо , содержащее . (Доказательство: если x , y — элементы , которые целы над , то являются целыми над , поскольку они стабилизируют , который является конечно порожденным модулем над и аннулируется только нулем.) ^[5] Это кольцо называется целым замыканием в .${\displaystyle B}$${\displaystyle A}$${\displaystyle B}$${\displaystyle A}$${\displaystyle B}$${\displaystyle A}$${\displaystyle x+y,xy,-x}$${\displaystyle A}$${\displaystyle A[x]A[y]}$${\displaystyle A}$${\displaystyle A}$${\displaystyle B}$

Другим следствием приведенной выше эквивалентности является то, что «целостность» транзитивна в следующем смысле. Пусть будет кольцом, содержащим и . Если является целым над и целым над , то является целым над . В частности, если само является целым над и целым над , то также является целым над .${\displaystyle C}$${\displaystyle B}$${\displaystyle c\in C}$${\displaystyle c}$${\displaystyle B}$${\displaystyle B}$${\displaystyle A}$${\displaystyle c}$${\displaystyle A}$${\displaystyle C}$${\displaystyle B}$${\displaystyle B}$${\displaystyle A}$${\displaystyle C}$${\displaystyle A}$

Если является целочисленным замыканием в , то говорят, что A является целочисленно замкнутым в . Если является полным кольцом дробей , (например, поле дробей, когда является областью целостности ), то иногда опускают квалификацию «в » и просто говорят «целочисленное замыкание » и « является целочисленно замкнутым ». ^[6] Например, кольцо целых чисел является целочисленно замкнутым в поле .${\displaystyle A}$${\displaystyle A}$${\displaystyle B}$${\displaystyle B}$${\displaystyle B}$${\displaystyle A}$${\displaystyle A}$${\displaystyle B}$${\displaystyle A}$${\displaystyle A}$${\displaystyle {\mathcal {O}}_{K}}$${\displaystyle K}$

Пусть A — область целостности с полем дробей K , а A' — целочисленное замыкание A в алгебраическом расширении поля L поля K. Тогда поле дробей A' равно L. В частности, A' — целозамкнутая область .

Эта ситуация применима в алгебраической теории чисел при связывании кольца целых чисел и расширения поля. В частности, при заданном расширении поля интегральное замыкание в является кольцом целых чисел .${\displaystyle L/K}$${\displaystyle {\mathcal {O}}_{K}}$${\displaystyle L}$${\displaystyle {\mathcal {O}}_{L}}$

Обратите внимание, что транзитивность целочисленности выше подразумевает, что если является целым над , то является объединением (что эквивалентно индуктивному пределу ) подколец, которые являются конечно порожденными -модулями.${\displaystyle B}$${\displaystyle A}$${\displaystyle B}$${\displaystyle A}$

Если является нётеровым , транзитивность целочисленности можно ослабить до утверждения:${\displaystyle A}$

Существует конечно порождённый -подмодуль , содержащий .${\displaystyle A}$${\displaystyle B}$${\displaystyle A[b]}$

Наконец, предположение, что быть подкольцом может быть немного изменено. Если является гомоморфизмом колец , то говорят, что является целым, если является целым над . Точно так же говорят, что является конечным ( конечно порожденным -модулем) или имеет конечный тип ( конечно порожденная -алгебра ). С этой точки зрения, можно сказать, что${\displaystyle A}$${\displaystyle B}$${\displaystyle f:A\to B}$${\displaystyle f}$${\displaystyle B}$${\displaystyle f(A)}$${\displaystyle f}$${\displaystyle B}$${\displaystyle A}$${\displaystyle B}$${\displaystyle A}$

${\displaystyle f}$конечен тогда и только тогда, когда целочисленен и имеет конечный тип.${\displaystyle f}$

Или более конкретно,

${\displaystyle B}$является конечно порождённым -модулем тогда и только тогда, когда порождается как -алгебра конечным числом элементов, целых по .${\displaystyle A}$${\displaystyle B}$${\displaystyle A}$${\displaystyle A}$

Целочисленное расширение A  ⊆  B обладает свойством восхождения , свойством лежания и свойством несравнимости ( теоремы Коэна–Зейденберга ). Явно, если задана цепочка простых идеалов в A, то существует a в B с (восхождением и лежанием) и два различных простых идеала с отношением включения не могут стягиваться в один и тот же простой идеал (несравнимость). В частности, размерности Крулля A и B одинаковы. Более того, если A — целозамкнутая область, то имеет место свойство схождения (см. ниже).${\displaystyle {\mathfrak {p}}_{1}\subset \cdots \subset {\mathfrak {p}}_{n}}$${\displaystyle {\mathfrak {p}}'_{1}\subset \cdots \subset {\mathfrak {p}}'_{n}}$${\displaystyle {\mathfrak {p}}_{i}={\mathfrak {p}}'_{i}\cap A}$

В общем, подъем подразумевает лежание. ^[7] Таким образом, ниже мы просто говорим «подъем», имея в виду «подъем» и «лежание».

Когда A , B — области, такие, что B целочисленно над A , A является полем тогда и только тогда, когда B является полем. Как следствие , имеем: если задан простой идеал B , является максимальным идеалом B тогда и только тогда, когда является максимальным идеалом A. Другое следствие: если L / K — алгебраическое расширение, то любое подкольцо L, содержащее K , является полем.${\displaystyle {\mathfrak {q}}}$${\displaystyle {\mathfrak {q}}}$${\displaystyle {\mathfrak {q}}\cap A}$

Пусть B — кольцо, целостное над подкольцом A , а k — алгебраически замкнутое поле . Если — гомоморфизм, то f продолжается до гомоморфизма B → k . ^[8] Это следует из дальнейшего.${\displaystyle f:A\to k}$

Пусть — целочисленное расширение колец. Тогда индуцированное отображение${\displaystyle f:A\to B}$

${\displaystyle {\begin{cases}f^{\#}:\operatorname {Spec} B\to \operatorname {Spec} A\\p\mapsto f^{-1}(p)\end{cases}}}$

является замкнутым отображением ; фактически, для любого идеала I и является сюръективным , если f является инъективным . Это геометрическая интерпретация восхождения.${\displaystyle f^{\#}(V(I))=V(f^{-1}(I))}$${\displaystyle f^{\#}}$

Пусть B — кольцо, а A — подкольцо, которое является нётеровой целозамкнутой областью (т. е. является нормальной схемой ). Если B целочисленно над A , то является субмерсивным; т. е. топология является топологией фактора . [ ^9] Доказательство использует понятие конструктивных множеств . (См. также: Торсор (алгебраическая геометрия) .)${\displaystyle \operatorname {Spec} A}$${\displaystyle \operatorname {Spec} B\to \operatorname {Spec} A}$${\displaystyle \operatorname {Spec} A}$

Если является целым над , то является целым над R для любой A -алгебры R . ^[10] В частности, является замкнутым; т. е. интегральное расширение индуцирует " универсально замкнутое " отображение. Это приводит к геометрической характеристике интегрального расширения . А именно, пусть B будет кольцом только с конечным числом минимальных простых идеалов (например, областью целостности или нётеровым кольцом). Тогда B является целым над (подкольцом) A тогда и только тогда, когда является замкнутым для любой A -алгебры R . ^[11] В частности, каждое собственное отображение является универсально замкнутым. ^[12]${\displaystyle B}$${\displaystyle A}$${\displaystyle B\otimes _{A}R}$${\displaystyle \operatorname {Spec} (B\otimes _{A}R)\to \operatorname {Spec} R}$${\displaystyle \operatorname {Spec} (B\otimes _{A}R)\to \operatorname {Spec} R}$

Предложение. Пусть A — целозамкнутая область с полем дробей K , L — конечное нормальное расширение K , B — целочисленное замыкание A в L. Тогда группа действует транзитивно на каждом слое . ${\displaystyle G=\operatorname {Gal} (L/K)}$${\displaystyle \operatorname {Spec} B\to \operatorname {Spec} A}$

Доказательство. Предположим для любого в G . Тогда, по принципу избегания простого числа , существует элемент x в , такой что для любого . G фиксирует элемент и, таким образом, y является чисто неотделимым над K . Тогда некоторая мощность принадлежит K ; поскольку A является целозамкнутым, мы имеем: Таким образом, мы обнаружили , что находится в , но не в ; т. е . .${\displaystyle {\mathfrak {p}}_{2}\neq \sigma ({\mathfrak {p}}_{1})}$${\displaystyle \sigma }$${\displaystyle {\mathfrak {p}}_{2}}$${\displaystyle \sigma (x)\not \in {\mathfrak {p}}_{1}}$${\displaystyle \sigma }$${\displaystyle y=\prod \nolimits _{\sigma }\sigma (x)}$${\displaystyle y^{e}}$${\displaystyle y^{e}\in A.}$${\displaystyle y^{e}}$${\displaystyle {\mathfrak {p}}_{2}\cap A}$${\displaystyle {\mathfrak {p}}_{1}\cap A}$${\displaystyle {\mathfrak {p}}_{1}\cap A\neq {\mathfrak {p}}_{2}\cap A}$

Группа Галуа затем действует на все простые идеалы, лежащие над фиксированным простым идеалом . ^[13] То есть, если${\displaystyle \operatorname {Gal} (L/K)}$${\displaystyle {\mathfrak {q}}_{1},\ldots ,{\mathfrak {q}}_{k}\in {\text{Spec}}({\mathcal {O}}_{L})}$${\displaystyle {\mathfrak {p}}\in {\text{Spec}}({\mathcal {O}}_{K})}$

${\displaystyle {\mathfrak {p}}={\mathfrak {q}}_{1}^{e_{1}}\cdots {\mathfrak {q}}_{k}^{e_{k}}\subset {\mathcal {O}}_{L}}$

то на множестве есть действие Галуа . Это называется Расщеплением простых идеалов в расширениях Галуа .${\displaystyle S_{\mathfrak {p}}=\{{\mathfrak {q}}_{1},\ldots ,{\mathfrak {q}}_{k}\}}$

Та же идея в доказательстве показывает, что если — чисто неотделимое расширение (не обязательно нормальное), то — биекция .${\displaystyle L/K}$${\displaystyle \operatorname {Spec} B\to \operatorname {Spec} A}$

Пусть A , K и т. д. как и прежде, но предположим, что L — это только конечное расширение поля K. Тогда

(i) имеет конечные волокна.${\displaystyle \operatorname {Spec} B\to \operatorname {Spec} A}$

(ii) между A и B имеет место сближение : при этом существует то, что сжимается до него.${\displaystyle {\mathfrak {p}}_{1}\subset \cdots \subset {\mathfrak {p}}_{n}={\mathfrak {p}}'_{n}\cap A}$${\displaystyle {\mathfrak {p}}'_{1}\subset \cdots \subset {\mathfrak {p}}'_{n}}$

Действительно, в обоих утверждениях, увеличивая L , мы можем предположить, что L является нормальным расширением. Тогда (i) выполняется немедленно. Что касается (ii), то, поднимаясь, мы можем найти цепь , которая сжимается до . По транзитивности существует такое, что и тогда являются искомой цепью.${\displaystyle {\mathfrak {p}}''_{i}}$${\displaystyle {\mathfrak {p}}'_{i}}$${\displaystyle \sigma \in G}$${\displaystyle \sigma ({\mathfrak {p}}''_{n})={\mathfrak {p}}'_{n}}$${\displaystyle {\mathfrak {p}}'_{i}=\sigma ({\mathfrak {p}}''_{i})}$

Пусть A ⊂ B — кольца, а A' — целое замыкание A в B. (Определение см. выше.)

Целочисленные замыкания ведут себя хорошо при различных конструкциях. В частности, для мультипликативно замкнутого подмножества S из A локализация S ⁻¹ A' является целочисленным замыканием S ⁻¹ A в S ⁻¹ B , и является целочисленным замыканием в . ^[14] Если являются подкольцами колец , то целочисленное замыкание в равно , где являются целочисленными замыканиями в . ^[15] ${\displaystyle A'[t]}$${\displaystyle A[t]}$${\displaystyle B[t]}$${\displaystyle A_{i}}$${\displaystyle B_{i},1\leq i\leq n}$${\displaystyle \prod A_{i}}$${\displaystyle \prod B_{i}}$${\displaystyle \prod {A_{i}}'}$${\displaystyle {A_{i}}'}$${\displaystyle A_{i}}$${\displaystyle B_{i}}$

Целочисленное замыкание локального кольца A , скажем, в B , не обязательно должно быть локальным. (В этом случае кольцо называется унибранным .) Это имеет место, например, когда A является гензелевым , а B является расширением поля дробей A.

Если A — подкольцо поля K , то целочисленное замыкание A в K — это пересечение всех колец нормирования поля K , содержащих A.

Пусть A — -градуированное подкольцо -градуированного кольца B. Тогда целое замыкание A в B является -градуированным подкольцом B. ^[16 ]${\displaystyle \mathbb {N} }$${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {N} }$

Существует также понятие интегрального замыкания идеала . Интегральное замыкание идеала , обычно обозначаемое как , представляет собой множество всех элементов, таких, что существует монический многочлен ${\displaystyle I\subset R}$${\displaystyle {\overline {I}}}$${\displaystyle r\in R}$

${\displaystyle x^{n}+a_{1}x^{n-1}+\cdots +a_{n-1}x^{1}+a_{n}}$

с корнем . ^{[17] [18]} Радикал идеала целозамкнут. ^{[19] [20]}${\displaystyle a_{i}\in I^{i}}$${\displaystyle r}$

Для нётеровых колец существуют также альтернативные определения.

• ${\displaystyle r\in {\overline {I}}}$если существует , не содержащийся ни в каком минимальном простом числе, такой, что для всех .${\displaystyle c\in R}$${\displaystyle cr^{n}\in I^{n}}$${\displaystyle n\geq 1}$
• ${\displaystyle r\in {\overline {I}}}$если в нормализованном раздутии I обратный пул r содержится в обратном образе I . Раздутие идеала — это операция схем, которая заменяет заданный идеал главным идеалом. Нормализация схемы — это просто схема, соответствующая целочисленному замыканию всех ее колец.

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

Пусть B — кольцо, а A — подкольцо B, такое что B цело над A. Тогда аннулятор A -модуля B / A называется кондуктором A в B. Поскольку это понятие возникло в алгебраической теории чисел , кондуктор обозначается как . Явно, состоит из элементов a в A , таких что . (ср. идеализатор в абстрактной алгебре.) Это наибольший идеал A , который также является идеалом B. ^[21] Если S — мультипликативно замкнутое подмножество A , то${\displaystyle {\mathfrak {f}}={\mathfrak {f}}(B/A)}$${\displaystyle {\mathfrak {f}}}$${\displaystyle aB\subset A}$

${\displaystyle S^{-1}{\mathfrak {f}}(B/A)={\mathfrak {f}}(S^{-1}B/S^{-1}A)}$.

Если B является подкольцом полного кольца дробей A , то мы можем идентифицировать

${\displaystyle {\mathfrak {f}}(B/A)=\operatorname {Hom} _{A}(B,A)}$.

Пример: Пусть k — поле и пусть (т.е. A — координатное кольцо аффинной кривой ). B — целочисленное замыкание A в . Проводник A в B — идеал . В более общем случае проводник , a , b — взаимно простые числа, имеет вид . ^[22]${\displaystyle A=k[t^{2},t^{3}]\subset B=k[t]}$ ${\displaystyle x^{2}=y^{3}}$${\displaystyle k(t)}$${\displaystyle (t^{2},t^{3})A}$${\displaystyle A=k[[t^{a},t^{b}]]}$${\displaystyle (t^{c},t^{c+1},\dots )A}$${\displaystyle c=(a-1)(b-1)}$

Предположим, что B — это целое замыкание области целостности A в поле дробей A, такое, что A -модуль конечно порожден. Тогда кондуктор A — идеал, определяющий носитель ; таким образом, A совпадает с B в дополнении к в . В частности, множество , дополнение к , является открытым множеством .${\displaystyle B/A}$${\displaystyle {\mathfrak {f}}}$ ${\displaystyle B/A}$${\displaystyle V({\mathfrak {f}})}$${\displaystyle \operatorname {Spec} A}$${\displaystyle \{{\mathfrak {p}}\in \operatorname {Spec} A\mid A_{\mathfrak {p}}{\text{ is integrally closed}}\}}$${\displaystyle V({\mathfrak {f}})}$

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

Целочисленное замыкание дедекиндовой области в конечном расширении поля дробей является дедекиндовой областью; в частности, нётерово кольцо. Это следствие теоремы Крулля–Акидзуки . В общем случае, целочисленное замыкание нётеровой области размерности не более 2 является нётеровым; Нагата привёл пример нётеровой области размерности 3, целочисленное замыкание которой не является нётеровым. ^[23] Более хорошее утверждение таково: целочисленное замыкание нётеровой области является областью Крулля ( теорема Мори–Нагаты ). Нагата также привёл пример нётеровой локальной области размерности 1, такой что целочисленное замыкание не является конечным над этой областью. ^{[ требуется цитата ]}

Пусть A — нётерова целозамкнутая область с полем дробей K. Если L / K — конечное сепарабельное расширение, то целочисленное замыкание A в L — конечно порождённый A -модуль. ^[24] Это просто и стандартно (используется тот факт, что след определяет невырожденную билинейную форму).${\displaystyle A'}$

Пусть A — конечно порожденная алгебра над полем k , которое является областью целостности с полем дробей K. Если L — конечное расширение K , то целое замыкание A в L является конечно порожденным A -модулем и также является конечно порожденной k -алгеброй. ^[25] Результат принадлежит Нётер и может быть показан с помощью леммы Нётер о нормализации следующим образом. Ясно, что достаточно показать утверждение, когда L / K либо отделимо, либо чисто неотделимо. Отделимый случай отмечен выше, поэтому предположим, что L / K чисто неотделимо. По лемме о нормализации A является целым над кольцом многочленов . Поскольку L / K — конечное чисто неотделимое расширение, существует степень q простого числа такая , что каждый элемент L является корнем степени q из элемента из K. Пусть — конечное расширение k, содержащее все корни степени q из коэффициентов конечного числа рациональных функций , которые порождают L. Тогда имеем: Кольцо справа — это поле дробей , которое является целым замыканием S ; таким образом, содержит . Следовательно, конечно над S ; тем более над A . Результат останется верным, если мы заменим k на Z .${\displaystyle A'}$ ${\displaystyle S=k[x_{1},...,x_{d}]}$${\displaystyle k'}$${\displaystyle L\subset k'(x_{1}^{1/q},...,x_{d}^{1/q}).}$${\displaystyle k'[x_{1}^{1/q},...,x_{d}^{1/q}]}$${\displaystyle A'}$${\displaystyle A'}$

Целое замыкание полной локальной нётеровой области A в конечном расширении поля дробей A конечно над A . ^[26] Точнее, для локального нётерова кольца R мы имеем следующие цепочки импликаций: ^[27]

(i) Полное A — это кольцо Нагаты${\displaystyle \Rightarrow }$

(ii) A — область Нагаты . A аналитически неразветвлена. Целое замыкание пополнения конечно над целым замыканием A конечно над A.${\displaystyle \Rightarrow }$ ${\displaystyle \Rightarrow }$${\displaystyle {\widehat {A}}}$${\displaystyle {\widehat {A}}}$ ${\displaystyle \Rightarrow }$

Нормализационная лемма Нётер — это теорема коммутативной алгебры . Для заданного поля K и конечно порождённой K -алгебры A теорема утверждает, что можно найти элементы y ₁ , y ₂ , ..., y _m в A , которые алгебраически независимы над K, такие, что A конечно (и, следовательно, целочисленно) над B = K [ y ₁ ,..., y _m ]. Таким образом, расширение K ⊂ A можно записать как композицию K ⊂ B ⊂ A , где K ⊂ B — чисто трансцендентное расширение, а B ⊂ A конечно. ^[28]

В алгебраической геометрии морфизм схем является целым , если он аффинен и если для некоторого (эквивалентно, любого) аффинного открытого покрытия Y каждое отображение имеет вид , где A — целая B -алгебра. Класс целочисленных морфизмов является более общим, чем класс конечных морфизмов , поскольку существуют целочисленные расширения, которые не являются конечными, такие как, во многих случаях, алгебраическое замыкание поля над полем.${\displaystyle f:X\to Y}$${\displaystyle U_{i}}$${\displaystyle f^{-1}(U_{i})\to U_{i}}$${\displaystyle \operatorname {Spec} (A)\to \operatorname {Spec} (B)}$

Пусть A — область целостности, а L — (некоторое) алгебраическое замыкание поля дробей A. Тогда целочисленное замыкание A в L называется абсолютным целочисленным замыканием A. [ 29 ] Оно единственно с точностью до неканонического изоморфизма . Кольцо ^всех алгебраических целых чисел является примером ( и, таким образом, обычно не является нётеровым).${\displaystyle A^{+}}$${\displaystyle A^{+}}$

• Нормальная схема
• Лемма нормализации Нётер
• Алгебраическое целое число
• Расщепление простых идеалов в расширениях Галуа
• Торсор (алгебраическая геометрия)

• Атья, Майкл Фрэнсис ; Макдональд, Ян Г. (1994) [1969]. Введение в коммутативную алгебру . Эддисон–Уэсли. ISBN 0-201-40751-5.
• Бурбаки, Николя (2006). Алгебра коммутативная . Берлин: Шпрингер. ISBN 978-3-540-33937-3.
• Эйзенбуд, Дэвид (1995), Коммутативная алгебра с видом на алгебраическую геометрию , Graduate Texts in Mathematics, т. 150, Springer-Verlag , ISBN 0-387-94268-8
• Капланский, Ирвинг (сентябрь 1974 г.). Коммутативные кольца . Лекции по математике. Издательство Чикагского университета . ISBN 0-226-42454-5.
• Хартшорн, Робин (1977), Алгебраическая геометрия , Graduate Texts in Mathematics , т. 52, Нью-Йорк: Springer-Verlag, ISBN 978-0-387-90244-9, МР  0463157
• Мацумура, Х (1970), Коммутативная алгебра
• H. Matsumura Теория коммутативных колец. Перевод с японского M. Reid. Второе издание. Cambridge Studies in Advanced Mathematics, 8.
• Милн, Дж. С. (19 июля 2020 г.). «Алгебраическая теория чисел».
• Хунеке, Крейг; Свонсон, Ирена (2006), Целостное замыкание идеалов, колец и модулей, Серия лекций Лондонского математического общества, том 336, Кембридж, Великобритания: Cambridge University Press , ISBN 978-0-521-68860-4, MR  2266432, архивировано из оригинала 2019-11-15 , извлечено 2011-03-01
• М. Рид , Бакалавриат коммутативной алгебры , Лондонское математическое общество, 29 , Cambridge University Press, 1995.

• Ирена Свенсон, Целостные замыкания идеалов и колец
• Имеют ли DG-алгебры какое-либо разумное понятие целочисленного замыкания?
• Всегда ли k [ x 1 , … , x n {\displaystyle k[x_{1},\ldots ,x_{n}} является целочисленным расширением для регулярной последовательности ?]${\displaystyle k[f_{1},\ldots ,f_{n}]}$${\displaystyle (f_{1},\ldots ,f_{n})}$