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

Переход от целых рациональных чисел к целым алгебраическим не сопровождается ожидаемыми аналогиями. Первое нарушение аналогии относится к единицам. В то время как поле рациональных чисел имеет только две единицы: в общих полях алгебраич. чисел может быть даже бесконечно много единиц. Пусть, напр., имеется вещественное квадратичное поле где - целое рациональное число, не равное точному квадрату. Его фундаментальный базис имеет вид . У двучленного Пелля уравнения х ²-Dy²=1бесконечно много целочленных решений ( х, у). Любое из них порождает единицу поля . Именно,

тоже является целым числом поля . Единицы этого поля образуют бесконечную мультипликативную группу (группу единиц Пелля). Возникает вопрос о том, как устроена эта группа.

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

Для алгебраич. чисел это уже не так. Пусть, напр., имеется поле в нем число 6 можно разложить двумя существенно различными способами: 6=2*3, При переходе к полям более высокой степени картина усложняется. Возникает вопрос: что происходит с теоремой об однозначном разложении и имеет ли она вообще смысл в полях алгебраич. чисел.

Третье нарушение аналогий доставляют простые числа. При переходе к полям алгебраич. чисел они, вообще говоря, перестают быть простыми. Так, простое число 5 в поле гауссовых чисел распадается на два: . Но в этом же поле число 7 остается простым. Возникает вопрос: существуют ли общие законы, управляющие поведением простых чисел при переходе к полям алгебраич. чисел более высокой степени. Другими словами, можно ли найти правила, к-рые давали бы однозначный ответ на вопрос - остается данное простое число простым при переходе к полю или распадается в нем, и если распадается, то на сколько множителей.

И наконец, последний (четвертый) вопрос касается общей структуры полей алгебраич. чисел. Поле является минимальным полем с нулевой характеристикой и не содержит собственных подполей. Любое другое поле алгебраич. чисел уже имеет подполя. Так, служит подполем любого поля алгебраич. чисел. Возникает вопрос: сколько подполей содержит данное поле - конечное или бесконечное - и как они устроены. Эти четыре вопроса являются главными в А. т. <ч., и="" ответы="" на="" них="" составляют="" ее="" содержание.="" естественно="" начать="" рассмотрение="" с="" четвертого="" вопроса,="" так="" как="" ответ="" на="" него="" прольет="" свет="" и="" на="" первые="" три.="" соответствующая="" задача="" была="" решена="" э.="" галуа="" (е.="" galois)="" в="" 20-х="" гг.="" 19="" в.="" (см.="">Галуа теория). Конечность числа подполей расширения K/Q степени и над Q следует из существования взаимно однозначного соответствия (основного соответствия Галуа) между всеми подполямп поля Ки всеми подгруппами его группы Галуа, порядок (число элементов) к-рой конечен (и не превосходит п!).

Строение группы единиц поля было выяснено П. Дирихле (P. Dirichlet). Основную идею можно проследить на примере группы единиц Пелля (см. выше). Любая степень такой единицы (как положительная, так и отрицательная) будет единицей. Существует основная единица , а все остальные являются ее целыми степенями, т. е. единицы Пелля составляют бесконечную циклич. группу с одной образующей. Этот факт есть частный случай общей теоремы Дирихле о единицах поля алгебраич. чисел: если поле имеет степень где r₁- число вещественных, а - число пар ко'мплек-сно сопряженных полей для , то бесконечная группа единиц поля имеет образующих единиц а все остальные являются произведениями их целочисленных степеней Таким образом, бесконечная группа единиц поля является произведением rбесконечных циклич. подгрупп. Если домножить ее на конечную циклич. подгруппу корней из единицы, к-рые могут быть в то будет получена самая общая картина строения группы единиц поля. Норма любой единицы поля, т. е. произведение этой единицы и всех ей сопряженных, равна единице поля

