परिमित समूह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 24: Line 24:
एक चक्रीय समूह Z<sub>''n''</sub> एक ऐसा समूह है जिसके सभी तत्व किसी विशेष तत्व ''a'' की शक्तियाँ हैं जहाँ {{nowrap|1=''a''{{i sup|''n''}} = ''a''{{i sup|0}} = e}}, पहचान। इस समूह का एक विशिष्ट बोध एकता की जटिल {{gaps|gap=0.12em|''n''|वीं}} मूलों के रूप में है। a को एकता के आदिम रूट पर भेजने से दोनों के बीच एक समरूपता मिलती है। यह किसी परिमित चक्रीय समूह के साथ किया जा सकता है।
एक चक्रीय समूह Z<sub>''n''</sub> एक ऐसा समूह है जिसके सभी तत्व किसी विशेष तत्व ''a'' की शक्तियाँ हैं जहाँ {{nowrap|1=''a''{{i sup|''n''}} = ''a''{{i sup|0}} = e}}, पहचान। इस समूह का एक विशिष्ट बोध एकता की जटिल {{gaps|gap=0.12em|''n''|वीं}} मूलों के रूप में है। a को एकता के आदिम रूट पर भेजने से दोनों के बीच एक समरूपता मिलती है। यह किसी परिमित चक्रीय समूह के साथ किया जा सकता है।


=== परिमित विनिमेय समूह ashif ===
=== परिमित विनिमेय समूह ===
{{main|परिमित विनिमेय समूह}}
{{main|परिमित विनिमेय समूह}}
एक [[एबेलियन समूह]], जिसे एक कम्यूटेटिव ग्रुप भी कहा जाता है, एक समूह (गणित) है जिसमें समूह [[ऑपरेशन (गणित)]] को दो समूह तत्वों पर लागू करने का परिणाम उनके आदेश ([[क्रमविनिमेयता]] के स्वयंसिद्ध) पर निर्भर नहीं करता है। उनका नाम [[नील्स हेनरिक एबेल]] के नाम पर रखा गया है।<ref>{{harvnb|Jacobson|2009|p=41}}</ref>
एक [[एबेलियन समूह|विनिमेय समूह]], जिसे एक क्रमविनिमेय समूह भी कहा जाता है, एक समूह (गणित) है जिसमें समूह [[ऑपरेशन (गणित)|संचालन (गणित)]] को दो समूह तत्वों पर लागू करने का परिणाम उनके आदेश ([[क्रमविनिमेयता]] के स्वयंसिद्ध) पर निर्भर नहीं करता है। उनका नाम [[नील्स हेनरिक एबेल]] के नाम पर रखा गया है।<ref>{{harvnb|Jacobson|2009|p=41}}</ref>
एक मनमाना परिमित एबेलियन समूह प्राइम पावर ऑर्डर के परिमित चक्रीय समूहों के प्रत्यक्ष योग के लिए आइसोमोर्फिक है, और इन आदेशों को विशिष्ट रूप से निर्धारित किया जाता है, जो अपरिवर्तनीयों की एक पूरी प्रणाली बनाते हैं। एक परिमित एबेलियन समूह के ऑटोमोर्फिज़्म समूह को इन अपरिवर्तनीयों के संदर्भ में सीधे वर्णित किया जा सकता है। सिद्धांत को पहली बार [[जॉर्ज फ्रोबेनियस]] और [[लुडविग स्टिकेलबर्गर]] के 1879 के पेपर में विकसित किया गया था और बाद में रैखिक बीजगणित का एक महत्वपूर्ण अध्याय बनाते हुए, एक प्रमुख आदर्श डोमेन पर सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए सरल और सामान्यीकृत दोनों किया गया था।
 
