🔢 mathematics

N-ary groups of panmagic permutations from the Post coset theorem

यह शोध पत्र एफाइन पैनमैजिक क्रमपरिवर्तनों (affine panmagic permutations) के N-ary समूहों को डायहेड्रल उपसमूहों के कोसेट्स (cosets) के रूप में अभिलक्षणिक करने के लिए पोस्ट कोसेट प्रमेय (Post coset theorem) का उपयोग करता है, जबकि उनके चक्र अपघटन (cycle decompositions) और संख्या सिद्धांत एवं संयोजन विज्ञान (combinatorics) की शास्त्रीय अवधारणाओं के बीच गहरे संबंधों को प्रकट करता है।

मूल लेखक: Sergiy Koshkin, Jaeho Lee

प्रकाशित 2026-06-24

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

CC BY 4.0

मूल लेखक: Sergiy Koshkin, Jaeho Lee

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

मुख्य विचार: शतरंज की रानियाँ और जादुई वर्ग (Magic Squares)

एक मानक शतरंज के बोर्ड की कल्पना करें, लेकिन यह सपाट होने के बजाय एक डोनट (टोरस) के चारों ओर लिपटा हुआ है। इसका मतलब है कि यदि कोई मोहरा दाहिने किनारे से बाहर जाता है, तो वह वापस बाएं किनारे पर आ जाता है। इस "डोनट बोर्ड" पर, लेखक एक विशिष्ट पहेली का अध्ययन कर रहे हैं: आप $n \times n$ बोर्ड पर $n$ रानियों को इस तरह कैसे रख सकते हैं कि कोई भी दो रानियाँ एक-दूसरे पर हमला न कर सकें?

इस डोनट की दुनिया में, एक रानी न केवल सीधी रेखाओं में, बल्कि "टूटी हुई" विकर्णों (diagonas - वे रेखाएं जो किनारों से घूमकर वापस आती हैं) के साथ भी हमला करती है। इस पहेली के समाधान को पैनमैजिक परम्यूटेशन (panmagic permutation) कहा जाता है। यदि आप इस समाधान को 1 और 0 के ग्रिड के रूप में खींचते हैं (जहाँ 1 एक रानी है और 0 खाली स्थान है), तो आपको एक पैनमैजिक स्क्वायर प्राप्त होता है। यह एक विशेष प्रकार का "जादुई वर्ग" है जहाँ न केवल पंक्तियाँ, कॉलम और मुख्य विकर्ण एक ही संख्या को जोड़ते हैं, बल्कि प्रत्येक संभावित विकर्ण (यहाँ तक कि वे टूटे हुए विकर्ण भी जो घूमकर वापस आते हैं) भी एक ही संख्या को जोड़ते हैं।

खोज: एक नए प्रकार का गणितीय समूह (Math Group)

लेखकों ने इन समाधानों के बारे में कुछ अजीब और सुंदर बात गौर की। आमतौर पर, गणित में, हम चीजों को दो-दो करके जोड़ते हैं (बाइनरी ऑपरेशंस), जैसे $2 + 2 = 4$ । लेकिन यहाँ, उन्होंने पाया कि आप इन पैनमैजिक समाधानों में से तीन (या अधिक) को एक विशिष्ट तरीके से आपस में गुणा कर सकते हैं, और आपको एक अन्य वैध पैनमैजिक समाधान प्राप्त होगा।

यह एक ऐसे क्लब की तरह है जहाँ नियम है: "यदि आप तीन सदस्यों को एक साथ लाते हैं, तो उन्हें एक नया, वैध सदस्य बनना चाहिए।" लेखक इसे N-ary groups (जहाँ N उन वस्तुओं की संख्या है जिन्हें आप मिलाते हैं, जैसे 3, 4, 5, आदि) कहते हैं।

"जादुई" सूत्र: एफ़ाइन परम्यूटेशन (Affine Permutations)

सभी पैनमैजिक समाधान आसान वर्णन योग्य नहीं होते। कुछ अराजक (chaotic) होते हैं। हालाँकि, लेखकों ने एक विशिष्ट, व्यवस्थित प्रकार पर ध्यान केंद्रित किया जिसे एफ़ाइन पैनमैजिक परम्यूटेशन कहा जाता है।

