Теорема Гильберта о базисе: формулировка и доказательство

Теорема Гильберта о базисе - один из самых техничных, но и самых важных результатов коммутативной алгебры. Она утверждает, что класс нётеровых колец замкнут относительно присоединения переменной: если все идеалы кольца $R$ конечно порождены, то и в кольце многочленов $R[x]$ это свойство сохраняется. На этой теореме держится почти вся классическая алгебраическая геометрия: без неё аффинные многообразия пришлось бы задавать бесконечными системами уравнений, а понятие «алгебра конечного типа над полем» теряло бы смысл.

Что такое нётерово кольцо

Кольцо $R$ называется нётеровым, если выполнено любое из трёх эквивалентных условий:

• всякий идеал $I \subset R$ конечно порождён, то есть существует конечный набор $f_1, \ldots, f_n \in I$ такой, что $I = (f_1, \ldots, f_n)$;
• любая возрастающая цепочка идеалов $I_1 \subset I_2 \subset I_3 \subset \ldots$ стабилизируется (условие обрыва цепей, ACC - ascending chain condition);
• всякое непустое семейство идеалов содержит максимальный элемент.

Эквивалентность этих формулировок - упражнение на лемму Цорна, но интуиция простая. Если хоть один идеал «бесконечно сложный», его невозможно описать конечным числом образующих, и тогда из него легко собрать строго возрастающую цепочку, которая никогда не остановится. Свойство нётеровости - это про конечность языка, на котором можно описать любую подструктуру.

Тривиальные примеры нётеровых колец: все поля (идеалов всего два - нулевой и сам $R$), кольцо целых чисел $\mathbb{Z}$ (PID, главные идеалы порождены одним элементом), любое поле многочленов от конечного числа переменных над полем (доказывается как раз индукцией по теореме Гильберта).

Формулировка теоремы

По индукции немедленно получаем усиленную форму: если $R$ нётерово, то и $R[x_1, \ldots, x_n]$ нётерово при любом конечном $n$. Это значит, что в кольце $k[x_1, \ldots, x_n]$ над полем $k$ любая система многочленов - даже описанная неявно через бесконечный набор соотношений - порождает идеал, который можно задать конечным базисом.

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

Исторический контекст: 1890 год и спор с Горданом

Давид Гильберт доказал теорему в 1890 году в работе «Über die Theorie der algebraischen Formen». Его доказательство было принципиально нон-конструктивным: оно показывало существование конечного базиса, но не давало алгоритма его построения. Это вызвало возмущение Пауля Гордана - на тот момент главного специалиста по теории инвариантов. Гордан произнёс знаменитую фразу:

Das ist nicht Mathematik, das ist Theologie.

«Это не математика, это теология» - потому что аргумент апеллировал к существованию объекта без явного предъявления. Спустя несколько лет тот же Гордан, переосмыслив подход, признал работу Гильберта и сказал: «Теперь я убеждён, что и теология имеет свои преимущества». Этот эпизод считается рубежом, после которого нон-конструктивные методы стали полноправной частью математики.

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

Идея доказательства: лестница старших коэффициентов

Стандартное доказательство теоремы Гильберта о базисе укладывается в полстраницы и использует один ключевой приём - переход к идеалу старших коэффициентов.

Пусть $I \subset R[x]$ - произвольный идеал. Для каждого многочлена $f \in I$ старшим коэффициентом называем коэффициент при наивысшей степени $x$. Рассмотрим множество $J \subset R$ всех старших коэффициентов многочленов из $I$ (плюс нуль). Несложно проверить, что $J$ - идеал в $R$. По нётеровости $R$ он порождён конечным набором: $J = (a_1, \ldots, a_k)$, где каждое $a_i$ - старший коэффициент некоторого $f_i \in I$ степени $d_i$.

Дальше работает «лестница»: возьмём $d = \max d_i$. Для любого $f \in I$ степени $\geq d$ можно вычесть подходящую линейную комбинацию многочленов $x^{d - d_i} f_i$ и понизить степень. Остаётся разобраться с многочленами степени $< d$ - но они образуют конечно порождённый модуль над нётеровым $R$, а значит, и сам нётеров. Объединяя $f_1, \ldots, f_k$ с конечным базисом этого модуля, получаем конечный набор образующих всего $I$.

Это и есть аргумент Гильберта: одна нётеровость поднимается на этаж выше, к кольцу многочленов, через индукцию по степени.

Следствия для алгебраической геометрии

Теорема Гильберта о базисе - фундамент классической алгебраической геометрии. Несколько ключевых выводов:

• Полиномиальные кольца над полем нётеровы. Поле $k$ тривиально нётерово, отсюда $k[x_1, \ldots, x_n]$ тоже. Это значит, что любое аффинное многообразие в $\mathbb{A}^n_k$ задаётся конечной системой уравнений, как бы сложно оно ни выглядело.
• Аффинные алгебры конечного типа над нётеровым нётеровы. Если $R$ нётерово, а $A = R[x_1, \ldots, x_n]/I$ - конечно порождённая $R$-алгебра, то $A$ тоже нётерова (фактор нётерова кольца нётеров). Это даёт возможность работать с координатными кольцами многообразий в стандартной нётеровой технике.
• Связь с Nullstellensatz. Теорема Гильберта о нулях (Nullstellensatz) дополняет картину: над алгебраически замкнутым полем $k$ соответствие между алгебраическими подмножествами $\mathbb{A}^n_k$ и радикальными идеалами в $k[x_1, \ldots, x_n]$ становится биекцией. Базисная теорема обеспечивает конечность с одной стороны, Nullstellensatz - соответствие со стороны геометрии.
• Теорема о сизигиях. Дальнейшее развитие - теорема Гильберта о сизигиях (1890): над $k[x_1, \ldots, x_n]$ любой конечно порождённый модуль имеет свободную резольвенту длины не больше $n$. Это уже про гомологическую алгебру, но корень всё тот же - нётеровость.

Без теоремы о базисе вся эта конструкция рушится: пришлось бы возиться с бесконечными системами образующих, и привычное определение многообразия через «множество нулей конечного набора многочленов» потеряло бы смысл.

Типовые задачи

На практике теорема о базисе появляется в задачах двух типов.

Доказать, что данное кольцо нётерово. Сводится к цепочке стандартных приёмов: показать, что кольцо является фактором конечно порождённой алгебры над нётеровым (например, над $\mathbb{Z}$ или над полем), и сослаться на теорему Гильберта. Если же кольцо построено как локализация или пополнение - нётеровость сохраняется и при этих операциях.

Найти конечный базис идеала. Здесь чаще всего применяют алгоритм Бухбергера: вычисляют базис Грёбнера, который и даёт явный конечный набор образующих с дополнительным свойством совместимости с лексикографическим порядком на мономах. Базисы Грёбнера - это конструктивная сторона теоремы, которой не хватало Гордану в 1890 году.

Частые ошибки

• Путать «нётерово» с «PID». Кольцо главных идеалов автоматически нётерово, но обратное неверно: $k[x, y]$ нётерово, но не PID (идеал $(x, y)$ не порождён одним элементом).
• Считать $\mathbb{Z}[x_1, x_2, \ldots]$ нётеровым. Кольцо многочленов от бесконечного числа переменных нётеровым не является - идеал $(x_1, x_2, \ldots)$ не имеет конечного базиса. Теорема работает только для конечного числа переменных.
• Применять теорему к кольцам $C^\infty$-функций или непрерывных функций. Эти кольца нётеровыми не являются, идеалы там «огромные», и формальный аналог теоремы Гильберта о базисе не выполнен.
• Считать доказательство конструктивным. Само доказательство 1890 года не даёт алгоритма построения базиса. Конструктивные методы появились позже - базисы Грёбнера, алгоритм Бухбергера.
• Игнорировать факторкольца. Иногда забывают, что фактор нётерова кольца тоже нётеров - это следует из теоремы об изоморфизмах идеалов, не из самой теоремы о базисе.

FAQ

Чем отличается нётерово кольцо от артинова? Артиново - это условие обрыва цепей в обратную сторону (DCC, descending chain condition): любая убывающая цепочка идеалов стабилизируется. Любое артиново кольцо нётерово (теорема Акизуки-Хопкинса), но обратное неверно: $\mathbb{Z}$ нётерово, но не артиново (цепь $(2) \supset (4) \supset (8) \supset \ldots$ не стабилизируется).

Можно ли обобщить теорему на некоммутативный случай? Да, существуют аналоги для левых и правых нётеровых модулей над некоммутативными кольцами, но формулировка и доказательство тоньше. В частности, для алгебр Вейля и универсальных обёртывающих алгебр Ли теорема о базисе сохраняется.

Какова связь с базисами Грёбнера? Базисы Грёбнера дают конструктивную версию теоремы: алгоритм Бухбергера строит конечный набор образующих явно, и этот набор согласован с заданным мономиальным порядком. По сути, базис Грёбнера - это «хороший» конечный базис идеала, который удовлетворяет утверждению теоремы Гильберта и даёт алгоритм деления многочленов с однозначным остатком.

Коротко

Теорема Гильберта о базисе утверждает, что свойство нётеровости поднимается с $R$ на $R[x]$, а индукцией - на $R[x_1, \ldots, x_n]$. Доказательство 1890 года было первым нон-конструктивным аргументом такого масштаба и стало рубежом для всей коммутативной алгебры. Из теоремы следует, что аффинные многообразия задаются конечными системами уравнений, а аффинные алгебры конечного типа над полем нётеровы - это база для языка алгебраической геометрии. Конструктивная сторона раскрывается через базисы Грёбнера; контрпримером служит кольцо многочленов от бесконечного числа переменных.