Список числовых полей с классом номер один - List of number fields with class number one - Wikipedia

Это неполный список числовые поля с классом №1.

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

Определение

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

Таким образом, числовое поле имеет класс номер 1 тогда и только тогда, когда его кольцо целых чисел является главная идеальная область (и, следовательно, уникальная область факторизации ). В основная теорема арифметики Говорит, что Q имеет класс №1.

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

Основная статья: Поле квадратичных чисел

Они имеют вид K = Q(√d), для целое число без квадратов d.

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

Основная статья: Действительное квадратичное поле

K называется вещественно-квадратичным, если d > 0. K имеет класс номер 1 для следующих значенийd (последовательность A003172 в OEIS ):

• 2*, 3, 5*, 6, 7, 11, 13*, 14, 17*, 19, 21, 22, 23, 29*, 31, 33, 37*, 38, 41*, 43, 46, 47, 53*, 57, 59, 61*, 62, 67, 69, 71, 73*, 77, 83, 86, 89*, 93, 94, 97*, ...^[1][2]

(завершить до d = 100)

*: узкий номер класса также 1 (см. соответствующую последовательность A003655 в OEIS).

Несмотря на то, что могло бы иметь место для этих небольших значений, не все простые числа, которые конгруэнтны 1 по модулю 4, появляются в этом списке, особенно поля Q(√d) за d = 229 и d = 257 оба имеют номер класса больше 1 (фактически равный 3 в обоих случаях).^[3] Плотность таких простых чисел, для которых Q(√d) действительно имеет класс номер 1, предполагается ненулевым и фактически близким к 76%,^[4]однако неизвестно даже, существует ли бесконечно много вещественных квадратичных полей с номером класса 1.^[1]

Мнимые квадратичные поля

Основная статья: Число Хегнера

K имеет класс номер 1 ровно для следующих отрицательных значений d:

• −1, −2, −3, −7, −11, −19, −43, −67, −163.^[1]

(По определению, все они также имеют узкий класс номер 1).

Кубические поля

Основная статья: Кубическое поле

Полностью реальное кубическое поле

Первые 60 полностью реальных кубических полей (в порядке дискриминант ) иметь класс номер один. Другими словами, все кубические поля дискриминанта от 0 до 1944 (включительно) имеют класс номер один. Следующее полностью вещественное кубическое поле (дискриминанта 1957 г.) имеет класс номер два. Полиномы, определяющие вполне вещественные кубические поля с дискриминантами менее 500 с классом номер один:^[5]

• Икс³ − Икс² − 2Икс + 1 (дискриминант 49)
• Икс³ − 3Икс - 1 (дискриминант 81)
• Икс³ − Икс² − 3Икс + 1 (дискриминант 148)
• Икс³ − Икс² − 4Икс - 1 (дискриминант 169)
• Икс³ − 4Икс - 1 (дискриминант 229)
• Икс³ − Икс² − 4Икс + 3 (дискриминант 257)
• Икс³ − Икс² − 4Икс + 2 (дискриминант 316)
• Икс³ − Икс² − 4Икс + 1 (дискриминант 321)
• Икс³ − Икс² − 6Икс + 7 (дискриминант 361)
• Икс³ − Икс² − 5Икс - 1 (дискриминант 404)
• Икс³ − Икс² − 5Икс + 4 (дискриминант 469)
• Икс³ − 5Икс - 1 (дискриминант 473)

Сложное кубическое поле

Все комплексные кубические поля с дискриминантом больше -500 имеют класс номер один, за исключением полей с дискриминантами -283, -331 и -491, которые имеют класс номер 2. Полиномы, определяющие комплексные кубические поля, которые имеют класс номер один и дискриминант больше, чем −500 это:^[5]

