Квадратичное целое число - Quadratic integer

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

х 2 + bx + c = 0

с целыми числами b и c (обычно). Когда рассматриваются алгебраические целые числа, обычные целые числа часто называют рациональными целыми числами .

Распространенными примерами квадратичных целых чисел являются квадратные корни из рациональных целых чисел, таких как 2 , и комплексное число i = –1 , которое порождает гауссовские целые числа . Другой распространенный пример - нереальный кубический корень из единицы. −1 + –3/2, который генерирует целые числа Эйзенштейна .

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

История

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

Описание, данное в § Явное представление квадратичных целых чисел, было впервые дано Ричардом Дедекиндом в 1871 году.

Определение

Квадратичное целое число является целым алгебраической степенью два. Более точно, это комплексное число , которое решает уравнение вида x 2 + bx + c = 0 с целыми числами b и c . Каждое квадратичное целое число, не являющееся целым, не является рациональным - а именно, это действительное иррациональное число, если b 2 - 4 c > 0, и не действительное, если b 2 - 4 c <0 - и лежит в однозначно определенном квадратичном поле , расширение из, порожденное квадратным корнем из единственного бесквадратного целого числа D, которое удовлетворяет b 2 - 4 c = De 2 для некоторого целого числа e . Если D положительно, квадратичное целое число действительно. Если D <0, он мнимый (то есть сложный и нереальный).

Квадратичные целые числа (включая обычные целые числа), которые принадлежат квадратичному полю , образуют область целостности, называемую кольцом целых чисел

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

Явное представление

Здесь и далее рассматриваемые квадратичные целые числа принадлежат квадратичному полю, где D - целое число без квадратов . Это не ограничивает общность, поскольку равенство a 2 D = a D (для любого положительного целого числа a ) влечет

Элемент x из является квадратичным целым числом тогда и только тогда, когда существуют два целых числа a и b такие, что либо

или, если D - 1 делится на 4

с a и b оба нечетные

Другими словами, каждое квадратное целое число может быть записано как a + ωb , где a и  b - целые числа, а ω определяется как:

(поскольку D предполагалось свободным от квадратов, случай невозможен, поскольку это означало бы, что D делится на квадрат 4).

Норма и спряжение

Можно записать квадратичное целое число в

а + b D ,

где a и  b либо оба целые числа, либо, только если D ≡ 1 (mod 4) , обе половины нечетных целых чисел . Норма такого целого числа квадратичной

N ( a + b D ) = a 2 - Db 2 .

Норма квадратичного целого числа всегда целое. Если D <0 , норма квадратичного целого числа - это квадрат его абсолютного значения как комплексного числа (это неверно, если D > 0 ). Норма - это полностью мультипликативная функция , что означает, что норма произведения квадратичных целых чисел всегда является произведением их норм.

Каждому целому квадратичному числу a + b D соответствует сопряженное

Квадратичное целое число имеет ту же норму, что и его сопряженное, и эта норма является произведением квадратичного целого числа и его сопряженного. Сопряжение суммы или произведения квадратичных целых чисел - это сумма или произведение (соответственно) сопряженных чисел. Это означает, что сопряжение является автоморфизмом кольца целых чисел —см. § Квадратичные целочисленные кольца ниже.

Квадратичные целочисленные кольца

Каждое целое число без квадратов (отличное от 0 и 1) D определяет квадратное целочисленное кольцо , которое является областью целостности, состоящей из алгебраических целых чисел, содержащихся в нем. Это множество Z [ ω ] = { a + ωb  : a , bZ }, где, если D = 4, k +1 , и ω = D в противном случае. Это часто обозначается , потому что это кольцо целых чисел из Q ( D ), который является целым замыканием из Z в кольце Z [ ω ] состоит из всех корней всех уравнений х 2 + Вх + С = 0 , чьи дискриминант B 2 - 4 C - произведение D на квадрат целого числа. В частности, D принадлежит Z [ ω ] , будучи корнем уравнения x 2 - D = 0 , которое имеет 4 D в качестве дискриминанта.

Квадратный корень из любого целого числа является квадратичным целым числом, так как каждый целого числа можно записать п = м 2 D , где D представляет собой квадрат-целое число , свободные, и его корень квадратного корня из й 2 - м 2 Д = 0 .

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

Квадратичные целые кольца разделить на два класса в зависимости от знака D . Если D > 0 , все элементы вещественные, и кольцо является вещественным квадратичным целочисленным кольцом . Если D <0 , единственными действительными элементами являются обычные целые числа, а кольцо является комплексным квадратичным целочисленным кольцом .

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

Единицы измерения

Квадратичное целое число - это единица в кольце целых чисел тогда и только тогда, когда его норма равна 1 или –1 . В первом случае его мультипликативная инверсия - его сопряженная. Это отрицание его сопряженного во втором случае.

