जनक समुच्चय का समूह

अमूर्त बीजगणित में, किसी समूह का एक जनक समुच्चय समूह समुच्चय का एक उपसमुच्चय होता है, जिससे समूह के प्रत्येक तत्व (गणित) को उपसमुच्चय के कई तत्वों और उनके व्युत्क्रम तत्व के संयोजन (समूह संचालन के तहत) के रूप में व्यक्त किया जा सकता है।.

दूसरे शब्दों में, यदि $$S$$ एक समूह का उपसमुच्चय है $$G$$, तब $$\langle S\rangle$$, द्वारा उत्पन्न उपसमूह $$S$$, का सबसे छोटा उपसमूह है $$G$$ के प्रत्येक तत्व से युक्त $$S$$, जो के तत्वों वाले सभी उपसमूहों पर प्रतिच्छेदन के बराबर है $$S$$; समान रूप से, $$\langle S\rangle$$ के सभी तत्वों का उपसमूह है $$G$$ जिसे तत्वों के परिमित उत्पाद के रूप में व्यक्त किया जा सकता है $$S$$ और उनके व्युत्क्रम. (ध्यान दें कि व्युत्क्रम की आवश्यकता केवल तभी होती है जब समूह अनंत हो; एक सीमित समूह में, किसी तत्व के व्युत्क्रम को उस तत्व की शक्ति के रूप में व्यक्त किया जा सकता है।)

अगर $$G=\langle S\rangle$$, तो हम ऐसा कहते हैं $$S$$ उत्पन्न करता है $$G$$, और इसमें मौजूद तत्व $$S$$ जनरेटर या समूह जनरेटर कहलाते हैं। अगर $$S$$ तो, खाली सेट है $$\langle S\rangle$$ तुच्छ समूह है $$\{e\}$$, चूँकि हम खाली उत्पाद को ही पहचान मानते हैं।

जब केवल एक ही तत्व हो $$x$$ में $$S$$, $$\langle S\rangle$$ आमतौर पर इस तरह लिखा जाता है $$\langle x\rangle$$. इस मामले में, $$\langle x\rangle$$ की शक्तियों का चक्रीय उपसमूह है $$x$$, एक चक्रीय समूह, और हम कहते हैं कि यह समूह किसके द्वारा उत्पन्न होता है $$x$$. किसी तत्व को कहने के बराबर $$x$$ एक समूह उत्पन्न करता है जो ऐसा कह रहा है $$\langle x\rangle$$ पूरे समूह के बराबर है $$G$$. परिमित समूहों के लिए, यह भी ऐसा कहने के बराबर है $$x$$ आदेश है (समूह सिद्धांत) $$|G|$$.

एक समूह को अनंत संख्या में जनरेटर की आवश्यकता हो सकती है। उदाहरण के लिए परिमेय संख्याओं का योगात्मक समूह $$\Q$$ अंतिम रूप से उत्पन्न नहीं होता है। यह सभी पूर्णांकों के व्युत्क्रमों द्वारा उत्पन्न होता है, लेकिन इन जनरेटरों की किसी भी सीमित संख्या को जनरेटिंग सेट से हटाए बिना जनरेटिंग सेट से हटाया जा सकता है। इस तरह के मामले में, जनरेटिंग सेट के सभी तत्व फिर भी गैर-जनरेटिंग तत्व हैं, जैसा कि वास्तव में पूरे समूह के सभी तत्व हैं - नीचे फ्रैटिनी उपसमूह देखें।

अगर $$G$$ एक टोपोलॉजिकल समूह है फिर एक उपसमुच्चय $$S$$ का $$G$$ टोपोलॉजिकल जेनरेटर का एक सेट कहा जाता है यदि $$\langle S\rangle$$ सघन सेट है $$G$$, यानी का समापन (टोपोलॉजी)। $$\langle S\rangle$$ पूरा समूह है $$G$$.

अंततः उत्पन्न समूह
अगर $$S$$ परिमित है, फिर एक समूह $$G=\langle S\rangle$$ परिमित रूप से उत्पन्न कहा जाता है। विशेष रूप से अंतिम रूप से उत्पन्न एबेलियन समूहों की संरचना का आसानी से वर्णन किया गया है। कई प्रमेय जो अंतिम रूप से उत्पन्न समूहों के लिए सत्य हैं, सामान्य तौर पर समूहों के लिए विफल हो जाते हैं। यह सिद्ध हो चुका है कि यदि एक परिमित समूह एक उपसमुच्चय द्वारा उत्पन्न होता है $$S$$, तो प्रत्येक समूह तत्व को वर्णमाला के एक शब्द के रूप में व्यक्त किया जा सकता है $$S$$ समूह के क्रम से कम या उसके बराबर लंबाई का।

