Теорема Ласкера — Нётер¶

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

¶История

Теорема получила своё название в честь двух математиков: немецкого алгебраиста Эмануэля Ласкера (1868–1941) и немецко-американского математика Эмми Нётер (1882–1935). В 1905 году Ласкер, ученик Давида Гильберта, доказал, что любой идеал в кольце многочленов от конечного числа переменных над полем может быть представлен как пересечение конечного числа первичных идеалов. Это обобщение более ранних результатов Гильберта о разложении полиномиальных идеалов, связанных с базисами инвариантов.

В 1921 году Эмми Нётер в своей знаковой работе «Idealtheorie in Ringbereichen» (Теория идеалов в кольцевых областях) обобщила результат Ласкера на произвольные нётеровы кольца. Она ввела понятие нётерова кольца (кольца, в котором любая возрастающая цепочка идеалов стабилизируется) и доказала, что в таких кольцах каждый идеал обладает первичным разложением. Работа Нётер стала основой для развития современной коммутативной алгебры.

¶Формулировка

Пусть \( R \) — нётерово кольцо (коммутативное с единицей). Для любого собственного идеала \( I \subset R \) существует конечное множество первичных идеалов \( \mathfrak{p}_1, \mathfrak{p}_2, \dots, \mathfrak{p}_n \) таких, что:

\[ I = \bigcap_{i=1}^{n} \mathfrak{q}_i, \]

где каждый \( \mathfrak{q}_i \) является \( \mathfrak{p}_i \)-первичным идеалом (то есть радикал \( \mathfrak{q}_i \) равен \( \mathfrak{p}_i \), и для любых \( a, b \in R \), если \( ab \in \mathfrak{q}_i \) и \( a \notin \mathfrak{p}_i \), то \( b \in \mathfrak{q}_i \)). Такое представление называется первичным разложением идеала \( I \).

Разложение не является единственным, но существуют канонические формы. В частности, если удалить из разложения все избыточные компоненты (то есть те, которые содержат пересечение остальных), то получится неприводимое (или минимальное) первичное разложение. Множество радикалов \( \mathfrak{p}_i \), соответствующих неприводимому разложению, однозначно определяется идеалом \( I \) и называется множеством ассоциированных простых идеалов идеала \( I \).

¶Основные понятия

¶Первичный идеал

Идеал \( \mathfrak{p} \) кольца \( R \) называется первичным, если для любых \( a, b \in R \) из \( ab \in \mathfrak{p} \) следует, что \( a \in \mathfrak{p} \) или \( b \in \mathfrak{p} \). В коммутативном случае это эквивалентно тому, что факторкольцо \( R/\mathfrak{p} \) является областью целостности.

¶Первичный идеал

Идеал \( \mathfrak{q} \) называется \( \mathfrak{p} \)-первичным, если:

• \( \mathfrak{q} \) — собственный идеал;
• \( \sqrt{\mathfrak{q}} = \mathfrak{p} \) (радикал \( \mathfrak{q} \) равен \( \mathfrak{p} \));
• для любых \( a, b \in R \), если \( ab \in \mathfrak{q} \) и \( a \notin \mathfrak{p} \), то \( b \in \mathfrak{q} \).

Первичный идеал является частным случаем первичного, когда \( \mathfrak{p} = \mathfrak{q} \).

¶Нётерово кольцо

Кольцо \( R \) называется нётеровым, если любая возрастающая цепочка идеалов \( I_1 \subseteq I_2 \subseteq I_3 \subseteq \dots \) стабилизируется, то есть существует \( n \) такое, что \( I_n = I_{n+1} = \dots \). Эквивалентное условие: каждый идеал в \( R \) является конечно порождённым. Примеры нётеровых колец: кольца многочленов над полем, кольца целых чисел, кольца главных идеалов.

¶Доказательство (схема)

Доказательство теоремы Ласкера — Нётер обычно проводится в два этапа.

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

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

¶Примеры

¶Пример 1: Кольцо целых чисел

В кольце \( \mathbb{Z} \) (нётерово кольцо) любой идеал имеет вид \( (n) \). Первичное разложение:

• Если \( n = p_1^{e_1} p_2^{e_2} \dots p_k^{e_k} \) — разложение на простые множители, то \( (n) = \bigcap_{i=1}^k (p_i^{e_i}) \), где \( (p_i^{e_i}) \) — \( (p_i) \)-первичный идеал.

¶Пример 2: Кольцо многочленов

В кольце \( k[x, y] \) (над полем \( k \)) идеал \( I = (x^2, xy) \) имеет первичное разложение: \[ I = (x) \cap (x^2, y). \] Здесь \( (x) \) — первичный идеал (радикал \( (x) \)), а \( (x^2, y) \) — \( (x, y) \)-первичный идеал.

¶Пример 3: Неединственность

В кольце \( k[x, y] \) идеал \( (x^2, xy) \) можно также разложить как \( (x) \cap (x^2, xy, y^2) \), но второе разложение не является минимальным, так как \( (x^2, xy, y^2) \) содержит \( (x) \).

¶Применение

Теорема Ласкера — Нётер имеет широкое применение в различных областях математики.

¶Алгебраическая геометрия

В алгебраической геометрии первичное разложение идеала соответствует разложению алгебраического множества (множества общих нулей многочленов) на неприводимые компоненты. Если \( I \) — идеал, задающий алгебраическое множество \( V(I) \), то ассоциированные простые идеалы соответствуют неприводимым компонентам \( V(I) \). Это позволяет изучать геометрические объекты алгебраическими методами.

¶Коммутативная алгебра

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

¶Теория чисел

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

¶Обобщения

Теорема Ласкера — Нётер обобщается на модули над нётеровыми кольцами: любой подмодуль конечно порождённого модуля над нётеровым кольцом имеет первичное разложение. Это обобщение также принадлежит Эмми Нётер.

Существуют также варианты для некоммутативных колец, но они требуют более сложных условий (например, нётеровость с обеих сторон).

¶Критика и ограничения

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

¶Интересные факты

• Эмми Нётер сформулировала теорему в 1921 году, когда ей было 39 лет, и она работала в Гёттингенском университете. Её работа стала важным шагом в развитии абстрактной алгебры.
• Теорема Ласкера — Нётер иногда называется «теоремой о первичном разложении» или «теоремой Ласкера — Нётер о разложении».
• В честь Эмми Нётер названы не только нётеровы кольца, но и другие математические объекты: нётеровы модули, нётеровы пространства, теорема Нётер в физике.

¶Источники

• Ласкер, Э. (1905). «Zur Theorie der Moduln und Ideale». Mathematische Annalen, 60(1), 20–116.
• Нётер, Э. (1921). «Idealtheorie in Ringbereichen». Mathematische Annalen, 83(1), 24–66.
• Атья, М., Макдональд, И. (1969). Введение в коммутативную алгебру. М.: Мир.
• Эйзенбуд, Д. (1995). Коммутативная алгебра с точки зрения алгебраической геометрии. М.: Мир.
• Мацумура, Х. (1986). Коммутативная алгебра. М.: Мир.