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

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

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

समूह सिद्धान्त
मूलभूत धारणा सामिसमूह प्रसामान्य सामिसमूह भाजक समूह (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 ∈ 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

इतिहास

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