एक स्वेच्छ परिमित विनिमेय समूह प्रमुख शक्ति क्रम के परिमित चक्रीय समूहों के प्रत्यक्ष योग के लिए समरूप है, और इन आदेशों को विशिष्ट रूप से निर्धारित किया जाता है, जो अपरिवर्तनीयों की एक पूरी प्रणाली बनाते हैं। एक परिमित विनिमेय समूह के स्वसमाकृतिकता समूह को इन अपरिवर्तनीयों के संदर्भ में सीधे वर्णित किया जा सकता है। इस सिद्धांत को पहली बार [[जॉर्ज फ्रोबेनियस]] और [[लुडविग स्टिकेलबर्गर]] के 1879 के पेपर में विकसित किया गया था और बाद में रैखिक बीजगणित का एक महत्वपूर्ण अध्याय बनाते हुए, एक प्रमुख आदर्श डोमेन पर सूक्ष्म रूप से उत्पन्न अनुखंड के लिए सरल और सामान्यीकृत दोनों किया गया था।


=== झूठ प्रकार के समूह ===
=== झूठ प्रकार के समूह ===
{{Main|झूठ प्रकार का समूह}}
{{Main|झूठ प्रकार का समूह}}
लाई प्रकार का एक समूह एक समूह (गणित) है जो फ़ील्ड (गणित) में मूल्यों के साथ एक रिडक्टिव [[रैखिक बीजगणितीय समूह]] ''जी'' के तर्कसंगत बिंदुओं के समूह ''जी''(''के'') से निकटता से संबंधित है। ''क''। झूठ प्रकार के परिमित समूह नॉनबेलियन [[परिमित सरल समूह]]ों के थोक देते हैं। विशेष मामलों में शास्त्रीय समूह, [[शेवाली समूह]], स्टाइनबर्ग समूह और सुज़ुकी-री समूह सम्मिलित हैं।
लाई प्रकार का एक समूह एक ऐसा समूह है जो क्षेत्र (गणित) k में मानों के साथ एक रिडक्टिव [[रैखिक बीजगणितीय समूह]] G के परिमेय बिंदुओं के समूह G(k) से निकटता से संबंधित है। झूठ प्रकार के परिमित समूह नॉनबेलियन [[परिमित सरल समूह|परिमित सरल समूहों]] के थोक देते हैं। विशेष मामलों में पारंपरिक समूह, [[शेवाली समूह]], स्टाइनबर्ग समूह और सुज़ुकी-री समूह सम्मिलित हैं


