Целый элемент

Целый элемент кольца относительно подкольца A — корень приведенных многочлена с коэффициентами в $A$ .

В дальнейшем в этой статье под словом «кольцо» подразумевается «коммутативное кольцо с единицей».

Определение

Элемент b коммутативного кольца B называется целым над подкольцом A, если существуют коэффициенты $a_{j}\in A$ , такие что

b^{n}+a_{n-1}b^{n-1}+\cdots +a_{1}b+a_{0}=0.

Замечания

Если каждый элемент B является целым над A, кольцо B называется целым расширением A (или просто кольцом, целым над A').

Если A и B — поля, терминам «цел над» и «целое расширение» соответствуют термины «алгебраичен над» и «алгебраическое расширение».
- Частный случай, особенно важный в теории чисел — комплексные числа, являющиеся целыми над Z, они называются целыми алгебраическими числами.

Множество всех элементов B, целых над A, образует кольцо; оно называется целым замыканием A в B.
- Целое замыкание рациональных чисел в некотором конечном расширении k поля Q называется кольцом целых поля k, этот объект является фундаментальным для алгебраической теории чисел.

Свойства

Целость является транзитивным отношением: если кольцо C цело над B и B цело над A, то C цело над A.
Эквивалентные определения. Пусть b — элемент кольца B, A — подкольцо B. Следующие утверждения эквивалентны:
1. b является целым над A;
2. Подкольцо A[b] кольца B является конечнопорожденным A-модулем;
3. Существует подкольцо C кольца B, содержащее A и b, и являющееся конечнопорожденным A-модулем;
4. Существует конечнопорожденный A-модуль M кольца B, такой что bM ⊂ M и из b’M = 0 следует, что b' = 0.

Из третьего свойства легко вывести, что множество всех элементов, целых над A, является подкольцом B (замкнуто относительно сложения и умножения), оно называется целым замыканием A в B. Если целое замыкание совпадает с самим кольцом A, A называется целозамкнутым в B.

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

Теорема Коэна — Зайденберга о подъёме. Пусть $S$ — целое расширение кольца $R$ . Тогда для всякого простого идеала $I$ в $S$ существует простой идеал $J$ в $R$ , что $J\cap S=I$ .

Примеры

Целые числа — единственные элементы Q, являющиеся целыми над Z. До некоторой степени, это проясняет происхождение термина «целый».
Гауссовы целые числа, как элементы поля комплексных чисел, являются целыми над Z.
Пусть ζ — корень из единицы. Целое замыкание Z в круговом поле Q(ζ) — это Z[ζ].
Если ${\overline {k}}$ — алгебраическое замыкание поля k, то ${\overline {k}}[x_{1},\dots ,x_{n}]$ цело над $k[x_{1},\dots ,x_{n}].$
Пусть конечная группа G действует на кольце A гомоморфизмами колец. Тогда A является целым над множеством элементов, являющихся неподвижными точками действия группы.

Целозамкнутые кольца

Целозамкнутое кольцо — это целостное кольцо, целозамкнутое в своём поле частных.

Пусть A — целозамкнутое кольцо с полем частных K и L — конечное расширение K. Тогда элемент L цел над A тогда и только тогда, когда коэффициенты его минимального многочлена принадлежат A: это более сильное условие, чем просто целость, для которой достаточно существование произвольного многочлена с таким свойством. Любое факториальное кольцо является целозамкнутым.

Пусть A — нётерово целостное кольцо. Тогда A целозамкнуто в том и только в том случае, когда (1) A совпадает с пересечением всех локализаций A по простому идеалу и (2) локализация A по простому идеалу высоты 1 (то есть не содержащему других ненулевых простых идеалов) — дедекиндово кольцо. Также нётерово кольцо целозамкнуто тогда и только тогда, когда оно является кольцом Крулля.

Нормальные кольца

Такие авторы, как Серр и Гротендик, определяют нормальное кольцо как кольцо, локализация которого по любому простому идеалу целозамкнута. В таком кольце нет ненулевых нильпотентов.[1] Если A — нётерово кольцо, локализации которого по максимальным идеалам целостны, то A — конечное произведение целостных колец. В данном случае, если A — нётерово нормальное кольцо, то области в произведении целозамкнуты.[2] Обратно, прямое произведение целозамкнутых колец нормально.

Вполне целозамкнутые кольца

Пусть A — целостное кольцо, K — его поле частных. Элемент x поля частных называется почти целым над A, если существует такой $d\in A$ , что $dx^{n}\in A$ для любого натурального n. Кольцо A называется вполне целозамкнутым, если любой почти целый над ним элемент содержится в A. Вполне целозамкнутые кольца целозамкнуты. Обратно, нётеровы целозамкнутые кольца вполне целозамкнуты.

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

Локальность свойства целозамкнутости

Следующие условия для целостного кольца A эквивалентны:

A целозамкнуто;
Локализация A по любому простому идеалу целозамкнута;
Локализация A по любому максимальному идеалу целозамкнута.

Такие свойства кольца A называют локальными свойствами.

Примечания

Если локализации коммутативного кольца R по всем максимальным идеалам не содержат нильпотентов (например, целостны), то и R их не содержит. Доказательство: Пусть x — ненулевой элемент R и xⁿ=0. Аnn(x) (элементы, умножение на которые обнуляет x) содержится в некотором максимальном идеале ${\mathfrak {m}}$ . Образ x в локализации по ${\mathfrak {m}}$ — ненулевой, так как в противном случае $xs=0$ для некоторого $s\not \in {\mathfrak {m}}$ , противоречие. Следовательно, локализация R по ${\mathfrak {m}}$ содержит ненулевой нильпотент.
Matsumura 1989, p. 64

Bourbaki, Commutative algebra.
Kaplansky, Irving. Commutative Rings (неопр.). — University of Chicago Press, 1974. — (Lectures in Mathematics). — ISBN 0-226-42454-5.
Matsumura, Hideyuki (1989), Commutative Ring Theory, Cambridge Studies in Advanced Mathematics (2nd ed.), Cambridge University Press, ISBN 978-0-521-36764-6.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Если локализации коммутативного кольца R по всем максимальным идеалам не содержат нильпотентов (например, целостны), то и R их не содержит. Доказательство: Пусть x — ненулевой элемент R и xⁿ=0. Аnn(x) (элементы, умножение на которые обнуляет x) содержится в некотором максимальном идеале ${\mathfrak {m}}$ . Образ x в локализации по ${\mathfrak {m}}$ — ненулевой, так как в противном случае $xs=0$ для некоторого $s\not \in {\mathfrak {m}}$ , противоречие. Следовательно, локализация R по ${\mathfrak {m}}$ содержит ненулевой нильпотент.

[2] Matsumura 1989, p. 64