Subgroups with all finite lifts isomorphic are conjugate

तकनीकी सारांश: सभी परिमित उत्थापनों (Lifts) के समरूप होने वाले उपसमूह संयुग्मी (Conjugate) होते हैं

समस्या विवरण
यह शोध पत्र समूह सिद्धांत (Group Theory) में उपसमूहों के समरूपता (Isomorphism) और उनके समूह विस्तार (Group Extensions) के तहत उनके व्यवहार के बीच संबंध के एक मौलिक प्रश्न को संबोधित करता है। विशेष रूप से, यह जांच करता है कि क्या किसी समूह $G$ के प्रत्येक परिमित विस्तार (Finite Extension) में उनके प्री-इमेज (Pre-images/Lifts) के समरूप होने का गुण यह दर्शाता है कि वे उपसमूह $G$ के भीतर संयुग्मी हैं।

यह जांच $\mathbb{Z}$-कोसेट तुल्यता ($\mathbb{Z}$-coset equivalence) के अध्ययन से प्रेरित है। दो उपसमूह $G_1, G_2 \leq G$ $\mathbb{Z}$-कोसेट तुल्य कहलाते हैं यदि परम्यूटेशन मॉड्यूल $\mathbb{Z}[G/G_1]$ और $\mathbb{Z}[G/G_2]$ समरूप हैं। जबकि संयुग्मी उपसमूह स्वाभाविक रूप से $\mathbb{Z}$-कोसेट तुल्य होते हैं, इसका विलोम सामान्यतः सत्य नहीं है। दिपेन्द्र प्रसाद द्वारा उठाए गए एक विशिष्ट प्रश्न (प्रश्न 1.3) में पूछा गया था: यदि $G$ एक परिमित समूह है और $G_1, G_2 \leq G$ $\mathbb{Z}$-कोसेट तुल्य हैं, तो क्या $G_1$ और $G_2$ अनिवार्य रूप से समरूप (Isomorphic) हैं?

इस कार्य से पूर्व, गैर-संयुग्मी $\mathbb{Z}$-कोसेट तुल्य युग्मों के बहुत कम उदाहरण ज्ञात थे (विशेष रूप से L. Scott द्वारा $PSL(2, 29)$ में पाया गया एक युग्म)। ऐसे युग्मों का अस्तित्व जहाँ उपसमूह गैर-समरूप (Non-isomorphic) हों, एक खुला प्रश्न था।

कार्यप्रणाली (Methodology)
लेखक गैर-संयुग्मी उपसमूहों के बीच अंतर करने के लिए परिमित समूह विस्तार उत्पन्न करने हेतु एक रचनात्मक दृष्टिकोण अपनाते हैं। मुख्य रणनीति निम्नलिखित तार्किक चरणों पर आधारित है:

1. प्रोफाइनाइट रिजिडिटी (Profinite Rigidity) तक न्यूनीकरण: लेखक पहले यह स्थापित करते हैं कि यदि दो उपसमूहों के प्रोफाइनाइट पूर्ण (Profinite Completions) गैर-समरूप हैं, तो एक परिमित कोटि (Finite Quotient) मौजूद होती है जहाँ उनके प्री-इमेज गैर-समरूप होते हैं (प्रस्ताव 3.1, उपप्रमेय 1.6)।
2. कॉर्नुलियर का निर्माण (Cornulier's Construction): मुख्य प्रमेय का प्रमाण Y. कॉर्नुलियर (प्रमेय 1.2) के एक परिणाम पर आधारित है, जो कहता है कि किसी भी परिमित समूह $G$ के लिए, एक परिमित समूह $N$ मौजूद होता है ताकि $G \cong \text{Out}(N)$ हो।
3. निर्माण का परिशोधन (Refinement of the Construction): लेखक कॉर्नुलियर के निर्माण के सम्बाल (Sambale) के विवरण का विश्लेषण और परिशोधन करते हैं (प्रमेय 4.1)। वे एक विशिष्ट परिमित समूह $N$ का निर्माण करते जिसमें निम्नलिखित महत्वपूर्ण गुण हैं (प्रमेय 4.2):
   • $G \cong \text{Out}(N)$।
   • केंद्र $Z(N)$ रिक्त (Trivial) है।
   • $\text{Aut}(N)$ का एकमात्र उपसमूह जो $N$ के समरूप है, वह आंतरिक ऑटोमोर्फिज्म समूह $\text{Inn}(N)$ है।
   • $N$ सुपरसॉल्वेबल (Supersolvable) है।
4. विस्तार समूह (The Extension Group): $N$ का उपयोग करते हुए, वे $\tilde{G} = \text{Aut}(N)$ को परिभाषित करते हैं। यहाँ $N$ कर्नेल (Kernel) के साथ एक प्राकृतिक अधिसुत्रीय होमोमोर्फिज्म (Surjective Homomorphism) $\phi: \tilde{G} \to G$ है।
5. विरोधाभास तर्क (Contradiction Argument): लेखक सिद्ध करते हैं कि यदि प्री-इमेज $\phi^{-1}(G_1)$ और $\phi^{-1}(G_2)$ समरूप थे, तो एक HNN विस्तार का निर्माण किया जा सकता था जो $\tilde{G}$ को एक बड़े समूह में समाहित करता है जहाँ $G_1$ और $G_2$ संयुग्मी बन जाते। $N$ की विशिष्ट रिजिडिटी गुणों (विशेष रूप से यह कि $N$, $\tilde{G}$ में अपने आइसोमोर्फिज्म प्रकार का एकमात्र उपसमूह है) का उपयोग करते हुए, वे प्रदर्शित करते हैं कि इस विस्तार में संयुग्मन (Conjugacy) मूल समूह $G$ में $G_1$ और $G_2$ के संयुग्मी होने को बाध्य करता है।

मुख्य परिणाम

• प्रमेय 1.1 (मुख्य परिणाम): एक परिमित समूह $G$ के लिए, एक परिमित समूह $\tilde{G}$ और एक अधिसुत्रीय होमोमोर्फिज्म $\phi: \tilde{G} \to G$ मौजूद है ताकि कि किन्हीं भी दो गैर-संयुग्मी उपसमूहों $G_1, G_2 \leq G$ के लिए, प्री-इमेज $\phi^{-1}(G_1)$ और $\phi^{-1}(G_2)$ समरूप नहीं हैं। इसके अतिरिक्त, $\phi$ का कर्नेल सुपरसॉल्वेबल चुना जा सकता है; यदि $G$ सॉल्वेबल (Solvable) है, तो $\tilde{G}$ भी सॉल्वेबल है।
• प्रमेय 1.4 (प्रसाद के प्रश्न का उत्तर): यह शोध पत्र प्रश्न 1.3 का नकारात्मक उत्तर प्रदान करता है। $G = PSL(2, 29)$में ज्ञात गैर-संयुग्मी$\mathbb{Z}$-कोसेट तुल्य युग्म (जहाँ$G_1, G_2 \cong A_5$) को लागू करके, लेखक एक परिमित समूह$\tilde{G}$का निर्माण करते हैं जिसमें प्री-इमेज$\mathbb{Z}$-कोसेट तुल्य हैं लेकिन समरूप नहीं हैं।
• प्रमेय 1.7: लेखक समूह $\Gamma$ (जो एक टेट्राहेड्रॉन के रिफ्लेक्शन ग्रुप में इंडेक्स 2 वाला उपसमूह है) से संबंधित एक ठोस अनुप्रयोग प्रदर्शित करते हैं। वे दिखाते हैं कि $\Gamma$ का एक परिमित कोटि $Q$ है जो $PSL(2, 29)$पर मैप होता है, जिससे गैर-संयुग्मी$A_5$ उपसमूहों के प्री-इमेज गैर-समरूप होते हैं। इसे Magma का उपयोग करके यह दिखाकर सत्यापित किया गया है कि प्री-इमेज में इंडेक्स 5 के उपसमूहों की संख्या भिन्न है।

महत्व और संबंध

यह शोध पत्र गणित के कई क्षेत्रों में महत्व का दावा करता है:

1. एक खुले प्रश्न का समाधान: यह प्रसाद के प्रश्न को निर्णायक रूप से हल करता है, यह दिखाते हुए कि $\mathbb{Z}$-कोसेट तुल्यता उपसमूहों की समरूपता को निहित नहीं करती है, भले ही वे गैर-संयुग्मी हों।
2. प्रोफाइनाइट रिजिडिटी: परिणाम प्रोफाइनाइट रिजिडिटी के विषय से जुड़ते हैं। शोध पत्र सुझाव देता है कि यदि कुछ समूहों (जैसे मैपिंग क्लास ग्रुप या गैर-अरिथमेटिक लैटिस) के परिमित-इंडेक्स उपसमूह उनके प्रोफाइनाइट पूर्ण द्वारा समरूपता तक निर्धारित होते हैं, तो गैर-संजिग्मी उपसमूहों को उनके परिमित कोटियों द्वारा अलग किया जा सकता है।
3. एनाबेलियन ज्योमेट्री (Anabelian Geometry): यह कार्य न्यूकिर्क-उचिदा (Neukirch–Uchida) प्रमेय से संबंधित है। लेखक नोट करते हैं कि जबकि यह प्रमेय बताता है कि एब्सोल्यूट गैलुआ समूहों के गैर-संयुग्मी उपसमूह गैर-समरूप होते हैं, उनका परिणाम एक परिमित-समूह एनालॉग प्रदान करता है जहाँ समूह प्रोफाइनाइट के बजाय परिमित हैं।
4. संख्या सिद्धांत और ज्यामिति में अनुप्रयोग: गैर-समरूप $\mathbb{Z}$-कोसेट तुल्य युग्मों के अस्तित्व के निम्नलिखित निहितार्थ हैं:
   • समरूप मल्टीप्लिकेटिव समूहों वाले गैर-समरूप संख्या क्षेत्रों (Number Fields) का निर्माण करना।
   • गैर-पोलराइज्ड जैकोबियन (Jacobians) वाले गैर-समरूप रीमैन सतहों का उत्पादन करना।
   • ऐसे युग्मों से निर्मित स्थानों की कोहोमोलॉजी (Cohomology) का अध्ययन करना।

दावों की विनम्रता
लेखक अपने परिणामों के दायरे के संबंध में एक विनम्र स्वर बनाए रखते हैं। वे स्पष्ट रूप से कहते हैं कि हालांकि वे गैर-संयुग्मी उपसमूहों को परिमित उत्थापनों (Finite Lifts) के माध्यम से अलग करने की एक विधि प्रदान करते हैं, निर्मित विशिष्ट परिमित समूह $\tilde{G}$ अक्सर बड़ा होता है और आवश्यक रूप से न्यूनतम नहीं होता है। वे यह भी नोट करते हैं कि हालांकि उनका निर्माण सभी परिमित समूहों के लिए काम करता है, $\mathbb{Z}$-कोसेट तुल्यता के विशिष्ट अनुप्रयोग के लिए कम से कम एक प्रारंभिक गैर-संयुग्मी युग्म का अस्तित्व आवश्यक है (जो पहले से ज्ञात था)। शोध पत्र यह दावा नहीं करता है कि यह सभी ऐसे युग्मों का वर्गीकरण करता है, बल्कि यह ऐसे विस्तारों के अस्तित्व को स्थापित करता है जो उन्हें अलग करते हैं।