इन्हें एक सरल, रैखिक सूत्र द्वारा उत्पन्न समाधानों के रूप में सोचें, जैसे कि एक रेसिपी:
$\text{नया स्थान} = (\text{ढलान/Slope} \times \text{पुराना स्थान}) + \text{शिफ्ट/Shift}$
यह एक कन्वेयर बेल्ट की तरह है जो एक निश्चित नियम के आधार पर बोर्ड पर वस्तुओं को इधर-उधर ले जाती है। लेखकों ने पाया कि ये सभी "रेसिपी-आधारित" समाधान N-ary समूह संरचना में पूरी तरह से फिट बैठते हैं।

गुप्त सामग्री: पोस्ट कोसेट प्रमेय (Post Coset Theorem)

उन्होंने इसे कैसे सिद्ध किया? उन्होंने एक शक्तिशाली गणितीय उपकरण, पोस्ट कोसेट प्रमेय का उपयोग किया।

एक बड़े, अव्यवस्थित कमरे की कल्पना करें (सभी संभावित समाधानों का समूह)। इस कमरे के अंदर, एक छोटा, बहुत व्यवस्थित क्लोजेट (एक उपसमूह जिसे डायहेड्रल ग्रुप कहा जाता है) है। इस क्लोजेट में वे समाधान हैं जो बोर्ड के साधारण रोटेशन और फ्लिप (जैसे किसी पेंटागन को घुमाना या कार्ड को पलटना) हैं।

प्रमेय कहता है कि यदि आप उस कमरे का एक विशिष्ट "स्लाइस" या "कोसेट" लेते—अर्थात समाधानों का एक समूह जो उस क्लोजेट द्वारा एक विशिष्ट शिफ्ट द्वारा संबंधित है—तो आपको एक पूर्ण N-ary समूह प्राप्त होता है।

लेखकों ने पहचाना कि:

"क्लोजेट" एक नियमित बहुभुज (regular polygon) के समरूपता समूह (symmetries) हैं (रोटेशन और फ्लिप)।
"कमरा" उनके रैखिक सूत्रों द्वारा उत्पन्न सभी समाधानों का समूह है।
"स्लाइस" (कोसेट्स) वे नए N-ary समूह हैं जिन्हें उन्होंने खोजा है।

यही कारण था कि 1994 का एक विशिष्ट उदाहरण (जिसमें 5x5 बोर्ड और पेंटागन आकार शामिल था) इतना अच्छा काम कर रहा था: वह इस गणितीय कमरे का एक स्लाइस था।

खेल के नियम (संख्या सिद्धांत से संबंध)

यह शोध पत्र एक जासूस की तरह भी कार्य करता है, जो यह पता लगाता है कि कब ये समूह मौजूद होते हैं और वे कैसे दिखते हैं। उन्होंने पाया कि इन समूहों का अस्तित्व काफी हद तक संख्या $n$ (बोर्ड का आकार) पर निर्भर करता है:

"वर्ग-मुक्त" (Square-Free) नियम: बोर्ड का आकार 2 या 3 से विभाज्य नहीं होना चाहिए। इसके अलावा, समूहों की बहुत ही एकसमान संरचना के लिए इसे "वर्ग-मुक्त" (जैसे 4, 9, या 25 जैसे पूर्ण वर्ग से विभाज्य नहीं) होना चाहिए।
"4k+1" नियम: सबसे दिलचस्प समूहों (जिन्हें "टर्नरी" या 3-ary समूह कहा जाता है) के लिए, बोर्ड के आकार का प्रत्येक अभाज्य गुणनखंड (prime factor) $4k + 1$ के रूप में होना चाहिए (जैसे 5, 13, 17)। यह पहेली को संख्या सिद्धांत के गहरे तथ्यों से जोड़ता है कि कौन सी संख्याएँ दो वर्गों के योग के रूप में लिखी जा सकती हैं।

चक्र नृत्य (The Cycle Dance)

अंत में, लेखकों ने संख्याओं के "नृत्य" को देखा। यदि आप बोर्ड पर एक संख्या का अनुसरण करते हैं (उदाहरण के लिए, 1 कहाँ जाता है? उस परिणाम के बाद क्या होता है?), तो यह अंततः 1 पर वापस लौट आता है। इसे साइकिल (cycle) कहा जाता है।

