🔢 mathematics

On the fourth power level of $\mathfrak{p}$ -adic completions of biquadratic number fields

यह शोध पत्र विशिष्ट रामिफिकेशन (ramification) स्थितियों के तहत द्विघात (biquadratic) संख्या क्षेत्रों के लिए $\mathfrak{p}$ -adic पूर्णता (completions) के चौथे स्तर की गणना करता है, जो एक ऐसा परिणाम है जो किसी भी चतुर्थांश (quartic) संख्या क्षेत्र के लिए चौथे स्तर को निर्धारित करने में सुविधा प्रदान करता है और द्विघात क्षेत्रों के लिए निचली सीमाएँ प्रदान करता है।

मूल लेखक: Kazimierz Chomicz

प्रकाशित 2026-07-23

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Kazimierz Chomicz

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

एक ऐसी दुनिया की कल्पना करें जहाँ संख्याएँ केवल आपकी पॉकेट मनी गिनने या पिज्जा का ऑर्डर कैलकुलेट करने के साधन नहीं हैं, बल्कि एक विशाल, अदृश्य शहर के पात्र हैं। इस शहर में, जिसे "नंबर थ्योरी" (संख्या सिद्धांत) कहा जाता है, गणितज्ञ उन शहरी योजनाकारों की तरह हैं जो यह समझने की कोशिश करते हैं कि विभिन्न पड़ोस (fields) आपस में कैसे जुड़ते हैं। उनके सबसे दिलचस्प कामों में से एक है "सम्स ऑफ पावर्स" (घातों के योग) बनाना सीखना। एक "पावर" (घात) को कुछ बार खुद से गुणा करने जैसा समझें (जैसे $2 \times 2 \times 2 \times 2$ )। मुख्य प्रश्न यह है कि यदि आप एक विशिष्ट लक्ष्य संख्या (जैसे -1) बनाने के लिए इन घातों को जोड़ना चाहते हैं, तो आपको कितने की आवश्यकता होगी?

कभी-कभी, आप इसे केवल एक या दो से कर सकते हैं। अन्य समय में, आपको पूरी एक बाल्टी की आवश्यकता हो सकती है। और कुछ अजीब पड़ोसों में, आप इसे कभी भी नहीं बना पाएंगे, चाहे आप उनमें कितनी भी संख्याएं क्यों न डाल दें। गणितज्ञ उस न्यूनतम संख्या को जिसे आपको आवश्यकता होती है, "लेवल" (स्तर) कहते हैं। यदि आपको 15 टुकड़ों की आवश्यकता है, तो लेवल 15 है। यदि आप इसे नहीं कर सकते, तो लेवल अनंत (infinity) है। यह शोध पत्र इस पहेली के एक विशिष्ट, कठिन संस्करण पर केंद्रित है: "फोर्थ लेवल" (चौथा स्तर), जो यह पूछता है कि -1 प्राप्त करने के लिए आपको कितनी चौथी घातों (fourth powers) को जोड़ने की आवश्यकता है। कोई इसकी परवाह क्यों करता है? क्योंकि ये लेवल्स एक नंबर फील्ड के डीएनए की तरह होते; उन्हें जानना हमें संख्याओं की छिपी हुई संरचना को समझने में मदद करता है, जो क्रिप्टोग्राफी से लेकर शुद्ध गणित तर्क (pure math logic) तक सब कुछ के लिए महत्वपूर्ण है।

अब, प्रवेश करें कज़िमिरज़ चोमिक्ज़ (Kazimierz Chomicz) का, जो एक हाई स्कूल छात्र हैं जिन्होंने एक विशेष रूप से जिद्दी पहेली को सुलझाने का निर्णय लिया। उन्होंने एक विशेष प्रकार के नंबर सिटी यानी "बाइक्वाड्रेटिक नंबर फील्ड" (biquadratic number field) को देखा। आप इन्हें दो वर्गमूल पड़ोसों ( $\sqrt{m}$ और $\sqrt{n}$ ) को एक दूसरे के ऊपर रखकर बनाए गए शहरों के रूप में समझ सकते हैं। इस शोध पत्र का मुख्य कार्य इन शहरों के लिए "फोर्थ लेवल" का पता लगाना था, लेकिन विशेष रूप से उनके "p-एडिक कंप्लीशन" (p-adic completions) को देखकर। यदि एक नंबर फील्ड एक शहर है, तो एक p-एडिक कंप्लीशन एक विशिष्ट सड़क के कोने (एक प्राइम आइडियल) पर ज़ूम करने जैसा है ताकि यह देखा जा सके कि वहां सूक्ष्म विवरणों में संख्याएं कैसे व्यवहार करती हैं।

