🔢 mathematics

Marshall Quotients of the Rings $\mathbb Z/n\mathbb Z$

यह शोध पत्र अभाज्य घातों (prime powers) के modulo वर्ग वर्गों (square classes) और चाइनीज रिमाइंडर थ्योरम का विश्लेषण करके, वलयों (rings) $\mathbb{Z}/n\mathbb{Z}$ के मार्शल कोटिएंट्स (Marshall quotients) $M(n)$ का एक स्पष्ट विवरण और संरचनात्मक वर्गीकरण प्रदान करता है, जिससे उनकी प्रारंभिक परिभाषितता (elementary definability), हाइपरबोलिसिटी (hyperbolicity) और वास्तविक गुणों के लिए स्थितियाँ निर्धारित होती हैं, साथ ही मल्टीरिंग्स (multirings) और द्विघात रूपों (quadratic forms) को जोड़ने वाले सिद्धांतों के लिए परिमित परीक्षण उदाहरण भी प्रस्तुत किए जाते हैं।

मूल लेखक: Lucas Colucci, Mathuzalem Ferreira de Lima, Kaique Matias de Andrade Roberto

प्रकाशित 2026-08-25

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

CC BY 4.0

मूल लेखक: Lucas Colucci, Mathuzalem Ferreira de Lima, Kaique Matias de Andrade Roberto

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

गणित अक्सर संख्याओं के भीतर छिपे पैटर्न की खोज जैसा महसूस होता है, लेकिन एक विशिष्ट अध्ययन समर्पित है जो संख्याओं के उपयोग के बावजूद, समीकरणों के आकार को समझने के लिए है। यह क्षेत्र, जिसे द्विघाती रूपों (quadratic forms) का सिद्धांत कहा जाता है, इस बात की जांच करता है कि वर्गों के योग कैसे व्यवहार करते हैं। वास्तविक संख्याओं की परिचित दुनिया में, ये योग सख्त नियमों का पालन करते हैं, लेकिन जब गणितज्ञ अधिक जटिल प्रणालियों, जैसे कि ऐसे रिंग्स (rings) की ओर बढ़ते हैं जहाँ संख्याओं को शून्य से विभाजित किया जा सकता है या जहाँ गुणा अलग तरह से व्यवहार करता है, तो नियम धुंधले हो जाते हैं। इस राह पर चलने के लिए, शोधकर्ता मल्टीरिंग्स (multirings) और हाइपरफील्ड्स (hyperfields) नामक अमूर्त संरचनाओं का उपयोग करते हैं। ये मानक संख्या प्रणालियाँ नहीं हैं; ये लचीले ढांचे हैं जहाँ दो संख्याओं को जोड़ने से हमेशा एक एकल परिणाम प्राप्त नहीं होता, बल्कि परिणामों का एक छोटा सेट प्राप्त होता है। यह लचीलापन गणितज्ञों को शून्य-भाजकों (zero-divisors) के जटिल विवरणों में उलझे बिना द्विघाती रूपों के आवश्यक व्यवहार को पकड़ने की अनुमति देता है। इस क्षेत्र में कई लोगों के लिए केंद्रीय प्रश्न यह है कि ये अमूर्त संरचनाएं पूर्णांकों के ठोस अंकगणित से, विशेष रूप से कैसे संबंधित हैं, जैसे कि हम किसी विशिष्ट मान (जैसे कि एक संख्या द्वारा विभाजित करने के बाद बचे हुए शेषफल) के मोड्यूलो (modulo) में संख्याओं को देखते हैं।

