भागफल समूह: Difference between revisions
No edit summary |
No edit summary |
||
Line 53: | Line 53: | ||
===सम और विषम पूर्णांक=== | ===सम और विषम पूर्णांक=== | ||
पूर्णांकों के समूह <math>\Z</math> (जोड़ के तहत) और सभी सम पूर्णांकों से युक्त उपसमूह <math>2\Z</math> पर विचार करें। यह एक सामान्य उपसमूह है, क्योंकि <math>\Z</math> एबेलियन है। केवल दो सहसमुच्चय हैं: सम पूर्णांकों का समुच्चय और विषम पूर्णांकों का समुच्चय, और इसलिए भागफल समूह <math>\Z\,/\,2\Z</math> दो तत्वों वाला चक्रीय समूह है। यह भागफल समूह समुच्चय <math>\left\{0,1 \right\}</math> के साथ योग मॉड्यूल 2 के साथ समरूपी है; अनौपचारिक रूप से, कभी-कभी यह कहा जाता है कि <math>\Z\,/\,2\Z</math> जोड़ मॉड्यूलो 2 के साथ सेट <math>\left\{0,1 \right\}</math> के समान होता है। | |||
उदाहरण आगे बताया गया... | उदाहरण आगे बताया गया... | ||
: | :मान लीजिए कि 2 से विभाजित करने पर <math> m \in \Z </math> का शेषफल <math> \gamma(m) </math> है। फिर, जब <math> m </math> सम है तो <math> \gamma(m)=0 </math> और जब <math> m </math> विषम है तो <math> \gamma(m)=1 </math> | ||
:<math> \gamma </math> की परिभाषा के अनुसार, <math> \gamma </math>, <math> \ker(\gamma) </math> <math> = \{ m \in \Z : \gamma(m)=0 \} </math>, का कर्नेल, सभी सम पूर्णांकों का समुच्चय है। | |||
: | :चलो <math> H=</math> <math>\ker(\gamma)</math>. फिर, <math> H </math> एक उपसमूह है, क्योंकि <math> \Z </math> में पहचान, जो कि <math> 0 </math> है, <math> H </math> में है, दो सम पूर्णांकों का योग सम है और इसलिए यदि <math> m </math> और <math> n </math> <math> H </math> में हैं, तो <math> m+n </math> <math> H </math> में है (समापन) ) और यदि <math> m </math> सम है, तो <math> -m </math> भी सम है और इसलिए <math> H </math> में इसका व्युत्क्रम सम्मिलित है। | ||
: | :<math> \mu : \mathbb{Z} / H \to \Z_2 </math> के लिए <math> \mu(aH)=\gamma(a) </math> के रूप में परिभाषित करें। <math> a\in\Z </math>और <math>\mathbb{Z} / H</math> बाएं कोसेट <math>\mathbb{Z} / H=\{H,1+H\} </math> का भागफल समूह है। | ||
: ध्यान दें कि हमने परिभाषित किया है <math> \mu </math>, <math> \mu(aH) </math> | :ध्यान दें कि हमने परिभाषित किया है कि यदि a विषम है तो <math> \mu </math>, <math> \mu(aH) </math> <math> 1 </math> है और यदि <math> a </math> सम है तो <math> 0 </math> है। | ||
: इस प्रकार, <math> \mu </math> | :इस प्रकार, <math> \mu </math> {<math>\mathbb{Z} / H</math> से <math> \Z_2 </math> तक एक समरूपता है। | ||
===पूर्णांक विभाजन के शेषफल=== | ===पूर्णांक विभाजन के शेषफल=== | ||
पिछले उदाहरण का थोड़ा सामान्यीकरण. एक बार फिर पूर्णांकों | पिछले उदाहरण का थोड़ा सामान्यीकरण. एक बार फिर योग के अंतर्गत पूर्णांकों <math>\Z</math> के समूह पर विचार करें। मान लीजिए n कोई धनात्मक पूर्णांक है। हम <math>\Z</math> के उपसमूह <math>n\Z</math> पर विचार करेंगे जिसमें ''<math>n</math>'' के सभी गुणज सम्मिलित होंगे। एक बार फिर ''<math>\Z</math>'' में ''<math>n\Z</math>'' सामान्य है क्योंकि ''<math>\Z</math>'' एबेलियन है। सहसमुच्चय संग्रह ''<math>\left\{n\Z, 1+n\Z, \; \ldots, (n-2)+n\Z, (n-1)+n\Z \right\}</math>'' हैं। एक पूर्णांक k सहसमुच्चय ''<math>r+n\Z</math>'' से संबंधित है, जहाँ ''<math>k</math>'' को ''<math>n</math>'' से विभाजित करने पर r शेषफल है। भागफल ''<math>\Z\,/\,n\Z</math>'' को "शेष" मॉड्यूलो ''<math>n</math>'' के समूह के रूप में सोचा जा सकता है। यह क्रम ''<math>n</math>'' का चक्रीय समूह है। | ||
===1 का जटिल पूर्णांक मूल=== | ===1 का जटिल पूर्णांक मूल=== | ||
[[File:Normal subgroup illustration.svg|right|thumb|एकता N की चौथी जड़ों के सहसमुच्चय, एकता G की बारहवीं जड़ों में।]]एकता की बारहवीं जड़ें, जो | [[File:Normal subgroup illustration.svg|right|thumb|एकता N की चौथी जड़ों के सहसमुच्चय, एकता G की बारहवीं जड़ों में।]]एकता की बारहवीं जड़ें, जो जटिल इकाई वृत्त पर बिंदु हैं, एक गुणात्मक एबेलियन समूह <math>G</math> बनाती हैं, जिसे दाईं ओर चित्र में रंगीन गेंदों के रूप में दिखाया गया है, जिसमें प्रत्येक बिंदु पर संख्या अपना जटिल तर्क देती है। एकता की चौथी जड़ों से बने इसके उपसमूह <math>N</math> पर विचार करें, जिसे लाल गेंदों के रूप में दिखाया गया है। यह सामान्य उपसमूह समूह को तीन कोसेट में विभाजित करता है, जो लाल, हरे और नीले रंग में दिखाया गया है। कोई यह जाँच सकता है कि सहसमुच्चय तीन तत्वों का एक समूह बनाते हैं (नीले तत्व के साथ लाल तत्व का गुणनफल नीला है, नीले तत्व का व्युत्क्रम हरा है, आदि)। इस प्रकार, भागफल समूह <math>G\,/\,N</math> तीन रंगों का समूह है, जो तीन तत्वों वाला चक्रीय समूह बन जाता है। | ||
===[[वास्तविक संख्या]]एँ पूर्णांकों को मापती हैं=== | ===[[वास्तविक संख्या]]एँ पूर्णांकों को मापती हैं=== | ||
वास्तविक संख्याओं | योग के अंतर्गत वास्तविक संख्याओं <math>\R</math> के समूह और पूर्णांकों के उपसमूह <math>\Z</math> पर विचार करें।<math>\R</math> में <math>\Z</math> का प्रत्येक कोसेट <math>a+\Z</math> फॉर्म का एक सेट है, जहां a एक वास्तविक संख्या है। चूँकि <math>a_1+\Z</math> और <math>a_2+\Z</math> समान सेट हैं जब <math>a_1</math> और <math>a_2</math> के गैर-पूर्णांक भाग समान होते हैं, कोई अर्थ में बदलाव के बिना प्रतिबंध <math>0 \leq a < 1</math> लगा सकता है। ऐसे सहसमुच्चयों को जोड़ने का कार्य संगत वास्तविक संख्याओं को जोड़कर किया जाता है, और यदि परिणाम 1 से अधिक या उसके समान है तो 1 घटाकर किया जाता है। भागफल समूह <math>\R\,/\,\Z</math> वृत्त समूह के लिए समरूपी है, गुणन के तहत निरपेक्ष मान 1 की जटिल संख्याओं का समूह , या तदनुसार, मूल के बारे में 2डी में घुमावों का समूह, अथार्त विशेष ऑर्थोगोनल समूह <math>\mbox{SO}(2)</math> एक समरूपता <math>f(a+\Z) = \exp(2\pi ia)</math> द्वारा दी गई है (यूलर की पहचान देखें)। | ||
===वास्तविक संख्याओं के आव्यूह=== | ===वास्तविक संख्याओं के आव्यूह=== | ||
यदि <math>G</math> व्युत्क्रमणीय <math>3 \times 3</math> वास्तविक आव्यूहों का समूह है, और <math>N</math> निर्धारक 1 के साथ <math>3 \times 3</math> वास्तविक आव्यूहों का उपसमूह है, तो <math>G</math> में <math>N</math> सामान्य है (क्योंकि यह निर्धारक समरूपता का मूल है)। <math>N</math> के सहसमुच्चय किसी दिए गए सारणिक वाले आव्यूहों के समुच्चय हैं, और इसलिए <math>G\,/\,N</math> गैर-शून्य वास्तविक संख्याओं के गुणक समूह के लिए समरूपी है। समूह <math>N</math> को विशेष रैखिक समूह <math>\mbox{SL}(3)</math> के रूप में जाना जाता है। | |||
===पूर्णांक मॉड्यूलर अंकगणित=== | ===पूर्णांक मॉड्यूलर अंकगणित=== | ||
एबेलियन समूह | एबेलियन समूह <math>\Z_4 = \Z\,/\,4 \Z</math> (अर्थात, अतिरिक्त मॉड्यूलो 4 के साथ सेट<math>\left\{0, 1, 2, 3 \right\}</math>) और उसके उपसमूह <math>\left\{0, 2\right\}</math> पर विचार करें। भागफल समूह <math>\Z_4\,/\,\left\{0, 2\right\}</math> <math>\left\{\left\{ 0, 2 \right\}, \left\{1, 3 \right\} \right\}</math> है। यह पहचान तत्व <math>\left\{0, 2\right\}</math>और <math>\left\{0, 2 \right\} + \left\{1, 3 \right\} = \left\{1, 3 \right\}</math> जैसे समूह संचालन वाला एक समूह है। उपसमूह <math>\left\{0, 2\right\}</math> और भागफल समूह <math>\left\{\left\{ 0, 2 \right\}, \left\{1, 3 \right\} \right\}</math>दोनों <math>\Z_2</math> के साथ समरूपी हैं। | ||
===पूर्णांक गुणन=== | ===पूर्णांक गुणन=== | ||
गुणक समूह | गुणक समूह <math>G=(\Z_{n^2})^{\times}</math> पर विचार करें। <math>n</math>वें अवशेषों का समुच्चय <math>N</math>, <math>(\Z_{n})^{\times}</math> का गुणक उपसमूह समरूपी है। तब <math>G</math> में <math>N</math> सामान्य है और कारक समूह <math>G\,/\,N</math> में सहसमुच्चय <math>N, (1+n)N, (1+n)2N, \;\ldots, (1+n)n-1N</math> हैं। पेलियर क्रिप्टोसिस्टम इस अनुमान पर आधारित है कि <math>n</math> के गुणनखंडन को जाने बिना <math>G</math> के एक यादृच्छिक तत्व के कोसेट को निर्धारित करना कठिन है। | ||
==गुण== | ==गुण== | ||
भागफल समूह <math>G\,/\,G</math> | भागफल समूह <math>G\,/\,G</math> तुच्छ समूह (एक तत्व वाला समूह) के लिए समरूपी है, और <math>G\,/\,\left\{e \right\}</math> <math>G</math> के लिए समरूपी है। | ||
परिभाषा के अनुसार, तत्वों की संख्या, <math>G\,/\,N</math> का क्रम, <math>G</math> में <math>N</math> के सूचकांक, <math>\vert G : N \vert</math> के समान है। यदि <math>G</math> परिमित है, तो सूचकांक भी <math>G</math> के क्रम को <math>N</math> के क्रम से विभाजित करने के समान है। सेट <math>G\,/\,N</math> परिमित हो सकता है, चूँकि <math>G</math> और <math>N</math> दोनों अनंत हैं (उदाहरण के लिए, <math>\Z\,/\,2\Z</math>)। | |||
एक प्राकृतिक | एक "प्राकृतिक" विशेषण समूह समरूपता <math>\pi: G \rightarrow G\,/\,N</math> है, जो <math>G</math> के प्रत्येक तत्व <math>g</math> को <math>N</math> के सहसमुच्चय में भेजता है जिससे <math>g</math> संबंधित है, अर्थात: <math>\pi(g) = gN</math>। मैपिंग <math>\pi</math> को कभी-कभी <math>G\,/\,N</math> पर <math>G</math> का विहित प्रक्षेपण कहा जाता है। इसका कर्नेल <math>N</math> है. | ||
<math>G</math> के उपसमूहों जिनमें <math>N</math> सम्मिलित है और <math>G\,/\,N</math> के उपसमूहों के बीच एक विशेषण पत्राचार है; यदि <math>H</math>, <math>G</math> का एक उपसमूह है जिसमें <math>N</math>है, तो <math>G\,/\,N</math> का संगत उपसमूह <math>\pi(H)</math> है। यह पत्राचार <math>G</math> और <math>G\,/\,N</math> के सामान्य उपसमूहों के लिए भी प्रयुक्त होता है, और इसे जाली प्रमेय में औपचारिक रूप दिया गया है। | |||
भागफल समूहों के कई महत्वपूर्ण गुण समरूपता और [[समरूपता प्रमेय]] पर मौलिक प्रमेय में | भागफल समूहों के कई महत्वपूर्ण गुण समरूपता और [[समरूपता प्रमेय]] पर मौलिक प्रमेय में अंकित किए गए हैं। | ||
अगर<math>G</math>एबेलियन समूह, [[निलपोटेंट समूह]], [[हल करने योग्य समूह]], चक्रीय समूह या समूह का जनक समूह है, तो ऐसा है<math>G\,/\,N</math>. | '''अगर<math>G</math>एबेलियन समूह, [[निलपोटेंट समूह]], [[हल करने योग्य समूह]], चक्रीय समूह या समूह का जनक समूह है, तो ऐसा है<math>G\,/\,N</math>.''' | ||
यदि <math>G</math> एबेलियन, निलपोटेंट, सॉल्वेबल, चक्रीय या अंतिम रूप से उत्पन्न है, तो <math>G\,/\,N</math> है। | |||
यदि <math>H</math> एक परिमित समूह <math>G</math> में एक उपसमूह है, और <math>H</math> का क्रम <math>G</math> के क्रम का आधा है, तो <math>H</math>के एक सामान्य उपसमूह होने की गारंटी है, इसलिए <math>G\,/\,H</math> उपस्थित है और <math>C_2</math> के समरूपी है। इस परिणाम को "सूचकांक 2 का कोई भी उपसमूह सामान्य है" के रूप में भी कहा जा सकता है, और इस रूप में यह अनंत समूहों पर भी प्रयुक्त होता है। इसके अतिरिक्त , यदि <math>p</math> एक परिमित समूह, <math>G</math> के क्रम को विभाजित करने वाली सबसे छोटी अभाज्य संख्या है, तो यदि <math>G\,/\,H</math> का क्रम <math>p</math> है, तो <math>H</math>को <math>G</math> का एक सामान्य उपसमूह होना चाहिए।<ref>{{harvtxt|Dummit|Foote|2003|p=120}}</ref>. | |||
<math>G</math> और एक सामान्य उपसमूह <math>N</math> दिया गया है, तो <math>G</math>, <math>N</math> द्वारा <math>G\,/\,N</math> का एक समूह विस्तार है। कोई पूछ सकता है कि क्या यह विस्तार तुच्छ या विभाजित है; दूसरे शब्दों में, कोई यह पूछ सकता है कि क्या <math>G</math>, <math>G</math> और <math>G\,/\,N</math> का प्रत्यक्ष उत्पाद है या अर्धप्रत्यक्ष उत्पाद है। यह विस्तार समस्या का एक विशेष मामला है. एक उदाहरण जहां एक्सटेंशन विभाजित नहीं है वह इस प्रकार है: मान लीजिए <math>G = \Z_4 = \left\{0, 1, 2, 3 \right\}</math>, और<math>N = \left\{0, 2 \right\}</math>, जो <math>\Z_2</math> के समरूपी है। फिर <math>G\,/\,N</math> भी <math>\Z_2</math> का समरूपी है। लेकिन <math>\Z_2</math> में केवल तुच्छ ऑटोमोर्फिज्म है, इसलिए <math>N</math> और <math>G\,/\,N</math> का एकमात्र अर्ध-प्रत्यक्ष उत्पाद प्रत्यक्ष उत्पाद है। चूँकि <math>\Z_4</math>, <math>\Z_2 \times \Z_2</math> से भिन्न है, हम यह निष्कर्ष निकालते हैं कि <math>G</math>, <math>N</math> और <math>G\,/\,N</math> का अर्ध-प्रत्यक्ष उत्पाद नहीं है। | |||
==झूठ समूहों के भाग== | ==झूठ समूहों के भाग== | ||
यदि <math>G</math> एक लाई समूह है और <math>N</math> एक सामान्य और बंद है (शब्द के बीजगणितीय अर्थ के अतिरिक्त टोपोलॉजिकल में) <math>G</math> का लाई उपसमूह है, तो भागफल {{nowrap|''<math>G</math>'' / ''<math>N</math>''}} भी एक लाई समूह है। इस स्थिति में, मूल समूह <math>G</math> में एक फाइबर बंडल (विशेष रूप से, एक प्रमुख <math>N</math>-बंडल) की संरचना होती है, जिसमें बेस स्पेस {{nowrap|''<math>G</math>'' / ''<math>N</math>''}} और फाइबर <math>N</math> होता है। {{nowrap|''<math>G</math>'' / ''<math>N</math>''}} का आयाम <math> \dim G - \dim N</math> के समान होता है।<ref>John M. Lee, Introduction to Smooth Manifolds, Second Edition, theorem 21.17</ref> | |||
ध्यान दें कि | |||
ध्यान दें कि यह नियम आवश्यक है कि <math>N</math>बंद है। वास्तव में, यदि N बंद नहीं है तो भागफल स्थान T1-स्थान नहीं है (क्योंकि भागफल में एक सहसमुच्चय है जिसे खुले समुच्चय द्वारा पहचान से अलग नहीं किया जा सकता है), और इस प्रकार हॉसडॉर्फ स्थान नहीं है। | |||
एक गैर-सामान्य झूठ उपसमूह के लिए<math>N</math>, | एक गैर-सामान्य झूठ उपसमूह के लिए <math>N</math>, स्थान <math>G\,/\,N</math> बाएँ सहसमुच्चय का एक समूह नहीं है, किंतु यह केवल एक भिन्नात्मक मैनिफोल्ड है जिस पर <math>G</math> कार्य करता है. परिणाम को एक [[सजातीय स्थान]] के रूप में जाना जाता है। | ||
==यह भी देखें== | ==यह भी देखें== |
Revision as of 11:10, 8 July 2023
बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
---|
![]() |
भागफल समूह या कारक समूह एक गणितीय समूह है जो समतुल्य संबंध का उपयोग करके एक बड़े समूह के समान तत्वों को एकत्रित करके प्राप्त किया जाता है जो समूह संरचना के कुछ भाग को संरक्षित करता है (शेष संरचना को "कारक" से बाहर कर दिया जाता है)। उदाहरण के लिए, जोड़ मॉड्यूलो एन के चक्रीय समूह को पूर्णांकों के समूह से उन तत्वों की पहचान करके प्राप्त किया जा सकता है जो के गुणक से भिन्न होते हैं और एक समूह संरचना को परिभाषित करते हैं जो प्रत्येक ऐसे वर्ग (एक सर्वांगसमता वर्ग के रूप में जाना जाता है) पर संचालित होता है। एकल इकाई यह गणितीय क्षेत्र का भाग है जिसे समूह सिद्धांत के रूप में जाना जाता है।
किसी समूह पर सर्वांगसमता संबंध के लिए, पहचान तत्व का समतुल्य वर्ग सदैव मूल समूह का एक सामान्य उपसमूह होता है, और अन्य समतुल्य वर्ग स्पष्ट रूप से उस सामान्य उपसमूह के सहसमुच्चय होते हैं। परिणामी भागफल को लिखा जाता है, जहाँ मूल समूह है और सामान्य उपसमूह है। (इसे उच्चारित किया जाता है, जहां मॉड्यूलो का संक्षिप्त रूप है।)
भागफल समूहों का अधिकांश महत्व समरूपता से उनके संबंध से प्राप्त होता है। पहला समरूपता प्रमेय बताता है कि एक समरूपता के तहत किसी भी समूह की छवि सदैव के भागफल के लिए समरूपी होती है। विशेष रूप से, एक समरूपता के तहत की छवि के लिए समरूपी होती है जहां का कर्नेल को दर्शाता है
भागफल समूह की द्वैत (गणित) धारणा एक उपसमूह है, ये एक बड़े समूह से छोटे समूह बनाने के दो प्राथमिक विधि हैं। किसी भी सामान्य उपसमूह में एक संगत भागफल समूह होता है, जो उपसमूह के तत्वों के बीच अंतर को समाप्त करके बड़े समूह से बनता है। श्रेणी सिद्धांत में भागफल समूह भागफल वस्तुओं के उदाहरण हैं, जो उप-वस्तुओं के लिए दोहरे (श्रेणी सिद्धांत) हैं।
परिभाषा और चित्रण
एक समूह और एक उपसमूह , और एक तत्व को देखते हुए, कोई संबंधित बाएं सहसमुच्चय पर विचार कर सकता है: कोसेट एक समूह के उपसमुच्चय का एक प्राकृतिक वर्ग है; उदाहरण के लिए पूर्णांकों के एबेलियन समूह जी पर विचार करें, जिसमें संचालन सामान्य जोड़ द्वारा परिभाषित होता है, और सम पूर्णांकों के उपसमूह पर विचार करें। फिर वास्तव में दो सहसमुच्चय हैं: , जो सम पूर्णांक हैं, और जो विषम पूर्णांक हैं (यहां हम गुणक अंकन के अतिरिक्त बाइनरी ऑपरेशन के लिए योगात्मक अंकन का उपयोग कर रहे हैं)।
एक सामान्य उपसमूह के लिए, सभी संभावित कोसेट, के सेट पर एक संगत समूह ऑपरेशन को परिभाषित करना वांछनीय है। यह तभी संभव है जब एक सामान्य उपसमूह हो, नीचे देखें। समूह का एक उपसमूह सामान्य है यदि और केवल यदि कोसेट समानता सभी के लिए है। के एक सामान्य उपसमूह को से दर्शाया जाता है।
परिभाषा
माना कि , समूह का एक सामान्य उपसमूह है। सेट को में के सभी बाएं कोसेट के सेट के रूप में परिभाषित करें। अर्थात्, पहचान तत्व , के बाद से कोसेट के सेट, पर एक बाइनरी ऑपरेशन को निम्नानुसार परिभाषित करें। में प्रत्येक और के लिए, और , का गुणनफल, है। यह केवल इसलिए काम करता है क्योंकि प्रत्येक बाएं कोसेट, और के प्रतिनिधियों, और की पसंद पर निर्भर नहीं करता है। इसे सिद्ध करने के लिए, मान लीजिए कि कुछ के लिए और हैं। तब
- .
यह इस तथ्य पर निर्भर करता है कि N एक सामान्य उपसमूह है। यह अभी भी दिखाया जाना शेष है कि यह स्थिति G/N. पर ऑपरेशन को परिभाषित करने के लिए न केवल पर्याप्त है किंतु आवश्यक भी है।
यह दिखाने के लिए कि यह आवश्यक है, विचार करें कि के उपसमूह के लिए, हमें दिया गया है कि ऑपरेशन अच्छी तरह से परिभाषित है। अर्थात्, सभीऔर के लिए, के लिए।
होने देना और . तब से , अपने पास .
अब, और .
अतः , का एक सामान्य उपसमूह है।
यह भी जांचा जा सकता है कि पर यह ऑपरेशन सदैव साहचर्य है, में पहचान तत्व है, और तत्व का व्युत्क्रम सदैव द्वारा दर्शाया जा सकता है। इसलिए, सेट , द्वारा परिभाषित ऑपरेशन के साथ मिलकर एक समूह बनाता है,जो का भागफल समूह से है
की सामान्यता के कारण, में के बाएँ सहसमुच्चय और दाएँ सहसमुच्चय समान हैं, और इसलिए, को में के दाएँ सहसमुच्चय के रूप में परिभाषित किया जा सकता है।
उदाहरण: जोड़ मॉड्यूल 6
उदाहरण के लिए, जोड़ मॉड्यूल 6: वाले समूह पर विचार करें। उपसमूह पर विचार करें, जो सामान्य है क्योंकि एबेलियन है। फिर (बाएं) कोसेट का सेट आकार तीन का है:
- .
ऊपर परिभाषित बाइनरी ऑपरेशन इस सेट को एक समूह में बनाता है, जिसे भागफल समूह के रूप में जाना जाता है, जो इस स्थिति में क्रम 3 के चक्रीय समूह के लिए आइसोमोर्फिक है।
नाम भागफल के लिए प्रेरणा
कारण को भागफल समूह कहा जाता है जो पूर्णांकों के विभाजन से आता है। 12 को 3 से विभाजित करने पर उत्तर 4 प्राप्त होता है क्योंकि कोई 12 वस्तुओं को 3 वस्तुओं के 4 उपसंग्रहों में पुनः समूहित कर सकता है। भागफल समूह एक ही विचार है, चूँकि हम अंतिम उत्तर के लिए किसी संख्या के अतिरिक्त एक समूह के साथ समाप्त होते हैं क्योंकि समूहों में वस्तुओं के इच्छानुसार संग्रह की तुलना में अधिक संरचना होती है।[citation needed]
विस्तृत करने के लिए, जब को एन के साथ के एक सामान्य उपसमूह को देखते हैं, तो समूह संरचना का उपयोग प्राकृतिक "पुनर्समूहन" बनाने के लिए किया जाता है। ये में के सहसमुच्चय हैं। क्योंकि हमने एक समूह और सामान्य उपसमूह के साथ प्रारंभ की थी, अंतिम भागफल में केवल सहसमुच्चयों की संख्या (जो कि नियमित विभाजन से प्राप्त होता है) की तुलना में अधिक जानकारी होती है, किंतु इसके अतिरिक्त एक समूह संरचना होती है।
उदाहरण
सम और विषम पूर्णांक
पूर्णांकों के समूह (जोड़ के तहत) और सभी सम पूर्णांकों से युक्त उपसमूह पर विचार करें। यह एक सामान्य उपसमूह है, क्योंकि एबेलियन है। केवल दो सहसमुच्चय हैं: सम पूर्णांकों का समुच्चय और विषम पूर्णांकों का समुच्चय, और इसलिए भागफल समूह दो तत्वों वाला चक्रीय समूह है। यह भागफल समूह समुच्चय के साथ योग मॉड्यूल 2 के साथ समरूपी है; अनौपचारिक रूप से, कभी-कभी यह कहा जाता है कि जोड़ मॉड्यूलो 2 के साथ सेट के समान होता है।
उदाहरण आगे बताया गया...
- मान लीजिए कि 2 से विभाजित करने पर का शेषफल है। फिर, जब सम है तो और जब विषम है तो
- की परिभाषा के अनुसार, , , का कर्नेल, सभी सम पूर्णांकों का समुच्चय है।
- चलो . फिर, एक उपसमूह है, क्योंकि में पहचान, जो कि है, में है, दो सम पूर्णांकों का योग सम है और इसलिए यदि और में हैं, तो में है (समापन) ) और यदि सम है, तो भी सम है और इसलिए में इसका व्युत्क्रम सम्मिलित है।
- के लिए के रूप में परिभाषित करें। और बाएं कोसेट का भागफल समूह है।
- ध्यान दें कि हमने परिभाषित किया है कि यदि a विषम है तो , है और यदि सम है तो है।
- इस प्रकार, { से तक एक समरूपता है।
पूर्णांक विभाजन के शेषफल
पिछले उदाहरण का थोड़ा सामान्यीकरण. एक बार फिर योग के अंतर्गत पूर्णांकों के समूह पर विचार करें। मान लीजिए n कोई धनात्मक पूर्णांक है। हम के उपसमूह पर विचार करेंगे जिसमें के सभी गुणज सम्मिलित होंगे। एक बार फिर में सामान्य है क्योंकि एबेलियन है। सहसमुच्चय संग्रह हैं। एक पूर्णांक k सहसमुच्चय से संबंधित है, जहाँ को से विभाजित करने पर r शेषफल है। भागफल को "शेष" मॉड्यूलो के समूह के रूप में सोचा जा सकता है। यह क्रम का चक्रीय समूह है।
1 का जटिल पूर्णांक मूल
एकता की बारहवीं जड़ें, जो जटिल इकाई वृत्त पर बिंदु हैं, एक गुणात्मक एबेलियन समूह बनाती हैं, जिसे दाईं ओर चित्र में रंगीन गेंदों के रूप में दिखाया गया है, जिसमें प्रत्येक बिंदु पर संख्या अपना जटिल तर्क देती है। एकता की चौथी जड़ों से बने इसके उपसमूह पर विचार करें, जिसे लाल गेंदों के रूप में दिखाया गया है। यह सामान्य उपसमूह समूह को तीन कोसेट में विभाजित करता है, जो लाल, हरे और नीले रंग में दिखाया गया है। कोई यह जाँच सकता है कि सहसमुच्चय तीन तत्वों का एक समूह बनाते हैं (नीले तत्व के साथ लाल तत्व का गुणनफल नीला है, नीले तत्व का व्युत्क्रम हरा है, आदि)। इस प्रकार, भागफल समूह तीन रंगों का समूह है, जो तीन तत्वों वाला चक्रीय समूह बन जाता है।
वास्तविक संख्याएँ पूर्णांकों को मापती हैं
योग के अंतर्गत वास्तविक संख्याओं के समूह और पूर्णांकों के उपसमूह पर विचार करें। में का प्रत्येक कोसेट फॉर्म का एक सेट है, जहां a एक वास्तविक संख्या है। चूँकि और समान सेट हैं जब और के गैर-पूर्णांक भाग समान होते हैं, कोई अर्थ में बदलाव के बिना प्रतिबंध लगा सकता है। ऐसे सहसमुच्चयों को जोड़ने का कार्य संगत वास्तविक संख्याओं को जोड़कर किया जाता है, और यदि परिणाम 1 से अधिक या उसके समान है तो 1 घटाकर किया जाता है। भागफल समूह वृत्त समूह के लिए समरूपी है, गुणन के तहत निरपेक्ष मान 1 की जटिल संख्याओं का समूह , या तदनुसार, मूल के बारे में 2डी में घुमावों का समूह, अथार्त विशेष ऑर्थोगोनल समूह एक समरूपता द्वारा दी गई है (यूलर की पहचान देखें)।
वास्तविक संख्याओं के आव्यूह
यदि व्युत्क्रमणीय वास्तविक आव्यूहों का समूह है, और निर्धारक 1 के साथ वास्तविक आव्यूहों का उपसमूह है, तो में सामान्य है (क्योंकि यह निर्धारक समरूपता का मूल है)। के सहसमुच्चय किसी दिए गए सारणिक वाले आव्यूहों के समुच्चय हैं, और इसलिए गैर-शून्य वास्तविक संख्याओं के गुणक समूह के लिए समरूपी है। समूह को विशेष रैखिक समूह के रूप में जाना जाता है।
पूर्णांक मॉड्यूलर अंकगणित
एबेलियन समूह (अर्थात, अतिरिक्त मॉड्यूलो 4 के साथ सेट) और उसके उपसमूह पर विचार करें। भागफल समूह है। यह पहचान तत्व और जैसे समूह संचालन वाला एक समूह है। उपसमूह और भागफल समूह दोनों के साथ समरूपी हैं।
पूर्णांक गुणन
गुणक समूह पर विचार करें। वें अवशेषों का समुच्चय , का गुणक उपसमूह समरूपी है। तब में सामान्य है और कारक समूह में सहसमुच्चय हैं। पेलियर क्रिप्टोसिस्टम इस अनुमान पर आधारित है कि के गुणनखंडन को जाने बिना के एक यादृच्छिक तत्व के कोसेट को निर्धारित करना कठिन है।
गुण
भागफल समूह तुच्छ समूह (एक तत्व वाला समूह) के लिए समरूपी है, और के लिए समरूपी है।
परिभाषा के अनुसार, तत्वों की संख्या, का क्रम, में के सूचकांक, के समान है। यदि परिमित है, तो सूचकांक भी के क्रम को के क्रम से विभाजित करने के समान है। सेट परिमित हो सकता है, चूँकि और दोनों अनंत हैं (उदाहरण के लिए, )।
एक "प्राकृतिक" विशेषण समूह समरूपता है, जो के प्रत्येक तत्व को के सहसमुच्चय में भेजता है जिससे संबंधित है, अर्थात: । मैपिंग को कभी-कभी पर का विहित प्रक्षेपण कहा जाता है। इसका कर्नेल है.
के उपसमूहों जिनमें सम्मिलित है और के उपसमूहों के बीच एक विशेषण पत्राचार है; यदि , का एक उपसमूह है जिसमें है, तो का संगत उपसमूह है। यह पत्राचार और के सामान्य उपसमूहों के लिए भी प्रयुक्त होता है, और इसे जाली प्रमेय में औपचारिक रूप दिया गया है।
भागफल समूहों के कई महत्वपूर्ण गुण समरूपता और समरूपता प्रमेय पर मौलिक प्रमेय में अंकित किए गए हैं।
अगरएबेलियन समूह, निलपोटेंट समूह, हल करने योग्य समूह, चक्रीय समूह या समूह का जनक समूह है, तो ऐसा है.
यदि एबेलियन, निलपोटेंट, सॉल्वेबल, चक्रीय या अंतिम रूप से उत्पन्न है, तो है।
यदि एक परिमित समूह में एक उपसमूह है, और का क्रम के क्रम का आधा है, तो के एक सामान्य उपसमूह होने की गारंटी है, इसलिए उपस्थित है और के समरूपी है। इस परिणाम को "सूचकांक 2 का कोई भी उपसमूह सामान्य है" के रूप में भी कहा जा सकता है, और इस रूप में यह अनंत समूहों पर भी प्रयुक्त होता है। इसके अतिरिक्त , यदि एक परिमित समूह, के क्रम को विभाजित करने वाली सबसे छोटी अभाज्य संख्या है, तो यदि का क्रम है, तो को का एक सामान्य उपसमूह होना चाहिए।[1].
और एक सामान्य उपसमूह दिया गया है, तो , द्वारा का एक समूह विस्तार है। कोई पूछ सकता है कि क्या यह विस्तार तुच्छ या विभाजित है; दूसरे शब्दों में, कोई यह पूछ सकता है कि क्या , और का प्रत्यक्ष उत्पाद है या अर्धप्रत्यक्ष उत्पाद है। यह विस्तार समस्या का एक विशेष मामला है. एक उदाहरण जहां एक्सटेंशन विभाजित नहीं है वह इस प्रकार है: मान लीजिए , और, जो के समरूपी है। फिर भी का समरूपी है। लेकिन में केवल तुच्छ ऑटोमोर्फिज्म है, इसलिए और का एकमात्र अर्ध-प्रत्यक्ष उत्पाद प्रत्यक्ष उत्पाद है। चूँकि , से भिन्न है, हम यह निष्कर्ष निकालते हैं कि , और का अर्ध-प्रत्यक्ष उत्पाद नहीं है।
झूठ समूहों के भाग
यदि एक लाई समूह है और एक सामान्य और बंद है (शब्द के बीजगणितीय अर्थ के अतिरिक्त टोपोलॉजिकल में) का लाई उपसमूह है, तो भागफल / भी एक लाई समूह है। इस स्थिति में, मूल समूह में एक फाइबर बंडल (विशेष रूप से, एक प्रमुख -बंडल) की संरचना होती है, जिसमें बेस स्पेस / और फाइबर होता है। / का आयाम के समान होता है।[2]
ध्यान दें कि यह नियम आवश्यक है कि बंद है। वास्तव में, यदि N बंद नहीं है तो भागफल स्थान T1-स्थान नहीं है (क्योंकि भागफल में एक सहसमुच्चय है जिसे खुले समुच्चय द्वारा पहचान से अलग नहीं किया जा सकता है), और इस प्रकार हॉसडॉर्फ स्थान नहीं है।
एक गैर-सामान्य झूठ उपसमूह के लिए , स्थान बाएँ सहसमुच्चय का एक समूह नहीं है, किंतु यह केवल एक भिन्नात्मक मैनिफोल्ड है जिस पर कार्य करता है. परिणाम को एक सजातीय स्थान के रूप में जाना जाता है।
यह भी देखें
- समूह विस्तार
- भागफल श्रेणी
- संक्षिप्त स्पष्ट क्रम
टिप्पणियाँ
- ↑ Dummit & Foote (2003, p. 120)
- ↑ John M. Lee, Introduction to Smooth Manifolds, Second Edition, theorem 21.17
संदर्भ
- Dummit, David S.; Foote, Richard M. (2003), Abstract Algebra (3rd ed.), New York: Wiley, ISBN 978-0-471-43334-7
- Herstein, I. N. (1975), Topics in Algebra (2nd ed.), New York: Wiley, ISBN 0-471-02371-X