चोमिक्ज़ ने ज़ूम करने की एक उत्कृष्ट कला का प्रदर्शन किया। उन्होंने सबसे कठिन सड़क के कोने पर ध्यान केंद्रित किया: वह जहाँ "रैमिफिकेशन इंडेक्स" (ramification index) 4 है। हमारे शहर के उदाहरण में, यह एक ऐसा कोना है जहाँ सड़कें इतनी घुमावदार और उलझी हुई हैं कि सामान्य नियम काम नहीं करते। अधिकांश अन्य कोनों के लिए, गणितज्ञों को उत्तर पहले से पता था। लेकिन इस विशिष्ट, उलझे हुए कोने के लिए (जहाँ रैमिफिकेशन इंडेक्स 4 है और "इनर्शियल डिग्री" 1 है), उत्तर एक रहस्य था। चोमिक्ज़ ने इस शोध पत्र में विस्तृत अंकगणित का एक विशाल कार्य किया, जो अनिवार्य रूप से हर संभव संख्या के संयोजन की जाँच करता है कि वे कैसे जुड़ते हैं। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने विशिष्ट शर्तों के आधार पर यह साबित किया कि उत्तर क्या है।

उन्होंने क्या पाया: उत्तर केवल एक संख्या नहीं है। यह उन संख्याओं $m$ और $n$ में छिपे एक गुप्त कोड पर निर्भर करता है जो शहर को परिभाषित करते हैं। इन संख्याओं के 4, 8, या 16 से विभाजित होने पर उनके व्यवहार के आधार पर, फोर्थ लेवल 1, 2, 3, 4, 6, या यहाँ तक कि 15 भी हो सकता है। उन्होंने एक विस्तृत मानचित्र (थ्योरम 3.1) बनाया जो आपको बताता है कि किसी भी बाइक्वाड्रेटिक फील्ड के लिए आपको कौन सी संख्या मिलेगी। उदाहरण के लिए, यदि आपकी संख्याएँ 4 से विभाजित होने पर 3 शेष छोड़ती हैं, तो बारीक विवरणों के आधार पर उत्तर 1, 2, या 3 हो सकता है। यदि वे 1 शेष छोड़ती हैं, तो उत्तर 15 या 2 हो सकता है।

शोध पत्र के सबसे रोमांचक क्षणों में से एक एक विशिष्ट उदाहरण है: क्षेत्र $\mathbb{Q}(\sqrt{-2}, \sqrt{-6})$ । चोमिक्ज़ ने दिखाया कि इस शहर के लिए, फोर्थ लेवल ठीक 3 है। यह एक बड़ी बात है क्योंकि, अब तक, गणितज्ञों को यकीन नहीं था कि 3 किसी भी नंबर फील्ड के लिए फोर्थ लेवल के रूप में अस्तित्व में हो सकता है। उन्होंने केवल एक निचला स्तर (lower bound) नहीं निकाला; उन्होंने एक स्पष्ट सूत्र दिखाया कि तीन विशिष्ट चौथी घातें शून्य के बराबर होती हैं, जिससे यह सिद्ध होता है कि लेवल वास्तव में 3 है।

शोध पत्र एक साहसी अनुमान (conjecture) के साथ समाप्त होता है। चोमिक्ज़ सुझाव देते हैं कि किसी भी नंबर फील्ड के लिए, वास्तविक फोर्थ लेवल बस उसके किसी भी सड़क कोने (p-adic completions) में पाया गया उच्चतम "लेवल" है। यदि यह अनुमान सही है, तो इसका मतलब है कि पूरे शहर को एक साथ हल करने के बजाय, गणितज्ञ बस कोनों पर ज़ूम कर सकते हैं, वहां पहेली को हल कर सकते हैं, और जो सबसे बड़ा उत्तर उन्हें मिले उसे ले सकते हैं। यह एक संभावित रूप से असंभव कार्य को एक प्रबंधनीय कार्य में बदल देता है। हालांकि इस विशिष्ट परिणाम के लिए, जो मामलों की उन्होंने जाँच की है, वह एक सिद्ध तथ्य है, अंतिम अनुमान सभी नंबर फील्डों के बारे में एक "कन्जैक्चर" (अनुमान) बना हुआ है—जो कि एक मजबूत धारणा है जिसे और अधिक परीक्षण की आवश्यकता है। लेकिन उनके द्वारा अध्ययन किए गए विशिष्ट बाइक्वाड्रेटिक फील्ड्स के लिए, फोर्थ लेवल का रहस्य काफी हद तक सुलझ गया है, जो संख्याओं के भीतर छिपे एक सुंदर, सशर्त पैटर्न को प्रकट करता है।

तकनीकी सारांश: द्विघाती संख्या क्षेत्रों (Biquadratic Number Fields) के p-adic पूर्णता के चतुर्थ घात स्तर पर

