समूह सिद्धांत



सार बीजगणित में, समूह सिद्धांत समूह (गणित) के रूप में ज्ञात बीजगणितीय संरचनाओं का अध्ययन करता है। एक समूह की अवधारणा सार बीजगणित के लिए केंद्रीय है: अन्य प्रसिद्ध बीजगणितीय संरचनाएं, जैसे कि छल्ले (गणित), क्षेत्र (गणित), और सदिश रिक्त स्थान, सभी को अतिरिक्त संचालन (गणित) और स्वयंसिद्धों से संपन्न समूहों के रूप में देखा जा सकता है।. पूरे गणित में समूह की पुनरावृत्ति होती है, और समूह सिद्धांत के तरीकों ने बीजगणित के कई हिस्सों को प्रभावित किया है। रेखीय बीजगणितीय समूह और लाई समूह समूह सिद्धांत की दो शाखाएँ हैं जिन्होंने प्रगति का अनुभव किया है और अपने आप में विषय क्षेत्र बन गए हैं।

विभिन्न भौतिक प्रणालियाँ, जैसे कि क्रिस्टल और हाइड्रोजन परमाणु, और मानक मॉडल ब्रह्मांड में ज्ञात मौलिक बल, समरूपता समूहों द्वारा प्रतिरूपित किए जा सकते हैं। इस प्रकार समूह सिद्धांत और निकट से संबंधित प्रतिनिधित्व सिद्धांत के भौतिकी, रसायन विज्ञान और सामग्री विज्ञान में कई महत्वपूर्ण अनुप्रयोग हैं। सार्वजनिक कुंजी क्रिप्टोग्राफ़ी के लिए समूह सिद्धांत भी केंद्रीय है।

समूह सिद्धांत का प्रारंभिक इतिहास 19वीं शताब्दी का है। 20वीं शताब्दी की सबसे महत्वपूर्ण गणितीय उपलब्धियों में से एक सहयोगात्मक प्रयास था, जिसमें 10,000 से अधिक जर्नल पेज सम्मिलित थे और अधिकतर 1960 और 2004 के बीच प्रकाशित हुए थे, जिसकी परिणति परिमित सरल समूहों के पूर्ण वर्गीकरण में हुई।

इतिहास
समूह सिद्धांत के तीन मुख्य ऐतिहासिक स्रोत हैं: संख्या सिद्धांत, बीजगणितीय समीकरणों का सिद्धांत और ज्यामिति। नंबर-थ्योरिटिक स्ट्रैंड लियोनहार्ड यूलर द्वारा शुरू किया गया था, और कार्ल फ्रेडरिक गॉस द्वारा विकसित किया गया था। क्वाड्रेटिक क्षेत्रों से संबंधित मॉड्यूलर अंकगणित और योगात्मक और गुणात्मक समूहों पर गॉस का काम। उच्च स्तर के बहुपद समीकरणों के सामान्य समाधान के लिए अपनी खोज में जोसेफ लुइस लाग्रेंज, पाओलो रफ़िनी (गणितज्ञ), और नील्स हेनरिक एबेल द्वारा क्रमचय समूहों के बारे में प्रारंभिक परिणाम प्राप्त किए गए थे। इवरिस्ट गैलोइस ने समूह शब्द गढ़ा और एक संबंध स्थापित किया, जिसे अब गैलोज़ सिद्धांत के रूप में जाना जाता है, समूहों और क्षेत्र सिद्धांत (गणित) के नवजात सिद्धांत के बीच। ज्यामिति में, समूह पहले प्रक्षेपी ज्यामिति और बाद में, गैर-[[यूक्लिडियन ज्यामिति]] में महत्वपूर्ण हो गए। फेलिक्स क्लेन के एर्लांगेन कार्यक्रम ने समूह सिद्धांत को ज्यामिति के आयोजन सिद्धांत के रूप में घोषित किया।

1830 के दशक में इवरिस्ट गैलोइस, बहुपद समीकरणों की विलेयता निर्धारित करने के लिए समूहों को नियुक्त करने वाले पहले व्यक्ति थे। आर्थर केली और ऑगस्टिन लुइस कॉची ने क्रमचय समूहों के सिद्धांत को बनाकर इन जांचों को आगे बढ़ाया। समूहों के लिए दूसरा ऐतिहासिक स्रोत ज्यामिति स्थितियों से उपजा है। समूह सिद्धांत का उपयोग करते हुए संभावित ज्यामिति (जैसे यूक्लिडियन ज्यामिति, अतिशयोक्तिपूर्ण ज्यामिति या प्रक्षेपी ज्यामिति) के साथ पकड़ में आने के प्रयास में, फेलिक्स क्लेन ने एर्लांगेन कार्यक्रम की शुरुआत की। 1884 में सोफस झूठ ने विश्लेषण (गणित) की समस्याओं से जुड़े समूहों (अब लाई समूह कहा जाता है) का उपयोग करना शुरू कर दिया। तीसरे, समूह, पहले अप्रत्यक्ष रूप से और बाद में स्पष्ट रूप से, बीजगणितीय संख्या सिद्धांत में उपयोग किए गए थे।