हाल ही में एक अध्ययन में, शोधकर्ताओं के एक दल ने मार्शल कोटिएंट (Marshall quotient) के रूप में ज्ञात एक विशिष्ट निर्माण की ओर अपना ध्यान केंद्रित किया, जिसे पूर्णांकों के मोड्यूलो n (integers modulo n) पर लागू किया गया है। कल्पना कीजिए कि आप पूर्णांकों को इस आधार पर समूहित कर रहे हैं कि वे पूर्ण वर्गों (perfect squares) द्वारा गुणा करके एक-दूसरे से कैसे संबंधित हैं। यह प्रक्रिया एक नई, छोटी संरचना बनाती है जो मूल प्रणाली की सबसे महत्वपूर्ण अंकगणितीय विशेषताओं को बनाए रखती है जबकि बाकी को हटा देती है। शोधकर्ताओं ने इन परिणामी संरचनाओं के बारे में कई सटीक प्रश्न पूछे: क्या वे बुनियादी नियमों द्वारा वर्णित होने के लिए पर्याप्त सरल हैं? क्या उनमें हाइपरबोलिसिटी (hyperbolicity) नामक गुण है, जिसका अर्थ है कि प्रत्येक तत्व को वर्गों के एक विशिष्ट अंतर से बनाया जा सकता है? क्या वे औपचारिक रूप से "वास्तविक" (real) हो सकते हैं, जिसका अर्थ है कि वे कभी भी ऋणात्मक एक को वर्गों के योग के रूप में लिखने की अनुमति नहीं देते हैं? और अंत में, यदि हम केवल संरचना के उन हिस्सों को देखते हैं जिन्हें उलटा (invert) किया जा सकता है, तो क्या वे अपने आप में एक सुसंगत प्रणाली बनाते हैं? इन प्रश्नों को अंकगणितीय सर्वांगसमता (arithmetic congruences) के एक पहेली के रूप में मानकर, लेखकों ने ठीक से मानचित्रित किया कि कौन से नंबर n किस प्रकार की संरचनाएं उत्पन्न करते हैं।

जांच ने समस्या को उसके सबसे छोटे घटकों में तोड़कर शुरुआत की। एक क्लासिक सिद्धांत, जिसे चीनी शेषफल प्रमेय (Chinese Remainder Theorem) के रूप में जाना जाता है, का उपयोग करते हुए, शोधकर्ताओं ने दिखाया कि एक बड़े नंबर n के लिए संरचना का व्यवहार उन अभाज्य संख्याओं (prime numbers) के व्यवहार का संयोजन है जो n को विभाजित करती हैं। इसने उन्हें सिस्टम का अभाज्य संख्या दर अभाज्य संख्या विश्लेषण करने की अनुमति दी। उन्होंने पाया कि संरचना के यथासंभव सरल होने के लिए—अनिवार्य रूप से एक मानक रिंग में वापस सिमटने के लिए जहाँ जोड़ और गुणा बिल्कुल साधारण अंकगणित की तरह व्यवहार करते हैं—संख्या n का बीस और चार (24) का विभाजक होना आवश्यक है। यदि n कोई अन्य संयुक्त संख्या (composite number) है, तो संरचना अधिक जटिल हो जाती है, जिसमें एक "बहु-मूल्य वाला" (multivalued) स्वभाव बना रहता है जहाँ योगों के कई उत्तर हो सकते हैं। हालांकि, यदि n एक अभाज्य संख्या है, तो संरचना एक अलग तरीके से सरल हो जाती है, जो एक फील्ड के वर्ग वर्गों (square classes) से बनी एक परिमित प्रणाली बन जाती है, जिसे लेखकों ने "अंकगणितीय रूप से प्राथमिक" (arithmetically elementary) कहा है।

अध्ययन ने हाइपरबोलिसिटी नामक एक अधिक सूक्ष्म गुण की ओर रुख किया। इस संदर्भ में, एक संरचना हाइपरबोलिक है यदि प्रत्येक तत्व को बहु-मूल्य वाले जोड़ के विशेष नियमों का उपयोग करते हुए, एक (1) की दो प्रतियों के अंतर के रूप में व्यक्त किया जा सकता है। शोधकर्ताओं ने सिद्ध किया कि यह गुण तभी मान्य है जब n दो, तीन, या पांच से विभाज्य न हो। दूसरे शब्दों में, यदि n पूरी तरह से सात या उससे बड़ी अभाज्य संख्याओं से बना है, तो संरचना हाइपरबोलिक है। यदि n में दो, तीन, या पांच का कोई कारक है, तो यह गुण तुरंत टूट जाता है। उदाहरण के लिए, उन प्रणालियों में जहाँ n तीन से विभाज्य है, एक इकाई का एकमात्र संभावित वर्ग एक ही है, जिससे पूरे संरचना को कवर करने के लिए आवश्यक अंतर उत्पन्न करना असंभव हो जाता है। यह निष्कर्ष एक स्पष्ट सीमा स्थापित करता है: सबसे छोटी अभाज्य संख्याओं की उपस्थिति परिणामी बीजगणितीय वस्तु की ज्यामितीय प्रकृति को मौलिक रूप से बदल देती है।

