WikiDer > Кубическое поле

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

Определение

Если K это расширение поля рациональных чисел Q из степень [K:Q] = 3, тогда K называется кубическое поле. Любое такое поле изоморфно полю вида

${displaystyle mathbf {Q} [x] / (f (x))}$

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

Кубическое поле K называется циклическое кубическое поле, если он содержит все три корня своего порождающего многочлена ж. Эквивалентно, K является циклическим кубическим полем, если оно Расширение Галуа из Q, в этом случае его Группа Галуа над Q является циклический из порядок три. Это может произойти, только если K абсолютно реально. Это редкое явление в том смысле, что если набор кубических полей упорядочен по дискриминант, то доля кубических полей, которые являются циклическими, стремится к нулю, поскольку граница дискриминанта приближается к бесконечности.^[1]

Кубическое поле называется чистое кубическое поле, если его можно получить присоединением действительного кубического корня ${displaystyle {sqrt [{3}] {n}}}$ положительного целого числа без кубов п в поле рациональных чисел Q. Такие поля всегда являются комплексными кубическими полями, поскольку каждое положительное число имеет два комплексных невещественных кубических корня.

Примеры

• Присоединение действительного кубического корня из 2 к рациональным числам дает кубическое поле ${displaystyle mathbf {Q} ({sqrt [{3}] {2}})}$. Это пример чистого кубического поля и, следовательно, комплексного кубического поля. Фактически, из всех чистых кубических полей оно имеет наименьший дискриминант (в абсолютная величина), а именно −108.^[2]
• Комплексное кубическое поле, полученное присоединением к Q корень Икс³ + Икс² − 1 не чисто. У него самый маленький дискриминант (по модулю) из всех кубических полей, а именно −23.^[3]
• Примыкание к корню Икс³ + Икс² − 2Икс − 1 к Q дает циклическое кубическое поле и, следовательно, вполне реальное кубическое поле. У него самый маленький дискриминант из всех вполне реальных кубических полей, а именно 49.^[4]
• Поле, полученное присоединением к Q корень Икс³ + Икс² − 3Икс − 1 является примером полностью реального кубического поля, которое не является циклическим. Его дискриминант равен 148, наименьший дискриминант нециклического вполне вещественного кубического поля.^[5]
• Нет циклотомические поля кубичны, поскольку степень кругового поля равна φ (п), где φ - Функция Эйлера, который принимает только четные значения (кроме φ (1) = φ (2) = 1).

Замыкание Галуа

Циклическое кубическое поле K свой собственный Замыкание Галуа с группой Галуа Gal (K/Q), изоморфная циклической группе третьего порядка. Однако любое другое кубическое поле K является расширением без галуа Q и имеет расширение поля N степени два как ее замыкание Галуа. Группа Галуа Gal (N/Q) изоморфна симметричная группа S₃ на трех буквах.

Связанное квадратичное поле

Дискриминант кубического поля K можно записать однозначно как df² куда d это основной дискриминант. Потом, K циклично тогда и только тогда, когда d = 1, и в этом случае единственное подполе K является Q сам. Если d ≠ 1, то замыкание Галуа N из K содержит уникальный квадратичное поле k чей дискриминант d (в случае d = 1, подполе Q иногда рассматривается как «вырожденное» квадратичное поле дискриминанта 1). В дирижер из N над k является ж, и ж² это относительный дискриминант из N над K. Дискриминант N является d³ж⁴.^[6][7]

Поле K является чисто кубическим полем тогда и только тогда, когда d = −3. Это тот случай, когда квадратичное поле, содержащееся в замыкании Галуа K - круговое поле кубических корней из единицы.^[7]

Дискриминантный

Синие крестики - это количество вполне вещественных кубических полей ограниченного дискриминанта. Черная линия - это асимптотическое распределение первого порядка, а зеленая линия включает член второго порядка.^[8]

Синие крестики - это количество комплексных кубических полей ограниченного дискриминанта. Черная линия - это асимптотическое распределение первого порядка, а зеленая линия включает член второго порядка.^[8]

Поскольку знак дискриминант числового поля K равно (−1)^р₂, куда р₂ - количество сопряженных пар комплексных вложений K в C, дискриминант кубического поля будет положительным именно тогда, когда поле полностью вещественно, и отрицательным, если это комплексное кубическое поле.

Учитывая какое-то реальное число N > 0 кубических полей конечное число K чей дискриминант D_K удовлетворяет |D_K| ≤ N.^[9] Известны формулы, вычисляющие разложение на простые числа D_K, поэтому его можно вычислить явно.^[10]

В отличие от квадратичных полей, несколько неизоморфных кубических полей K₁, ..., K_м может иметь один и тот же дискриминант D. Номер м этих полей называется множественность^[11] дискриминанта D. Вот несколько небольших примеров. м = 2 для D = −1836, 3969, м = 3 для D = −1228, 22356, м = 4 для D = −3299, 32009 и м = 6 для D = −70956, 3054132.

Любое кубическое поле K будет иметь форму K = Q(θ) для некоторого числа θ, являющегося корнем неприводимого многочлена

${displaystyle f (X) = X ^ {3} -aX + b}$