चक्रीय समूह, [[सममित समूह]] और [[वैकल्पिक समूह]] समूहों के बाद, प्रमुख परिमित क्षेत्रों पर [[प्रक्षेपी विशेष रैखिक समूह]]ों के साथ, लाई प्रकार के परिमित समूह गणित में विचार किए जाने वाले पहले समूहों में से थे, PSL(2, ''p'') का निर्माण किया जा रहा है Évariste Galois द्वारा 1830 के दशक में। लाई प्रकार के परिमित समूहों की व्यवस्थित खोज [[केमिली जॉर्डन]] के प्रमेय के साथ शुरू हुई कि प्रक्षेपी विशेष रैखिक समूह PSL(2, ''q'') ''q'' ≠ 2, 3 के लिए सरल है। यह प्रमेय प्रक्षेपी समूहों के लिए सामान्यीकरण करता है उच्च आयाम और परिमित सरल समूहों का एक महत्वपूर्ण अनंत परिवार PSL(''n'', ''q'') देता है। अन्य शास्त्रीय समूहों का अध्ययन 20वीं शताब्दी की शुरुआत में [[लियोनार्ड डिक्सन]] द्वारा किया गया था। 1950 के दशक में क्लॉड चेवेली ने महसूस किया कि एक उपयुक्त सुधार के बाद, अर्ध-सरल लाई समूहों के बारे में कई प्रमेय बीजगणितीय समूहों के लिए एक मनमाने क्षेत्र '' k '' के लिए एनालॉग्स को स्वीकार करते हैं, जो कि अब 'शेवली समूह' कहलाते हैं। इसके अलावा, जैसा कि कॉम्पैक्ट सरल लाई समूहों के मामले में, संबंधित समूह अमूर्त समूहों ("स्तन सादगी प्रमेय") के रूप में लगभग सरल निकले। हालांकि यह 19वीं शताब्दी से ज्ञात था कि अन्य परिमित सरल समूह मौजूद हैं (उदाहरण के लिए, [[मैथ्यू समूह]]), धीरे-धीरे एक धारणा बनी कि लगभग सभी परिमित सरल समूहों को चक्रीय और वैकल्पिक समूहों के साथ-साथ चेवेली के निर्माण के उपयुक्त विस्तार द्वारा हिसाब किया जा सकता है। इसके अलावा, अपवाद, [[छिटपुट समूह]], झूठ प्रकार के परिमित समूहों के साथ कई गुणों को साझा करते हैं, और विशेष रूप से, स्तन के अर्थ में उनके ''ज्यामिति'' के आधार पर निर्मित और चित्रित किए जा सकते हैं।
लाई प्रकार के परिमित समूह गणित में विचार किए जाने वाले पहले समूहों में से थे, चक्रीय, [[सममित समूह]] और [[वैकल्पिक समूह]] के बाद, प्रमुख परिमित क्षेत्रों पर [[प्रक्षेपी विशेष रैखिक समूह|प्रक्षेपी विशेष रैखिक समूहों]] के साथ, PSL(2, ''p'') का निर्माण 1830 के दशक मेंइवरिस्ट गैलोइस द्वारा किया जा रहा था। लाइ प्रकार के परिमित समूहों की व्यवस्थित खोज [[केमिली जॉर्डन]] के प्रमेय के साथ शुरू हुई कि प्रक्षेपी विशेष रैखिक समूह PSL(2, ''q'') ''q'' ≠ 2, 3 के लिए सरल है। यह प्रमेय उच्च आयामों के प्रक्षेपी समूहों के लिए सामान्यीकरण करता है और परिमित सरल समूहों का एक महत्वपूर्ण अनंत परिवार PSL(''n'', ''q'') देता है। 20वीं सदी की शुरुआत में [[लियोनार्ड डिक्सन]] डिक्सन द्वारा अन्य पारंपरिक समूहों का अध्ययन किया गया था। 1950 के दशक में क्लॉड चेवेली ने महसूस किया कि एक उपयुक्त सुधार के बाद, अर्ध-सरल लाई समूहों के बारे में कई प्रमेय बीजगणितीय समूहों के लिए एक मनमाना क्षेत्र ''k'' पर एनालॉग्स को स्वीकार करते हैं, जो कि अब चेवेली समूह कहे जाने वाले निर्माण के लिए अग्रणी है। इसके अतिरिक्त, कॉम्पैक्ट सरल झूठ समूहों के स्थितियों में, संबंधित समूह सार समूहों (स्तन सादगी प्रमेय) के रूप में लगभग सरल हो गए। चूंकि यह 19वीं शताब्दी से ज्ञात था कि अन्य परिमित सरल समूह मौजूद हैं (उदाहरण के लिए, [[मैथ्यू समूह]]), धीरे-धीरे एक धारणा बनी कि लगभग सभी परिमित सरल समूहों को चक्रीय और वैकल्पिक समूहों के साथ-साथ चेवेली के निर्माण के उपयुक्त विस्तार द्वारा हिसाब किया जा सकता है। इसके अतिरिक्त, अपवाद, [[छिटपुट समूह|विकीर्ण समूह]], झूठ प्रकार के परिमित समूहों के साथ कई गुणों को साझा करते हैं, और विशेष रूप से, स्तन के अर्थ में उनके ''ज्यामिति'' के आधार पर निर्मित और चित्रित किए जा सकते हैं।


विश्वास अब एक प्रमेय बन गया है - परिमित सरल समूहों का वर्गीकरण। परिमित सरल समूहों की सूची के निरीक्षण से पता चलता है कि एक परिमित क्षेत्र पर झूठ के समूह में चक्रीय समूहों, वैकल्पिक समूहों, [[स्तन समूह]] और 26 [[छिटपुट सरल समूह]]ों के अलावा सभी परिमित सरल समूह सम्मिलित हैं।
विश्वास परिमित सरल समूहों का वर्गीकरण अब एक प्रमेय बन गया है। परिमित सरल समूहों की सूची के निरीक्षण से पता चलता है कि एक परिमित क्षेत्र पर झूठ के समूह में चक्रीय समूहों, वैकल्पिक समूहों, [[स्तन समूह]] और 26 [[छिटपुट सरल समूह|विकीर्ण]] [[छिटपुट सरल समूह|सरल समूहों]] के अलावा सभी परिमित सरल समूह सम्मिलित हैं।


