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

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

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

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

एक चिर-परिचित समूह, पूर्णांकों 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 से दर्शाया जाता है।

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

परिभाषा

एक समूह में एक समुच्चय G और साथ में एक द्विचर संक्रिया • , जो कि किसी भी दो अवयवों a और b को जोड़कर a • b (या फिर ab) से दर्शाये जाने वाला एक अवयव बनाता है, होता है। एक समूह कहलाए जाने के लिए दिये गए समुच्चय G एवं संक्रिया • को निम्नलिखित आवश्यकताओं की पूर्ति करनी होगी। इन आवश्यकताओं को समूह के अभिगृहीत कहा जाता है।

संवरक
G में होने वाले किसी भी अवयव a और b के लिए a • b भी G का एक अवयव है। ^a[›]
साहचर्य
G में होने वाले किसी भी अवयव a, b और c के लिए 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

उदाहरण

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