इन शुरुआती स्रोतों के अलग-अलग दायरे के परिणामस्वरूप समूहों की अलग-अलग धारणाएँ बनीं। 1880 के आसपास समूहों के सिद्धांत को एकीकृत किया गया था। तब से, समूह सिद्धांत का प्रभाव लगातार बढ़ रहा है, 20 वीं शताब्दी की शुरुआत में अमूर्त बीजगणित, प्रतिनिधित्व सिद्धांत और कई और प्रभावशाली स्पिन-ऑफ डोमेन के जन्म को जन्म दे रहा है। परिमित सरल समूहों का वर्गीकरण 20वीं शताब्दी के मध्य से काम का एक विशाल निकाय है, जो सभी परिमित सेट सरल समूहों को वर्गीकृत करता है।

समूहों के मुख्य वर्ग
जिन समूहों पर विचार किया जा रहा है, उनकी सीमा धीरे-धीरे परिमित क्रमपरिवर्तन समूहों और मैट्रिक्स समूहों के विशेष उदाहरणों से अमूर्त समूहों तक विस्तारित हो गई है, जिन्हें समूह और बाइनरी संबंध के जनरेटिंग सेट द्वारा समूह की प्रस्तुति के माध्यम से निर्दिष्ट किया जा सकता है।

क्रमपरिवर्तन समूह
एक व्यवस्थित अध्ययन से गुजरने वाले समूहों का प्रथम वर्ग (सेट सिद्धांत) क्रमचय समूह था। किसी भी सेट X और अपने आप में X के द्विभाजनों का एक संग्रह G दिया गया है (जिसे क्रमपरिवर्तन के रूप में जाना जाता है) जो रचनाओं और व्युत्क्रमों के तहत बंद है, G, X पर एक समूह समूह क्रिया (गणित) है। यदि X में n तत्व शामिल हैं और G में सभी शामिल हैं क्रमपरिवर्तन, जी सममित समूह एस हैn; सामान्य तौर पर, कोई भी क्रमपरिवर्तन समूह G, X के सममित समूह का एक उपसमूह है। आर्थर केली के कारण एक प्रारंभिक निर्माण ने किसी भी समूह को एक क्रमचय समूह के रूप में प्रदर्शित किया, जो स्वयं पर कार्य करता है (X = G) बाएं नियमित प्रतिनिधित्व के माध्यम से।

कई मामलों में, क्रमचय समूह की संरचना का संबंधित सेट पर इसकी कार्रवाई के गुणों का उपयोग करके अध्ययन किया जा सकता है। उदाहरण के लिए, इस तरह से यह साबित होता है कि के लिए n ≥ 5, वैकल्पिक समूह एn सरल समूह है, अर्थात किसी उचित सामान्य उपसमूह को स्वीकार नहीं करता है। यह तथ्य एबेल-रफ़िनी प्रमेय में एक महत्वपूर्ण भूमिका निभाता है | डिग्री के एक सामान्य बीजगणितीय समीकरण को हल करने की असंभवता n ≥ 5 रेडिकल्स में।

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

परिवर्तन समूह
क्रमचय समूह और मैट्रिक्स समूह परिवर्तन समूहों के विशेष मामले हैं: समूह जो एक निश्चित स्थान X पर अपनी अंतर्निहित संरचना को संरक्षित करते हैं। क्रमचय समूहों के मामले में, X एक समुच्चय है; मैट्रिक्स समूहों के लिए, X एक सदिश स्थान है। एक परिवर्तन समूह की अवधारणा समरूपता समूह की अवधारणा से निकटता से संबंधित है: परिवर्तन समूहों में अक्सर सभी परिवर्तन होते हैं जो एक निश्चित संरचना को संरक्षित करते हैं। परिवर्तन समूहों का सिद्धांत अंतर ज्यामिति के साथ समूह सिद्धांत को जोड़ने वाला एक पुल बनाता है। सोफस ली और फेलिक्स क्लेन के साथ शुरू होने वाले शोध की एक लंबी श्रृंखला होमियोमोर्फिज्म या डिफियोमोर्फिज्म द्वारा कई गुना समूह क्रियाओं पर विचार करती है। समूह स्वयं असतत समूह या निरंतर समूह हो सकते हैं।

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


 * $$ G = \langle S|R\rangle. $$

अमूर्त समूहों का एक महत्वपूर्ण स्रोत एक सामान्य उपसमूह एच द्वारा एक समूह जी के एक कारक समूह, या भागफल समूह, जी / एच के निर्माण द्वारा दिया जाता है। बीजगणितीय संख्या क्षेत्रों के वर्ग समूह, कारक समूहों के शुरुआती उदाहरणों में से थे। संख्या सिद्धांत में बहुत रुचि। यदि समूह G सेट X पर एक क्रमचय समूह है, तो कारक समूह G/H अब X पर कार्य नहीं कर रहा है; लेकिन एक सार समूह का विचार इस विसंगति के बारे में चिंता न करने की अनुमति देता है।

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

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


 * $$ m: G\times G\to G, (g,h)\mapsto gh, \quad i:G\to G, g\mapsto g^{-1}, $$

