उपसमूहों की जाली

डीह₄, उनके चक्र ग्राफ (बीजगणित) द्वारा दर्शाए गए उपसमूहों के साथ

गणित में, समूह $G$ के उपसमूहों की जाली वह जाली है जिसके तत्व $G$ के उपसमूह हैं, जिसमें आंशिक क्रम संबंध सम्मिलित है। इस जाली में, दो उपसमूहों का जुड़ाव उनके संघ द्वारा उत्पन्न उपसमूह है, और दो उपसमूहों का मिलन उनका प्रतिच्छेदन है।

उदाहरण

डायहेड्रल समूह Dih₄ में दस उपसमूह हैं, स्वयं की गिनती और तुच्छ उपसमूह 8 समूह तत्वों में से पांच क्रम दो के उपसमूह उत्पन्न करते हैं, और अन्य दो गैर-पहचान तत्व दोनों क्रम चार के समान चक्रीय उपसमूह उत्पन्न करते हैं। इसके अतितिक्त Z₂ × Z₂,के रूप के दो उपसमूह हैं, जो क्रम -दो तत्वों के जोड़े द्वारा उत्पन्न होते हैं। इन दस उपसमूहों द्वारा बनाई गई जाली को चित्रण में दिखाया गया है।

यह उदाहरण यह भी दर्शाता है कि समूह के सभी उपसमूहों की जाली सामान्य रूप से एक मॉड्यूलर जाली नहीं है। दरअसल, इस विशेष जाली में वर्जित पेंटागन N₅ एक उप-जाली के रूप में है।

गुण

A ≤ C (C का एक उपसमूह) वाले समूह के किसी A, B, और C उपसमूहों के लिए AB ∩ C = A(B ∩ C); यहाँ गुणन उपसमूहों का गुणनफल है। इस संपत्ति को समूहों की मॉड्यूलर संपत्ति कहा गया है (एशबैकर 2000) या (रिचर्ड डेडेकिंड का) मॉड्यूलर कानून (रॉबिन्सन 1996, कोहन 2000). चूंकि दो सामान्य उपसमूहों के लिए उत्पाद वास्तव में सबसे छोटा उपसमूह है जिसमें दो सम्मिलित हैं, सामान्य उपसमूह एक मॉड्यूलर जाली बनाते हैं।

जाली प्रमेय एक समूह के उपसमूहों की जाली और उसके भागफलों के बीच एक गाल्वा संबंध स्थापित करता है।

ज़ैसेनहॉस लेम्मा उपसमूहों की जाली में भागफलों और उत्पादों के कुछ संयोजनों के बीच एक समरूपता देता है।

सामान्यतः , उपसमूहों की जाली के आकार पर कोई प्रतिबंध नहीं है, इस अर्थ में कि प्रत्येक जाली किसी समूह के उपसमूह जाली के उप-वर्ग के लिए आइसोमोर्फिक है। इसके अतितिक्त , प्रत्येक परिमित समूह जाली कुछ परिमित समूह के उपसमूह जाली के उपसमूह के लिए समरूप है (श्मिड्ट 1994, p. 9).

विशेषता जाली

कुछ गुणों वाले उपसमूह जाली बनाते हैं, किन्तु अन्य गुण नहीं होते हैं।

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

चूंकि , न तो परिमित उपसमूह और न ही मरोड़ उपसमूह एक जाली बनाते हैं: उदाहरण के लिए, मुक्त उत्पाद $\mathbf {Z} /2\mathbf {Z} *\mathbf {Z} /2\mathbf {Z}$ दो मरोड़ वाले तत्वों से उत्पन्न होता है, किन्तु अनंत होता है और इसमें अनंत क्रम के तत्व होते हैं।

तथ्य यह है कि सामान्य उपसमूह एक मॉड्यूलर जाली बनाते हैं, एक अधिक सामान्य परिणाम का एक विशेष स्थिति है, अर्थात् किसी भी माल्टसेव विविधता में (जिनमें से समूह एक उदाहरण हैं), अनुरूपता जाली मॉड्यूलर है (किर्न्स & किस 2013).

उनके उपसमूह जाल द्वारा समूहों की विशेषता

