समूह (गणितशास्त्र)

रुबिक घन समूह से रुबिक घन प्रहस्तन।

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

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

समूह की अवधारणा 18वीं शताब्दी में Évariste Galois के बहुपद समीकरणों के अध्ययन से उठी। संख्या सिद्धान्त और ज्यामिति जैसे अन्य क्षेत्रों से योगदान के बाद, समूह धारणा को सामान्यीकृत और दृढ़तापूर्वक 1870 के आसपास स्थापित किया गया था। आधुनिक समूह सिद्धांत- एक सक्रिय गणितीय अनुशासन - समूहों के स्वतंत्र रूप से अध्ययन पर समर्पित है ।

समूह सिद्धान्त
मूलभूत धारणा सामिसमूह प्रसामान्य सामिसमूह भाजक समूह (Semi-)क्रमागत गुणा साँचा:Sidebar subsection
परिमित समूह Classification of finite सरल समूह चक्रिय समूह Z/n सममित समूह Sn द्वितल समूह Dn परिवर्ती समूह An Mathieu groups M11 M12 M22 M23 M24 Conway groups Co1 Co2 Co3 Janko groups J1 J2 J3 J4 Fischer groups F22 F23 F24 Baby Monster group (B) Monster group (M)
विविक्त समूह जालक पूर्णांक (Z) जालक Modular groups PSL(2,Z) SL(2,Z)
सांस्थितिकीय / ली समूह परिनालिका वृत सामान्य रैखिक GL(n) विशिष्ट रैखिक SL(n) लम्बवत O(n) यूक्लिडीय E(n) विशिष्ट लम्बवत SO(n) ऐकिक U(n) विशिष्ट ऐकिक SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 लोरेन्ज Poincaré रूपांतरण Diffeomorphism लूप अनन्त विमिय ली समूह O(∞) SU(∞) Sp(∞)
बीजीय समूह दीर्घवृतीय वक्र रैखिक Abelian variety

बीजगणितीय संरचना
समूह-सदृश सामिसमूह / एकाभ समूह और वलय कल्प क्रमविनिमय समूह मैग्मा
वलय-सदृश वलय सामिवलय निकट-वलय क्रमविनिमय वलय प्रांत पूर्णांकीय प्रांत क्षेत्र
जालक-सदृश जालक सामिजालक जालक पैमाना
प्रतिरूपक-सदृश प्रतिरूपक संकारकों के साथ समूह सदिश समष्टि
बीजगणित-सदृश बीजगणित साहचर्य अ-साहचर्य अनुस्तरित Bialgebra

परिभाषा और चित्रण

प्रथम उदाहरण : पूर्णांक

एक चिर-परिचित समूह, पूर्णांकों Z का समुच्चय जिसमें संख्याएं

..., −4, −3, −2, −1, 0, 1, 2, 3, 4, ..., जहाँ द्विचर संक्रिया जोड़ (+) है।

निम्नलिखित गुण नीचे दिए गए परिभाषा में दिए गए समूह के अभिगृहीतों के लिए एक पूर्णांक के रूप में कार्य करते हैं।

• किसी भी दो पूर्णांकों a और b के लिए, राशि a + b भी एक पूर्णांक है। यानी की, पूर्णांकों का जोड़ हमेशा एक पूर्णांक पैदा करता है। यह गुण संवरक के रूप में जाना जाता है
• सभी पूर्णांकियों a, b और c के लिए, (a + b) + c = a + (b + c)। शब्दों को अभिव्यक्त करते हुए, पहले a और b को जोड़कर, और उसके परिणाम को c से जोड़कर जो अंतिम परिणाम आता है, वही परिणाम a को b और c के जोड़ से जोड़ने पर आता है। इस विशेषता को साहचर्यता कहा जाता है।
• यदि a एक पूर्णांक है, तो 0 + a = a + 0 = a। शून्य को जोड़ का इकाई अवयव कहा जाता है, क्योंकि किसी भी पूर्णांक को शुन्य से जोड़ा जाये तो वही पूर्णांक प्राप्त होता है।
• प्रत्येक पूर्णांक a के लिए, एक पूर्णांक b है, जिससे कि a + b = b + a = 0। पूर्णांक b को पूर्णांक a का व्युत्क्रम अवयव कहा जाता है और इसको -a से दर्शाया जाता है ।

पूर्णांक, ऑपरेशन + के साथ, समान संरचनात्मक पहलुओं को साझा करने वाला एक व्यापक वर्ग से संबंधित वस्तु बनाते है। सामूहिक रूप से इन संरचनाओं को उचित रूप से समझने के लिए, निम्नलिखित सार परिभाषा विकसित की गई है।

परिभाषा

यदि समुच्चय में एक द्विचर संक्रिया * इस तरह से परिभाषित हो :

बंद

∀ a, b ∈ G ⇒ a*b ∈ G

साहचर्य

∀ a, b, c ∈ G ⇒ a*(b*c) = (a*b)*c

इकाई अवयव

∃ e ∈ G, s.t. ∀ a ∈ G => a*e = a = e*a .

व्युत्क्रम अवयव

प्रत्येक a ∈ G के लिए b ∈ G s.t. a*b = b*a = e

तो इसे एक समूह कहा जाता है तथा इसे (G, *) से निरुपित किया जाता है।

एक समूह का क्रमविनिमय होना आवश्यक नहीं है। अथवा यदि a, b ∈ G तो हो सकता है a*b ≠ b*a

इतिहास

अमूर्त समूह की आधुनिक अवधारणा गणित के कई क्षेत्रों से विकसित हुई। इसकी शुरुात बहुपद समीकरण के हल से हुई।