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

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

उदाहरण

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

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


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

पूर्णांक α के साथ1, ..., एn.

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

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

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

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

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

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

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

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

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

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

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

यह भी देखें

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