WikiDer > Список числовых полей с классом номер один - Википедия

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]

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

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

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

  • Икс3 − Икс2 + 1 (дискриминант −23)
  • Икс3 + Икс - 1 (дискриминант −31)
  • Икс3 − Икс2 + Икс + 1 (дискриминант -44)
  • Икс3 + 2Икс - 1 (дискриминант −59)
  • Икс3 − 2Икс - 2 (дискриминант −76)
  • Икс3 − Икс2 + Икс - 2 (дискриминант −83)
  • Икс3 − Икс2 + 2Икс + 1 (дискриминант -87)
  • Икс3 − Икс - 2 (дискриминант −104)
  • Икс3 − Икс2 + 3Икс - 2 (дискриминант −107)
  • Икс3 - 2 (дискриминант −108)
  • Икс3 − Икс2 - 2 (дискриминант −116)
  • Икс3 + 3Икс - 1 (дискриминант −135)
  • Икс3 − Икс2 + Икс + 2 (дискриминант −139)
  • Икс3 + 2Икс - 2 (дискриминант -140)
  • Икс3 − Икс2 − 2Икс - 2 (дискриминант −152)
  • Икс3 − Икс2 − Икс + 3 (дискриминант −172)
  • Икс3 − Икс2 + 2Икс - 3 (дискриминант −175)
  • Икс3 − Икс2 + 4Икс - 1 (дискриминант −199)
  • Икс3 − Икс2 + 2Икс + 2 (дискриминант −200)
  • Икс3 − Икс2 + Икс - 3 (дискриминант −204)
  • Икс3 − 2Икс - 3 (дискриминант −211)
  • Икс3 − Икс2 + 4Икс - 2 (дискриминант −212)
  • Икс3 + 3Икс - 2 (дискриминант −216)
  • Икс3 − Икс2 + 3 (дискриминант −231)
  • Икс3 − Икс - 3 (дискриминант −239)
  • Икс3 - 3 (дискриминант −243)
  • Икс3 + Икс - 6 (дискриминант −244)
  • Икс3 + Икс - 3 (дискриминант −247)
  • Икс3 − Икс2 - 3 (дискриминант −255)
  • Икс3 − Икс2 − 3Икс + 5 (дискриминант −268)
  • Икс3 − Икс2 − 3Икс - 3 (дискриминант −300)
  • Икс3 − Икс2 + 3Икс + 2 (дискриминант −307)
  • Икс3 − 3Икс - 4 (дискриминант −324)
  • Икс3 − Икс2 − 2Икс - 3 (дискриминант −327)
  • Икс3 − Икс2 + 4Икс + 1 (дискриминант −335)
  • Икс3 − Икс2 − Икс + 4 (дискриминант -339)
  • Икс3 + 3Икс - 3 (дискриминант −351)
  • Икс3 − Икс2 + Икс + 7 (дискриминант −356)
  • Икс3 + 4Икс - 2 (дискриминант −364)
  • Икс3 − Икс2 + 2Икс + 3 (дискриминант −367)
  • Икс3 − Икс2 + Икс - 4 (дискриминант −379)
  • Икс3 − Икс2 + 5Икс - 2 (дискриминант −411)
  • Икс3 − 4Икс - 5 (дискриминант −419)
  • Икс3 − Икс2 + 8 (дискриминант −424)
  • Икс3 − Икс - 8 (дискриминант −431)
  • Икс3 + Икс - 4 (дискриминант −436)
  • Икс3 − Икс2 − 2Икс + 5 (дискриминант -439)
  • Икс3 + 2Икс - 8 (дискриминант −440)
  • Икс3 − Икс2 − 5Икс + 8 (дискриминант −451)
  • Икс3 + 3Икс - 8 (дискриминант -459)
  • Икс3 − Икс2 + 5Икс - 3 (дискриминант −460)
  • Икс3 − 5Икс - 6 (дискриминант −472)
  • Икс3 − Икс2 + 4Икс + 2 (дискриминант -484)
  • Икс3 − Икс2 + 3Икс + 3 (дискриминант −492)
  • Икс3 + 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.7,[9] а позже улучшил эту оценку до 109.[10] Эти поля являются п-й слои круговой Z2-расширение Q. Также в 2009 году Морисава показал, что номера классов слоев круговой Z3-расширение Q не иметь простого множителя меньше 104.[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. ^ а б c d Глава I, раздел 6, с. 37 из Нойкирх 1999
  2. ^ Дембеле, Лассина (2005). "Явные вычисления модулярных форм Гильберта на " (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). "Задача Вебера о числе классов в циклотомической -расширение ". Exp. Математика. 18 (2): 213–222. Дои:10.1080/10586458.2009.10128896. ISSN 1058-6458. МИСТЕР 2549691. Zbl 1189.11033.
  10. ^ Фукуда, Такаши; Komatsu, Keiichi (2011). "Задача Вебера о числе классов в циклотомической -расширение III ». Int. J. Теория чисел. 7 (6): 1627–1635. Дои:10.1142 / S1793042111004782. ISSN 1793-7310. МИСТЕР 2835816. Zbl 1226.11119.
  11. ^ Морисава, Такаяки (2009). "Проблема числа классов в круговороте -расширение ". 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

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