Идеальная группа класса

В теории чисел идеальная группа классов (или группа классов ) поля алгебраических чисел — это JK / _где PK , _K JK — _группа дробных кольца идеалов факторгруппа целых чисел K , а PK _ее — подгруппа главных идеалов . Группа классов является мерой того, в какой степени уникальная факторизация не удалась в кольце целых чисел K . Порядок группы , который конечен называется класса номером K. ,

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

История и происхождение идеальной классовой группы

Идеальные группы классов (или, скорее, то, что фактически представляло собой идеальные группы классов) изучались за некоторое время до того, как идея идеала была сформулирована . Эти группы появились в теории квадратичных форм : в случае бинарных целочисленных квадратичных форм, приведённых в нечто вроде окончательной формы Карлом Фридрихом Гауссом , закон композиции был определён на некоторых классах эквивалентности форм. Это дало конечную абелеву группу , как это было признано в то время.

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

Несколько позже Рихард Дедекинд вновь сформулировал понятие идеала, Куммер работал по-иному. На этом этапе существующие примеры можно было бы унифицировать. Было показано, что хотя кольца целых алгебраических чисел не всегда имеют уникальную факторизацию на простые числа (поскольку они не обязательно должны быть областями главных идеалов ), они обладают тем свойством, что каждый собственный идеал допускает уникальную факторизацию как произведение простых идеалов (т. е. , каждое кольцо целых алгебраических чисел является дедекиндовой областью ). Размер группы идеальных классов можно рассматривать как меру отклонения кольца от области главного идеала; Кольцо является областью главных идеалов тогда и только тогда, когда оно имеет тривиальную группу классов идеалов.

Определение

Если R — область целостности , определите отношение ~ на ненулевых дробных идеалах R всякий раз, когда через I ~ J существуют ненулевые элементы a и b из R такие, что ( ) I = ( b ) J. a (Здесь обозначение ( a ) означает главный идеал R , состоящий из всех кратных a .) Легко показать, что это отношение эквивалентности . эквивалентности называются идеальными классами R . Классы Классы идеалов можно умножать: если [ I ] обозначает класс эквивалентности идеала I , то умножение [ I ][ J ] = [ IJ ] корректно определено и коммутативно . Главные идеалы образуют идеальный класс [ R ], который служит единичным элементом для этого умножения. Таким образом, класс [ I ] имеет обратный [ J ] тогда и только тогда, когда существует идеал J такой, что IJ является главным идеалом. В общем случае такой J может не существовать и, следовательно, множество идеальных классов R может быть только моноидом .

Однако, если является кольцом целых алгебраических чисел в поле алгебраических чисел или, в более общем смысле , областью Дедекинда превращает набор дробных классов идеалов в абелеву группу , группу идеальных классов R. , умножение, определенное выше , R Групповое свойство существования обратных элементов легко следует из того факта, что в дедекиндовой области каждый ненулевой идеал (кроме R ) является произведением простых идеалов .

Свойства

Группа классов идеалов тривиальна (т.е. имеет только один элемент) тогда и только тогда, когда все идеалы R являются главными. В этом смысле группа идеальных классов измеряет, насколько R далек от области главных идеалов и, следовательно, от удовлетворения уникальной простой факторизации (области Дедекинда являются уникальными областями факторизации тогда и только тогда, когда они являются областями главных идеалов).

Число идеальных классов (т. номер класса R ) вообще может быть бесконечным. Фактически, каждая абелева группа изоморфна группе идеальных классов некоторой дедекиндовой области. Но если R — кольцо целых алгебраических чисел, то число классов всегда конечно . Это один из основных результатов классической алгебраической теории чисел .

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

Отображение колец целых чисел R в соответствующие им группы классов является функториальным , и группа классов может быть отнесена к разделу алгебраической K-теории , причем K ₀ ( R ) является функтором, присваивающим R его идеальную группу классов; точнее, K ₀ ( R ) = Z × C ( R ), где C ( R ) — группа классов. Группы с высшим K также можно использовать и арифметически интерпретировать в связи с кольцами целых чисел.

Связь с группой юнитов

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

Определить карту из R ^× к множеству всех ненулевых дробных идеалов R , отправляя каждый элемент к главному (дробному) идеалу, который он порождает. Это групповой гомоморфизм ; его ядро ​​— это группа единиц R , а его — идеальная группа классов R. коядро Неспособность этих групп быть тривиальными является мерой неспособности отображения быть изоморфизмом: это неспособность идеалов действовать как кольцевые элементы, то есть как числа.

Примеры идеальных групп классов

• Кольца Z , Z [ω] и Z [ i ] , где ω — кубический корень из 1 , а i — корень четвертой степени из 1 (т. е. квадратный корень из −1 ), являются областями главных идеалов (и фактически все являются евклидовыми областями ), и поэтому имеют номер класса 1: то есть у них есть тривиальные идеальные группы классов.
• Если k — поле, то кольцо полиномов k [ X ₁ , X ₂ , X ₃ , ...] является областью целостности. Оно имеет счетное бесконечное множество идеальных классов.

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