== मुख्य प्रमेय ==
== मुख्य प्रमेय ==
Line 41: Line 42:
=== लैग्रेंज का प्रमेय ===
=== लैग्रेंज का प्रमेय ===
{{Main|लैग्रेंज की प्रमेय (समूह सिद्धांत)}}
{{Main|लैग्रेंज की प्रमेय (समूह सिद्धांत)}}
किसी भी परिमित समूह G के लिए, G के प्रत्येक [[उपसमूह]] H का क्रम (समूह सिद्धांत) (तत्वों की संख्या) G के क्रम को विभाजित करता है। प्रमेय का नाम [[जोसेफ-लुई लाग्रेंज]] के नाम पर रखा गया है।
किसी भी परिमित समूह G के लिए, G के प्रत्येक [[उपसमूह]] H का क्रम (समूह सिद्धांत) (तत्वों की संख्या) G के क्रम को विभाजित करता है। इस प्रमेय का नाम [[जोसेफ-लुई लाग्रेंज]] के नाम पर रखा गया है।


=== साइलो प्रमेय ===
=== साइलो प्रमेय ===
{{Main|साइलो प्रमेय}}
{{Main|साइलो प्रमेय}}
यह लग्रेंज के प्रमेय का एक आंशिक विलोम प्रदान करता है जो इस बात की जानकारी देता है कि जी में दिए गए क्रम के कितने उपसमूह निहित हैं।
यह लग्रेंज के प्रमेय का एक आंशिक विलोम प्रदान करता है जो इस बात की जानकारी देता है कि ''G'' में दिए गए क्रम के कितने उपसमूह निहित हैं।


=== केली प्रमेय ===
=== केली प्रमेय ===
{{main|केली की प्रमेय}}
{{main|केली की प्रमेय}}
[[आर्थर केली]] के सम्मान में नामित केली के प्रमेय में कहा गया है कि प्रत्येक समूह (गणित) ''जी'' ''जी'' पर अभिनय करने वाले सममित समूह के एक उपसमूह के लिए [[समूह समरूपता]] है।<ref>{{harvnb|Jacobson|2009|p=38}}</ref> इसे G के तत्वों पर G की [[समूह क्रिया (गणित)]] के उदाहरण के रूप में समझा जा सकता है।<ref>{{harvnb|Jacobson|2009|p=72, ex. 1}}</ref>
केली की प्रमेय, जिसका नाम [[आर्थर केली]] के नाम पर रखा गया है, बताती है कि प्रत्येक समूह (गणित) G, G पर कार्य करने वाले सममित समूह के एक उपसमूह के लिए [[समूह समरूपता]] है।<ref>{{harvnb|Jacobson|2009|p=38}}</ref> इसे G के तत्वों पर G की [[समूह क्रिया (गणित)]] के उदाहरण के रूप में समझा जा सकता है।<ref>{{harvnb|Jacobson|2009|p=72, ex. 1}}</ref>




=== बर्नसाइड प्रमेय ===
=== बर्नसाइड प्रमेय ===
{{main|बर्नसाइड प्रमेय}}
{{main|बर्नसाइड प्रमेय}}
समूह सिद्धांत में बर्नसाइड के प्रमेय में कहा गया है कि यदि ''जी'' आदेश (समूह सिद्धांत) ''पी'' का एक परिमित समूह है{{sup|''a''}}q{{sup|''b''}}, जहाँ p और q [[अभाज्य संख्या]]एँ हैं, और a और b ऋणात्मक और धनात्मक संख्याएँ हैं | गैर-ऋणात्मक [[पूर्णांक]] हैं, तो G हल करने योग्य समूह है। इसलिए प्रत्येक
समूह सिद्धांत में बर्नसाइड के प्रमेय में कहा गया है कि यदि ''G'' आदेश (समूह सिद्धांत) p{{sup|''a''}}q{{sup|''b''}} का एक परिमित समूह है, जहाँ p और q [[अभाज्य संख्या]]एँ हैं, और a और b गैर-ऋणात्मक [[पूर्णांक]] हैं, तो G हल करने योग्य है। इसलिए प्रत्येक  
गैर-एबेलियन [[परिमित सरल समूह]] में कम से कम तीन अलग-अलग प्राइम्स द्वारा विभाज्य क्रम है।
 