• Икс³ − Икс² + 1 (дискриминант −23)
• Икс³ + Икс - 1 (дискриминант −31)
• Икс³ − Икс² + Икс + 1 (дискриминант -44)
• Икс³ + 2Икс - 1 (дискриминант −59)
• Икс³ − 2Икс - 2 (дискриминант −76)
• Икс³ − Икс² + Икс - 2 (дискриминант −83)
• Икс³ − Икс² + 2Икс + 1 (дискриминант -87)
• Икс³ − Икс - 2 (дискриминант −104)
• Икс³ − Икс² + 3Икс - 2 (дискриминант −107)
• Икс³ - 2 (дискриминант −108)
• Икс³ − Икс² - 2 (дискриминант −116)
• Икс³ + 3Икс - 1 (дискриминант −135)
• Икс³ − Икс² + Икс + 2 (дискриминант −139)
• Икс³ + 2Икс - 2 (дискриминант -140)
• Икс³ − Икс² − 2Икс - 2 (дискриминант −152)
• Икс³ − Икс² − Икс + 3 (дискриминант −172)
• Икс³ − Икс² + 2Икс - 3 (дискриминант −175)
• Икс³ − Икс² + 4Икс - 1 (дискриминант −199)
• Икс³ − Икс² + 2Икс + 2 (дискриминант −200)
• Икс³ − Икс² + Икс - 3 (дискриминант −204)
• Икс³ − 2Икс - 3 (дискриминант −211)
• Икс³ − Икс² + 4Икс - 2 (дискриминант −212)
• Икс³ + 3Икс - 2 (дискриминант −216)
• Икс³ − Икс² + 3 (дискриминант −231)
• Икс³ − Икс - 3 (дискриминант −239)
• Икс³ - 3 (дискриминант −243)
• Икс³ + Икс - 6 (дискриминант −244)
• Икс³ + Икс - 3 (дискриминант −247)
• Икс³ − Икс² - 3 (дискриминант −255)
• Икс³ − Икс² − 3Икс + 5 (дискриминант −268)
• Икс³ − Икс² − 3Икс - 3 (дискриминант −300)
• Икс³ − Икс² + 3Икс + 2 (дискриминант −307)
• Икс³ − 3Икс - 4 (дискриминант −324)
• Икс³ − Икс² − 2Икс - 3 (дискриминант −327)
• Икс³ − Икс² + 4Икс + 1 (дискриминант −335)
• Икс³ − Икс² − Икс + 4 (дискриминант -339)
• Икс³ + 3Икс - 3 (дискриминант −351)
• Икс³ − Икс² + Икс + 7 (дискриминант −356)
• Икс³ + 4Икс - 2 (дискриминант −364)
• Икс³ − Икс² + 2Икс + 3 (дискриминант −367)
• Икс³ − Икс² + Икс - 4 (дискриминант −379)
• Икс³ − Икс² + 5Икс - 2 (дискриминант −411)
• Икс³ − 4Икс - 5 (дискриминант −419)
• Икс³ − Икс² + 8 (дискриминант −424)
• Икс³ − Икс - 8 (дискриминант −431)
• Икс³ + Икс - 4 (дискриминант −436)
• Икс³ − Икс² − 2Икс + 5 (дискриминант -439)
• Икс³ + 2Икс - 8 (дискриминант −440)
• Икс³ − Икс² − 5Икс + 8 (дискриминант −451)
• Икс³ + 3Икс - 8 (дискриминант -459)
• Икс³ − Икс² + 5Икс - 3 (дискриминант −460)
• Икс³ − 5Икс - 6 (дискриминант −472)
• Икс³ − Икс² + 4Икс + 2 (дискриминант -484)
• Икс³ − Икс² + 3Икс + 3 (дискриминант −492)
• Икс³ + 4Икс - 3 (дискриминант −499)

Циклотомические поля

Основная статья: Циклотомическое поле

Ниже приводится полный список п для чего поле Q(ζ_п) имеет класс номер 1:^[6]

• С 1 по 22, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 38, 40, 42, 44, 45, 48, 50, 54, 60, 66, 70, 84, 90.^[7]

С другой стороны, максимальные вещественные подполя Q(cos (2π / 2^п)) 2-степенных круговых полей Q(ζ_2^п) (куда п положительное целое число), как известно, имеют класс 1 для n≤8,^[8] и предполагается, что они имеют класс номер 1 для всех п. Вебер показал, что эти поля имеют нечетный номер класса. В 2009 году Фукуда и Комацу показали, что числа классов этих полей не имеют простого множителя меньше 10.⁷,^[9] а позже улучшил эту оценку до 10⁹.^[10] Эти поля являются п-й слои круговой Z₂-расширение Q. Также в 2009 году Морисава показал, что номера классов слоев круговой Z₃-расширение Q не иметь простого множителя меньше 10⁴.^[11] Коутс поднял вопрос о том, для всех ли простых чисел п, каждый слой круговорота Z_п-расширение Q имеет класс №1.^{[нужна цитата ]}

Поля CM

Основная статья: Поле CM

Случай мнимых квадратичных полей и круговых полей одновременно обобщает случай поля CM K, т.е. полностью воображаемый квадратичное расширение полностью реальное поле. В 1974 г. Гарольд Старк предположил, что существует конечное число полей CM класса номер 1.^[12] Он показал, что существует конечное число фиксированной степени. Вскоре после этого, Андрей Одлызко показал, что существует только конечное число Галуа Поля CM класса номер 1.^[13] В 2001, В. Кумар Мурти показал, что из всех СМ-полей, у которых замыкание Галуа имеет разрешимую группу Галуа, только конечное число имеет класс номер 1.^[14]