с а и б оба являются целыми числами. В дискриминант из ж равно Δ = 4а³ − 27б². Обозначая дискриминант K к D, то индекс я(θ) точки θ тогда определяется как Δ =я(θ)²D.

В случае нециклического кубического поля K эта формула индекса может быть объединена с формулой проводника D = ж²d чтобы получить разложение полиномиального дискриминанта ∆ = я(θ)²ж²d в квадрат изделия я(θ)ж и дискриминант d квадратичного поля k связанный с кубическим полем K, куда d свободна от квадратов с точностью до множителя 2² или 2³. Георгий Вороной дал метод разделения я(θ) и ж в квадратной части Δ.^[12]

Изучение числа кубических полей, дискриминант которых меньше заданной границы, является актуальной областью исследований. Позволять N⁺(Икс) (соответственно N⁻(Икс)) обозначают количество вполне вещественных (соответственно комплексных) кубических полей, дискриминант которых ограничен Икс по абсолютной величине. В начале 1970-х гг. Гарольд Давенпорт и Ханс Хайльбронн определил первый член асимптотики N^±(Икс) (т.е. как Икс уходит в бесконечность).^[13][14] Путем анализа остаток из Дзета-функция Синтани, в сочетании с изучением таблиц кубических полей, составленных Каримом Белабасом (Белабас 1997) и немного эвристикаДэвид П. Робертс предположил более точную асимптотическую формулу:^[15]

${displaystyle N ^ {pm} (X) sim {frac {A_ {pm}} {12zeta (3)}} X + {frac {4zeta ({frac {1} {3}}) B_ {pm}} {5Gamma ( {frac {2} {3}}) ^ {3} zeta ({frac {5} {3}})}} X ^ {frac {5} {6}}}$

куда А_± = 1 или 3, B_± = 1 или ${displaystyle {sqrt {3}}}$, в вполне вещественном или комплексном случае ζ (s) это Дзета-функция Римана, и Γ (s) это Гамма-функция. Доказательства этой формулы опубликованы Бхаргава, Шанкар и Цимерман (2013) используя методы, основанные на более ранних работах Бхаргавы, а также Танигучи и Торн (2013) на основе дзета-функции Синтани.

Группа единиц

В соответствии с Теорема Дирихле о единицах, звено без кручения р поля алгебраических чисел K с р₁ настоящие вложения и р₂ пар сопряженных комплексных вложений определяется по формуле р = р₁ + р₂ - 1. Следовательно, вполне вещественное кубическое поле K с р₁ = 3, р₂ = 0 имеет две независимые единицы ε₁, ε₂ и сложное кубическое поле K с р₁ = р₂ = 1 имеет единственную фундаментальную единицу ε₁. Эти фундаментальные системы единиц могут быть вычислены с помощью обобщенных алгоритмов цепной дроби: Вороной,^[16] которые были интерпретированы геометрически Делоне и Фаддеев.^[17]

Примечания

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

• Шабан Алака, Кеннет С. Уильямс, Вводная алгебраическая теория чисел, Издательство Кембриджского университета, 2004.
• Белабас, Карим (1997), "Быстрый алгоритм вычисления кубических полей", Математика вычислений, 66 (219): 1213–1237, Дои:10.1090 / s0025-5718-97-00846-6, МИСТЕР 1415795
• Бхаргава, Манджул; Шанкар, Арул; Цимерман, Джейкоб (2013), "О теореме Дэвенпорта – Хейльбронна и членах второго порядка", Inventiones Mathematicae, 193 (2): 439–499, arXiv:1005.0672, Bibcode:2013InMat.193..439B, Дои:10.1007 / s00222-012-0433-0, МИСТЕР 3090184
• Коэн, Анри (1993), Курс вычислительной алгебраической теории чисел, Тексты для выпускников по математике, 138, Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-3-540-55640-4, МИСТЕР 1228206
• Кон, Харви (1954), "Плотность абелевых кубических полей", Труды Американского математического общества, 5 (3): 476–477, Дои:10.2307/2031963, JSTOR 2031963, МИСТЕР 0064076
• Давенпорт, Гарольд; Хайльбронн, Ганс (1971), «О плотности дискриминантов кубических полей. II», Труды Королевского общества А, 322 (1551): 405–420, Bibcode:1971RSPSA.322..405D, Дои:10.1098 / RSPA.1971.0075, МИСТЕР 0491593
• Хассе, Гельмут (1930), "Arithmetische Theorie der kubischen Zahlkörper auf klassenkörpertheoretischer Grundlage", Mathematische Zeitschrift (на немецком), 31 (1): 565–582, Дои:10.1007 / BF01246435
• Робертс, Дэвид П. (2001), "Плотность дискриминантов кубического поля", Математика вычислений, 70 (236): 1699–1705, arXiv:математика / 9904190, Дои:10.1090 / s0025-5718-00-01291-6, МИСТЕР 1836927
• Танигучи, Такаши; Торн, Франк (2013), "Вторичные члены в считающих функциях для кубических полей", Математический журнал герцога, 162 (13): 2451–2508, arXiv:1102.2914, Дои:10.1215/00127094-2371752, МИСТЕР 3127806

внешняя ссылка

• СМИ, связанные с Кубическое поле в Wikimedia Commons