पैनमैजिक समाधानों में हमेशा ठीक एक संख्या होती है जो स्थिर रहती है (fixed point) और अन्य सभी संख्याएँ 3 या उससे अधिक की लंबाई के लूप में नाचती हैं। वे कभी भी केवल दो संख्याओं को आपस में अदला-बदली नहीं करते।
लेखकों ने सिद्ध किया कि यदि बोर्ड का आकार कुछ शर्तों को पूरा करता है, तो उनके समूह का प्रत्येक समाधान बिल्कुल एक ही प्रकार का नृत्य पैटर्न (cycle type) रखेगा। यदि बोर्ड का आकार "अव्यवस्थित" है (जैसे 25 जैसे वर्ग कारक हैं), तो समूह के भीतर नृत्य पैटर्न मिश्रित और अराजक होंगे।

सारांश

संक्षेप में, यह शोध पत्र एक जटिल पहेली को लेता है—जो डोनट के आकार के शतरंज बोर्ड पर रानियों को रखने के बारे में है—और प्रकट करता है कि समाधान एक छिपे हुए, सुंदर बीजगणितीय ढांचे का पालन करते हैं। "कोसेट्स" (समूहों के स्लाइस) के बारे में एक प्रमेय का उपयोग करके, उन्होंने दिखाया कि ये समाधान N-ary groups बनाते हैं (जहाँ आप 3, 4 या अधिक चीजों को एक साथ मिलाते हैं)। उन्होंने सटीक रूप से मानचित्रित किया कि किन बोर्ड आकारों में ये समूह मौजूद हो सकते हैं और संख्याओं के विशिष्ट पैटर्न (साइकिल) क्या होते हैं, जिससे यह पहेली अभाज्य संख्याओं और क्वाड्रेटिक रेसिड्यू (quadratic residues) जैसी प्रसिद्ध संख्या सिद्धांत अवधारणाओं से जुड़ जाती है।

तकनीकी सारांश: पोस्ट कोसेट प्रमेय से प्राप्त एन-री (N-ary) समूहों के पैनमैजिक क्रमचय (Panmagic Permutations)

समस्या विवरण
यह शोध पत्र पैनमैजिक क्रमचयों (panmagic permutations) के बीजगणितीय ढांचे की जांच करता है, जिन्हें उन क्रमचयों के रूप में परिभाषित किया गया है जिनके संबद्ध क्रमचय आव्यूह (permutation matrices) पैनमैजिक वर्ग (ऐसे आव्यूह जहाँ सभी पंक्तियाँ, स्तंभ, मुख्य विकर्ण और "टूटे हुए" विकर्ण एक ही जादुई स्थिरांक का योग करते हैं) होते हैं। ये क्रमचय एक टोरोइडल चेसबोर्ड पर मॉड्यूलर $n$ -क्वीन्स समस्या के समाधानों के अनुरूप होते हैं। जबकि "पोल्या आयामों" (जहाँ $n > 1$ और $2, 3 \nmid n$ ) के लिए ऐसे क्रमचयों का अस्तित्व अच्छी तरह से स्थापित है, उनके समूह-सैद्धांतिक गुण अभी भी कम खोजे गए हैं। विशेष रूप से, लेखक इन क्रमचयों के मानक बाइनरी गुणन के बजाय $N$ -ary गुणन (एक साथ $N$ तत्वों को गुणा करना) के तहत क्लोजर गुणों (closure properties) को संबोधित करते हैं। केंद्रीय समस्या यह है कि कौन से एफाइन पैनमैजिक क्रमचय $N$ -ary समूहों के रूप में कार्य करते हैं, इसका लक्षण वर्णन करना और शास्त्रीय समूह सिद्धांत की अवधारणाओं के साथ उनके संरचनात्मक संबंध को निर्धारित करना है।

कार्यप्रणाली
लेखक $N$ -ary (पॉलीएडिक) समूहों के सिद्धांत के एक मौलिक परिणाम, पोस्ट कोसेट प्रमेय (1940) पर आधारित एक संरचनात्मक दृष्टिकोण अपनाते हैं। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