प्रत्येक परिमित समूह परिमित रूप से उत्पन्न होता है $$\langle G\rangle =G$$. जोड़ के अंतर्गत पूर्णांक एक अनंत समूह का उदाहरण है जो 1 और -1 दोनों द्वारा परिमित रूप से उत्पन्न होता है, लेकिन योग के तहत परिमेय संख्या का समूह परिमित रूप से उत्पन्न नहीं किया जा सकता है। कोई भी बेशुमार समूह परिमित रूप से उत्पन्न नहीं किया जा सकता। उदाहरण के लिए, जोड़ के अंतर्गत वास्तविक संख्याओं का समूह, $$(\R,+)$$.

एक ही समूह के विभिन्न उपसमुच्चय उपसमुच्चय उत्पन्न कर सकते हैं। उदाहरण के लिए, यदि $$p$$ और $$q$$ के साथ पूर्णांक हैं $gcd(p, q) = 1$, तब $$\{p,q\}$$ बेज़आउट की पहचान द्वारा जोड़ के तहत पूर्णांकों का समूह भी उत्पन्न करता है।

हालांकि यह सच है कि एक परिमित रूप से उत्पन्न समूह का प्रत्येक भागफल समूह परिमित रूप से उत्पन्न होता है (भागफल में जनरेटर की छवियां एक परिमित उत्पन्न करने वाला सेट देती हैं), एक परिमित रूप से उत्पन्न समूह के एक उपसमूह को परिमित रूप से उत्पन्न करने की आवश्यकता नहीं होती है। उदाहरण के लिए, चलो $$G$$ दो जनरेटरों में मुक्त समूह बनें, $$x$$ और $$y$$ (जो स्पष्ट रूप से अंतिम रूप से उत्पन्न होता है, क्योंकि $$G=\langle \{x,y\}\rangle$$), और जाने $$S$$ के सभी तत्वों से युक्त उपसमुच्चय बनें $$G$$ रूप का $$y^nxy^{-n}$$ किसी प्राकृतिक संख्या के लिए $$n$$. $$\langle S\rangle$$ अनगिनत अनगिनत जनरेटरों में मुक्त समूह के लिए समरूपता है, और इसलिए इसे अंतिम रूप से उत्पन्न नहीं किया जा सकता है। हालाँकि, एक सीमित रूप से उत्पन्न एबेलियन समूह का प्रत्येक उपसमूह अपने आप में एक सीमित रूप से उत्पन्न होता है। वास्तव में, और अधिक कहा जा सकता है: सभी अंतिम रूप से उत्पन्न समूहों का वर्ग समूह विस्तार के तहत बंद है। इसे देखने के लिए, (अंततः उत्पन्न) सामान्य उपसमूह और भागफल के लिए एक जनरेटिंग सेट लें। फिर सामान्य उपसमूह के लिए जेनरेटर, भागफल के लिए जेनरेटर की पूर्वछवियों के साथ मिलकर, समूह उत्पन्न करते हैं।

उदाहरण
$$\{7^i \bmod{9}\ |\ i \in \mathbb{N}\} = \{7,4,1\},$$ जबकि 2 है, चूँकि $$\{2^i \bmod{9}\ |\ i \in \mathbb{N}\} = \{2,4,8,7,5,1\}.$$
 * पूर्णांकों का गुणक_समूह_मॉड्यूलो_n, $U_{9} = \{1, 2, 4, 5, 7, 8\}$, गुणन के अंतर्गत 9 तक के सभी पूर्णांकों का समूह है $mod 9$. ध्यान दें कि 7 का जनरेटर नहीं है $U_{9}$, चूँकि
 * अन्य हाथों परn, डिग्री n का सममित समूह, n > 2 होने पर किसी एक तत्व द्वारा उत्पन्न नहीं होता है (चक्रीय_समूह नहीं है)। हालाँकि, इन मामलों में Sn हमेशा दो क्रमपरिवर्तनों द्वारा उत्पन्न किया जा सकता है जो कि Permutation#Cycle_notation में (1 2) और के रूप में लिखे गए हैं $(1 2 3 ... n)$. उदाहरण के लिए, S के 6 तत्व3 दो जनरेटरों, (1 2) और (1 2 3) से उत्पन्न किया जा सकता है, जैसा कि निम्नलिखित समीकरणों के दाहिने हाथ से दिखाया गया है (संरचना बाएं से दाएं है):
 * ई = (1 2)(1 2)
 * (1 2) = (1 2)
 * (1 3) = (1 2)(1 2 3)
 * (2 3) = (1 2 3)(1 2)
 * (1 2 3) = (1 2 3)
 * (1 3 2) = (1 2)(1 2 3)(1 2)


 * अनंत समूहों में परिमित जनरेटिंग सेट भी हो सकते हैं। पूर्णांकों के योगात्मक समूह में जनरेटिंग सेट के रूप में 1 होता है। तत्व 2 एक जनरेटिंग सेट नहीं है, क्योंकि विषम संख्याएँ गायब होंगी। दो-तत्व उपसमुच्चय $\{3, 5\}$ चूंकि एक जनरेटिंग सेट है $(&minus;5) + 3 + 3 = 1$ (वास्तव में, कोप्राइम पूर्णांक संख्याओं का कोई भी जोड़ा, बेज़आउट की पहचान के परिणाम के रूप में है)।


 * बहुभुज|एन-गोन का डायहेड्रल समूह (जिसमें ऑर्डर_(समूह_सिद्धांत) है) $2n$) सेट द्वारा उत्पन्न होता है $\{r, s\}$, कहाँ $r$ द्वारा घूर्णन का प्रतिनिधित्व करता है $2π/n$ और $s$ समरूपता की रेखा पर कोई प्रतिबिंब है।
 * क्रम का चक्रीय समूह $$n$$, $$\mathbb{Z}/n\mathbb{Z}$$, और यह $$n$$वेंएकता की जड़ें सभी एक ही तत्व द्वारा उत्पन्न होती हैं (वास्तव में, ये समूह एक दूसरे के लिए समूह समरूपता हैं)।
 * किसी समूह की प्रस्तुति को जेनरेटर के एक सेट और उनके बीच संबंधों के संग्रह के रूप में परिभाषित किया गया है, इसलिए उस पृष्ठ पर सूचीबद्ध किसी भी उदाहरण में जेनरेटर सेट के उदाहरण शामिल हैं।