Проблема неоднозначного разложения целых чисел в алгебраич. нолях была решена Э. Куммером (Е. Kummer), к-рый, как и Э. Галуа, начал с частной задачи - попытки доказать великую теорему Ферма о невозможности решить в целых числах уравнение для любого простого Э. Куммер разложил левую часть по корням р-й степени из 1, и задача была сведена к целым числам шля Если бы для них существовало однозначное разложение на простые множители в поле , то достаточно было бы показать, что не все простые множители левой части имеют степень, кратную р. Вначале Э. Куммер так и считал, но П. Дирихле обратил его внимание на отсутствие однозначности. Именно для преодоления этой трудности Э. Куммер ввел идеальные числа, и это преобразило в дальнейшем все здание А. т. ч. Понятие идеального числа происходит из того, что если в поле kнет простых чисел, на к-рые однозначно распадалось бы любое целое число из k, то найдется другое поле конечной степени над k, в к-ром существует необходимое количество чисел, играющих роль простых для поля k. Этп числа Э. Куммер назвал идеальными (так как они не принадлежат исходному полю k). С привлечением идеальных чисел теорема об однозначности разложения в поле kвосстанавливается. При этом два числа поля, отличающиеся только единицей Дирихле (так наз. ассоциированные числа), имеют одни и те же идеальные множители. Понятие идеального числа относительно - для другого поля строится поле другой степени над , в к-ром содержатся идеальные числа поля .

Э. Куммер ввел также понятие класса идеальных чисел: два идеальных числа принадлежат одному классу, если их отношение лежит в первоначальном поле k. Он получил важный результат: число этих классов hконечно, и они образуют абелеву группу по умножению. Таким образом, любое идеальное число можно считать корнем h-й степени из нек-рого числа первоначального поля k. Число классов hявно выписывается через константы поля (регулятор, дискриминант, степень поля п).

В дальнейшем понятие идеального числа было заменено эквивалентным понятием идеала, к-рое удается описать средствами самого поля k, и уже в сер. 20 в. идеал уступил место более емкому понятию дивизор. Поэтому современная теория Куммера излагается на языке дивизоров. Но для полей алгебраич. чисел классич. понятие идеала совпадает с понятием дивизора. Далее всюду идет речь лишь о таких полях. Понятие идеала тесно связано с понятием неассоциированных чисел, что способствует пониманию глубоких связей теории Куммера и теории единиц Дирихле. Хотя Э. Куммеру и не удалось решить проблему Ферма, но его идеи вышли далеко за рамки этой задачи, и понятие идеала ныне является одним из главных для всей математики.

В связи с относительностью понятия простого идеального числа, или, в современной терминологии, простого идеала, третий вопрос о распадении простых чисел поля при переходе к полям алгебраич. чисел может быть поставлен в общем виде. Пусть дано поле kи его простой идеал Ставится вопрос о том, остается ли идеал простым при переходе от поля k к его расширению или распадается в произведение простых идеалов поля К, и если распадается, то по какому закону. Этот вопрос приводит к полей классов теории - центральной части всей современной А. т. ч. Первое решение этого вопроса было дано Э. Куммером, показавшим, что если - корень неприводимого многочлена f(x), то простой идеал распадается в по тому же закону, что и при переходе к полю вычетов Другими словами, разложение определяется сравнением

Параллельное равенство наз. формулой (иди разложением) Куммера:

где - простые идеалы поля .

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

Предварительное понятие класса можно получить из равенства (1). Пусть п- степень поля - относительная степень идеала Вычисление относительной нормы обеих частей (1) приводит к равенству

где - натуральные. При фиксированном пуравнение (2) имеет конечное число решений, так что все простые идеалы поля kможно разбить на конечное число классов и собрать в один класс те из них, разложению Куммера к-рых соответствует один и тот же набор пар из решения (2). Интерес представляют лишь бесконечные классы, поэтому можно оставить в стороне те классы, где имеется Число простых идеалов с таким свойством конечно, и все они являются делителями дискриминанта поля

Для упрощения задачи поле считается нормальным. В таких полях выполняется условие

Поэтому все разбиваются на классов, где - функция числа делителей. Особый интерес представляет класс с условием где

в нем имеет максимальное число простых делителей поля

Такие p наз. вполне разложимыми, а их класс наз. главным классом поля kотносительно K/k. В теории полей классов он является основным объектом изучения. Определение главного класса с помощью (3) требует доказательства того, что в поле kтакие идеалы на самом деле существуют и что их бесконечно много. Поэтому основная задача теории полей классов состоит в том, чтобы определить главный класс средствами самого поля k, из к-рого бы следовала его бесконечность. Эта задача полностью решена для абелевых расширений K/k.

Для более подробного ознакомления с идеями теории полей классов необходимо общее понятие группы классов идеалов. Приведенное выше определение Куммера соответствует современному понятию абсолютной группы классов идеалов. Современные общие понятия группы классов принадлежат Г. Веберу (Н. Weber) и Т. Та-каги (Т. Takagi) (см. [5]).