एफाइन क्रमचयों तक सीमित करना: अध्ययन एफाइन पैनमैजिक क्रमचयों पर केंद्रित है, जो $\mathbb{Z}_n$ के एफाइन क्रमचय हैं जिन्हें रैखिक सूत्रों $\pi_{a,b}(i) \equiv ai + b \pmod n$ द्वारा व्यक्त किया जा सकता है। यह सामान्य एफाइन समूह $Aff(\mathbb{Z}_n)$ तक दायरे को सीमित करता है।
पोस्ट एसोसिएट्स और कवर्स की पहचान: पोस्ट कोसेट प्रमेय का उपयोग करते हुए, लेखक पहचानते हैं कि $N$ -ary उपसमूह एक बड़े समूह $\tilde{H}$ (जिसे "पोस्ट कवर" कहा जाता है) के भीतर एक सामान्य उपसमूह $H$ (जिसे "पोस्ट एसोसिएट" कहा जाता है) के कोसेट्स के रूप में उभरते हैं, बशर्ते कि भागफल $\tilde{H}/H$ क्रम $N-1$ का चक्रीय हो।
उपसमूहों का निर्माण:
- पोस्ट कवर को एफाइन क्रमचयों के समूह, $Aff(\mathbb{Z}_n)$ , के रूप में पहचाना गया है।
- पोस्ट एसोसिएट को डायहेड्रल समूह $D_n$ के विस्तार के रूप में पहचाना गया है। विशेष रूप से, लेखक मल्टीडायहेड्रल समूह $D_n$ (ढलान $u$ जहाँ $u^2 \equiv 1 \pmod n$ ) और लिफ्टेड डायहेड्रल समूह $D^\#_n$ (ढलान $u$ जहाँ $u^2 \equiv 1 \pmod{\text{rad}(n)}$ ) को परिभाषित करते हैं।
होमोमोर्फिज्म विश्लेषण: लेखक द्विघातीय अवशेषों (quadratic residues) के समूहों से $Aff(\mathbb{Z}_n)$ के लिए "स्लोप-स्क्वायरिंग" (ढलान-वर्गण) होमोमोर्फिज्म का निर्माण करते हैं। इन मानचित्रों के कर्नेल (kernels) और रेंज का विश्लेषण करके, वे निर्धारित करते हैं कि कब भागफल समूह चक्रीय होते हैं, जिससे इन $N$ -ary उपसमूहों के अस्तित्व और अरिटी (arity) की स्थापना होती है।
साइकिल प्रकार विश्लेषण: शोध पत्र क्रमचय के चक्र संरचनाओं (cycle structures) का विश्लेषण करने के लिए संख्या-सिद्धांत गुणों (गुणात्मक क्रम, यूलर टोंटिएंट फलन और चाइनीज रिमाइंडर थ्योरम) का उपयोग करता है, जिससे "मोनोटाइपिक" कोसेट्स (जहाँ सभी तत्वों का एक ही साइकिल प्रकार होता है) और गैर-मोनोटाइपिक कोसेट्स के बीच अंतर किया जाता है।

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