इस संरचना के साथ संगत हैं, अर्थात, वे निरंतर मानचित्र, चिकने मानचित्र या नियमित मानचित्र (बीजगणितीय ज्यामिति) (बीजगणितीय ज्यामिति के अर्थ में) मानचित्र हैं, तो G एक सामयिक समूह, एक झूठ समूह या एक बीजगणितीय समूह है। अतिरिक्त संरचना की उपस्थिति इस प्रकार के समूहों को अन्य गणितीय विषयों से जोड़ती है और इसका मतलब है कि उनके अध्ययन में अधिक उपकरण उपलब्ध हैं। टोपोलॉजिकल समूह अमूर्त हार्मोनिक विश्लेषण के लिए एक प्राकृतिक डोमेन बनाते हैं, जबकि झूठ समूह (अक्सर परिवर्तन समूहों के रूप में महसूस किए जाते हैं) अंतर ज्यामिति और एकात्मक प्रतिनिधित्व सिद्धांत के मुख्य आधार हैं। कुछ वर्गीकरण प्रश्न जिन्हें सामान्य रूप से हल नहीं किया जा सकता है, समूहों के विशेष उपवर्गों के लिए संपर्क किया जा सकता है और हल किया जा सकता है। इस प्रकार, कॉम्पैक्ट लाइ समूह को पूरी तरह से वर्गीकृत किया गया है। अनंत अमूर्त समूहों और सामयिक समूहों के बीच एक उपयोगी संबंध है: जब भी एक समूह Γ को एक सांस्थितिक समूह G में एक जाली (असतत उपसमूह) के रूप में महसूस किया जा सकता है, G से संबंधित ज्यामिति और विश्लेषण Γ के बारे में महत्वपूर्ण परिणाम देते हैं। परिमित समूहों के सिद्धांत में एक तुलनात्मक रूप से हाल की प्रवृत्ति कॉम्पैक्ट टोपोलॉजिकल समूहों (अनंत समूहों) के साथ उनके संबंधों का फायदा उठाती है: उदाहरण के लिए, एक शक्तिशाली पी-समूह | विभिन्न आदेशों के पी-समूह, और G के गुण इसके परिमित भागफल के गुणों में अनुवाद करते हैं।

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

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

समूहों का प्रतिनिधित्व
यह कहना कि एक सेट X पर एक समूह G समूह क्रिया (गणित) का अर्थ है कि G का प्रत्येक तत्व समूह संरचना के साथ संगत तरीके से सेट X पर एक विशेषण मानचित्र को परिभाषित करता है। जब X की संरचना अधिक होती है, तो इस धारणा को और सीमित करना उपयोगी होता है: सदिश समष्टि V पर G का निरूपण एक समूह समरूपता है:


 * $$\rho:G \to \operatorname{GL}(V),$$

जहां सामान्य रैखिक समूह (वी) में वी के उलटा रैखिक नक्शा होता है। दूसरे शब्दों में, प्रत्येक समूह तत्व जी को एक automorphism ρ(g) असाइन किया जाता है जैसे कि ρ(g) ∘ ρ(h) = ρ(gh) जी में किसी भी एच के लिए।

