तुलनीयता (समूह सिद्धांत)

गणित में, विशेष रूप से समूह सिद्धांत में, दो समूह तुलनीय होते हैं यदि वे एक सटीक अर्थ में केवल एक सीमित मात्रा में भिन्न होते हैं। एक उपसमूह का अनुरूपक एक अन्य उपसमूह है, जो सामान्यीकरणकर्ता से संबंधित है।

समूह सिद्धांत में अनुरूपता
दो समूहों G1 और G2 को (अमूर्त रूप से) अनुरूप कहा जाता है यदि परिमित सूचकांक के उपसमूह H1 ⊂ G1 और H2 ⊂ G2 हैं जैसे कि H1, H2 के समरूपी है। उदाहरण के लिए:
 * एक समूह तभी सीमित होता है जब वह तुच्छ समूह के अनुरूप हो।
 * कम से कम 2 जनित्र पर कोई भी दो अंतिम रूप से उत्पन्न मुक्त समूह एक दूसरे के साथ तुलनीय हैं। समूह मॉड्यूलर समूह SL(2,'Z') भी इन मुक्त समूहों के अनुरूप है।
 * जीनस (गणित) के कोई भी दो सतह समूह कम से कम 2 एक दूसरे के अनुरूप हैं।

किसी दिए गए समूह के उपसमूहों के लिए एक अलग लेकिन संबंधित धारणा का उपयोग किया जाता है। अर्थात्, समूह G के दो उपसमूह Γ1 और Γ2 को तुलनीय कहा जाता है यदि प्रतिच्छेदन Γ1 ∩ Γ2 Γ1 और Γ2 दोनों में परिमित सूचकांक है। स्पष्ट रूप से इसका तात्पर्य यह है कि Γ1 और Γ2 अमूर्त रूप से तुलनीय हैं।

उदाहरण: गैर-शून्य वास्तविक संख्याओं A और B के लिए, A द्वारा उत्पन्न आर का उपसमूह B द्वारा उत्पन्न उपसमूह के साथ तुलनीय है यदि और केवल यदि वास्तविक संख्याएं A और B तुलनीय हैं, जिसका अर्थ है कि A/B तर्कसंगत संख्या Q से संबंधित है।

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

रैखिक बीजगणित में एक समान धारणा है: एक सदिश समष्टि V के दो रैखिक उपस्थान S और T 'अनुरूपणीय' हैं यदि प्रतिच्छेदन S ∩ T का S और T दोनों में परिमित संहिताकरण है।

सांस्थिति में
दो पथ-संबंधित सांस्थितिक समष्टि स्थान को कभी-कभी तुलनीय कहा जाता है यदि उनके पास होमियोमोर्फिज्म परिमित-शीट वाले समुपयोग समष्टि हैं। विचाराधीन स्थान के प्रकार के आधार पर, कोई व्यक्ति परिभाषा में होमोमोर्फिज्म के स्थान पर समस्थेयता तुल्यता या भिन्नता का उपयोग करना चाह सकता है। कवरिंग रिक्त स्थान और मौलिक समूह के बीच संबंध के अनुसार, तुलनीय रिक्त स्थान में तुलनीय मौलिक समूह होते हैं।

उदाहरण: गिसेकिंग मैनिफ़ोल्ड आकृति-आठ गाँठ के पूरक के अनुरूप है; ये दोनों परिमित आयतन के सघन स्थान अतिशयोक्तिपूर्ण 3-मैनिफोल्ड हैं। दूसरी ओर, सघन अतिशयोक्तिपूर्ण 3-बहुविध के और गैर-सघन अतिशयोक्तिपूर्ण 3-बहुविध के परिमित आयतन के भी अनंत रूप से कई अलग-अलग अनुरूपता वर्ग हैं।

अनुमानक
समूह G के उपसमूह Γ का अनुरूपक, जिसे CommG(Γ) कहा जाता है, G के तत्वों g का समुच्चय है, जिससे कि संयुग्म उपसमूह gΓg−1 Γ के अनुरूप हो। दूसरे शब्दों में,
 * $$\operatorname{Comm}_G(\Gamma)=\{g\in G : g\Gamma g^{-1} \cap \Gamma \text{ has finite index in both } \Gamma \text{ and } g\Gamma g^{-1}\}.$$

यह G का एक उपसमूह है जिसमें नॉर्मलाइज़र NG(Γ) सम्मिलित है (और इसलिए इसमें Γ सम्मिलित है)।

उदाहरण के लिए, SL(n,'R') में विशेष रैखिक समूह SL(n,'Z') के अनुरूपक में SL(n,'Q') होता है। विशेष रूप से, SL(n,'R') में SL(n,'Z') का अनुरूपक SL(n,'R') में सघन सम्मुच्चय है। अधिक सामान्यतः, ग्रिगोरी मार्गुलिस ने दिखाया कि एक अर्धसरल लाई समूह G में एक जाली (असतत उपसमूह) का अनुरूपक G में सघन है यदि और केवल यदि Γ G का एक अंकगणितीय उपसमूह है।

अमूर्त अनुरूपक
समूह G का अमूर्त अनुरूपक, जिसे $$\text{Comm}(G)$$ कहा जाता है, समरूपता के समतुल्य वर्गों का समूह है, जहां $$\phi : H \to K$$, संरचना के अंतर्गत $$G$$ के परिमित सूचकांक उपसमूह हैं। $$\text{Comm}$$ के अवयव को G के अनुरूपक कहा जाता है।

यदि G एक जुड़ा हुआ अर्धसरल झूठ समूह है जो $$\text{PSL}_2(\mathbb{R})$$ के समरूपी नहीं है, तुच्छ केंद्र और कोई सघन कारकों के साथ, तो मोस्टो कठोरता प्रमेय द्वारा, किसी भी अलघुकरणीय जाली का अमूर्त तुलनित्र $$\Gamma \leq G$$ रैखिक होता है। इसके अतिरिक्त, यदि $$\Gamma$$अंकगणितीय है, तो Comm $$G$$ वास्तव में G के घने उपसमूह के लिए समरूपी है, अन्यथा Comm $$G$$ वस्तुतः $$(\Gamma)$$ के लिए समरूपी है।