परिमित रूप से उत्पन्न समूह

बीजगणित में, एक अंतिम रूप से उत्पन्न समूह एक समूह (गणित) G होता है जिसमें समूह S का कुछ परिमित सम्मुच्चय उत्पादक सम्मुच्चय होता है ताकि G के प्रत्येक तत्व को S के बहुत से तत्वों और ऐसे तत्वों के व्युत्क्रमों के संयोजन (समूह संचालन के अंतर्गत) के रूप में लिखा जा सके। परिभाषा के अनुसार, प्रत्येक परिमित समूह परिमित रूप से उत्पन्न होता है, क्योंकि S को स्वयं G के रूप में लिया जा सकता है। प्रत्येक अनंत रूप से उत्पन्न समूह को गणनीय सम्मुच्चय होना चाहिए लेकिन गणनीय समूहों को अंतिम रूप से उत्पन्न करने की आवश्यकता नहीं है। परिमेय संख्याओं का योज्य समूह 'Q' एक ऐसे गणनीय समूह का उदाहरण है जो अंतिम रूप से उत्पन्न नहीं होता है।

उदाहरण

 * सूक्ष्म रूप से उत्पन्न समूह G का प्रत्येक भागफल समूह सूक्ष्म रूप से उत्पन्न होता है; गुण के अंतर्गत भागफल समूह G के जनित्र की छवियों द्वारा उत्पन्न होता है।
 * एक निश्चित रूप से उत्पन्न समूह के उपसमूह को अंतिम रूप से उत्पन्न करने की आवश्यकता नहीं है।
 * जो समूह किसी एक तत्व से उत्पन्न होता है उसे चक्रीय समूह कहते हैं। प्रत्येक अनंत चक्रीय समूह पूर्णांक 'Z' के योज्य समूह के लिए समूह समरूपता है।
 * एक स्थानीय चक्रीय समूह एक ऐसा समूह है जिसमें प्रत्येक सूक्ष्म रूप से उत्पन्न उपसमूह चक्रीय होता है।
 * एक परिमित सम्मुच्चय पर मुक्त समूह उस सम्मुच्चय के तत्वों द्वारा परिमित रूप से उत्पन्न होता है (§ उदाहरण)।
 * फोर्टियोरी, प्रत्येक सूक्ष्म रूप से प्रस्तुत समूह (§उदाहरण) सूक्ष्म रूप से उत्पन्न होता है।

पूरी तरह से उत्पन्न एबेलियन समूह


प्रत्येक एबेलियन समूह को पूर्णांक Z के वलय (गणित) के ऊपर एक अनुखंड (गणित) के रूप में देखा जा सकता है, और जनित्र  x  के साथ एक सूक्ष्म रूप से उत्पन्न एबेलियन समूह x1, ..., xn में देखा जा सकता है। प्रत्येक समूह तत्व x को इन जनित्र के रैखिक संयोजन के रूप में लिखा जा सकता है,
 * x = α1⋅x1 + a2⋅x2 + ... + an⋅xn

पूर्णांक α1, ..., an के साथ है।

एक परिमित रूप से उत्पन्न एबेलियन समूह के उपसमूह स्वयं परिमित रूप से उत्पन्न होते हैं।

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

उपसमूह
एक निश्चित रूप से उत्पन्न समूह के उपसमूह को अंतिम रूप से उत्पन्न करने की आवश्यकता नहीं है। मुक्त समूह $$F_2$$ का दिकपरिवर्तक उपसमूह जनित्र पर एक सूक्ष्म रूप से उत्पन्न समूह के उपसमूह का एक उदाहरण है जो कि अंतिम रूप से उत्पन्न नहीं होता है।

दूसरी ओर, सूक्ष्म रूप से उत्पन्न एबेलियन समूह के सभी उपसमूह सूक्ष्म रूप से उत्पन्न होते हैं।

एक परिमित रूप से उत्पन्न समूह में एक उपसमूह के परिमित सूचकांक का एक उपसमूह हमेशा परिमित रूप से उत्पन्न होता है, और श्रेयर सूचकांक सूत्र आवश्यक जनित्र की संख्या पर एक सीमा देता है।

1954 में, अल्बर्ट जी हॉसन ने दिखाया कि एक मुक्त समूह के दो सूक्ष्म रूप से उत्पन्न उपसमूहों का प्रतिच्छेदन फिर से सूक्ष्म रूप से उत्पन्न होता है। इसके अतिरिक्त, यदि $$m$$ और $$n$$ दो सूक्ष्म रूप से उत्पन्न उपसमूहों के जनित्र की संख्या है तो उनका प्रतिच्छेदन अधिकतम $$2mn - m - n + 1$$ जनित्र द्वारा उत्पन्न होता है। इस ऊपरी सीमा को हैना न्यूमैन से $$2(m-1)(n-1) + 1$$ द्वारा काफी सुधार किया गया था, हैना न्यूमैन अनुमान देखें।

एक समूह के उपसमूहों की जाली आरोही श्रृंखला की स्थिति को संतुष्ट करती है यदि और केवल यदि समूह के सभी उपसमूहों को सूक्ष्म रूप से उत्पन्न किया जाता है। ऐसा समूह जिसके सभी उपसमूह सूक्ष्म रूप से उत्पन्न होते हैं, नोएथेरियन समूह कहलाता है।

ऐसा समूह जिसमें प्रत्येक परिमित रूप से उत्पन्न उपसमूह परिमित हो, स्थानीय रूप से परिमित समूह कहलाता है। प्रत्येक स्थानीय परिमित समूह आवर्ती समूह होता है, अर्थात प्रत्येक तत्व का परिमित क्रम (समूह सिद्धांत) होता है। इसके विपरीत, प्रत्येक आवधिक एबेलियन समूह स्थानीय रूप से परिमित है।

अनुप्रयोग
ज्यामितीय समूह सिद्धांत सूक्ष्म रूप से उत्पन्न समूहों के बीजगणितीय गुणों और अंतरिक्ष (गणित) के सांस्थिति और ज्यामिति गुणों के बीच संबंधों का अध्ययन करता है, जिस पर ये समूह समूह क्रिया (गणित) करते हैं।

संबंधित धारणाएं
एक निश्चित रूप से उत्पन्न समूह के लिए समूहों के लिए शब्द समस्या निर्णय समस्या है कि क्या समूह के जनित्र में दो शब्द (समूह सिद्धांत) एक ही तत्व का प्रतिनिधित्व करते हैं। दिए गए अंतिम रूप से उत्पन्न समूह के लिए शब्द समस्या हल करने योग्य है यदि और केवल यदि समूह को बीजगणितीय रूप से बंद समूह में अंतः स्थापित किया जा सकता है।

एक समूह की रैंक को प्रायः समूह के लिए उत्पन्न सम्मुच्चय की सबसे छोटी प्रमुखता के रूप में परिभाषित किया जाता है। परिभाषा के अनुसार, एक अंतिम रूप से उत्पन्न समूह का पद परिमित होता है।

यह भी देखें

 * अंतिम रूप से उत्पन्न अनुखंड
 * एक समूह की प्रस्तुति