गैर-विनिमेय [[परिमित सरल समूह]] में कम से कम तीन अलग-अलग अभाज्यों से विभाज्य क्रम होता है।                                


=== फीट-थॉम्पसन प्रमेय ===
=== फीट-थॉम्पसन प्रमेय ===
फीट-थॉम्पसन प्रमेय, या विषम क्रम प्रमेय, कहता है कि विषम क्रम (समूह सिद्धांत) का प्रत्येक परिमित समूह (गणित) हल करने योग्य समूह है। द्वारा सिद्ध किया गया {{harvs|last=Feit|first=Walter|authorlink=Walter Feit|first2=John Griggs |last2=Thompson|author2-link=John Griggs Thompson|year1=1962|year2=1963|txt=yes}}
फ़ीट-थॉम्पसन प्रमेय, या विषम क्रम प्रमेय, कहता है कि विषम क्रम (समूह सिद्धांत) का प्रत्येक परिमित समूह हल करने योग्य है। यह  {{harvs|last=फीट|first=वाल्टर|authorlink=वाल्टर फीट|first2=जॉन ग्रिग्स |last2=थॉम्पसन|author2-link=जॉन ग्रिग्स थॉम्पसन|year1=1962|year2=1963|txt=हाँ}} द्वारा सिद्ध किया गया था                                                                                                                                                                                                                                                                                                           




Line 75: Line 77:
== दिए गए क्रम के समूहों की संख्या ==
== दिए गए क्रम के समूहों की संख्या ==
एक सकारात्मक पूर्णांक n दिया गया है, यह निर्धारित करने के लिए बिल्कुल भी नियमित मामला नहीं है कि समूह क्रम n के कितने समरूपता प्रकार के समूह हैं। अभाज्य संख्या क्रम का प्रत्येक समूह चक्रीय समूह है, क्योंकि लैग्रेंज की प्रमेय (समूह सिद्धांत) | लैग्रेंज की प्रमेय का अर्थ है कि किसी भी गैर-पहचान तत्वों द्वारा उत्पन्न चक्रीय उपसमूह संपूर्ण समूह है।
एक सकारात्मक पूर्णांक n दिया गया है, यह निर्धारित करने के लिए बिल्कुल भी नियमित मामला नहीं है कि समूह क्रम n के कितने समरूपता प्रकार के समूह हैं। अभाज्य संख्या क्रम का प्रत्येक समूह चक्रीय समूह है, क्योंकि लैग्रेंज की प्रमेय (समूह सिद्धांत) | लैग्रेंज की प्रमेय का अर्थ है कि किसी भी गैर-पहचान तत्वों द्वारा उत्पन्न चक्रीय उपसमूह संपूर्ण समूह है।
यदि n एक अभाज्य का वर्ग है, तो क्रम n के समूह के वास्तव में दो संभावित समरूपता प्रकार हैं, जो दोनों एबेलियन हैं। यदि n एक प्रधान की एक उच्च शक्ति है, तो [[ग्राहम हिगमैन]] और [[चार्ल्स सिम्स (गणितज्ञ)]] के परिणाम क्रम n के समरूपता प्रकार के समूहों की संख्या के लिए स्पर्शोन्मुख रूप से सही अनुमान देते हैं, और शक्ति बढ़ने पर संख्या बहुत तेज़ी से बढ़ती है।
यदि n एक अभाज्य का वर्ग है, तो क्रम n के समूह के वास्तव में दो संभावित समरूपता प्रकार हैं, जो दोनों विनिमेय हैं। यदि n एक प्रधान की एक उच्च शक्ति है, तो [[ग्राहम हिगमैन]] और [[चार्ल्स सिम्स (गणितज्ञ)]] के परिणाम क्रम n के समरूपता प्रकार के समूहों की संख्या के लिए स्पर्शोन्मुख रूप से सही अनुमान देते हैं, और शक्ति बढ़ने पर संख्या बहुत तेज़ी से बढ़ती है।


