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

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

दूसरे शब्दों में, यदि $$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\}$$ है, क्योंकि हम खाली उत्पाद को पहचान मानते हैं।

जब $$S$$ में केवल एक तत्व $$x$$ होता है, तो $$\langle S\rangle$$ को प्रायः $$\langle x\rangle$$ के रूप में लिखा जाता है। इस मामले में, $$\langle x\rangle$$ एक चक्रीय समूह, $$x$$, की घातों का चक्रीय उपसमूह है, और हम कहते हैं कि यह समूह $$x$$ किसके द्वारा उत्पन्न होता है। यह कहने के बराबर है कि एक तत्व $$x$$ एक समूह उत्पन्न करता है, यह कह रहा है कि यह संपूर्ण समूह $$G$$ के बराबर है। परिमित समूहों के लिए, यह भी ऐसा कहने के बराबर है कि $$\langle x\rangle$$ का क्रम $$|G|$$ है।

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

यदि $$G$$ एक टोपोलॉजिकल समूह है तो $$G$$ के उपसमुच्चय $$S$$ को टोपोलॉजिकल जनरेटर का एक सेट कहा जाता है यदि $$\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$$ किसी प्राकृतिक संख्या $$n$$ के लिए $$y^nxy^{-n}$$रूप के $$G$$ के सभी तत्वों से युक्त उपसमुच्चय है। $$\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\}.$$
 * पूर्णांकों का गुणक समूह मॉड्यूलो 9, $U_{9} = \{1, 2, 4, 5, 7, 8\}$, गुणन $mod 9$ के तहत 9 के सापेक्ष अभाज्य सभी पूर्णांकों का समूह है। ध्यान दें कि 7, $U_{9}$ का जनक नहीं है, क्योंकि
 * दूसरी ओर, Sn, डिग्री n का सममित समूह, n > 2 होने पर किसी एक तत्व द्वारा उत्पन्न नहीं होता है (चक्रीय समूह नहीं है)। हालाँकि, इन मामलों में Sn हमेशा दो क्रमपरिवर्तनों द्वारा उत्पन्न किया जा सकता है जो कि चक्र संकेतन में लिखे गए हैं (1 2) और $(1 2 3 ... n)$ के रूप में लिखे गए हैं। उदाहरण के लिए, S3 के 6 तत्व दो जनरेटरों, (1 2) और (1 2 3) से उत्पन्न किया जा सकते हैं, जैसा कि निम्नलिखित समीकरणों के दाहिने तरफ से दिखाया गया है (संरचना बाएं से दाएं है):
 * e = (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$$ द्वारा उत्पन्न प्रत्येक समूह इस समूह के भागफल के लिए आइसोमोर्फिक है, एक विशेषता जिसका उपयोग समूह की प्रस्तुति की अभिव्यक्ति में किया जाता है।

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

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

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

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

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

यह भी देखें

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