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.
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 ( 2 p ) k = \mathbb{Q}(\sqrt{2p}) k = Q ( 2 p ) , где p ≡ 1 ( m o d 8 ) p \equiv 1 \pmod{8} p ≡ 1 ( mod 8 ) — простое число, удовлетворяющее условию h 2 ( k ) ≡ 0 ( m o d 8 ) h_2(k) \equiv 0 \pmod{8} h 2 ( k ) ≡ 0 ( mod 8 ) . Построение реализуется путём надлежащей модификации конструкции из литературы 2 , относящейся к Q ( − p ) \mathbb{Q}(\sqrt{-p}) Q ( − p ) , и требует только решения диофантова уравнения на целых числах e u 2 = t 2 + 2 p s 2 eu^2 = t^2 + 2ps^2 e u 2 = t 2 + 2 p s 2 .
Теория полей классов Гильберта : Данное исследование относится к области теории полей классов в алгебраической теории чисел, в частности к проблеме построения полей классов Гильберта вещественных квадратичных полейСтруктура 2-группы классов квадратичных полей : Для вещественных квадратичных полей вида Q ( 2 p ) \mathbb{Q}(\sqrt{2p}) Q ( 2 p ) структура 2-группы классов тесно связана со свойствами простого числа p p p Существование неразветвлённых расширений : Существование циклических октических неразветвлённых расширений связано с делимостью числа классов на степени двойкиСовершенствование теории : Дополнение и развитие теории построения полей классов Гильберта вещественных квадратичных полейВычислительные методы : Предоставление явного метода построения, основанного на решении диофантовых уравненийОбобщение известных результатов : Распространение работ автора по мнимым квадратичным полям на случай вещественных полейПостроение циклического октического неразветвлённого расширения вещественного квадратичного поля k = Q ( 2 p ) k = \mathbb{Q}(\sqrt{2p}) k = Q ( 2 p ) , удовлетворяющего специальным условиям, где ключевыми условиями являются p ≡ 1 ( m o d 8 ) p \equiv 1 \pmod{8} p ≡ 1 ( mod 8 ) и делимость строгого числа классов h + h^+ h + на 8.
Явный метод построения : Предоставлен явный метод построения циклического октического неразветвлённого расширения поля Q ( 2 p ) \mathbb{Q}(\sqrt{2p}) Q ( 2 p ) Решение диофантовых уравнений : Задача построения сводится к решению диофантова уравнения e u 2 = t 2 + 2 p s 2 eu^2 = t^2 + 2ps^2 e u 2 = t 2 + 2 p s 2 Условия различимости : Даны точные условия различимости существования октического расширенияВычислительные примеры : Предоставлены многочисленные конкретные численные примеры и проверкиТеоретическое обобщение : Успешное распространение соответствующей теории мнимых квадратичных полей на вещественный случайДля заданного простого числа p ≡ 1 ( m o d 8 ) p \equiv 1 \pmod{8} p ≡ 1 ( mod 8 ) построить циклическое октическое расширение Галуа L / k L/k L / k вещественного квадратичного поля k = Q ( 2 p ) k = \mathbb{Q}(\sqrt{2p}) k = Q ( 2 p ) такое, что это расширение неразветвлено во всех конечных простых точках.
Для k = Q ( 2 p ) k = \mathbb{Q}(\sqrt{2p}) k = Q ( 2 p ) согласно теории родов:
Когда p ≡ 1 ( m o d 4 ) p \equiv 1 \pmod{4} p ≡ 1 ( mod 4 ) , поле рода равно k g e n = Q ( 2 , p ) k_{gen} = \mathbb{Q}(\sqrt{2}, \sqrt{p}) k g e n = Q ( 2 , p ) 2-группа классов циклична Число классов всегда чётно Предложение 1 : Пусть p ≡ 1 ( m o d 8 ) p \equiv 1 \pmod{8} p ≡ 1 ( mod 8 ) — простое число. Тогда существуют целые числа e , f > 0 e, f > 0 e , f > 0 такие, что:
p = e 2 − 2 f 2 p = e^2 - 2f^2 p = e 2 − 2 f 2 e ≡ 3 ( m o d 4 ) e \equiv 3 \pmod{4} e ≡ 3 ( mod 4 ) , f ≡ 2 ( m o d 4 ) f \equiv 2 \pmod{4} f ≡ 2 ( mod 4 ) Для α = e + f 2 \alpha = e + f\sqrt{2} α = e + f 2 расширение K = k ( α ) K = k(\sqrt{\alpha}) K = k ( α ) является циклическим четырёхстепенным неразветвлённым расширением поля k k k .
Согласно анализу в статье, делимость числа классов на степени двойки может быть различена следующими условиями:
Свойство числа классов N ε 2 p N\varepsilon_{2p} N ε 2 p Условие h ≡ 2 ( m o d 4 ) h \equiv 2 \pmod{4} h ≡ 2 ( mod 4 ) + 1 +1 + 1 e < 0 e < 0 e < 0 h ≡ 4 ( m o d 8 ) h \equiv 4 \pmod{8} h ≡ 4 ( mod 8 ) − 1 -1 − 1 e > 0 , e ≡ 7 ( m o d 8 ) e > 0, e \equiv 7 \pmod{8} e > 0 , e ≡ 7 ( mod 8 ) h ≡ 4 ( m o d 8 ) h \equiv 4 \pmod{8} h ≡ 4 ( mod 8 ) + 1 +1 + 1 e > 0 , e ≡ 3 ( m o d 8 ) e > 0, e \equiv 3 \pmod{8} e > 0 , e ≡ 3 ( mod 8 ) h ≡ 0 ( m o d 8 ) h \equiv 0 \pmod{8} h ≡ 0 ( mod 8 ) ± 1 \pm 1 ± 1 e > 0 , e ≡ 3 ( m o d 8 ) e > 0, e \equiv 3 \pmod{8} e > 0 , e ≡ 3 ( mod 8 )
Ключ к построению — решение уравнения:
A 2 − α B 2 = α ′ C 2 A^2 - \alpha B^2 = \alpha' C^2 A 2 − α B 2 = α ′ C 2
Посредством установления:
A = u 2 A = u\sqrt{2} A = u 2 B = r + s 2 B = r + s\sqrt{2} B = r + s 2 C = r − s 2 C = r - s\sqrt{2} C = r − s 2 задача преобразуется в решение:
e u 2 = t 2 + 2 p s 2 eu^2 = t^2 + 2ps^2 e u 2 = t 2 + 2 p s 2
где t = e r + 2 f s t = er + 2fs t = er + 2 f s .
Лемма 5 : Когда e > 0 e > 0 e > 0 , e ≡ 3 ( m o d 8 ) e \equiv 3 \pmod{8} e ≡ 3 ( mod 8 ) , f ≡ 2 ( m o d 4 ) f \equiv 2 \pmod{4} f ≡ 2 ( mod 4 ) , уравнение e u 2 = t 2 + 2 p s 2 eu^2 = t^2 + 2ps^2 e u 2 = t 2 + 2 p s 2 имеет решение в нечётных целых числах.
Доказательство проводится путём проверки разрешимости уравнения по различным модулям:
По модулю вещественных чисел: e > 0 e > 0 e > 0 гарантирует разрешимость По модулю 8: e ≡ 3 ( m o d 8 ) e \equiv 3 \pmod{8} e ≡ 3 ( mod 8 ) гарантирует разрешимость По модулю p p p : требуется проверка ( e p ) = + 1 (\frac{e}{p}) = +1 ( p e ) = + 1 По модулю e e e : требуется проверка ( − 2 p e ) = + 1 (\frac{-2p}{e}) = +1 ( e − 2 p ) = + 1 Единая схема построения : Построение четырёхстепенного и октического расширений объединено в единую теоретическую схемуЯвный алгоритм решения : Предоставлен конкретный метод решения диофантова уравненияМеханизм выбора единиц : Путём выбора надлежащих единиц ε = 1 ± 2 \varepsilon = 1 \pm \sqrt{2} ε = 1 ± 2 обеспечивается неразветвлённость расширенияУсловия на знаки : Установлено соответствие между свойствами расширения и знаками параметров представленияСтатья предоставляет два основных класса вычислительных примеров:
Простые числа p ≡ 1 ( m o d 8 ) p \equiv 1 \pmod{8} p ≡ 1 ( mod 8 ) , удовлетворяющие соответствующим условиям на число классов Параметры определены через представление p = e 2 − 2 f 2 p = e^2 - 2f^2 p = e 2 − 2 f 2 Параметры построения получены решением диофантова уравнения Вычисление структуры группы классов для проверки теоретических предсказаний Проверка неразветвлённости расширения Проверка цикличности группы Галуа Статья использует стандартные вычислительные инструменты алгебраической теории чисел для:
Вычисления числа классов и структуры группы классов Проверки поведения разложения простых идеалов Анализа свойств разветвлённости расширений Для случая строгого числа классов h ≡ 0 ( m o d 8 ) h \equiv 0 \pmod{8} h ≡ 0 ( mod 8 ) статья приводит 6 конкретных примеров:
p p p h h h N ε 2 p N\varepsilon_{2p} N ε 2 p e e e f f f ( u , t , s , r ) (u,t,s,r) ( u , t , s , r ) 113 8 -1 11 2 (5,7,-1,1) 1201 8 -1 43 18 (37,193,-3,7) 1217 8 1 35 2 (19,101,-1,3) 1601 8 -1 67 38 (7,9,1,-1) 1777 8 -1 43 6 (47,251,3,5) 2113 8 -1 99 62 (7,25,1,-1)
Для случая числа классов h ≡ 4 ( m o d 8 ) h \equiv 4 \pmod{8} h ≡ 4 ( mod 8 ) и N ε 2 p = + 1 N\varepsilon_{2p} = +1 N ε 2 p = + 1 статья приводит 9 примеров:
p p p Образующий элемент μ \mu μ Структура группы классов 257 [ 11 2 + ( 3 − 2 ) 35 + 22 2 ] ( 1 − 2 ) [11\sqrt{2} + (3-\sqrt{2})\sqrt{35+22\sqrt{2}}](1-\sqrt{2}) [ 11 2 + ( 3 − 2 ) 35 + 22 2 ] ( 1 − 2 ) [ 6 ] → [ 3 ] [6] \to [3] [ 6 ] → [ 3 ] 337 [ 5 2 + ( 1 − 2 ) 27 + 14 2 ] ( 1 − 2 ) [5\sqrt{2} + (1-\sqrt{2})\sqrt{27+14\sqrt{2}}](1-\sqrt{2}) [ 5 2 + ( 1 − 2 ) 27 + 14 2 ] ( 1 − 2 ) [ 2 ] → [ 17 , 17 ] [2] \to [17,17] [ 2 ] → [ 17 , 17 ] 353 [ 7 2 + ( 1 − 2 ) 19 + 2 2 ] ( 1 − 2 ) [7\sqrt{2} + (1-\sqrt{2})\sqrt{19+2\sqrt{2}}](1-\sqrt{2}) [ 7 2 + ( 1 − 2 ) 19 + 2 2 ] ( 1 − 2 ) [ 2 ] → [ 17 , 17 ] [2] \to [17,17] [ 2 ] → [ 17 , 17 ]
Эффективность построения : Все теоретически предсказанные случаи могут быть реализованы путём решения диофантова уравненияИзменение группы классов : Структура группы классов после расширения соответствует теоретическим предсказаниямВычислительная сложность : Для больших простых чисел решение диофантова уравнения может требовать обработки проблем наибольшего общего делителяКлассическая теория полей классов : Основы теории полей классов, установленные Гильбертом, Вебером, Такаги и другимиИсследования квадратичных полей : Теория бинарных квадратичных форм ГауссаСовременное развитие : Современные инструменты, такие как закон взаимности ШольцаПредыдущие работы автора :
1 Диссертация об построении полей классов2 Построение полей Гильберта 2-класса мнимых квадратичных полейСоответствующие теории :
Теория C4-разложения Применение теории родов в квадратичных полях Обобщение на вещественные поля : Первое систематическое распространение методов построения мнимых квадратичных полей на вещественный случайВычислительные методы : Предоставление более конкретных и практически применимых алгоритмов построения по сравнению с общей теориейПолнота : Полная характеризация условий существованияТеорема существования : Когда p ≡ 1 ( m o d 8 ) p \equiv 1 \pmod{8} p ≡ 1 ( mod 8 ) и строгое число классов делится на 8, поле Q ( 2 p ) \mathbb{Q}(\sqrt{2p}) Q ( 2 p ) допускает циклическое октическое неразветвлённое расширениеАлгоритм построения : Такое расширение может быть явно построено путём решения диофантова уравнения e u 2 = t 2 + 2 p s 2 eu^2 = t^2 + 2ps^2 e u 2 = t 2 + 2 p s 2 Условия различимости : Вполне вещественный или вполне комплексный характер расширения может быть различен по знаку параметра e e e Совершенствование теории полей классов : Предоставление важного дополнения к теории полей классов Гильберта вещественных квадратичных полейВычислительная теория чисел : Предоставление эффективных алгоритмов для связанных вычислительных задачПотенциал обобщения : Методы имеют потенциал для обобщения на более общие случаиОграничения условий : Методы применимы только к простым числам специальных классов вычетовВычислительная сложность : Для больших простых чисел решение диофантова уравнения может встретить проблемы эффективностиТеоретический диапазон : В настоящее время рассмотрены только случаи 2-группы классовОбобщение на более высокие степени : Исследование циклических расширений шестнадцатой степени или вышеДругие дискриминанты : Рассмотрение квадратичных полей с дискриминантами других формОптимизация вычислений : Улучшение алгоритмов решения диофантовых уравненийИсследование приложений : Изучение приложений в криптографии и других областяхТеоретическая строгость :Математические рассуждения строги, каждый шаг имеет достаточное теоретическое обоснование Сочетание классической теории родов и современных инструментов теории полей классов Инновационность методов :Успешное распространение методов мнимых квадратичных полей на вещественный случай Предоставление явного метода построения, основанного на диофантовых уравнениях Полнота вычислений :Предоставление многочисленных конкретных численных примеров Проверка правильности теоретических предсказаний Полное описание вычислительного процесса Практическая ценность :Алгоритмы практически применимы Предоставление полезных инструментов для связанных исследований Область применения :Ограничение на простые числа специальных классов вычетов Строгие требования на число классов Вычислительная эффективность :Для больших простых чисел вычислительная сложность может быть высокой Недостаточное обсуждение общих алгоритмов решения диофантовых уравнений Теоретическая глубина :В основном обобщение и применение известных методов Отсутствие фундаментальных теоретических прорывов Научный вклад :Предоставление новых инструментов и методов для исследований в алгебраической теории чисел Продвижение развития теории полей классов Гильберта вещественных квадратичных полей Перспективы приложений :Практическая ценность в вычислительной алгебраической теории чисел Возможные приложения в криптографии и связанных областях Воспроизводимость :Статья предоставляет достаточные вычислительные детали Методы имеют хорошую воспроизводимость Теоретические исследования : Исследования в алгебраической теории чисел и теории полей классовВычислительная математика : Вычислительные задачи, требующие построения специальных алгебраических расширенийПрикладная математика : Возможные приложения в теории кодирования и криптографииПреподавание : Использование в качестве конкретных примеров теории полей классов при преподаванииСтатья ссылается на основные связанные работы автора:
F. Lemmermeyer, Die Konstruktion von Klassenkörpern, Ph.D. Diss. Univ. Heidelberg, 1995 F. Lemmermeyer, Hilbert 2-class fields and 2-descent, Publ. Math. Debr. 88 (2016), 319–343 F. Lemmermeyer, Dirichlet's Lemma in number fields, arXiv:2502.00526v2 Эти источники составляют теоретическую основу и методологическую базу данного исследования, отражая систематические исследования автора в этой области.