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

Кроме того, стоит упомянуть его работу о решении уравнения девятой степени с помощью функций от минимального числа переменных. Эти работы послужили началом многих современных алгебраических работ (Э. Нётер, Н. Чеботарёв и др.). Наконец, следует отметить, что на фундаменте, заложенном Гильбертом, Э. Ласкер и Ф. С. Маколей создали детальную теорию полиномиальных идеалов, позволившую Э. Нётер развить общую аксиоматическую теорию идеалов. Таким образом, в области алгебры, как и в других областях, понятия, введённые Гильбертом, сыграли большую роль в дальнейшем развитии.

АЛГЕБРАИЧЕСКИЕ ЧИСЛОВЫЕ ПОЛЯ

АЛГЕБРАИЧЕСКИЕ ЧИСЛОВЫЕ ПОЛЯ

Когда Гильберт, покончив с инвариантами, обратился к теории алгебраических числовых полей, эта теория покоилась в основном на доказанной более сорока лет назад теореме Дирихле о единицах и идеальных дивизорах, введенных Куммером, Дедекиндом и Кронекером. Основным объектом её изучения являются алгебраические поля k над полем рациональных чисел Q. Один из самых важных общих фактов, относящихся к основаниям, был открыт Дедекиндом. Он показал, что простые делители дискриминанта — это в точности те простые числа, разложение которых в произведение простых идеалов в поле k содержит кратные сомножители (разветвлённые простые числа). Если l — простое рациональное число, то добавление к k корня l-й степени из числа ?, принадлежащего k, определяет относительное циклическое поле K = k(?^1/l) степени l над k при условии, что k содержит корень l-й степени из единицы ? = e^2?i/l (согласно Лагранжу, любое относительное циклическое поле степени l над k получается таким образом). Надо отметить, что именно последнее обстоятельство заставило Куммера при его попытках доказать теорему Ферма о невозможности решения уравнения ?^l + ?^l = ?^l перейти от поля рациональных чисел Q к круговому полю k_l = Q(?) и затем ввести свои идеальные числа с тем, чтобы определить, взаимно ли просто с l количество классов эквивалентности таких чисел в k_l. Гильберт вошел в эту область, резюмировав результаты Куммера о циклических полях степени l над полем k_l, которые он назвал «куммеровыми полями».