🔢 mathematics

The endomorphism tower of a finite symmetric group

यह शोध पत्र यह प्रदर्शित करता है कि परिमित सममित समूह $\mathcal{S}_n$ ( $n \geq 7$ के लिए) का एंडोमॉर्फिज्म टॉवर (endomorphism tower) परिमित चरणों में स्थिर नहीं होता है, क्योंकि यह दूसरे और तीसरे पुनरावृत्त एंडोमॉर्फिज्म मोनोइड्स की संरचना को स्पष्ट रूप से अभिलक्षणित करता है और यह दर्शाता है कि उनके यूनिट्स के समूह $\mathcal{S}_n$ के समरूपी ही रहते हैं।

मूल लेखक: Victoria Gould, Ambroise Grau, Marianne Johnson, Jamie Smith

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

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

CC BY 4.0

मूल लेखक: Victoria Gould, Ambroise Grau, Marianne Johnson, Jamie Smith

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

कल्पना कीजिए कि आपके पास गियर, लीवर और स्विचों से बनी एक विशाल, जटिल मशीन है। गणित की दुनिया में, यह मशीन एक समूह (group) है जिसे सिमेट्रिक ग्रुप ( $S_n$ ) कहा जाता है, जो $n$ ताश के पत्तों को व्यवस्थित करने के सभी संभावित तरीकों का प्रतिनिधित्व करती है।

यह शोध पत्र इस बारे में है कि क्या होता है जब आप इस मशीन के बारे में एक बहुत ही विशिष्ट प्रश्न पूछते हैं: "यदि हम एक नई मशीन बनाते हैं जो पहली मशीन को नियंत्रित करती है, और फिर एक तीसरी मशीन जो दूसरी को नियंत्रित करती है, और इसी तरह आगे बढ़ते हैं, तो क्या यह प्रणाली कभी बदलना बंद कर देती है?"

यहाँ सरल उपमाओं का उपयोग करके इस शोध पत्र की यात्रा का विवरण दिया गया है।

1. अवधारणा: "नियंत्रण का टॉवर" (The Tower of Control)

मूल समूह ( $S_n$ ) को एक मास्टर शेफ (Master Chef) के रूप में सोचें जो सामग्रियों को व्यवस्थित करने के हर संभव तरीके को जानता है।

स्तर 0: मास्टर शेफ ( $S_n$ )।
स्तर 1: हम एक सुपरवाइजर (Supervisor) ( $End_1$ ) बनाते हैं। इस सुपरवाइजर का एकमात्र काम शेफ को देखना और रिकॉर्ड करना है कि शेफ अपनी रेसिपी को बदलने के हर संभव तरीके (एक "एंडोमोर्फिज्म" या endomorphism) को कैसे बदल सकता है। सुपरवाइजर एक नई, बड़ी मशीन है।
स्तर 2: हम एक ग्रैंड सुपरवाइजर (Grand Supervisor) ( $End_2$ ) बनाते हैं। यह मशीन पहले सुपरवाइजर को देखती है और रिकॉर्ड करती है कि वह मशीन अपने स्वयं के नियमों को बदलने के हर तरीके को कैसे बदल सकती है।
स्तर 3: एक ग्रेट-ग्रैंड सुपरवाइजर (Great-Grand Supervisor) ( $End_3$ ), और इसी तरह आगे।

इस अनुक्रम को एंडोमोर्फिज्म टॉवर (Endomorphism Tower) कहा जाता है।

2. बड़ा प्रश्न: क्या यह कभी रुकता है?

शुद्ध गणित की दुनिया में, "ऑटोमोर्फिज्म टावर्स" (जहाँ आप केवल उन मशीनों को देखते हैं जो चीजों को बिना तोड़े या बिगाड़े पूरी तरह से पुनर्व्यवस्थित करती हैं) के बारे में एक प्रसिद्ध प्रश्न है। परिमित समूहों (finite groups) के लिए, यह ज्ञात था कि यह टॉवर बढ़ना बंद कर देता है; यह एक सीमा तक पहुँचता है और स्थिर हो जाता है।