उपसमूहों की जाली के बारे में जाली सैद्धांतिक जानकारी का उपयोग कभी-कभी मूल समूह के बारे में जानकारी का अनुमान लगाने के लिए किया जा सकता है, एक ऐसा विचार जो काम पर वापस जाता है ऑयस्टीन अयस्क (1937, 1938). उदाहरण के लिए, जैसा कि अयस्क ने सिद्ध किया है, एक समूह स्थानीय रूप से चक्रीय समूह है यदि और केवल यदि इसके उपसमूहों की जाली वितरणकारी जाली है। यदि अतिरिक्त रूप से जाली आरोही श्रृंखला की स्थिति को संतुष्ट करती है, तो समूह चक्रीय होता है।

जिन समूहों के उपसमूहों की जाली एक पूरक जाली है, उन्हें पूरक समूह कहा जाता है (ज़ाकर 1953), और जिन समूहों के उपसमूहों की जाली मॉड्यूलर जाली हैं, उन्हें इवासावा समूह या मॉड्यूलर समूह कहा जाता है (इवासअवा 1941). इस प्रकार के जाली-सैद्धांतिक लक्षण भी हल करने योग्य समूहों और पूर्ण समूहों (सुजुकी 1951) के लिए उपस्थित हैं

संदर्भ

• Aschbacher, M. (2000). Finite Group Theory. Cambridge University Press. p. 6. ISBN 978-0-521-78675-1.
• Baer, Reinhold (1939). "The significance of the system of subgroups for the structure of the group". American Journal of Mathematics. The Johns Hopkins University Press. 61 (1): 1–44. doi:10.2307/2371383. JSTOR 2371383.
• Cohn, Paul Moritz (2000). Classic algebra. Wiley. p. 248. ISBN 978-0-471-87731-8.
• Iwasawa, Kenkiti (1941), "Über die endlichen Gruppen und die Verbände ihrer Untergruppen", J. Fac. Sci. Imp. Univ. Tokyo. Sect. I., 4: 171–199, MR 0005721
• Kearnes, Keith; Kiss, Emil W. (2013). The Shape of Congruence Lattices. American Mathematical Soc. p. 3. ISBN 978-0-8218-8323-5.
• Ore, Øystein (1937). "Structures and group theory. I". Duke Mathematical Journal. 3 (2): 149–174. doi:10.1215/S0012-7094-37-00311-9. MR 1545977.
• Ore, Øystein (1938). "Structures and group theory. II". Duke Mathematical Journal. 4 (2): 247–269. doi:10.1215/S0012-7094-38-00419-3. hdl:10338.dmlcz/100155. MR 1546048.
• Robinson, Derek (1996). A Course in the Theory of Groups. Springer Science & Business Media. p. 15. ISBN 978-0-387-94461-6.
• Rottlaender, Ada (1928). "Nachweis der Existenz nicht-isomorpher Gruppen von gleicher Situation der Untergruppen". Mathematische Zeitschrift. 28 (1): 641–653. doi:10.1007/BF01181188. S2CID 120596994.
• Schmidt, Roland (1994). Subgroup Lattices of Groups. Expositions in Math. Vol. 14. Walter de Gruyter. ISBN 978-3-11-011213-9. Review by Ralph Freese in Bull. AMS 33 (4): 487–492.
• Suzuki, Michio (1951). "On the lattice of subgroups of finite groups". Transactions of the American Mathematical Society. American Mathematical Society. 70 (2): 345–371. doi:10.2307/1990375. JSTOR 1990375.
• Suzuki, Michio (1956). Structure of a Group and the Structure of its Lattice of Subgroups. Berlin: Springer Verlag.
• Yakovlev, B. V. (1974). "Conditions under which a lattice is isomorphic to a lattice of subgroups of a group". Algebra and Logic. 13 (6): 400–412. doi:10.1007/BF01462952. S2CID 119943975.
• Zacher, Giovanni (1953). "Caratterizzazione dei gruppi risolubili d'ordine finito complementati". Rendiconti del Seminario Matematico della Università di Padova. 22: 113–122. ISSN 0041-8994. MR 0057878.

बाहरी संबंध

• PlanetMath entry on lattice of subgroups
• Example: Lattice of subgroups of the symmetric group S4