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

المعلومات الأساسية

معرّف الورقة: 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 = \mathbb{Q}(\sqrt{2p})$ ، حيث $p \equiv 1 \pmod{8}$ عدد أولي يحقق $h_2(k) \equiv 0 \pmod{8}$ . يتم تحقيق هذا البناء من خلال تعديل مناسب لطريقة البناء المتعلقة بـ $\mathbb{Q}(\sqrt{-p})$ من المرجع 2، ويتطلب فقط حل معادلة ديوفانتية على الأعداد الصحيحة: $eu^2 = t^2 + 2ps^2$ .

السياق البحثي والدافع

خلفية المشكلة

نظرية حقول فئة هيلبرت: يندرج هذا البحث ضمن نطاق نظرية الفئات في نظرية الأعداد الجبرية، مع التركيز بشكل خاص على مشكلة بناء حقول فئة هيلبرت للحقول التربيعية الحقيقية
بنية الفئة 2 للحقول التربيعية: بالنسبة للحقول التربيعية الحقيقية من الشكل $\mathbb{Q}(\sqrt{2p})$ ، ترتبط بنية فئة 2 ارتباطاً وثيقاً بخصائص العدد الأولي $p$
وجود التوسعات غير المتفرعة: يرتبط وجود التوسعات الثمانية الدورية غير المتفرعة بقابلية قسمة عدد الفئات على قوى 2

دافع البحث

الاكتمال النظري: تكملة وتحسين نظرية بناء حقول فئة هيلبرت للحقول التربيعية الحقيقية
الطرق الحسابية: توفير طريقة بناء صريحة قائمة على حل معادلات ديوفانتية
تعميم النتائج الموجودة: تعميم عمل المؤلف على الحقول التربيعية الوهمية إلى الحالة الحقيقية

المشكلة الأساسية

بناء توسع ثماني دوري غير متفرع للحقل التربيعي الحقيقي $k = \mathbb{Q}(\sqrt{2p})$ يحقق شروطاً محددة، حيث الشروط الأساسية هي $p \equiv 1 \pmod{8}$ وأن عدد الفئة الصارم $h^+$ يقبل القسمة على 8.

المساهمات الأساسية

طريقة بناء صريحة: توفير طريقة صريحة لبناء التوسعات الثمانية الدورية غير المتفرعة لـ $\mathbb{Q}(\sqrt{2p})$
حل معادلات ديوفانتية: تحويل مشكلة البناء إلى حل معادلة ديوفانتية $eu^2 = t^2 + 2ps^2$
شروط التمييز: إعطاء شروط تمييز دقيقة لوجود التوسع الثماني
أمثلة حسابية: توفير عدد كبير من الأمثلة الحسابية الملموسة والتحقق منها
تعميم نظري: تعميم ناجح للنظرية ذات الصلة بالحقول التربيعية الوهمية إلى الحالة الحقيقية

شرح الطريقة

تعريف المهمة

بالنظر إلى عدد أولي $p \equiv 1 \pmod{8}$ ، بناء توسع جالوا ثماني دوري $L/k$ للحقل التربيعي الحقيقي $k = \mathbb{Q}(\sqrt{2p})$ ، بحيث يكون هذا التوسع غير متفرع في جميع النقاط الأولية المحدودة.

الأساس النظري

بنية الفئة للحقول التربيعية

بالنسبة لـ $k = \mathbb{Q}(\sqrt{2p})$ ، وفقاً لنظرية الأجناس:

عندما $p \equiv 1 \pmod{4}$ ، حقل فئة الجنس هو $k_{gen} = \mathbb{Q}(\sqrt{2}, \sqrt{p})$
فئة 2 دورية
عدد الفئات دائماً زوجي

وجود التوسع الرباعي

القضية 1: لتكن $p \equiv 1 \pmod{8}$ عدداً أولياً، فإنه توجد أعداد صحيحة $e, f > 0$ بحيث:

$p = e^2 - 2f^2$
$e \equiv 3 \pmod{4}$ , $f \equiv 2 \pmod{4}$

بالنسبة لـ $\alpha = e + f\sqrt{2}$ ، التوسع $K = k(\sqrt{\alpha})$ هو توسع رباعي دوري غير متفرع لـ $k$ .

تمييز قابلية قسمة عدد الفئات

وفقاً للتحليل في الورقة، يمكن تمييز قابلية قسمة عدد الفئات على قوى 2 من خلال الشروط التالية:

خاصية عدد الفئات	$N\varepsilon_{2p}$	الشرط
$h \equiv 2 \pmod{4}$	$+1$	$e < 0$
$h \equiv 4 \pmod{8}$	$-1$	$e > 0, e \equiv 7 \pmod{8}$
$h \equiv 4 \pmod{8}$	$+1$	$e > 0, e \equiv 3 \pmod{8}$
$h \equiv 0 \pmod{8}$	$\pm 1$	$e > 0, e \equiv 3 \pmod{8}$

بناء التوسع الثماني

معادلة ديوفانتية أساسية

المفتاح في البناء هو حل المعادلة: $A^2 - \alpha B^2 = \alpha' C^2$

من خلال التعيين:

$A = u\sqrt{2}$
$B = r + s\sqrt{2}$
$C = r - s\sqrt{2}$

يمكن تحويل المشكلة إلى حل: $eu^2 = t^2 + 2ps^2$ حيث $t = er + 2fs$ .

شروط القابلية للحل