इस परिभाषा को दो दिशाओं में समझा जा सकता है, दोनों ही गणित के संपूर्ण नए क्षेत्रों को जन्म देती हैं। एक ओर, यह समूह G के बारे में नई जानकारी दे सकता है: अक्सर, G में समूह संचालन अमूर्त रूप से दिया जाता है, लेकिन ρ के माध्यम से, यह मैट्रिक्स गुणन से मेल खाता है, जो बहुत स्पष्ट है। दूसरी ओर, एक जटिल वस्तु पर अभिनय करने वाले एक सुविचारित समूह को देखते हुए, यह प्रश्न में वस्तु के अध्ययन को सरल करता है। उदाहरण के लिए, यदि G परिमित है, तो यह ज्ञात है कि V ऊपर अप्रासंगिक प्रतिनिधित्व में विघटित हो जाता है (Maschke's theorem देखें)। बदले में, ये हिस्से पूरे वी (शूर के लेम्मा के माध्यम से) की तुलना में अधिक आसानी से प्रबंधनीय होते हैं।

एक समूह जी को देखते हुए, प्रतिनिधित्व सिद्धांत तब पूछता है कि जी के क्या प्रतिनिधित्व मौजूद हैं। कई सेटिंग्स हैं, और नियोजित तरीके और प्राप्त परिणाम हर मामले में अलग-अलग हैं: परिमित समूहों का प्रतिनिधित्व सिद्धांत और झूठ समूहों का प्रतिनिधित्व सिद्धांत के दो मुख्य उप डोमेन हैं। अभ्यावेदन की समग्रता समूह के चरित्र सिद्धांत द्वारा नियंत्रित होती है। उदाहरण के लिए, फूरियर श्रृंखला को एकात्मक समूह के पात्रों के रूप में व्याख्या किया जा सकता है। यू (1), एलपी स्पेस पर अभिनय करने वाले पूर्ण मूल्य 1 की जटिल संख्याओं का समूह। एल2- आवधिक कार्यों का स्थान।

झूठ सिद्धांत
एक झूठ समूह एक समूह (गणित) है जो एक अलग-अलग कई गुना भी है, इस संपत्ति के साथ कि समूह के संचालन विभेदक संरचना के साथ संगत हैं। झूठ समूहों का नाम सोफस ली के नाम पर रखा गया है, जिन्होंने निरंतर परिवर्तन समूहों के सिद्धांत की नींव रखी। ग्रुप्स डी लाइ शब्द पहली बार फ्रेंच में 1893 में ली के छात्र आर्थर ब्रेडेड की थीसिस, पृष्ठ 3 में दिखाई दिया। झूठ समूह गणितीय वस्तुओं और गणितीय संरचना की निरंतर समरूपता के सर्वोत्तम विकसित सिद्धांत का प्रतिनिधित्व करते हैं, जो उन्हें समकालीन गणित के कई हिस्सों के साथ-साथ आधुनिक सैद्धांतिक भौतिकी के लिए अनिवार्य उपकरण बनाता है। वे विभेदक समीकरणों की निरंतर समरूपता के विश्लेषण के लिए एक प्राकृतिक ढांचा प्रदान करते हैं (डिफरेंशियल गैलोज़ सिद्धांत), ठीक उसी तरह जैसे क्रमपरिवर्तन समूहों का उपयोग गैलोज़ सिद्धांत में बीजगणितीय समीकरणों की असतत समरूपता का विश्लेषण करने के लिए किया जाता है। निरंतर समरूपता समूहों के मामले में गैलोज़ सिद्धांत का विस्तार ली की प्रमुख प्रेरणाओं में से एक था।

संयोजन और ज्यामितीय समूह सिद्धांत
समूहों को विभिन्न तरीकों से वर्णित किया जा सकता है। परिमित समूहों को सभी संभावित गुणन वाली समूह तालिका लिखकर वर्णित किया जा सकता है g • h. एक समूह को परिभाषित करने का एक अधिक संक्षिप्त तरीका जनरेटर और संबंधों द्वारा होता है, जिसे समूह की प्रस्तुति भी कहा जाता है। जनरेटर के किसी भी सेट एफ को देखते हुए $$\{g_i\}_{i\in I}$$, F द्वारा उत्पन्न मुक्त समूह समूह G पर आरोपित करता है। इस मानचित्र के कर्नेल को संबंधों का उपसमूह कहा जाता है, जो कुछ उपसमुच्चय D द्वारा उत्पन्न होता है। प्रस्तुति को आमतौर पर निरूपित किया जाता है $$\langle F \mid D\rangle.$$ उदाहरण के लिए, समूह प्रस्तुति $$\langle a,b\mid aba^{-1}b^{-1}\rangle$$ एक समूह का वर्णन करता है जो आइसोमोर्फिक है $$\mathbb{Z}\times\mathbb{Z}.$$ जनरेटर प्रतीकों और उनके व्युत्क्रमों से युक्त एक स्ट्रिंग को एक शब्द कहा जाता है।

संयोजी समूह सिद्धांत जनरेटर और संबंधों के दृष्टिकोण से समूहों का अध्ययन करता है। यह विशेष रूप से उपयोगी है जहां परिमितता धारणाएं संतुष्ट होती हैं, उदाहरण के लिए सूक्ष्म रूप से उत्पन्न समूह, या सूक्ष्म रूप से प्रस्तुत समूह (अर्थात इसके अलावा संबंध परिमित हैं)। क्षेत्र अपने मौलिक समूहों के माध्यम से ग्राफ (असतत गणित) के कनेक्शन का उपयोग करता है। उदाहरण के लिए, कोई दिखा सकता है कि मुक्त समूह का प्रत्येक उपसमूह निःशुल्क है।

किसी समूह को उसकी प्रस्तुति द्वारा देने से कई स्वाभाविक प्रश्न उत्पन्न होते हैं। समूहों के लिए शब्द समस्या पूछती है कि क्या दो शब्द प्रभावी रूप से एक ही समूह तत्व हैं। समस्या को ट्यूरिंग मशीनों से संबंधित करके, कोई दिखा सकता है कि सामान्य रूप से इस कार्य को हल करने वाला कोई कलन विधि नहीं है। एक और, आम तौर पर कठिन, एल्गोरिदमिक रूप से अघुलनशील समस्या समूह समरूपता समस्या है, जो पूछती है कि क्या अलग-अलग प्रस्तुतियों द्वारा दिए गए दो समूह वास्तव में समरूप हैं। उदाहरण के लिए, प्रस्तुति वाला समूह $$\langle x,y \mid xyxyx = e \rangle,$$ पूर्णांकों के योज्य समूह Z के लिए समरूपी है, हालांकि यह तुरंत स्पष्ट नहीं हो सकता है। (लिख रहे हैं $$z=xy$$, किसी के पास $$G \cong \langle z,y \mid z^3 = y\rangle \cong \langle z\rangle.$$)

ज्यामितीय समूह सिद्धांत इन समस्याओं पर एक ज्यामितीय दृष्टिकोण से हमला करता है, या तो समूहों को ज्यामितीय वस्तुओं के रूप में देखकर, या उपयुक्त ज्यामितीय वस्तुओं को ढूंढकर एक समूह कार्य करता है। पहले विचार को केली ग्राफ के माध्यम से सटीक बनाया गया है, जिसका शिखर समूह तत्वों के अनुरूप है और किनारे समूह में सही गुणन के अनुरूप हैं। दो तत्वों को देखते हुए, तत्वों के बीच न्यूनतम पथ की लंबाई द्वारा दिए गए शब्द मीट्रिक का निर्माण करता है। जॉन मिल्नोर और स्वार्क का एक प्रमेय तब कहता है कि एक समूह जी को एक मीट्रिक स्थान एक्स पर उचित तरीके से कार्य करने के लिए दिया जाता है, उदाहरण के लिए एक कॉम्पैक्ट कई गुना, तो जी अर्ध-सममिति है। अर्ध-सममितीय (यानी दूरी से समान दिखता है) अंतरिक्ष एक्स.

समूहों और समरूपता का संबंध
किसी भी प्रकार की एक संरचित वस्तु X को देखते हुए, एक समरूपता उस वस्तु का मानचित्रण है जो संरचना को संरक्षित करती है। यह कई मामलों में होता है, उदाहरण के लिए
 * यदि एक्स बिना किसी अतिरिक्त संरचना के एक सेट है, तो एक समरूपता क्रमपरिवर्तन समूहों को जन्म देने के लिए सेट से ही एक आक्षेप मानचित्र है।
 * यदि ऑब्जेक्ट X अपनी मीट्रिक (गणित) संरचना या किसी अन्य मीट्रिक स्थान के साथ समतल में बिंदुओं का एक सेट है, तो एक समरूपता सेट का एक आक्षेप है जो बिंदुओं के प्रत्येक जोड़े (एक आइसोमेट्री) के बीच की दूरी को संरक्षित करता है। संबंधित समूह को X का आइसोमेट्री समूह कहा जाता है।
 * यदि इसके बजाय कोणों को संरक्षित रखा जाता है, तो अनुरूप मानचित्रों की बात की जाती है। उदाहरण के लिए, अनुरूप मानचित्र क्लेनियन समूहों को जन्म देते हैं।
 * समरूपता केवल ज्यामितीय वस्तुओं तक ही सीमित नहीं है, बल्कि इसमें बीजगणितीय वस्तुएँ भी शामिल हैं। उदाहरण के लिए, समीकरण $$x^2-3=0$$ दो उपाय हैं $$\sqrt{3}$$ तथा $$-\sqrt{3}$$. इस मामले में, वह समूह जो दो जड़ों का आदान-प्रदान करता है, समीकरण से संबंधित गैलोज़ समूह है। एक चर में प्रत्येक बहुपद समीकरण में गैलोइस समूह होता है, जो इसकी जड़ों पर एक निश्चित क्रमचय समूह होता है।

एक समूह के स्वयंसिद्ध समरूपता के आवश्यक पहलुओं को औपचारिक रूप देते हैं। समरूपता एक समूह बनाती है: वे बंद (गणित) हैं क्योंकि यदि आप किसी वस्तु की समरूपता लेते हैं, और फिर दूसरी समरूपता लागू करते हैं, तो परिणाम अभी भी समरूपता होगा। वस्तु को स्थिर रखने वाली पहचान हमेशा वस्तु की समरूपता होती है। समरूपता को पूर्ववत करके व्युत्क्रमों के अस्तित्व की गारंटी दी जाती है और साहचर्य इस तथ्य से आता है कि समरूपता एक स्थान पर कार्य करती है, और कार्यों की संरचना साहचर्य है।

फ्रूच की प्रमेय कहती है कि प्रत्येक समूह किसी न किसी ग्राफ (असतत गणित) का सममिति समूह है। इसलिए प्रत्येक अमूर्त समूह वास्तव में किसी स्पष्ट वस्तु की सममिति है।

किसी श्रेणी (गणित) में काम करके किसी वस्तु की संरचना को संरक्षित करने की कहावत को सटीक बनाया जा सकता है। संरचना को संरक्षित करने वाले नक्शे तब आकारिकी होते हैं, और समरूपता समूह प्रश्न में वस्तु का ऑटोमोर्फिज़्म समूह होता है।

समूह सिद्धांत के अनुप्रयोग
समूह सिद्धांत के अनुप्रयोग लाजिमी हैं। अमूर्त बीजगणित में लगभग सभी संरचनाएं समूहों के विशेष मामले हैं। अंगूठी (गणित), उदाहरण के लिए, एक दूसरे ऑपरेशन (गुणन के अनुरूप) के साथ एबेलियन समूहों (जोड़ के अनुरूप) के रूप में देखा जा सकता है। इसलिए, समूह सैद्धांतिक तर्क उन संस्थाओं के सिद्धांत के बड़े हिस्से को रेखांकित करते हैं।

गैलोइस सिद्धांत
गैलोज़ सिद्धांत एक बहुपद की जड़ों की समरूपता का वर्णन करने के लिए समूहों का उपयोग करता है (या अधिक सटीक रूप से इन जड़ों द्वारा उत्पन्न बीजगणित के ऑटोमोर्फिज़्म)। गैलोज़ सिद्धांत का मौलिक प्रमेय बीजगणितीय क्षेत्र विस्तार और समूह सिद्धांत के बीच एक कड़ी प्रदान करता है। यह संबंधित गैलोज़ समूह की घुलनशीलता के संदर्भ में बहुपद समीकरणों की विलेयता के लिए एक प्रभावी मानदंड देता है। उदाहरण के लिए5, 5 तत्वों में सममित समूह, हल करने योग्य नहीं है जिसका अर्थ है कि सामान्य क्विंटिक समीकरण को रेडिकल्स द्वारा कम डिग्री के समीकरणों के तरीके से हल नहीं किया जा सकता है। सिद्धांत, समूह सिद्धांत की ऐतिहासिक जड़ों में से एक होने के नाते, वर्ग क्षेत्र सिद्धांत जैसे क्षेत्रों में नए परिणाम प्राप्त करने के लिए अभी भी उपयोगी रूप से लागू किया जाता है।

बीजगणितीय टोपोलॉजी
बीजगणितीय टोपोलॉजी एक अन्य डोमेन है जो सिद्धांत में रुचि रखने वाली वस्तुओं के समूहों को प्रमुखता से कार्य करता है। वहां, समूहों का उपयोग टोपोलॉजिकल रिक्त स्थान के कुछ आविष्कारों का वर्णन करने के लिए किया जाता है। उन्हें अपरिवर्तनीय कहा जाता है क्योंकि उन्हें इस तरह से परिभाषित किया जाता है कि यदि अंतरिक्ष कुछ होमोमोर्फिज्म के अधीन है तो वे नहीं बदलते हैं। उदाहरण के लिए, मूलभूत समूह गणना करता है कि अंतरिक्ष में कितने पथ अनिवार्य रूप से भिन्न हैं। त्वरित पेरेलमैन द्वारा 2002/2003 में सिद्ध किया गया पॉइंकेयर अनुमान, इस विचार का एक प्रमुख अनुप्रयोग है। हालांकि प्रभाव एकदिशीय नहीं है। उदाहरण के लिए, बीजगणितीय टोपोलॉजी ईलेनबर्ग-मैकलेन रिक्त स्थान का उपयोग करती है जो निर्धारित होमोटॉपी समूहों के साथ रिक्त स्थान हैं। इसी तरह बीजगणितीय के-सिद्धांत एक तरह से समूहों के रिक्त स्थान को वर्गीकृत करने पर निर्भर करता है। अंत में, अनंत समूह के मरोड़ वाले उपसमूह का नाम समूह सिद्धांत में टोपोलॉजी की विरासत को दर्शाता है।



बीजगणितीय ज्यामिति
बीजगणितीय ज्यामिति इसी तरह कई तरह से समूह सिद्धांत का उपयोग करती है। एबेलियन किस्म को ऊपर पेश किया गया है। समूह संचालन की उपस्थिति से अतिरिक्त जानकारी मिलती है जो इन किस्मों को विशेष रूप से सुलभ बनाती है। वे अक्सर नए अनुमानों के लिए एक परीक्षण के रूप में भी काम करते हैं। (उदाहरण के लिए हॉज अनुमान (कुछ मामलों में)।) एक आयामी मामला, अर्थात् अण्डाकार वक्रों का विशेष विस्तार से अध्ययन किया जाता है। वे दोनों सैद्धांतिक और व्यावहारिक रूप से पेचीदा हैं। एक अन्य दिशा में, टोरिक किस्म बीजगणितीय विविधता है जो एक टोरस्र्स द्वारा कार्य करती है। टोरॉयडल एम्बेडिंग ने हाल ही में बीजगणितीय ज्यामिति में प्रगति की है, विशेष रूप से एकवचन के संकल्प में।

बीजगणितीय संख्या सिद्धांत
बीजगणितीय संख्या सिद्धांत कुछ महत्वपूर्ण अनुप्रयोगों के लिए समूहों का उपयोग करता है। उदाहरण के लिए, यूलर उत्पाद|यूलर का उत्पाद सूत्र,

\begin{align} \sum_{n\geq 1}\frac{1}{n^s}& = \prod_{p \text{ prime}} \frac{1}{1-p^{-s}}, \\ \end{align} \!$$ अंकगणित के मौलिक प्रमेय को पकड़ता है कि कोई भी पूर्णांक अभाज्य संख्या में एक अनोखे तरीके से विघटित होता है। डेडेकाइंड रिंग के लिए इस कथन की विफलता वर्ग समूहों और नियमित अभाज्य संख्या को जन्म देती है, जो अर्न्स्ट कुमेर | कुमेर द्वारा फ़र्मेट की अंतिम प्रमेय के उपचार में दिखाई देती है।

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

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



संगीत
पंचम के घेरे में 12-आवधिक समूह की उपस्थिति सेट सिद्धांत (संगीत) में प्राथमिक समूह सिद्धांत के अनुप्रयोगों को उत्पन्न करती है। परिवर्तनकारी सिद्धांत एक गणितीय समूह के तत्वों के रूप में संगीत परिवर्तन को मॉडल करता है।

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

योशिय्याह विलार्ड गिब्स द्वारा विकसित यांत्रिकी की सांख्यिकीय व्याख्याओं की अपूर्णता को हल करने के लिए समूह सिद्धांत का उपयोग किया जा सकता है, जो एक सार्थक समाधान प्राप्त करने के लिए अनंत संख्या की संभावनाओं के योग से संबंधित है।

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

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

रसायन विज्ञान में, पाँच महत्वपूर्ण सममिति संक्रियाएँ हैं। वे आइडेंटिटी ऑपरेशन (ई), रोटेशन ऑपरेशन या उचित रोटेशन (सीn), प्रतिबिंब ऑपरेशन (σ), उलटा (i) और रोटेशन प्रतिबिंब ऑपरेशन या अनुचित रोटेशन (एसn). पहचान संक्रिया (E) में अणु को ज्यों का त्यों छोड़ना शामिल है। यह किसी भी अक्ष के चारों ओर पूर्ण घुमावों की संख्या के बराबर है। यह सभी अणुओं की एक समरूपता है, जबकि chiral अणु के समरूपता समूह में केवल पहचान संक्रिया होती है। एक पहचान संक्रिया प्रत्येक अणु की एक विशेषता है, भले ही इसमें कोई समरूपता न हो। अक्ष के चारों ओर घूमना (सीn) एक विशिष्ट अक्ष के चारों ओर एक विशिष्ट कोण से अणु को घुमाने के होते हैं। यह 360°/n कोण के माध्यम से घूर्णन है, जहां n एक पूर्णांक है, घूर्णन अक्ष के बारे में। उदाहरण के लिए, यदि एक पानी का अणु उस अक्ष के चारों ओर 180° घूमता है जो ऑक्सीजन परमाणु से होकर गुजरता है और हाइड्रोजन परमाणुओं के बीच होता है, तो यह उसी विन्यास में होता है जैसे यह शुरू हुआ था। इस मामले में, n = 2, क्योंकि इसे दो बार लगाने से आइडेंटिटी ऑपरेशन उत्पन्न होता है। एक से अधिक रोटेशन अक्ष वाले अणुओं में, सीn n का सबसे बड़ा मान रखने वाली धुरी उच्चतम क्रम रोटेशन अक्ष या प्रमुख अक्ष है। उदाहरण के लिए बोरॉन ट्राइफ्लोराइड (BF3), घूर्णन अक्ष का उच्चतम क्रम C है3, इसलिए घूर्णन का मुख्य अक्ष C है3.

परावर्तन संक्रिया (σ) में कई अणुओं में दर्पण तल होते हैं, हालांकि वे स्पष्ट नहीं हो सकते हैं। प्रतिबिंब ऑपरेशन बाएं और दाएं का आदान-प्रदान करता है, जैसे कि प्रत्येक बिंदु विमान के माध्यम से लंबवत रूप से उस स्थिति में चला गया हो, जब वह शुरू हुआ था। जब तल घूर्णन के मुख्य अक्ष के लंबवत होता है, तो इसे σ कहा जाता हैh(क्षैतिज)। अन्य तल, जिनमें घूर्णन का मुख्य अक्ष होता है, को लंबवत (σv) या डायहेड्रल (σd).

व्युत्क्रम (i) एक अधिक जटिल संक्रिया है। प्रत्येक बिंदु अणु के केंद्र के माध्यम से मूल स्थिति के विपरीत स्थिति में और केंद्रीय बिंदु से जहां से शुरू हुआ था, वहां तक ​​जाता है। कई अणु जो पहली नज़र में उलटा केंद्र रखते हैं, ऐसा नहीं है; उदाहरण के लिए, मीथेन और अन्य चतुर्पाश्वीय अणुओं में व्युत्क्रम समरूपता का अभाव होता है। इसे देखने के लिए, एक मीथेन मॉडल को दाईं ओर ऊर्ध्वाधर तल में दो हाइड्रोजन परमाणुओं और बाईं ओर क्षैतिज तल में दो हाइड्रोजन परमाणुओं के साथ पकड़ें। व्युत्क्रमण के परिणामस्वरूप दाहिनी ओर क्षैतिज तल में दो हाइड्रोजन परमाणु और बाईं ओर ऊर्ध्वाधर तल में दो हाइड्रोजन परमाणु होते हैं। उलटा इसलिए मीथेन का समरूपता ऑपरेशन नहीं है, क्योंकि उलटा ऑपरेशन के बाद अणु का उन्मुखीकरण मूल अभिविन्यास से भिन्न होता है। और अंतिम ऑपरेशन अनुचित रोटेशन या रोटेशन रिफ्लेक्शन ऑपरेशन (एसn) को 360°/n घुमाने की ज़रूरत होती है, इसके बाद रोटेशन की धुरी के लम्बवत् तल से परावर्तन होता है।

क्रिप्टोग्राफी
अण्डाकार सार्वजनिक कुंजी क्रिप्टोग्राफी में निर्मित प्राइम ऑर्डर के बहुत बड़े समूह सार्वजनिक-कुंजी क्रिप्टोग्राफी के लिए काम करते हैं। इस तरह के क्रिप्टोग्राफ़िक तरीके ज्यामितीय वस्तुओं के लचीलेपन से लाभान्वित होते हैं, इसलिए उनकी समूह संरचनाएँ, इन समूहों की जटिल संरचना के साथ मिलकर, असतत लघुगणक की गणना करना बहुत कठिन बना देती हैं। जल्द से जल्द एन्क्रिप्शन प्रोटोकॉल में से एक, सीज़र सिफर | सीज़र का सिफर, को एक (बहुत आसान) समूह ऑपरेशन के रूप में भी व्याख्या किया जा सकता है। अधिकांश क्रिप्टोग्राफ़िक योजनाएँ किसी न किसी रूप में समूहों का उपयोग करती हैं। विशेष रूप से डिफी-हेलमैन कुंजी एक्सचेंज परिमित चक्रीय समूहों का उपयोग करता है। इसलिए समूह-आधारित क्रिप्टोग्राफी शब्द ज्यादातर क्रिप्टोग्राफ़िक प्रोटोकॉल को संदर्भित करता है जो अनंत नॉनबेलियन समूहों जैसे ब्रैड समूह का उपयोग करता है।

यह भी देखें

 * समूह सिद्धांत विषयों की सूची
 * समूहों के उदाहरण

संदर्भ

 * Shows the advantage of generalising from group to groupoid.
 * An introductory undergraduate text in the spirit of texts by Gallian or Herstein, covering groups, rings, integral domains, fields and Galois theory. Free downloadable PDF with open-source GFDL license.
 * Conveys the practical value of group theory by explaining how it points to symmetries in physics and other sciences.
 * Ronan M., 2006. Symmetry and the Monster. Oxford University Press. ISBN 0-19-280722-6. For lay readers. Describes the quest to find the basic building blocks for finite groups.
 * A standard contemporary reference.
 * Inexpensive and fairly readable, but somewhat dated in emphasis, style, and notation.
 * Conveys the practical value of group theory by explaining how it points to symmetries in physics and other sciences.
 * Ronan M., 2006. Symmetry and the Monster. Oxford University Press. ISBN 0-19-280722-6. For lay readers. Describes the quest to find the basic building blocks for finite groups.
 * A standard contemporary reference.
 * Inexpensive and fairly readable, but somewhat dated in emphasis, style, and notation.
 * Ronan M., 2006. Symmetry and the Monster. Oxford University Press. ISBN 0-19-280722-6. For lay readers. Describes the quest to find the basic building blocks for finite groups.
 * A standard contemporary reference.
 * Inexpensive and fairly readable, but somewhat dated in emphasis, style, and notation.
 * Inexpensive and fairly readable, but somewhat dated in emphasis, style, and notation.

इस पेज में लापता आंतरिक लिंक की सूची

 * रैखिक बीजगणितीय समूह
 * झूठ समूह
 * समूह सिद्धांत का इतिहास
 * संक्रिया (गणित)
 * सदिश स्थल
 * क्षेत्र (गणित)
 * अंगूठी (गणित)
 * भौतिक विज्ञान
 * पदार्थ विज्ञान
 * सार्वजनिक कुंजी क्रिप्टोग्राफी
 * परिमित सरल समूहों का वर्गीकरण
 * कार्यक्रम प्राप्त करें
 * पाओलो रुफिनी (गणितज्ञ)
 * साधारण समूह
 * द्विघात क्षेत्र
 * गाल्वा सिद्धांत
 * एक समूह की प्रस्तुति
 * एक समूह का सेट बनाना
 * विविध
 * समाकृतिकता
 * बीजगणितीय किस्म
 * अलग करने योग्य कई गुना
 * चिकना नक्शा
 * निरंतर नक्शा
 * नियमित मानचित्र (बीजीय ज्यामिति)
 * टोपोलॉजिकल समूह
 * सार हार्मोनिक विश्लेषण
 * कॉम्पैक्ट झूठ समूह
 * सामान्य रैखिक समूह
 * जटिल आंकड़े
 * अलघुकरणीय प्रतिनिधित्व
 * निरपेक्ष मूल्य
 * फोरियर श्रेणी
 * विभेदक गैलोज़ सिद्धांत
 * संयोजन समूह सिद्धांत
 * अर्ध isometry
 * अनुरूप नक्शा
 * आकारिता
 * गाल्वा समूह
 * ऑटोमोर्फिज्म समूह
 * समापन (गणित)
 * गैल्वा सिद्धांत के मौलिक प्रमेय
 * पंचांग समीकरण
 * ऊपरी आधा विमान
 * अंतरिक्ष का वर्गीकरण
 * मरोड़ उपसमूह
 * ऑपरेटर
 * टॉरिक किस्म
 * विलक्षणताओं का संकल्प
 * अंकगणित का मौलिक प्रमेय
 * नियमित प्रधान
 * पैटर्न मान्यता
 * उसका नाप
 * मूर्ति प्रोद्योगिकी
 * परिवर्तन
 * पंचम का घेरा
 * चिरायता (रसायन विज्ञान)
 * क्रिस्टल की संरचना
 * आणविक कक्षीय
 * अण्डाकार वक्र क्रिप्टोग्राफी

बाहरी संबंध

 * History of the abstract group concept
 * Higher dimensional group theory This presents a view of group theory as level one of a theory that extends in all dimensions, and has applications in homotopy theory and to higher dimensional nonabelian methods for local-to-global problems.
 * Plus teacher and student package: Group Theory This package brings together all the articles on group theory from Plus, the online mathematics magazine produced by the Millennium Mathematics Project at the University of Cambridge, exploring applications and recent breakthroughs, and giving explicit definitions and examples of groups.
 * This is a detailed exposition of contemporaneous understanding of Group Theory by an early researcher in the field.

एमएल: समूह सिद्धांत