Полный список 172 абелевых полей КМ класса номер 1 был определен в начале 1990-х Кеном Ямамурой и доступен на страницах 915–919 его статьи по этому вопросу.^[15] Объединение этого списка с работами Стефана Лубутена и Риотаро Окадзаки дает полный список полей CM класса четвертой степени 1.^[16]

Смотрите также

• Проблема с номером класса
• Формула номера класса

Примечания

1. Глава I, раздел 6, с. 37 из Нойкирх 1999
2. Дембеле, Лассина (2005). "Явные вычисления модулярных форм Гильберта на ${\displaystyle \mathbb {Q} ({\sqrt {5}})}$" (PDF). Exp. Математика. 14 (4): 457–466. Дои:10.1080/10586458.2005.10128939. ISSN  1058-6458. Zbl  1152.11328.
3. Х. Коэн, Курс вычислительной алгебраической теории чисел, GTM 138, Springer Verlag (1993), Приложение B2, стр.507
4. Х. Коэн и Х. В. Ленстра, Эвристика по группам классов числовых полей, Теория чисел, Noordwijkerhout 1983, Proc. 13-е Journées Arithmétiques, изд. H. Jager, Lect. Заметки по математике. 1068, Springer-Verlag, 1984, стр. 33–62.
5. Таблицы доступны в исходном коде Pari
6. Вашингтон, Лоуренс К. (1997). Введение в циклотомические поля. Тексты для выпускников по математике. 83 (2-е изд.). Springer-Verlag. Теорема 11.1. ISBN  0-387-94762-0. Zbl  0966.11047.
7. Обратите внимание, что значения п конгруэнтно 2 по модулю 4 избыточны, поскольку Q(ζ_2n) = Q(ζ_п) когда п странно.
8. Дж. Миллер, Числа классов вполне вещественных полей и приложения к проблеме чисел классов Вебера, https://arxiv.org/abs/1405.1094
9. Фукуда, Такаши; Komatsu, Keiichi (2009). "Задача Вебера о числе классов в циклотомической ${\displaystyle \mathbb {Z} _{2}}$-расширение ${\displaystyle \mathbb {Q} }$". Exp. Математика. 18 (2): 213–222. Дои:10.1080/10586458.2009.10128896. ISSN  1058-6458. МИСТЕР  2549691. Zbl  1189.11033.
10. Фукуда, Такаши; Komatsu, Keiichi (2011). "Задача Вебера о числе классов в циклотомической ${\displaystyle \mathbb {Z} _{2}}$-расширение ${\displaystyle \mathbb {Q} }$ III ». Int. J. Теория чисел. 7 (6): 1627–1635. Дои:10.1142 / S1793042111004782. ISSN  1793-7310. МИСТЕР  2835816. Zbl  1226.11119.
11. Морисава, Такаяки (2009). "Проблема числа классов в круговороте ${\displaystyle \mathbb {Z} _{3}}$-расширение ${\displaystyle \mathbb {Q} }$". Tokyo J. Math. 32 (2): 549–558. Дои:10.3836 / tjm / 1264170249. ISSN  0387-3870. МИСТЕР  2589962. Zbl  1205.11116.
12. Старк, Гарольд (1974), "Некоторые эффективные случаи теоремы Брауэра – Зигеля", Inventiones Mathematicae, 23 (2): 135–152, Bibcode:1974InMat..23..135S, Дои:10.1007 / bf01405166, HDL:10338.dmlcz / 120573
13. Одлызко Андрей (1975), "Некоторые аналитические оценки чисел классов и дискриминантов", Inventiones Mathematicae, 29 (3): 275–286, Bibcode:1975InMat..29..275O, Дои:10.1007 / bf01389854
14. Мурти, В. Кумар (2001), «Числа классов CM-полей с разрешимым нормальным замыканием», Compositio Mathematica, 127 (3): 273–287, Дои:10.1023 / А: 1017589432526
15. Ямамура, Кен (1994), "Определение полей мнимых абелевых чисел с классом номер один", Математика вычислений, 62 (206): 899–921, Bibcode:1994MaCom..62..899Y, Дои:10.2307/2153549, JSTOR  2153549
16. Лабутен, Стефан; Окадзаки, Риотаро (1994), "Определение всех ненормальных CM-полей четвертой степени и всех неабелевых нормальных октических CM-полей с классом номер один", Acta Arithmetica, 67 (1): 47–62, Дои:10.4064 / aa-67-1-47-62

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

• Нойкирх, Юрген (1999). Алгебраическая теория чисел. Grundlehren der Mathematischen Wissenschaften. 322. Берлин: Springer-Verlag. ISBN  978-3-540-65399-8. МИСТЕР  1697859. Zbl  0956.11021.