Если D <0 , кольцо целых чисел имеет не более шести единиц. В случае гауссовых целых чисел ( D = –1 ) четыре единицы: 1, –1, –1 , - –1 . В случае целых чисел Эйзенштейна ( D = –3 ) шесть единиц равны ± 1,± 1 ± –3/2. Для всех остальных отрицательных D есть только две единицы: 1 и –1 .

Если D > 0 , кольцо целых чисел имеет бесконечно много единиц, которые равны ± u i , где i - произвольное целое число, а u - конкретная единица, называемая фундаментальной единицей . Принимая во внимание основной единицей у , есть три другие фундаментальные единицы, сопряженная , а также и Как правило, один вызывает на основную единицу, уникальный тот , который имеет абсолютное большее значение , чем 1 (как действительное число). Это единственная фундаментальная единица, которую можно записать как a + b D , где a и b положительны (целые числа или половины целых чисел).

Фундаментальные единицы для 10 наименьших положительных бесквадратных D равны 1 + 2 , 2 + 3 ,1 + 5/2( золотое сечение ), 5 + 2 6 , 8 + 3 7 , 3 + 10 , 10 + 3 11 ,3 + 13/2, 15 + 4 14 , 4 + 15 . Для большего D коэффициенты основной единицы могут быть очень большими. Например, для D = 19, 31, 43 основные единицы равны соответственно 170 + 39 19 , 1520 + 273 31 и 3482 + 531 43 .

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

Гауссовские целые числа
Простые числа Эйзенштейна

При D  <0 ω - комплексное ( мнимое или иначе не действительное) число. Следовательно, квадратичное целочисленное кольцо естественно рассматривать как набор алгебраических комплексных чисел .

Оба упомянутых выше кольца являются кольцами целых чисел круговых полей Q4 ) и Q3 ) соответственно. Напротив, Z [ −3 ] даже не является дедекиндовской областью .

Оба приведенных выше примера представляют собой кольца главных идеалов, а также евклидовы области для нормы. Это не так для

который даже не является уникальной областью факторизации . Это можно показать следующим образом.

У нас есть

Коэффициенты 3 и являются несократимыми , поскольку все они имеют норму 9, и если бы они не были несократимыми, они имели бы коэффициент нормы 3, что невозможно, поскольку норма элемента, отличного от ± 1, составляет не менее 4 Таким образом, разложение 9 на неприводимые множители не уникально.

Эти идеалы и не главным , как простое вычисление показывает , что их продукт является идеал , порожденный 3, и, если бы они были главными, это означало бы , что 3 не будет неприводимым.

Примеры вещественных квадратичных целочисленных колец

Полномочия золотого сечения

При D > 0 , ω является положительным иррациональным действительным числом, а соответствующее квадратичное целое кольцо представляет собой множество алгебраических действительных чисел . Решения уравнения Пелля X 2 - D Y 2 = 1 , широко изученного диофантова уравнения , являются единицами этих колец для D ≡ 2, 3 (mod 4) .

Главные кольца квадратичных целых чисел

Уникальное свойство факторизации не всегда проверяется для колец квадратичных целых чисел, как показано выше для случая Z [ −5 ] . Однако, как и для любой области Дедекинда , кольцо квадратичных целых чисел является уникальной областью факторизации тогда и только тогда, когда это область главных идеалов . Это происходит тогда и только тогда, когда номер класса соответствующего квадратичного поля равен единице.

Полностью определены мнимые кольца целых квадратичных чисел, которые являются кольцами главных идеалов. Это для

D = -1, -2, -3, -7, -11, -19, -43, -67, -163 .

Этот результат был впервые предположен Гауссом и доказан Куртом Хегнером , хотя доказательству Хегнера не верили, пока Гарольд Старк не дал более позднее доказательство в 1967 году (см. Теорему Старка – Хегнера ). Это частный случай знаменитой проблемы числа классов .

Существует много известных натуральных чисел D > 0 , для которых кольцо целых квадратичных чисел является кольцом главных идеалов. Однако полный список неизвестен; даже не известно, конечно ли число этих колец главных идеалов.

Евклидовы кольца целых квадратичных чисел

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

Оборудованный нормой как евклидова функция , это евклидова область для отрицательного значения D, когда

D = −1, −2, −3, −7, −11 ,

а при положительном D , когда

D = 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73 (последовательность A048981 в OEIS ).

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

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

D = −19, −43, −67, −163 ,

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

С другой стороны, обобщенная гипотеза Римана подразумевает, что кольцо действительных квадратичных целых чисел, которое является областью главного идеала, также является евклидовой областью для некоторой евклидовой функции, которая действительно может отличаться от обычной нормы. Значения D = 14, 69 были первыми, для которых кольцо квадратичных целых чисел оказалось евклидовым, но не норм-евклидовым.

Заметки

Рекомендации

дальнейшее чтение