शोधपत्र के सबसे निर्णायक परिणाम इन संरचनाओं की "वास्तविकता" (reality) के संबंध में हैं। द्विघाती रूपों की दुनिया में, एक प्रणाली को औपचारिक रूप से वास्तविक (formally real) माना जाता है यदि ऋणात्मक एक को वर्गों को जोड़कर नहीं बनाया जा सकता है। शोधकर्ताओं ने प्रदर्शित किया कि एक से अधिक किसी भी n के लिए, मार्शल कोटिएंट कभी भी औपचारिक रूप से वास्तविक नहीं होता है। यह एक प्रसिद्ध प्रमेय का सीधा परिणाम है जो बताता है कि किसी भी पूर्णांक को चार वर्गों के योग के रूप में लिखा जा सकता है; जब इसे n मोड्यूलो में कम किया जाता है, तो इसका अर्थ है कि इन संरचनाओं में ऋणात्मक एक हमेशा वर्गों का एक योग होता है। इसके अलावा, उन्होंने दिखाया कि ऐसा कोई भी ढांचा "वास्तविक न्यूनीकरण" (real reduced) नहीं है, जो एक ऐसी स्थिति है जिसके लिए प्रणाली को अत्यंत कठोर और कुछ आंतरिक विरोधाभासों से मुक्त होना आवश्यक है। लेखकों ने सिद्ध किया कि प्रत्येक n के लिए, सिस्टम में ऐसे तत्व होते हैं जो इन सख्त शर्तों का उल्लंघन करते हैं, जिसका अर्थ है कि ये परिमित कोटिएंट सबसे कठोर प्रकार के वास्तविक संख्या प्रणालियों के मॉडल के रूप में कार्य नहीं कर सकते हैं।

अंत में, टीम ने व्युत्क्रमणीय तत्वों (invertible elements) और शून्य वाले संरचना के उपसमुच्चय (subset) का परीक्षण किया। कई बीजगणितीय प्रणालियों में, व्युत्क्रमणीय भाग एक समूह या एक फील्ड बनाते हैं, लेकिन यहाँ प्रश्न यह था कि क्या वे अपने आप में एक उप-मल्टीरिंग या एक हाइपरफील्ड बनाते हैं। उत्तर आश्चर्यजनक रूप से प्रतिबंधात्मक था: यह उपसमुच्चय केवल तभी एक सुसंगत उप-संरचना बनाता है जब n या तो एक हो या एक अभाज्य संख्या हो। यदि n एक संयुक्त संख्या है, तो दो व्युत्क्रमणीय तत्वों को जोड़ने से एक ऐसा परिणाम उत्पन्न हो सकता है जो न तो शून्य है और न ही व्युत्क्रमणीय, जिससे उपसमुच्चय बिखर जाता है। जब n अभाज्य होता है, तो यह उपसमुच्चय एक हाइपरफील्ड बनाता है, और यह हाइपरबोलिक केवल तभी होता है जब वह अभाज्य संख्या सात या उससे बड़ी हो। यह वर्गीकरण एक पूर्ण सूची प्रदान करता है कि कब ये परिमित प्रणालियाँ सुव्यवस्थित क्षेत्रों (fields) की तरह व्यवहार करती हैं और कब वे अधिक जटिल, बहु-मूल्य वाली संस्थाओं में टूट जाती हैं।

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

तकनीकी सारांश: $\mathbb{Z}/n\mathbb{Z}$ के वलयों के मार्शल कोटिएंट्स (Marshall Quotients)