समस्या विवरण
यह शोध पत्र एक संख्या क्षेत्र $K$ के चौथे स्तर, जिसे $s_4(K)$ कहा जाता है, की गणना को संबोधित करता है। चौथे स्तर को सबसे छोटे धनात्मक पूर्णांक $g$ के रूप में परिभाषित किया गया है जहाँ समीकरण $x_1^4 + x_2^4 + \dots + x_g^4 = -1$ क्षेत्र $K$ में समाधान योग्य है। यदि ऐसा कोई पूर्णांक मौजूद नहीं है, तो $s_4(K) = \infty$ है। लेखक नोट करते हैं कि $s_4(K)$ के लिए सीमाएँ निर्धारित करना एक तकनीकी रूप से कठिन समस्या है, जो क्षेत्रों के लिए वारिंग संख्याओं (पाइथागोरस संख्याओं) की गणना करने के समान है।

विशिष्ट ध्यान चतुर्थ घात संख्या क्षेत्रों (डिग्री 4) पर है। $s_4(K)$ के लिए एक मौलिक निचली सीमा (lower bound) 2 को विभाजित करने वाले प्राइम आइडियल $p$ के $p$ -adic पूर्णता $K_p$ से प्राप्त की जाती है, जो असमानता $s_4(K) \geq s_4(K_p)$ द्वारा दी गई है। पूर्व कार्य (संदर्भ [17] में उद्धृत) ने रामिफिकेशन इंडेक्स (ramification index) $e$ और इनर्शियल डिग्री (inertial degree) $f$ के सभी मामलों के लिए $s_4(K_p)$ की गणना की थी, सिवाय उस विशिष्ट मामले के जहाँ $e=4$ और $f=1$ है। यह शोध पत्र उस अंतराल को भरने और द्विघाती संख्या क्षेत्रों $K = \mathbb{Q}(\sqrt{m}, \sqrt{n})$ पर इस परिणाम को लागू करने का लक्ष्य रखता है।

