2025-11-12T18:37:10.266987

Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p

Lemmermeyer
In this article we explain how to construct cyclic octic unramfied extensions of the real quadratic number field $k = {\mathbb Q}(\sqrt{2p}\,)$, where $p \equiv 1 \bmod 8$ is a prime number such that $h_2(k) \equiv 0 \bmod 8$. The construction only requires solving the diophantine equation $eu^2 = t^2 + 2ps^2$ in integers.
academic

Октические поля Гильберта 2-класса вещественных квадратичных полей с дискриминантом 8p

Основная информация

  • ID статьи: 2510.10295
  • Название: Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p
  • Автор: Franz Lemmermeyer
  • Классификация: math.NT (Теория чисел)
  • Дата публикации: 11 октября 2025 г. (подача на arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2510.10295

Аннотация

В данной статье объясняется, как построить циклические октические неразветвлённые расширения вещественного квадратичного поля k=Q(2p)k = \mathbb{Q}(\sqrt{2p}), где p1(mod8)p \equiv 1 \pmod{8} — простое число, удовлетворяющее условию h2(k)0(mod8)h_2(k) \equiv 0 \pmod{8}. Построение реализуется путём надлежащей модификации конструкции из литературы 2, относящейся к Q(p)\mathbb{Q}(\sqrt{-p}), и требует только решения диофантова уравнения на целых числах eu2=t2+2ps2eu^2 = t^2 + 2ps^2.

Исследовательский контекст и мотивация

Постановка проблемы

  1. Теория полей классов Гильберта: Данное исследование относится к области теории полей классов в алгебраической теории чисел, в частности к проблеме построения полей классов Гильберта вещественных квадратичных полей
  2. Структура 2-группы классов квадратичных полей: Для вещественных квадратичных полей вида Q(2p)\mathbb{Q}(\sqrt{2p}) структура 2-группы классов тесно связана со свойствами простого числа pp
  3. Существование неразветвлённых расширений: Существование циклических октических неразветвлённых расширений связано с делимостью числа классов на степени двойки

Исследовательская мотивация

  1. Совершенствование теории: Дополнение и развитие теории построения полей классов Гильберта вещественных квадратичных полей
  2. Вычислительные методы: Предоставление явного метода построения, основанного на решении диофантовых уравнений
  3. Обобщение известных результатов: Распространение работ автора по мнимым квадратичным полям на случай вещественных полей

Центральная проблема

Построение циклического октического неразветвлённого расширения вещественного квадратичного поля k=Q(2p)k = \mathbb{Q}(\sqrt{2p}), удовлетворяющего специальным условиям, где ключевыми условиями являются p1(mod8)p \equiv 1 \pmod{8} и делимость строгого числа классов h+h^+ на 8.

Основные вклады

  1. Явный метод построения: Предоставлен явный метод построения циклического октического неразветвлённого расширения поля Q(2p)\mathbb{Q}(\sqrt{2p})
  2. Решение диофантовых уравнений: Задача построения сводится к решению диофантова уравнения eu2=t2+2ps2eu^2 = t^2 + 2ps^2
  3. Условия различимости: Даны точные условия различимости существования октического расширения
  4. Вычислительные примеры: Предоставлены многочисленные конкретные численные примеры и проверки
  5. Теоретическое обобщение: Успешное распространение соответствующей теории мнимых квадратичных полей на вещественный случай

Подробное описание методов

Определение задачи

Для заданного простого числа p1(mod8)p \equiv 1 \pmod{8} построить циклическое октическое расширение Галуа L/kL/k вещественного квадратичного поля k=Q(2p)k = \mathbb{Q}(\sqrt{2p}) такое, что это расширение неразветвлено во всех конечных простых точках.

Теоретические основы

Структура группы классов квадратичного поля

Для k=Q(2p)k = \mathbb{Q}(\sqrt{2p}) согласно теории родов:

  • Когда p1(mod4)p \equiv 1 \pmod{4}, поле рода равно kgen=Q(2,p)k_{gen} = \mathbb{Q}(\sqrt{2}, \sqrt{p})
  • 2-группа классов циклична
  • Число классов всегда чётно

Существование четырёхстепенного расширения

Предложение 1: Пусть p1(mod8)p \equiv 1 \pmod{8} — простое число. Тогда существуют целые числа e,f>0e, f > 0 такие, что:

  • p=e22f2p = e^2 - 2f^2
  • e3(mod4)e \equiv 3 \pmod{4}, f2(mod4)f \equiv 2 \pmod{4}

Для α=e+f2\alpha = e + f\sqrt{2} расширение K=k(α)K = k(\sqrt{\alpha}) является циклическим четырёхстепенным неразветвлённым расширением поля kk.

Различимость делимости числа классов

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

Свойство числа классовNε2pN\varepsilon_{2p}Условие
h2(mod4)h \equiv 2 \pmod{4}+1+1e<0e < 0
h4(mod8)h \equiv 4 \pmod{8}1-1e>0,e7(mod8)e > 0, e \equiv 7 \pmod{8}
h4(mod8)h \equiv 4 \pmod{8}+1+1e>0,e3(mod8)e > 0, e \equiv 3 \pmod{8}
h0(mod8)h \equiv 0 \pmod{8}±1\pm 1e>0,e3(mod8)e > 0, e \equiv 3 \pmod{8}

Построение октического расширения

Центральное диофантово уравнение

Ключ к построению — решение уравнения: A2αB2=αC2A^2 - \alpha B^2 = \alpha' C^2

Посредством установления:

  • A=u2A = u\sqrt{2}
  • B=r+s2B = r + s\sqrt{2}
  • C=rs2C = r - s\sqrt{2}

задача преобразуется в решение: eu2=t2+2ps2eu^2 = t^2 + 2ps^2 где t=er+2fst = er + 2fs.

Условия разрешимости

Лемма 5: Когда e>0e > 0, e3(mod8)e \equiv 3 \pmod{8}, f2(mod4)f \equiv 2 \pmod{4}, уравнение eu2=t2+2ps2eu^2 = t^2 + 2ps^2 имеет решение в нечётных целых числах.

Доказательство проводится путём проверки разрешимости уравнения по различным модулям:

  • По модулю вещественных чисел: e>0e > 0 гарантирует разрешимость
  • По модулю 8: e3(mod8)e \equiv 3 \pmod{8} гарантирует разрешимость
  • По модулю pp: требуется проверка (ep)=+1(\frac{e}{p}) = +1
  • По модулю ee: требуется проверка (2pe)=+1(\frac{-2p}{e}) = +1

Технические инновационные моменты

  1. Единая схема построения: Построение четырёхстепенного и октического расширений объединено в единую теоретическую схему
  2. Явный алгоритм решения: Предоставлен конкретный метод решения диофантова уравнения
  3. Механизм выбора единиц: Путём выбора надлежащих единиц ε=1±2\varepsilon = 1 \pm \sqrt{2} обеспечивается неразветвлённость расширения
  4. Условия на знаки: Установлено соответствие между свойствами расширения и знаками параметров представления

Экспериментальная установка

Вычислительные примеры

Статья предоставляет два основных класса вычислительных примеров:

Источники данных

  • Простые числа p1(mod8)p \equiv 1 \pmod{8}, удовлетворяющие соответствующим условиям на число классов
  • Параметры определены через представление p=e22f2p = e^2 - 2f^2
  • Параметры построения получены решением диофантова уравнения

Методы проверки

  • Вычисление структуры группы классов для проверки теоретических предсказаний
  • Проверка неразветвлённости расширения
  • Проверка цикличности группы Галуа

Вычислительные инструменты

Статья использует стандартные вычислительные инструменты алгебраической теории чисел для:

  • Вычисления числа классов и структуры группы классов
  • Проверки поведения разложения простых идеалов
  • Анализа свойств разветвлённости расширений

Результаты экспериментов

Вполне вещественные октические расширения

Для случая строгого числа классов h0(mod8)h \equiv 0 \pmod{8} статья приводит 6 конкретных примеров:

pphhNε2pN\varepsilon_{2p}eeff(u,t,s,r)(u,t,s,r)
1138-1112(5,7,-1,1)
12018-14318(37,193,-3,7)
121781352(19,101,-1,3)
16018-16738(7,9,1,-1)
17778-1436(47,251,3,5)
21138-19962(7,25,1,-1)

Вполне комплексные октические расширения

Для случая числа классов h4(mod8)h \equiv 4 \pmod{8} и Nε2p=+1N\varepsilon_{2p} = +1 статья приводит 9 примеров:

ppОбразующий элемент μ\muСтруктура группы классов
257[112+(32)35+222](12)[11\sqrt{2} + (3-\sqrt{2})\sqrt{35+22\sqrt{2}}](1-\sqrt{2})[6][3][6] \to [3]
337[52+(12)27+142](12)[5\sqrt{2} + (1-\sqrt{2})\sqrt{27+14\sqrt{2}}](1-\sqrt{2})[2][17,17][2] \to [17,17]
353[72+(12)19+22](12)[7\sqrt{2} + (1-\sqrt{2})\sqrt{19+2\sqrt{2}}](1-\sqrt{2})[2][17,17][2] \to [17,17]

Основные находки

  1. Эффективность построения: Все теоретически предсказанные случаи могут быть реализованы путём решения диофантова уравнения
  2. Изменение группы классов: Структура группы классов после расширения соответствует теоретическим предсказаниям
  3. Вычислительная сложность: Для больших простых чисел решение диофантова уравнения может требовать обработки проблем наибольшего общего делителя

Связанные работы

Исторический контекст

  1. Классическая теория полей классов: Основы теории полей классов, установленные Гильбертом, Вебером, Такаги и другими
  2. Исследования квадратичных полей: Теория бинарных квадратичных форм Гаусса
  3. Современное развитие: Современные инструменты, такие как закон взаимности Шольца

Непосредственно связанные работы

  1. Предыдущие работы автора:
    • 1 Диссертация об построении полей классов
    • 2 Построение полей Гильберта 2-класса мнимых квадратичных полей
  2. Соответствующие теории:
    • Теория C4-разложения
    • Применение теории родов в квадратичных полях

Уникальность вклада данной работы

  1. Обобщение на вещественные поля: Первое систематическое распространение методов построения мнимых квадратичных полей на вещественный случай
  2. Вычислительные методы: Предоставление более конкретных и практически применимых алгоритмов построения по сравнению с общей теорией
  3. Полнота: Полная характеризация условий существования

Заключение и обсуждение

Основные выводы

  1. Теорема существования: Когда p1(mod8)p \equiv 1 \pmod{8} и строгое число классов делится на 8, поле Q(2p)\mathbb{Q}(\sqrt{2p}) допускает циклическое октическое неразветвлённое расширение
  2. Алгоритм построения: Такое расширение может быть явно построено путём решения диофантова уравнения eu2=t2+2ps2eu^2 = t^2 + 2ps^2
  3. Условия различимости: Вполне вещественный или вполне комплексный характер расширения может быть различен по знаку параметра ee

Теоретическое значение

  1. Совершенствование теории полей классов: Предоставление важного дополнения к теории полей классов Гильберта вещественных квадратичных полей
  2. Вычислительная теория чисел: Предоставление эффективных алгоритмов для связанных вычислительных задач
  3. Потенциал обобщения: Методы имеют потенциал для обобщения на более общие случаи

Ограничения

  1. Ограничения условий: Методы применимы только к простым числам специальных классов вычетов
  2. Вычислительная сложность: Для больших простых чисел решение диофантова уравнения может встретить проблемы эффективности
  3. Теоретический диапазон: В настоящее время рассмотрены только случаи 2-группы классов

Направления будущих исследований

  1. Обобщение на более высокие степени: Исследование циклических расширений шестнадцатой степени или выше
  2. Другие дискриминанты: Рассмотрение квадратичных полей с дискриминантами других форм
  3. Оптимизация вычислений: Улучшение алгоритмов решения диофантовых уравнений
  4. Исследование приложений: Изучение приложений в криптографии и других областях

Глубокая оценка

Преимущества

  1. Теоретическая строгость:
    • Математические рассуждения строги, каждый шаг имеет достаточное теоретическое обоснование
    • Сочетание классической теории родов и современных инструментов теории полей классов
  2. Инновационность методов:
    • Успешное распространение методов мнимых квадратичных полей на вещественный случай
    • Предоставление явного метода построения, основанного на диофантовых уравнениях
  3. Полнота вычислений:
    • Предоставление многочисленных конкретных численных примеров
    • Проверка правильности теоретических предсказаний
    • Полное описание вычислительного процесса
  4. Практическая ценность:
    • Алгоритмы практически применимы
    • Предоставление полезных инструментов для связанных исследований

Недостатки

  1. Область применения:
    • Ограничение на простые числа специальных классов вычетов
    • Строгие требования на число классов
  2. Вычислительная эффективность:
    • Для больших простых чисел вычислительная сложность может быть высокой
    • Недостаточное обсуждение общих алгоритмов решения диофантовых уравнений
  3. Теоретическая глубина:
    • В основном обобщение и применение известных методов
    • Отсутствие фундаментальных теоретических прорывов

Влияние

  1. Научный вклад:
    • Предоставление новых инструментов и методов для исследований в алгебраической теории чисел
    • Продвижение развития теории полей классов Гильберта вещественных квадратичных полей
  2. Перспективы приложений:
    • Практическая ценность в вычислительной алгебраической теории чисел
    • Возможные приложения в криптографии и связанных областях
  3. Воспроизводимость:
    • Статья предоставляет достаточные вычислительные детали
    • Методы имеют хорошую воспроизводимость

Области применения

  1. Теоретические исследования: Исследования в алгебраической теории чисел и теории полей классов
  2. Вычислительная математика: Вычислительные задачи, требующие построения специальных алгебраических расширений
  3. Прикладная математика: Возможные приложения в теории кодирования и криптографии
  4. Преподавание: Использование в качестве конкретных примеров теории полей классов при преподавании

Библиография

Статья ссылается на основные связанные работы автора:

  1. F. Lemmermeyer, Die Konstruktion von Klassenkörpern, Ph.D. Diss. Univ. Heidelberg, 1995
  2. F. Lemmermeyer, Hilbert 2-class fields and 2-descent, Publ. Math. Debr. 88 (2016), 319–343
  3. F. Lemmermeyer, Dirichlet's Lemma in number fields, arXiv:2502.00526v2

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