लेखकों ने पूछा: क्या होगा यदि हम "एंडोमोर्फिज्म टॉवर" (जहाँ मशीनें चीजों को तोड़ या सरल बना सकती हैं) को देखें?

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

3. विशिष्ट मामला: सिमेट्रिक ग्रुप ( $S_n$ )

चूँकि टॉवर कभी नहीं रुकता, लेखकों ने कार्ड शफ़लर (ताश के पत्तों को मिलाने वाली मशीन) के लिए टॉवर के पहले कुछ स्तरों को देखा, विशेष रूप से जब आपके पास 7 या अधिक कार्ड ( $n \ge 7$ ) हों।

वे यह देखना चाहते थे कि भले ही टॉवर बढ़ता रहे, क्या इन नई मशीनों के "लीडर" (Leaders) (प्रतिवर्ती भाग, या "ग्रुप ऑफ यूनिट्स") परिचित दिखते हैं।

फ्लोर 0: लीडर सिमेट्रिक ग्रुप ( $S_n$ ) है।
फ्लोर 1: पहले सुपरवाइजर का लीडर भी सिमेट्रिक ग्रुप ( $S_n$ ) ही है। (यह पहले से ज्ञात था)।
फ्लोर 2: लेखकों ने यहाँ कठिन परिश्रम किया। उन्होंने दूसरे सुपरवाइजर मशीन ( $End_2$ ) के प्रत्येक नियम और अंतःक्रिया (interaction) का मानचित्र तैयार किया। उन्होंने पाया कि भले ही यह मशीन अविश्वसनीय रूप से जटिल और विशाल है, लेकिन इसका लीडर अभी भी सिमेट्रिक ग्रुप ( $S_n$ ) ही है।
फ्लोर 3: वे एक कदम और आगे गए। उन्होंने तीसरे सुपरवाइजर ( $End_3$ ) को देखा और पुष्टि की कि इसका लीडर भी सिमेट्रिक ग्रुप ( $S_n$ ) ही है।

4. उन्होंने यह कैसे किया (जासूसी कार्य)

इसे सिद्ध करने के लिए, लेखकों को जासूसों की तरह काम करना पड़ा। उन्होंने केवल अनुमान नहीं लगाया; उन्हें टॉवर के दूसरे फ्लोर के लिए पूरा "केले टेबल" (Cayley Table - एक विशाल गुणन चार्ट) मैप करना पड़ा।

उन्होंने कुछ चतुर युक्तियों का उपयोग किया:

"फिंगरप्रिंट" ट्रिक: उन्होंने मशीन के उन विशिष्ट हिस्सों को देखा जिन्हें किसी भी आंतरिक पुनर्व्यवस्था द्वारा हिलाया या बदला नहीं जा सकता (जिन्हें "विशेष गुण वाले उपसमुच्चय" या characteristic subsets कहा जाता है)।
"सेंटर" ट्रिक: उन्होंने विश्लेषण किया कि मशीन के कौन से हिस्से "केंद्रीय" (central) थे (जिन्हें दूसरों द्वारा हटाया या बदला नहीं जा सका)।
"पैरिटी" (Parity) ट्रिक: उन्होंने इस तथ्य का उपयोग किया कि कार्ड शफल "सम" (even) या "विषम" (odd) हो सकते हैं ताकि विभिन्न प्रकार के नियमों को अलग किया जा सके।

यह सिद्ध करके कि दूसरे और तीसरे फ्लोर के नियमों को बिना तोड़े पुनर्व्यवस्थित करने का एकमात्र तरीका मूल सिमेट्रिक ग्रुप का उपयोग करना है, उन्होंने दिखाया कि इन स्तरों पर मशीन की "आत्मा" $S_n$ ही रहती है।

5. निष्कर्ष और खुले प्रश्न

शोध पत्र तीन मुख्य निष्कर्षों के साथ समाप्त होता है:

अनंत विकास: एक परिमित समूह के लिए एंडोमोर्फिज्म का टॉवर कभी स्थिर नहीं होता; यह हमेशा बढ़ता रहता है।
स्थिर नेतृत्व: भले ही टॉवर हमेशा बढ़ता रहे, पहले तीन स्तरों ( $End_0, End_1, End_2, End_3$ ) के लिए "लीडर्स" (ग्रुप ऑफ यूनिट्स) मूल सिमेट्रिक ग्रुप ( $S_n$ ) के समान ही हैं।
रहस्य जारी है: लेखक एक बड़ा प्रश्न पूछते हैं: क्या यह पैटर्न हमेशा बना रहता है? क्या 100वें फ्लोर का लीडर भी $S_n$ ही है? वे अभी तक नहीं जानते। वे यह भी पूछते हैं कि क्या अन्य प्रकार की मशीनें (मोनोइड्स) हैं जहाँ यह टॉवर बढ़ना बंद कर देता है।

संक्षेप में: लेखकों ने कार्ड शफलिंग पर आधारित "नियंत्रण मशीनों" का एक गणितीय स्काईस्क्रेपर बनाया। उन्होंने सिद्ध किया कि इमारत कभी ऊँची होना बंद नहीं करती, लेकिन उन्होंने खोजा कि पहले कुछ मंजिलों के लिए, इमारत का "CEO" हमेशा वही व्यक्ति होता है: मूल सिमेट्रिक ग्रुप।

तकनीकी सारांश: एक परिमित सममित समूह का एंडोमोर्फिज्म टॉवर (Endomorphism Tower)

समस्या विवरण
यह शोध पत्र एक मोनॉइड $M$ के "एंडोमोर्फिज्म टॉवर" की जांच करता है, जिसे $\text{End}_i(M)$ के अनुक्रम के रूप में परिभाषित किया गया है जहाँ $\text{End}_0(M) = M$ और $\text{End}_i(M) = \text{End}(\text{End}_{i-1}(M))$ है, $i \ge 1$ के लिए। जबकि परिमित केंद्रहीन समूहों के लिए इसके समान ऑटोमोर्फिज्म टॉवर का व्यवहार अच्छी तरह से समझा जा चुका है (जो परिमित केंद्रहीन समूहों के लिए कुछ चरणों में समाप्त हो जाता है), मोनॉइड्स के लिए एंडोमोर्फिज्म टॉवर का व्यवहार काफी हद तक अनछुआ रहा है। लेखक पहले यह स्थापित करते हैं कि किसी भी परिमित गैर-तुच्छ (non-trivial) मोनॉइड के लिए, अनुक्रम $\text{End}_i(M)$ कभी स्थिर नहीं होता है (अर्थात, किसी भी परिमित $i$ के लिए $\text{End}_i(M) \not\cong \text{End}_{i+1}(M)$ )। फलस्वरूप, अध्ययन का रुख इन टॉवरों के 'यूनिट्स के समूहों' (automorphism groups) में स्थिरता पैटर्न की पहचान करने की ओर स्थानांतरित हो जाता है। मुख्य ध्यान $n \ge 7$ के लिए परिमित सममित समूह $S_n$ पर है, जहाँ ऑटोमोर्फिज्म टॉवर तुरंत समाप्त हो जाता है ( $\text{Aut}(S_n) \cong S_n$ )। केंद्रीय प्रश्न यह है: क्या $\text{End}_i(S_n)$ के यूनिट्स का समूह उच्च स्तरों $i$ के लिए $S_n$ के समरूपी (isomorphic) बना रहता है?

कार्यप्रणाली (Methodology)
लेखक $\text{End}_1(S_n)$ , $\text{End}_2(S_n)$ , और $\text{End}_3(S_n)$ के मोनॉइड्स का विश्लेषण करने के लिए स्ट्रक्चरल सेमग्रुप थ्योरी और सममित समूहों के विशिष्ट गुणों के संयोजन का उपयोग करते हैं।