कार्यप्रणाली (Methodology)
कार्यप्रणाली $p$ -adic मान (valuation) और हेन्सेल के लेम्मा (Hensel's Lemma) के गुणों पर आधारित है।

परिमित वलयों (Finite Rings) में न्यूनीकरण: एक प्राइम आइडियल $p | (2)$ के लिए, जिसका रामिफिकेशन इंडेक्स $e$ और इनर्शियल डिग्री $f$ है, $s_4(K_p)$ की गणना को $p^{3e+1}$ (या $p^{4e+1}$ ) मोड्यूलो शून्य के लिए चौथी घातों के योगों को खोजने में परिवर्तित किया जाता है। विशेष रूप से $e=4, f=1$ के मामले में, इसके लिए $p^{13}$ मोड्यूलो विश्लेषण की आवश्यकता होती है।
वैल्यूएशन (Valuation) के माध्यम से मामला विश्लेषण: लेखक एक तत्व $\tau \in \mathfrak{p} \setminus \mathfrak{p}^2$ पेश करते हैं और $\tau^4 + 2$ के वैल्युएशन का विश्लेषण करते हैं। $s_4(K_p)$ का मान $\tau^4 + 2$ को विभाजित करने वाली $\mathfrak{p}$ की उच्चतम घात पर निर्भर करता है। शोध पत्र व्यवस्थित रूप से उन मामलों का परीक्षण करता है जहाँ $p^\alpha \parallel (\tau^4 + 2)$ है, जहाँ $\alpha$ का मान 5 से 13 तक होता है।
बीजगणितीय गणना: प्रमाणों में रेसिड्यू रिंग (residue ring) $\mathcal{O}_K/\mathfrak{p}^{13}$ में चौथी घातों के व्यापक बीजगणितीय हेरफेर शामिल हैं। लेखक "अच्छे योगों" (good sums - वे योग जिनमें $p$ से विभाज्य न होने वाले पदों की संख्या सम और गैर-शून्य है) को परिभाषित करते हैं और उनके शेषफल (remainders) की गणना करते हैं।
द्विघाती क्षेत्रों पर अनुप्रयोग: द्विघाती क्षेत्रों $K = \mathbb{Q}(\sqrt{m}, \sqrt{n})$ के लिए अपने सामान्य प्रमेय को लागू करने हेतु, शोध पत्र पूर्णांकों के वलय $\mathcal{O}_K$ में आदर्श (ideal) $(2)$ के गुणनखंडन को निर्धारित करता है। चूंकि ये क्षेत्र हमेशा मोनोजेनिक (monogenic) नहीं होते हैं, इसलिए मानक कुमर-डेडेकिंड प्रमेय सीधे लागू नहीं होता है। इसके बजाय, लेखक पूर्णांकों के वलय को $\mathbb{Z}$ पर एक बहुपद रिंग के भागफल (quotient) के रूप में निर्मित करते हैं और प्राइम आइडियल संरचना का विश्लेषण करने के लिए इसे 2 मोड्यूलो कम करते हैं, जिसमें कम्प्यूटेशनल बीजगणित (Macaulay2) का उपयोग किया गया है।

मुख्य योगदान और परिणाम

प्रमेय 2.5 (मुख्य सामान्य परिणाम): यह शोध पत्र किसी भी संख्या क्षेत्र $K$ के लिए $s_4(K_p)$ का पूर्ण वर्गीकरण प्रदान करता है जहाँ एक प्राइम आइडियल $p | (2)$ के लिए $e(p)=4$ और $f(p)=1$ है। $s$ का मान $\{1, 2, 3, 4, 5, 6\}$ के सेट में दिखाया गया है। विशिष्ट मान $\tau^4 + 2$ के वैल्युएशन और $\tau$ में विशिष्ट बहुपद अभिव्यक्तियों की $p$ की घातों ( $p^{13}$ तक) द्वारा विभाज्यता द्वारा निर्धारित किया जाता है। यह [17] के पिछले परिणामों का सामान्यीकरण करता है जो चतुर्थ घात क्षेत्रों के लिए अन्य $e, f$ संयोजनों को कवर करते थे।
प्रमेय 3.1 (द्विघाती क्षेत्रों पर अनुप्रयोग): शोध पत्र $m, n$ $m, n$ के 4 और 8 मोड्यूलो कोंग्रुएंस क्लासेस (congruence classes) के आधार पर द्विघाती क्षेत्रों $K = \mathbb{Q}(\sqrt{m}, \sqrt{n})$ $K = Q (m, n)$ के लिए $s_4(K)$ $s_{4} (K)$ की निचली सीमाओं की गणना करता है। परिणाम $(2)$ $(2)$ के गुणनखंडन और क्षेत्र के मापदंडों के विशिष्ट कोंग्रुएंस के आधार पर $s_4(K_p)$ $s_{4} (K_{p})$ को $\{1, 2, 3, 4, 6, 15\}$ ${1, 2, 3, 4, 6, 15}$ मानों में वर्गीकृत करते हैं।
- उदाहरण के लिए, यदि $m \equiv n \equiv k \equiv 1 \pmod 8$ (जहाँ $k = mn/\gcd(m,n)^2$ ), तो $s_4(K_p) = 15$ है।
- यदि $m \equiv 3, n \equiv k \equiv 2 \pmod 4$ , तो मान $n+k$ की 2 की घातों द्वारा विभाज्यता और $nk/4 \pmod{16}$ के अवशेष पर निर्भर करता है।
स्पष्ट उदाहरण: शोध पत्र नोट करता है कि $K = \mathbb{Q}(\sqrt{-2}, \sqrt{-6})$ के लिए निचली सीमा 3 है, और चार चौथी घातों के एक विशिष्ट योग के माध्यम से स्पष्ट रूप से प्रदर्शित करता है कि $s_4(K) = 3$ है।

महत्व और दावे

शोध पत्र दावा करता है कि यह चतुर्थ घात संख्या क्षेत्रों के अनसुलझे मामले $e=4, f=1$ के लिए पहला स्पष्ट गणना प्रदान करता है। अन्य $e, f$ जोड़ों के लिए मौजूदा परिणामों के साथ इस नए प्रमेय को जोड़कर, लेखक का कहना है कि अब प्रत्येक संभावित चतुर्थ घात संख्या क्षेत्र के लिए $p$ -adic पूर्णता का चौथा स्तर गणनीय है, बशर्ते कि इंटीग्रल बेसिस ज्ञात हो।

लेखक इस बात पर प्रकाश डालते हैं कि उन सभी मामलों में जहाँ निचली सीमा ( $p$ -adic पूर्णता से) और वास्तविक क्षेत्र स्तर दोनों की गणना की जा सकती थी, वे समान पाए गए। इस अवलोकन के आधार पर, शोध पत्र अनुमान (Conjecture) 4.2 प्रस्तावित करता है: किसी भी संख्या क्षेत्र $K$ के लिए जिसका एक परिमित चौथा स्तर है, $s_4(K) = \max_{p|(2)} s_4(K_p)$ । यदि यह सत्य है, तो यह संख्या क्षेत्र के चौथे स्तर की गणना को $(2)$ के गुणनखंडन से जुड़े एक परिमित कार्य में बदल देगा।

शोध पत्र निष्कर्ष निकालता है कि $s_4(\mathbb{Q}(\sqrt{-2}, \sqrt{-6})) = 3$ तीसरा ज्ञात संख्या क्षेत्र प्रतीत होता है जिसका चौथा स्तर 3 है, और यह खुला प्रश्न प्रस्तुत करता है कि संख्या क्षेत्रों के लिए $s_4(K)$ प्राप्त होने वाले सभी संभावित मान क्या हो सकते हैं।

इसी तरह के और पेपर