اللمة 5: عندما $e > 0$ , $e \equiv 3 \pmod{8}$ , $f \equiv 2 \pmod{4}$ ، فإن المعادلة $eu^2 = t^2 + 2ps^2$ لها حل في الأعداد الصحيحة الفردية.

يتم إثبات ذلك من خلال التحقق من قابلية حل المعادلة تحت كل معامل:

معامل الأعداد الحقيقية: $e > 0$ يضمن القابلية للحل
معامل 8: $e \equiv 3 \pmod{8}$ يضمن القابلية للحل
معامل $p$ : يتطلب التحقق من $(\frac{e}{p}) = +1$
معامل $e$ : يتطلب التحقق من $(\frac{-2p}{e}) = +1$

نقاط الابتكار التقني

إطار بناء موحد: توحيد بناء التوسعات الرباعية والثمانية تحت إطار نظري واحد
خوارزمية حل صريحة: توفير طريقة حل ملموسة لمعادلات ديوفانتية
آلية اختيار الوحدة: اختيار وحدات مناسبة $\varepsilon = 1 \pm \sqrt{2}$ لضمان عدم تفرع التوسع
شروط الإشارة: إنشاء مراسلة بين خصائص التوسع وإشارات معاملات التمثيل

أعداد أولية $p \equiv 1 \pmod{8}$ تحقق شروط عدد الفئات المناسبة
تحديد المعاملات من خلال التمثيل $p = e^2 - 2f^2$
الحصول على معاملات البناء من خلال حل معادلات ديوفانتية

طرق التحقق

حساب بنية الفئة للتحقق من التنبؤات النظرية
فحص عدم تفرع التوسع
التحقق من دورية مجموعة جالوا

أدوات حسابية

استخدمت الورقة أدوات حسابية قياسية في نظرية الأعداد الجبرية لـ:

حساب عدد الفئات وبنية الفئة
التحقق من سلوك تحليل الأيديالات الأولية
فحص خصائص تفرع التوسع

النتائج التجريبية

التوسعات الثمانية الحقيقية بالكامل

بالنسبة لحالة عدد الفئة الصارم $h \equiv 0 \pmod{8}$ ، توفر الورقة 6 أمثلة ملموسة:

$p$	$h$	$N\varepsilon_{2p}$	$e$	$f$	$(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 \equiv 4 \pmod{8}$ و $N\varepsilon_{2p} = +1$ ، توفر الورقة 9 أمثلة:

$p$	العنصر المولد $\mu$	بنية الفئة
257	$[11\sqrt{2} + (3-\sqrt{2})\sqrt{35+22\sqrt{2}}](1-\sqrt{2})$	$[6] \to [3]$
337	$[5\sqrt{2} + (1-\sqrt{2})\sqrt{27+14\sqrt{2}}](1-\sqrt{2})$	$[2] \to [17,17]$
353	$[7\sqrt{2} + (1-\sqrt{2})\sqrt{19+2\sqrt{2}}](1-\sqrt{2})$	$[2] \to [17,17]$

الاكتشافات الرئيسية

فعالية البناء: يمكن تحقيق جميع الحالات المتنبأ بها نظرياً من خلال حل معادلات ديوفانتية
تغيير الفئة: تتطابق بنية الفئة بعد التوسع مع التنبؤات النظرية
التعقيد الحسابي: بالنسبة للأعداد الأولية الأكبر، قد يتطلب حل معادلات ديوفانتية التعامل مع مشاكل القاسم المشترك

الأعمال ذات الصلة

الخلفية التاريخية

نظرية الفئات الكلاسيكية: الأساس النظري الذي وضعه Hilbert و Weber و Takagi وآخرون
دراسات الحقول التربيعية: نظرية Gauss حول الأشكال التربيعية الثنائية
التطورات الحديثة: أدوات حديثة مثل قانون Scholz للمعاملة بالمثل

الأعمال ذات الصلة المباشرة

الأعمال السابقة للمؤلف:
- 1 أطروحة الدكتوراه حول بناء حقول الفئات
- 2 بناء حقول هيلبرت 2-الفئة للحقول التربيعية الوهمية
النظريات ذات الصلة:
- نظرية تحليل C4
- تطبيقات نظرية الأجناس في الحقول التربيعية

الفرادة في مساهمة هذه الورقة

تعميم المجال الحقيقي: أول تعميم منهجي لطرق بناء الحقول التربيعية الوهمية إلى الحالة الحقيقية
الطرق الحسابية: توفير خوارزمية بناء أكثر تحديداً وقابلية للتطبيق من النظرية العامة
الاكتمال: إعطاء توصيف كامل لشروط وجود التوسع

الخلاصة والنقاش

الاستنتاجات الرئيسية

نظرية الوجود: عندما $p \equiv 1 \pmod{8}$ وعدد الفئة الصارم يقبل القسمة على 8، يوجد توسع ثماني دوري غير متفرع لـ $\mathbb{Q}(\sqrt{2p})$
خوارزمية البناء: يمكن بناء هذا التوسع بشكل صريح من خلال حل معادلة ديوفانتية $eu^2 = t^2 + 2ps^2$
شروط التمييز: يمكن تمييز ما إذا كان التوسع حقيقياً بالكامل أو معقداً بالكامل من خلال إشارة المعامل $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

تشكل هذه المراجع الأساس النظري وطرق البحث لهذا العمل، مما يعكس الدراسة المنهجية للمؤلف في هذا المجال.