n के प्रधान गुणनखंड के आधार पर, क्रम n के समूहों की संरचना पर कुछ प्रतिबंध लगाए जा सकते हैं, उदाहरण के लिए, सिलो प्रमेय जैसे परिणाम। उदाहरण के लिए, आदेश pq का प्रत्येक समूह चक्रीय होता है जब {{nowrap|''q'' < ''p''}} के साथ अभाज्य हैं {{nowrap|''p'' − 1}} क्यू से विभाज्य नहीं। एक आवश्यक और पर्याप्त शर्त के लिए [[चक्रीय संख्या (समूह सिद्धांत)]] देखें।
n के प्रधान गुणनखंड के आधार पर, क्रम n के समूहों की संरचना पर कुछ प्रतिबंध लगाए जा सकते हैं, उदाहरण के लिए, सिलो प्रमेय जैसे परिणाम। उदाहरण के लिए, आदेश pq का प्रत्येक समूह चक्रीय होता है जब {{nowrap|''q'' < ''p''}} के साथ अभाज्य हैं {{nowrap|''p'' − 1}} क्यू से विभाज्य नहीं। एक आवश्यक और पर्याप्त शर्त के लिए [[चक्रीय संख्या (समूह सिद्धांत)]] देखें।

Revision as of 16:08, 13 December 2022

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

परिमित समूहों का अध्ययन समूह सिद्धांत का एक अभिन्न अंग रहा है क्योंकि यह 19वीं शताब्दी में उत्पन्न हुआ था। अध्ययन का एक प्रमुख क्षेत्र वर्गीकरण किया गया है: परिमित सरल समूहों का वर्गीकरण (जिनमें कोई गैर-तुच्छ सामान्य उपसमूह नहीं है) 2004 में पूरा किया गया था।

इतिहास

बीसवीं शताब्दी के दौरान, गणितज्ञों ने परिमित समूहों के सिद्धांत के कुछ गुणओं की बहुत गहराई से जाँच की, विशेष रूप से परिमित समूहों के स्थानीय विश्लेषण और हल करने योग्य समूह और निलपोटेंट समूहों के सिद्धांत की।[1][2] परिणामस्वरूप, परिमित सरल समूहों का पूर्ण वर्गीकरण प्राप्त किया गया, जिसका अर्थ है कि वे सभी सरल समूह जिनसे सभी परिमित समूह बनाए जा सकते हैं, अब ज्ञात हैं।

बीसवीं शताब्दी के उत्तरार्ध के दौरान, क्लाउड चेवेली और रॉबर्ट स्टाइनबर्ग जैसे गणितज्ञों ने पारम्परिक समूहों और अन्य संबंधित समूहों के परिमित अनुरूप की हमारी समझ को भी बढ़ाया। समूहों का ऐसा ही एक परिवार परिमित क्षेत्रों पर सामान्य रेखीय समूहों का परिवार है।

परिमित समूह अधिकांश गणितीय या भौतिक वस्तुओं की समरूपता पर विचार करते समय होते हैं, जब वे वस्तुएँ संरचना-संरक्षण परिवर्तनों की एक सीमित संख्या को स्वीकार करती हैं। झूठ समूहों का सिद्धांत, जिसे निरंतर समरूपता से निपटने के रूप में देखा जा सकता है, संबंधित वेइल समूहों से काफी प्रभावित है। ये परिमित समूह हैं जो प्रतिबिंबों द्वारा उत्पन्न होते हैं जो परिमित-आयामी यूक्लिडियन अंतरिक्ष पर कार्य करते हैं। परिमित समूहों के गुण इस प्रकार सैद्धांतिक भौतिकी और रसायन विज्ञान