АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ ЧИСЕЛ

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

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

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

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

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

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

И наконец, последний (четвертый) вопрос касается общей структуры полей алгебраич. чисел. Поле является минимальным полем с нулевой характеристикой и не содержит собственных подполей. Любое другое поле алгебраич. чисел уже имеет подполя. Так, служит подполем любого поля алгебраич. чисел. Возникает вопрос: сколько подполей содержит данное поле - конечное или бесконечное - и как они устроены. Эти четыре вопроса являются главными в А. т. Галуа теория). Конечность числа подполей расширения 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]).

Г. Вебером введено понятие ведущего модуля группы классов. Пусть - целый идеал поля - подгруппа главных идеалов поля k, заданных сравнением - подгруппа всех идеалов поля k, взаимно простых с Любая подгруппа с условием может быть объявлена главной, таким образом и будет построена группа классов При и получается определение Куммера. В общем случае состоит из прогрессий , вычеты к-рых образуют подгруппу всей мультипликативной группы Порядок этой общей группы классов лежит в пределах где h - порядок абсолютной группы Куммера, - функция Эйлера. Для разных модулей группы классов могут быть эквивалентными, если состоят фактически из одних и тех же прогрессий по Если условиться не различать эквивалентные группы классов, то будет получено понятие группы классов в смысле Вебера с ведущим модулем f, к-рый равен наибольшему общему делителю всех эквивалентных модулей. Полем к'лассов в смысле Вебера наз. поле , в к-ром простые идеалы его главного класса и только они, вполне разложимы. Их бесконечность следует из теоремы Дирихле о простых идеалах в прогрессиях, к-рая справедлива для любого поля k. В нек-рых частных случаях Г. Вебер доказал изоморфность группы Галуа поля классов G(K/k).и группы классов поля k.

К Д. Гильберту (D. Hilbert) восходит совершенно новая точка зрения на теорию полей классов, к-рая сохранилась до настоящего времени. Он понял, что между всеми относительно абелевыми расширениями поля kи всеми полями классов для этого поля должно сущеcтвовать взаимно однозначное соответствие. Это соответствие выглядит так. Если для нек-рого ведущего модуля f построить группу классов Вебера, то найдется только одно нормальное расширение K/k, в к-ром простые идеалы главного класса Вебера, и только они, будут целиком распадаться, причем группа Галуа поля K/k изоморфна группе классов Вебера, а дискриминант Dполя K/k состоит из тех же простых идеалов, что и ведущий модуль f. Верно и обратное: если дано нек-рое абелево расширение K/k с группой Галуа G(K/k), то существует правило (сформулированное впоследствии Т. Такаги), по к-рому можно однозначно построить главный класс так, что группа классов изоморфна группе Галуа G(K/k), и только простые идеалы главного класса Н _f вполне разложимы в K, а ведущий модуль f имеет те же простые делители, что и дискриминант Dполя K/k. Эта двойственность полей классов и абелевых расширений была высказана Д. Гильбертом в 1900 в качестве гипотезы (доказательства были даны им лишь для частных случаев). В общем виде она доказана Т. Такаги.

Следующий важный этап в развитии теории полей классов связан с именем Э. Артина (Е. Artin), выявившего особую роль канонич. изоморфизма между группой Галуа и группой классов идеалов и показавшего, что эту роль играет Фробениуса автоморфизм абелевого расширения K/k, к-рый задается сравнением

где - абсолютная норма идеала пробегает все числа поля - простой идеал поля k. Автоморфизм (имеющий теперь обозначение зависит только от класса идеалов, к-рому принадлежит , и обладает мультипликативным свойством.

причем символ в правой части понимается как автоморфизм класса, к-рому принадлежит . На основании этого Э. Артин ввел символ на всей группе идеалов поля k , взаимно простых с ведущим модулем f. Он наз. символом Артина и осуществляет изоморфизм группы классов и группы Галуа , явный вид к-рого выражается законом взаимности Артана

только в том случае, если (взаимность понимается пока в групповом смысле, как соответствие между Отсюда можно получить классич. форму взаимности закона на языке символа

Куммера степенного вычета (рассмотрев поле Из этой формы, в свою очередь, можно получить закон взаимности на языке символа Гильберта. Во всех трех видах закон взаимности рассматривается как изоморфизм групп, а символы Артина, Куммера и Гильберта - как групповые элементы, осуществляющие этот изоморфизм. Но каждый из них имеет и численное значение, равное нек-рому корню n-й степени из 1. Поэтому закон взаимности может быть сформулирован в следующей форме. Если известно значение символа то требуется выяснить, каково значение взаимного к нему символа т. е. выяснить явный вид функции от определяющий произведение Именно в такой форме этот закон и появился впервые у К. Гаусса (см. Гаусса закон взаимности).для квадратичного поля и у Э. Куммера для кругового поля простой степени. В дальнейшем К. Якоби (С. Jacobi), Ф. Г. М. Эйзенштейн (F. G. M. Eisenstein), Д. Гильберт, X. Хассе (Н. Hasse) и др. продолжали исследование закона взаимности в таком виде, но ими были получены лишь частные результаты. В общем виде эта проблема была решена в 1948 И. Р. Шафаревичем [6] на основе идеи, состоящей в выявлении связи между арифметич. определением символа с аналитич. определением абелевого дифференциала на римановой поверхности, И. Р. Шафаревичем была создана конструкция символа к-рая в точности соответствует определению вычета абелева дифференциала в p-адическом поле. Для этого он ввел E-функции; наз. также функциями Шафаревича, на языке к-рых и получил явный вид закона взаимности в общем случае.

В конце 20-х гг. 20 в. X. Хассе ввел в теорию полей классов локальный принцип и передоказал многие теоремы для случая абелевого расширения локального поля Первоначально этот принцип играл второстепенную роль (он получался в качестве следствия глобальной теории). Но в конце 30-х гг. К. Шевалле (С. Chevalley) показал необычайную важность локальной точки зрения для всего здания теории полей классов. Он ввел понятие группы иделей и на ее языке изложил общую теорию полей классов с локальной точки зрения. После этого в теории полей классов утвердился локально глобальный принцип. В дальнейшем он развивался и дополнялся (см. [5]), и в результате теория полей классов для абелевых расширений приняла стройный и завершенный вид. Встал вопрос о создании неабелевой теории полей классов для нормальных расширений с неабелевой группой Галуа.

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

Лит.:[1] Боревич 3. И., Шафаревич И. Р., Теория чисел, 2 изд., М., 1972; [2] Постников М. М., Теория Галуа, М., 1963; [3] Веиль Г., Алгебраическая теория чисел, пер. с англ., М., 1947; [4] Ленг С., Алгебраические числа, пер. с англ., М., 1966; [5] Алгебраическая теория чисел, пер. с англ., М., 1969; [6] Шафаревич И. Р., "Матем. сб.", 1950, т. 26, в. 1, с. 113-46; [7] Проблемы Гильберта, М., 1969; IS]Art in E., Tate J., Class field theory, N.Y.- [a.o.J, 1967; [9] Wei1 A., Basic number theory, В.,- [а.0.1, 1967; [10] Lang S., Algebraic numbers, Reading [Mass.], 1964; [11] Бурбаки Н., Коммутативная алгебра, пер. С франц., М., 1971. А. И. Виноградов.