Русская Википедия:Целый элемент

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

<math>b^n + a_{n-1} b^{n-1} + \cdots + a_1 b + a_0 = 0</math>.

Связанные определения

  • Если каждый элемент <math>B</math> является целым над <math>A</math>, кольцо <math>B</math> называется целым расширением <math>B</math> (или просто кольцом, целым над <math>A</math>).
  • Множество всех элементов <math>B</math>, целых над <math>A</math>, образует кольцо; оно называется целым замыканием <math>A</math> в <math>B</math>.
  • Целые числа — единственные элементы <math>\Q</math>, являющиеся целыми над <math>\Z</math> (что может служить объяснением использования термина «целый»). Гауссовы целые числа, как элементы поля комплексных чисел, являются целыми над <math>\Z</math>. Целое замыкание <math>\Z</math> в круговом поле <math>\Q(\zeta)</math> — это <math>\Z[\zeta]</math>.

Свойства

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

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

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

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

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

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

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

Целозамкнутое кольцо — целостное кольцо, целозамкнутоеШаблон:Переход в своём поле частных.

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

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

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

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

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

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

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

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

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

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

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

Примечания

Шаблон:Примечания

Литература

  • Bourbaki, Commutative algebra.
  • Шаблон:Книга
  • Matsumura, Hideyuki (1989), Commutative Ring Theory, Cambridge Studies in Advanced Mathematics (2nd ed.), Cambridge University Press, ISBN 978-0-521-36764-6.

  1. Если локализации коммутативного кольца <math>R</math> по всем максимальным идеалам не содержат нильпотентов (например, целостны), то и <math>R</math> их не содержит. Действительно, если <math>x</math> — ненулевой элемент <math>R</math> и <math>x</math>n=0, то <math>\mathrm{Ann} (x)</math>) (элементы, умножение на которые обнуляет <math>x</math>) содержится в некотором максимальном идеале <math>\mathfrak{m}</math>. Образ <math>x</math> в локализации по <math>\mathfrak{m}</math> — ненулевой, так как в противном случае <math>xs = 0</math> для некоторого <math>s \not\in \mathfrak{m}</math>, противоречие. Следовательно, локализация <math>R</math> по <math>\mathfrak{m}</math> содержит ненулевой нильпотент.
  2. Matsumura 1989, p. 64