संरचनात्मक अपघटन (Structural Decomposition): शोध पत्र ग्रीन के संबंधों (Green's relations) और इडेम्पोटेंट्स (idempotents) के वर्गीकरण का उपयोग करके मोनॉइड्स को विभाजित करता है। $\text{End}_1(S_n)$ के लिए, इसकी संरचना को पूर्व साहित्य से उद्धृत किया गया है, जो ऑटोमोर्फिज्म, रैंक 2 सिंगुलर एंडोमोर्फिज्म (इडेम्पोटेंट और गैर-इडेम्पोटेंट), और शून्य तत्व के बीच अंतर करती है।
विशेष गुण वाले उपसमुच्चय और सेंट्रलाइज़र (Characteristic Subsets and Centralizers): एक मुख्य तकनीक के रूप में एंडोमोर्फिज्म मोनॉइड्स के भीतर "विशेष गुण वाले उपसमुच्चयों" (automorphisms द्वारा अपरिवर्तित उपसमुच्चय) की पहचान करना शामिल है। लेखक इस तथ्य का लाभ उठाते हैं कि $n \ge 7$ के लिए, $S_n$ एक पूर्ण समूह (complete group) है (केंद्रहीन और केवल आंतरिक ऑटोमोर्फिज्म वाला)। यह $\text{Aut}(\text{End}_i(S_n))$ को $S_n$ और यूनिट्स के समूह को स्थिर रखने वाले ऑटोमोर्फिज्म के कर्नेल (kernel) के डायरेक्ट प्रोडक्ट में विघटित करने की अनुमति देता है।
क्रम 2 के तत्वों के सेंट्रलाइज़र का विश्लेषण: क्रम 2 के तत्वों के सेंट्रलाइज़र के विश्लेषण के लिए तकनीकी कार्य का एक महत्वपूर्ण हिस्सा (अनुभाग 4.1 और 5) समर्पित है। लेखक उन लेम्मा (lemmas) को सिद्ध करते हैं जो स्थापित करते हैं कि यदि क्रम 2 के दो तत्वों के सेंट्रलाइज़र नेस्टेड या समान हैं, तो वे विशिष्ट पैरिटी स्थितियों के तहत या तो समान होंगे या विलगित (disjoint) होंगे। यह सिंगुलर एंडोमोर्फिज्म के भीतर संयुग्मी वर्गों (conjugacy classes) को अलग करने के लिए अत्यंत महत्वपूर्ण है।
पुनरावृत्ति निर्माण (Iterative Construction): लेखक $\text{Aut}(S_n)$ और सिंगुलर भाग $\text{SEnd}(S_n)$ पर उनके प्रभाव के आधार पर $\text{End}_2(S_n)$ के तत्वों को वर्गीकृत करके उन्हें स्पष्ट रूप से निर्मित करते हैं। वे एंडोमोर्फिज्म को रैंक और कर्नेल संरचना के आधार पर वर्गीकृत करते हैं, जिससे $\text{End}_2(S_n)$ के लिए एक पूर्ण गुणन तालिका (multiplication table) प्राप्त होती है।
ऑटोमोर्फिज्म निर्धारण: $\text{End}_3(S_n)$ के यूनिट्स के समूह (जो $\text{Aut}(\text{End}_2(S_n))$ है) को निर्धारित करने के लिए, लेखक व्यवस्थित रूप से यह सिद्ध करते हैं कि $\text{End}_2(S_n)$ का कोई भी ऑटोमोर्फिज्म जो $\text{Aut}(S_n)$ को बिंदुवार (pointwise) स्थिर रखता है, वह पहचान मानचित्र (identity map) होगा। यह यह दिखाने के माध्यम से प्राप्त किया जाता है कि ऐसे ऑटोमोर्फिज्म को विशिष्ट इडेम्पोटेंट्स और विशेष गुण वाले उपसमुच्चयों को स्थिर करना चाहिए, जो अंततः पूरे मोनॉइड को स्थिर करने के लिए बाध्य करता है।

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

परिमित मोनॉइड्स का गैर-स्थिरीकरण (Non-Stabilization): शोध पत्र सिद्ध करता है (प्रपोजिशन 3.2) कि किसी भी परिमित गैर-तुच्छ मोनॉइड का एंडोमोर्फिज्म टॉवर परिमित चरणों में कभी स्थिर नहीं होता है, क्योंकि प्रत्येक चरण में इडेम्पोटेंट्स की संख्या सख्ती से बढ़ती है।
$\text{End}_2(S_n)$ की संरचना: लेखक $n \ge 7$ के लिए $\text{End}_2(S_n)$ के तत्वों का पूर्ण विवरण प्रदान करते हैं। वे इन एंडोमोर्फिज्म को विभिन्न परिवारों (ऑटोमोर्फिज्म, रैंक 2 मैप्स, वर्गों को कोलैप्स करने वाले मैप्स, आदि) में वर्गीकृत करते हैं और पूर्ण संयोजन तालिका (composition table) प्रस्तुत करते हैं (अनुभाग 6)।
यूनिट समूहों की समरूपता (Isomorphism of Unit Groups):
- यह सत्यापित किया गया है कि $\text{End}_1(S_n)$ का यूनिट ग्रुप $S_n$ के समरूपी है।
- शोध पत्र $\text{End}_2(S_n)$ की संरचना निर्धारित करता है और सिद्ध करता है कि इसका यूनिट ग्रुप, $\text{Aut}(\text{End}_1(S_n))$ , $S_n$ के समरूपी है।
- महत्वपूर्ण रूप से, लेखक $\text{End}_3(S_n)$ की संरचना निर्धारित करते हैं और सिद्ध करते हैं कि इसका यूनिट ग्रुप, $\text{Aut}(\text{End}_2(S_n))$ , भी $S_n$ के समरूपी है (थ्योरम 7.23)।
- $\text{End}_2(S_n)$ के ऑटोमोर्फिज्म का लक्षण वर्णन यह दर्शाता है कि $n \ge 7$ के लिए, $\text{End}_2(S_n)$ का ऑटोमोर्फिज्म समूह केवल आंतरिक ऑटोमोर्फिज्म (inner automorphisms) से बना है, जो स्वयं $S_n$ के गुण को दर्शाता है।

महत्व और दावे
लेखक इस कार्य को मोनॉइड्स के एंडोमोर्फिज्म टॉवर्स के अध्ययन के लिए एक "ओपनर" (शुरुआत करने वाला) के रूप में देखते हैं। वे स्वीकार करते हैं कि जबकि $S_n$ का ऑटोमोर्फिज्म टॉवर पहले चरण पर ही स्थिर हो जाता है, स्तर $i=1$ के ऊपर एंडोमोर्फिज्म टॉवर का व्यवहार पहले अज्ञात था।

प्राथमिक दावा किया गया महत्व $\text{End}_2(S_n)$ के तत्वों और संरचना का निर्धारण करना और यह सत्यापित करना है कि यूनिट ग्रुप पहले तीन स्तरों ( $i=0, 1, 2$ ) के लिए $S_n$ बना रहता है। शोध पत्र स्पष्ट रूप से कहता है कि यह उन तकनीकों को प्रदर्शित करता है जिनकी आवश्यकता ऐसे अध्ययनों के लिए होती है और यह उल्लेख करता है कि जटिलताएं उत्पन्न होती हैं।

लेखक सामान्य मामले के प्रति विनम्र बने हुए हैं। वे यह खुला प्रश्न (प्रश्न 8.1) पूछते हैं कि क्या $i \ge 3$ के लिए सभी $i$ हेतु $\text{Aut}(\text{End}_i(S_n)) \cong S_n$ है, यह नोट करते हुए कि एक स्तर से दूसरे स्तर पर जाने वाले तत्वों के लिए अभी तक कोई सामान्य पैटर्न नहीं खोजा गया है। वे इस कार्य को अन्य ट्रांसफॉर्मेशन मोनॉइड्स (जैसे $T_n$ ) के अध्ययन और यह जांचने के लिए एक आधार के रूप में भी प्रस्तुत करते हैं कि क्या अनंत सेमग्रुप्स में स्थिर एंडोमोर्फिज्म टॉवर हो सकते हैं।

1. अवधारणा: "नियंत्रण का टॉवर" (The Tower of Control)

2. बड़ा प्रश्न: क्या यह कभी रुकता है?

3. विशिष्ट मामला: सिमेट्रिक ग्रुप (SnS_nSn​)

4. उन्होंने यह कैसे किया (जासूसी कार्य)

5. निष्कर्ष और खुले प्रश्न

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

3. विशिष्ट मामला: सिमेट्रिक ग्रुप ( $S_n$ )