समस्या विवरण
यह शोध पत्र पूर्णांकों के परिमित वलयों (finite rings of integers), जिन्हें $M(n) = M(\mathbb{Z}/n\mathbb{Z})$ के रूप में दर्शाया गया है, पर लागू मार्शल कोटिएंट्स के संरचनात्मक गुणों की जांच करता है। मार्शल कोटिएंट्स मल्टीरिंग्स (multirings) और हाइपरफील्ड्स (hyperfields) के सिद्धांत में एक निर्माण है, जिसे गैर-शून्य विभाजकों (non-zero-divisors) के वर्ग वर्गों (square classes) द्वारा एक वलय को कोटिएंट करने के लिए डिज़ाइन किया गया है ताकि द्विघाती रूपों (quadratic forms) के औपचारिक गुणों को पकड़ा जा सके। हालांकि इसकी परिभाषा सरल है, लेकिन परिणामी मल्टीरिंग संरचना वर्ग वर्गों, शून्य-भाजकों और इकाई वर्गों के योगों के संबंध में सूक्ष्म अंकगणितीय जानकारी को एनकोड करती है। लेखक $M(n)$ का एक स्पष्ट अंकगणितीय विवरण प्रदान करने और इसके विशिष्ट संरचनात्मक गुणों के संबंध में इसके व्यवहार को वर्गीकृत करने का लक्ष्य रखते हैं: क्या कोटिएंट "अंकगणितीय रूप से प्रारंभिक" (arithmetically elementary), हाइपरबोलिक (hyperbolic), वास्तविक न्यूनीकरण योग्य (real reduced), या औपचारिक रूप से वास्तविक (formally real) है। इसके अतिरिक्त, यह विश्लेषण करने के लिए लेख में व्युत्क्रमणीय वर्गों (invertible classes) के उपसमुच्चय, जिसे $U(n)$ द्वारा बढ़ाया गया है, का विश्लेषण किया गया है कि क्या यह एक सब-मल्टीरिंग या हाइपरफील्ड संरचना विरासत में प्राप्त करता है।

कार्यप्रणाली
लेखक समस्या को विघटित करने के लिए प्रारंभिक अंकगणित और चाइनीज रिमाइंडर थ्योरम (CRT) का उपयोग करते हैं।

अंकगणितीय मॉडल: वे स्थापित करते हैं कि $M(n)$ में तुल्यता संबंध (equivalence relation) इस प्रकार परिभाषित है कि $[a] = [b]$ यदि और केवल यदि $a \equiv bu^2 \pmod n$ किसी इकाई $u$ के लिए हो। बहु-मूल्य योग (multivalued addition) को इकाइयों $u, v, w$ के अस्तित्व द्वारा अभिलक्षित किया जाता है कि $cw^2 \equiv au^2 + bv^2 \pmod n$ ।
विघटन: CRT का उपयोग करते हुए, वे सिद्ध करते हैं कि $M(n)$ , इसके अभाज्य-घात कारकों के मार्शल कोटिएंट्स के उत्पाद के समरूप है: $M(n) \cong \prod M(p_i^{\alpha_i})$ । यह $M(n)$ के वर्गीकरण को अभाज्य घातों के विश्लेषण तक सीमित करने की अनुमति देता है।
मामला विश्लेषण (Case Analysis): लेखक छोटे अभाज्य संख्याओं ($2, 3, 5 $) और सामान्य अभाज्य संख्याओं ($ p \ge 7$) के लिए विस्तृत मामला विश्लेषण करते हैं, जो इकाई वर्गों और उनके योग/अंतर के व्यवहार की जांच करते हैं। वे हाइपरबोलिसिटी और वास्तविक न्यूनीकरण योग्यता निर्धारित करने के लिए गणना तर्क और द्विघाती अवशेषों (quadratic residues) के गुणों का उपयोग करते हैं।

प्रमुख योगदान और परिणाम
यह शोध पत्र पूर्णांक $n$ के आधार पर $M(n)$ के संरचनात्मक गुणों का पूर्ण वर्गीकरण प्रदान करता है:

अंकगणितीय रूप से प्रारंभिक कोटिएंट्स: कोटिएंट संबंध तुच्छ है (अर्थात, $M(n)$ साधारण वलय $\mathbb{Z}/n\mathbb{Z}$ के समरूप है) यदि और केवल यदि $n, 24$ को विभाजित करता है। अधिक व्यापक रूप से, लेखक $M(n)$ को "अंकगणितीय रूप से प्रारंभिक" तब परिभाषित करते हैं जब कोटिएंट तुच्छ हो या $n$ एक अभाज्य संख्या हो। अतः, $M(n)$ अंकगणितीय रूप से प्रारंभिक है यदि और केवल यदि $n \mid 24$ या $n$ एक अभाज्य संख्या है।
हाइपरबोलिसिटी (Hyperbolicity): एक मल्टीरिंग हाइपरबोलिक होती है यदि $1 - 1 = R$ हो। लेखक सिद्ध करते हैं कि $M(n)$ हाइपरबोलिक है यदि और केवल यदि $\gcd(n, 30) = 1$ हो। समकक्ष रूप से, $M(n)$ हाइपरबोलिक है यदि और केवल यदि $n, 2, 3,$ या $5$ से विभाज्य न हो।
वास्तविक न्यूनीकरण योग्यता और औपचारिक वास्तविकता:
- कोई भी $M(n)$ वास्तविक न्यूनीकरण योग्य (real reduced) नहीं है। $n \ge 2$ के लिए, $a^3 = a$ का सिद्धांत या वर्गों के योग संबंधी स्थिति विफल हो जाती है।
- $n \ge 2$ के साथ कोई भी $M(n)$ औपचारिक रूप से वास्तविक (formally real) नहीं है। इसे यह दिखाकर प्रदर्शित किया गया है कि $-1 $हमेशा$ M(n)$ में वर्गों का एक योग है, जो लैग्रेंज के चार-वर्ग प्रमेय (Lagrange's four-square theorem) पर आधारित है।
व्युत्क्रमणीय उपसमुच्चय $U(n)$ : व्युत्क्रमणीय वर्ग $U(n) = M(n)^\times \cup \{[0]\}$ $U (n) = M (n)^{\times} \cup {[0]}$ एक सब-मल्टीरिंग बनाता है यदि और केवल यदि $n=1$ $n = 1$ हो या $n$ $n$ एक अभाज्य संख्या हो। फलस्वरूप, $U(n)$ $U (n)$ एक हाइपरफील्ड है यदि और केवल यदि $n$ $n$ एक अभाज्य संख्या है।
- जब $n=p$ एक अभाज्य संख्या है, तो $U(p)$ हाइपरबोलिक है यदि और केवल यदि $p \ge 7$ हो।
- $U(n)$ कभी भी वास्तविक न्यूनीकरण योग्य नहीं होता है।

महत्व
यह शोध पत्र इन परिणामों को मल्टीरिंग्स, विशेष हाइपरफील्ड्स, वास्तविक सेमग्रुप्स (real semigroups), और अमूर्त द्विघाती-रूप सिद्धांत (abstract quadratic-form theory) के व्यापक सिद्धांतों के लिए एक "परिमित परीक्षण उदाहरणों के परिवार" के रूप में प्रस्तुत करता है। $M(n)$ के व्यवहार को स्पष्ट रूप से अभिलक्षित करके, लेखक रिंग-थ्योरेटिक डेटा को व्युत्क्रमणीय वर्ग संरचनाओं से जोड़ने वाले अनुमानों और परिभाषाओं का परीक्षण करने के लिए ठोस उदाहरण प्रदान करते हैं। यह कार्य इन परिमित कोटिएंट्स की सीमाओं को स्पष्ट करता है (जैसे, उनका औपचारिक रूप से वास्तविक या वास्तविक न्यूनीकरण योग्य होने में विफल होना) और उन सटीक अंकगणितीय स्थितियों (छोटे अभाज्य संख्याओं द्वारा विभाज्यता) को रेखांकित करता है जिनके तहत वे हाइपरबोलिक या प्रारंभिक व्यवहार प्रदर्शित करते हैं।

तकनीकी सारांश: Z/nZ\mathbb{Z}/n\mathbb{Z}Z/nZ के वलयों के मार्शल कोटिएंट्स (Marshall Quotients)

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

तकनीकी सारांश: $\mathbb{Z}/n\mathbb{Z}$ के वलयों के मार्शल कोटिएंट्स (Marshall Quotients)