मुक्त समूह
किसी समुच्चय द्वारा उत्पन्न सबसे सामान्य समूह $$S$$ द्वारा समूह मुक्त समूह है $$S$$. प्रत्येक समूह द्वारा उत्पन्न $$S$$ इस समूह के भागफल समूह के लिए समरूपी है, एक विशेषता जिसका उपयोग किसी समूह की किसी समूह की प्रस्तुति की अभिव्यक्ति में किया जाता है।

फ्रैटिनी उपसमूह
एक दिलचस्प साथी विषय गैर-जनरेटर का है। तत्व $$x$$ समूह का $$G$$ यदि प्रत्येक सेट एक गैर-जनरेटर है $$S$$ युक्त $$x$$ जो उत्पन्न करता है $$G$$, अभी भी उत्पन्न करता है $$G$$ कब $$x$$ से हटा दिया गया है $$S$$. योग के साथ पूर्णांकों में, एकमात्र गैर-जनरेटर 0 है। सभी गैर-जनरेटर का सेट एक उपसमूह बनाता है $$G$$, फ्रैटिनी उपसमूह।

अर्धसमूह और मोनोइड
अगर $$G$$ एक अर्धसमूह या एक मोनोइड है, फिर भी कोई जनरेटिंग सेट की धारणा का उपयोग कर सकता है $$S$$ का $$G$$. $$S$$ का एक सेमीग्रुप/मोनॉइड जनरेटिंग सेट है $$G$$ अगर $$G$$ सबसे छोटा अर्धसमूह/मोनॉइड युक्त है $$S$$.

ऊपर दिए गए परिमित योगों का उपयोग करके किसी समूह के सेट को उत्पन्न करने की परिभाषाओं को थोड़ा संशोधित किया जाना चाहिए जब कोई अर्धसमूह या मोनोइड से निपटता है। वास्तव में, इस परिभाषा में अब व्युत्क्रम संक्रिया की धारणा का उपयोग नहीं किया जाना चाहिए। सेट $$S$$ का एक अर्धसमूह उत्पन्न करने वाला सेट कहा जाता है $$G$$ यदि प्रत्येक तत्व $$G$$ के तत्वों का एक सीमित योग है $$S$$. इसी प्रकार, एक सेट $$S$$ का एक मोनोइड जनरेटिंग सेट कहा जाता है $$G$$ यदि प्रत्येक गैर-शून्य तत्व $$G$$ के तत्वों का एक सीमित योग है $$S$$.

उदाहरण के लिए, {1} प्राकृतिक संख्याओं के सेट का एक मोनॉइड जनरेटर है $$\N$$. समुच्चय {1} सकारात्मक प्राकृतिक संख्याओं का एक अर्धसमूह जनरेटर भी है $$\N_{>0}$$. हालाँकि, पूर्णांक 0 को 1s के (गैर-रिक्त) योग के रूप में व्यक्त नहीं किया जा सकता है, इस प्रकार {1} प्राकृतिक संख्याओं का अर्धसमूह जनरेटर नहीं है।

इसी प्रकार, जबकि {1} पूर्णांकों के सेट का एक समूह जनरेटर है $$\mathbb Z$$, {1} पूर्णांकों के समुच्चय का मोनॉइड जनरेटर नहीं है। दरअसल, पूर्णांक -1 को 1s के सीमित योग के रूप में व्यक्त नहीं किया जा सकता है।

यह भी देखें

 * अन्य संरचनाओं में संबंधित अर्थों के लिए सेट तैयार करना
 * समूह की प्रस्तुति
 * आदिम तत्व (परिमित क्षेत्र)
 * केली ग्राफ