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

Целый элемент — элемент заданного коммутативного кольца с единицей $B$$B$ относительно подкольца $A\subset <!--\; \subset \; -->B$$A\subset B$, являющийся корнем приведённого многочлена с коэффициентами в $A$$A$, то есть такой $b$$b$, для которого существуют коэффициенты $a_j\in <!--\; \in \; -->A$$a_j \in A$, такие что:

$b^n+a_{n-<!--\; -\; -->1}{b}^{n-<!--\; -\; -->1}+\cdots <!--\; \cdots \; -->+a_{1}b+a_0=0$$b^{n}+a_{n-1}b^{n-1}+\cdots +a_{1}b+a_{0}=0$.

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

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

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

Целые числа — единственные элементы $\mathbb{Q}$$\mathbb {Q}$, являющиеся целыми над $\mathbb{Z}$$\mathbb {Z}$ (что может служить объяснением использования термина «целый»). Гауссовы целые числа, как элементы поля комплексных чисел, являются целыми над $\mathbb{Z}$$\mathbb {Z}$. Целое замыкание $\mathbb{Z}$$\mathbb {Z}$ в круговом поле $\mathbb{Q}(\mathrm{\zeta <!--\; \zeta \; -->})$$\mathbb {Q} (\zeta )$ — это $\mathbb{Z}[\mathrm{\zeta <!--\; \zeta \; -->}]$$\mathbb {Z} [\zeta ]$.

Если $\stackrel{¯<!--\; ¯\; -->}{k}$$\overline{k}$ — алгебраическое замыкание поля $k$$k$, то $\stackrel{¯<!--\; ¯\; -->}{k}[x_1,\dots <!--\; \dots \; -->,x_n]$$\overline{k}[x_1, \dots, x_n]$ цело над $k[x_1,\dots <!--\; \dots \; -->,x_n]$$k[x_{1},\dots ,x_{n}]$. Если конечная группа $G$$G$ действует на кольце $A$$A$ гомоморфизмами колец, то $A$$A$ является целым над множеством элементов, являющихся неподвижными точками действия группы.

СвойстваПравить

Целость является транзитивным отношением: если кольцо $C$$C$  цело над $B$$B$  и $B$$B$  цело над $A$$A$ , то $C$$C$  цело над $A$$A$ .

Есть ряд утверждений, эквивалентных тому, что элемент $b$$b$  кольца $B$$B$  цел над $A$$A$ :

• подкольцо $A[b]$$A[b]$  кольца $B$$B$  является конечнопорожденным $A$$A$ -модулем;
• существует подкольцо $C$$C$  кольца $B$$B$ , содержащее $A$$A$  и $b$$b$ , и являющееся конечнопорожденным $A$$A$ -модулем;
• существует конечнопорожденный $A$$A$ -модуль $M$$M$  кольца $B$$B$ , такой что $bM\subset <!--\; \subset \; -->M$$bM\subset M$  и из $b^{\prime }M=0$$b'M=0$  следует, что $b=0$$b=0$ .

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

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

Целозамкнутое кольцоПравить

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

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

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

Нормальное кольцоПравить

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

Вполне целозамкнутое кольцоПравить

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

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

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

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

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

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

ЛитератураПравить

• 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.