Если $d$ является целым числом без квадратов (произведением различных простых чисел), отличным от 1, тогда $\mathbf {Q} ({\sqrt {d}}\,)$является квадратичным расширением Q . Если $d<0$, то номер класса кольца $R$ целых алгебраических чисел $\mathbf {Q} ({\sqrt {d}}\,)$ равно 1 именно для следующих значений $d$: $d=-1,-2,-3,-7,-11,-19,-43,-67,-163$. Этот результат был впервые выдвинут Гауссом Гарольд и доказан Куртом Хигнером , хотя доказательству Хигнера не верили до тех пор, пока Старк не дал более позднее доказательство в 1967 году. (См. Теорему Старка-Хигнера .) Это частный случай знаменитой проблемы числа классов .

Если же d > 0, то неизвестно, существует ли бесконечно много полей $\mathbf {Q} ({\sqrt {d}}\,)$с номером класса 1. Результаты расчетов показывают, что таких полей очень много. Однако неизвестно даже, существует ли бесконечно много числовых полей с номером класса 1.

При d < 0 идеальная группа классов $\mathbf {Q} ({\sqrt {d}}\,)$ изоморфна группе классов целых бинарных квадратичных форм дискриминанта , равного дискриминанту $\mathbf {Q} ({\sqrt {d}}\,)$. При d > 0 идеальная группа классов может быть вдвое меньше, поскольку группа классов целых бинарных квадратичных форм изоморфна узкой группе классов $\mathbf {Q} ({\sqrt {d}}\,)$.

Для вещественных квадратичных целочисленных колец номер класса указан в OEIS A003649 ; для мнимого случая они приведены в OEIS A000924 .

Пример нетривиальной группы классов

Кольцо квадратичных целых чисел R = Z [ √ −5 ] является кольцом целых чисел Q ( √ −5 ). Он не обладает уникальной факторизацией; на самом деле группа классов R является циклической порядка 2. Действительно, идеал

J знак равно (2, 1 + √ −5 )

не является главным, что можно доказать от противного следующим образом. $R$ имеет нормальную функцию $N(a+b{\sqrt {-5}})=a^{2}+5b^{2}$, что удовлетворяет $N(uv)=N(u)N(v)$, и $N(u)=1$ если и только если $u$ является единицей в $R$. Прежде всего, $J\neq R$, факторкольцо поскольку $R$ по модулю идеала $(1+{\sqrt {-5}})$ изоморфен ​ ​ $\mathbf {Z} /6\mathbf {Z}$, так что факторкольцо $R$ модуль $J$ изоморфен $\mathbf {Z} /3\mathbf {Z}$. Если бы J был порожден элементом x из R , то x делил бы и 2, и 1 + √ −5 . Тогда норма $N(x)$ разделил бы обоих $N(2)=4$ и $N(1+{\sqrt {-5}})=6$, поэтому N (x) будет делить 2. Если $N(x)=1$ затем $x$ является единицей и $J=R$, противоречие. Но $N(x)$ также не может быть равно 2, поскольку R не имеет элементов нормы 2, поскольку диофантово уравнение $b^{2}+5c^{2}=2$ не имеет решений в целых числах, как и не имеет решений по модулю 5 .

Также подсчитано, что J ² = (2), что является главным, поэтому класс J в группе идеальных классов имеет второй порядок. идеальных классов не существует, Чтобы доказать, что других требуется больше усилий.

Тот факт, что этот J не является главным, также связан с тем, что элемент 6 имеет две различные разложения на неприводимые :

6 = 2 × 3 = (1 + √ −5 ) × (1 − √ −5 ).

полей

Теория полей классов — это раздел теории алгебраических чисел , который стремится классифицировать все абелевы расширения данного поля алгебраических чисел, то есть расширения Галуа с абелевой группой Галуа . Особенно красивый пример можно найти в поле классов Гильберта числового поля, которое можно определить как максимальное неразветвленное абелево расширение такого поля. Поле класса Гильберта L числового поля K уникально и обладает следующими свойствами:

• Каждый идеал кольца целых чисел K становится главным в L , т. е. если I — целый идеал кольца K то образ I является главным идеалом в L. ,
• L является расширением Галуа K с группой Галуа, изоморфной группе классов идеалов K .

Ни одно из свойств не так-то легко доказать.

См. также

• Формула номера класса
• Проблема с номером класса
• Теорема Брауэра – Зигеля - асимптотическая формула для числа классов.
• Список числовых полей с номером класса один
• Основная идеальная область
• Алгебраическая К-теория
• Теория Галуа
• Последняя теорема Ферма
• Узкая классовая группа
• Группа Пикара — обобщение группы классов, встречающейся в алгебраической геометрии.
• Arakelov class group

Ссылки

• Клэборн, Лютер (1966), «Каждая абелева группа является классовой группой», Pacific Journal of Mathematics , 18 (2): 219–222, doi : 10.2140/pjm.1966.18.219
• Фрелих, Альбрехт ; Тейлор, Мартин (1993), Алгебраическая теория чисел , Кембриджские исследования по высшей математике, том. 27, Издательство Кембриджского университета , ISBN  978-0-521-43834-6 , МР   1215934
• Нойкирх, Юрген (1999). Алгебраическая теория чисел . Основы математических наук . Том 322. Берлин: Springer-Verlag . ISBN  978-3-540-65399-8 . МР   1697859 . Збл   0956.11021 .