एफाइन पैनमैजिक $N$ -ary समूहों का लक्षण वर्णन: यह शोध पत्र सिद्ध करता है कि सभी पोल्या आयामों में एफाइन पैनमैजिक $N$ -ary उपसमूह मौजूद हैं। इन समूहों को $Aff(\mathbb{Z}_n)$ के भीतर लिफ्टेड डायहेड्रल समूह $D^\#_n$ (या छोटे $D_n$ ) के कोसेट्स के रूप में स्पष्ट रूप से पहचाना गया है।
स्ट्रिक्ट अरिटी निर्धारण: लेखक इन कोसेट्स के लिए स्ट्रिक्ट अरिटी (वह न्यूनतम $N$ जिसके लिए एक सेट $N$ -ary गुणन के तहत बंद है) की गणना करने की एक विधि प्रदान करते हैं। स्ट्रिक्ट अरिटी $N$ को सूत्र $N = \text{ord}_{\text{rad}(n)}(a^2) + 1$ द्वारा निर्धारित किया जाता है, जहाँ $a$ कोसेट प्रतिनिधि का ढलान (slope) है।
संख्या-सिद्धांत संबंधी स्थितियाँ:
- टर्नरी समूह ( $N=3$ ): स्ट्रिक्टली टर्नरी एफाइन पैनमैजिक कोसेट्स तभी मौजूद होते हैं जब $-1$, $\text{rad}(n)$ के लिए एक द्विघातीय अवशेष (quadratic residue) हो। यह तभी होता है जब $n$ के सभी अभाज्य गुणनखंड $4k+1$ के रूप में हों। यह थॉम्पसन के 1994 के $5 \times 5$ मामले के अवलोकन का सामान्यीकरण करता है।
- उच्च अरिटी: शोध पत्र $n$ के अभाज्य गुणनखंडन और इकाइयों के वर्गों के गुणात्मक क्रमों के आधार पर $N$ -ary समूहों को स्वीकार करने वाले आयामों का लक्षण वर्णन करता है।
साइकिल संरचना और मोनोटाइपिज्म:
- यह दिखाया गया है कि एफाइन पैनमैजिक क्रमचयों में हमेशा ठीक एक स्थिर बिंदु (fixed point) होता है और कोई ट्रांसपोजीशन नहीं होता है।
- लेखक "मोनोटाइपिक" कोसेट्स (जहाँ सभी क्रमचयों के चक्र अपघटन समान होते हैं) का लक्षण वर्णन करते हैं। वे सिद्ध करते हैं कि मल्टीडायहेड्रल समूह $D_n$ के लिए, मोनोोटाइपिक पैनमैजिक कोसेट्स तभी मौजूद होते हैं जब $n$ के सभी अभाज्य गुणनखंड $4k+1$ के रूप में हों।
- एक महत्वपूर्ण नकारात्मक परिणाम $D^\#_n$ के लिए स्थापित किया गया है: यदि $n$ वर्ग-मुक्त (square-free) नहीं है, तो $D^\#_n$ के लिए कोई मोनोोटाइपिक पैनमैजिक कोसेट्स मौजूद नहीं होते हैं।
शास्त्रीय विषयों से संबंध: परिणाम पैनमैजिक क्रमचयों को वर्ग-मुक्त संख्याओं, द्विघातीय अवशेषों, पोल्या काउंटिंग इंडेक्स और लीनियर कॉन्ग्रुएंशियल जनरेटरों से जोड़ते हैं।

महत्व और दावे
शोध पत्र का दावा है कि यह नॉर्डग्रेन (2012) के सामान्यीकरण जैसे पिछले कार्यों की तुलना में अधिक स्पष्ट विवरण प्रदान करता है, विशेष रूप से अमूर्त अस्तित्व प्रमाणों के बजाय रैखिक बीजगणित और मॉड्यूलर अंकगणित सूत्रों का उपयोग करके।

लेखक इस बात पर जोर देते हैं कि पैनमैजिक वर्गों को क्रमचयों के रूप में मानने से नए बीजगणितीय अंतर्दृष्टि प्राप्त होती है। विशेष रूप से:

वे थॉम्पसन के उदाहरण में $D_5$ की भूमिका को स्पष्ट करते हैं, यह दिखाते हुए कि यह व्यापक पोस्ट एसोसिएट्स के परिवार का हिस्सा है।
वे प्रदर्शित करते हैं कि इन संरचनाओं के लिए "पोस्ट कवर" सामान्य एफाइन समूह है, और "पोस्ट एसोसिएट" डायहेड्रल समूह का एक विस्तार है।
यह कार्य टोरोस पर गैर-आक्रमणकारी रानियों (non-attacking queens) की संयोजी समस्या को पॉलीएडिक समूहों के संरचनात्मक सिद्धांत से जोड़ता है, जो इन क्रमचयों को उत्पन्न करने और वर्गीकृत करने के लिए एक ढांचा प्रदान करता है।

शोध पत्र विनम्रतापूर्वक समाप्त होता है, यह नोट करते हुए कि हालांकि एफाइन पैनमैजिक क्रमचय सभी पैनमैजिक क्रमचयों का एक छोटा हिस्सा हैं (क्योंकि $n \ge 13$ के लिए गैर-एफाइन भी मौजूद हैं), एफाइन उपसमुच्चय की बीजगणितीय संरचना अब अच्छी तरह से समझी जा चुकी है। लेखक सुझाव देते हैं कि भविष्य का कार्य गैर-एफाइन क्रमचयों तक इन समूह-सिद्धांतिक विधियों का विस्तार कर सकता है और इन क्रमचय आव्यूहों के स्पैन (spans) के रैखिक बीजगणित की खोज कर सकता है (पैनमैजिक बीजगणित)।