ग्रुपॉयड: Difference between revisions
Line 123: | Line 123: | ||
<math>X</math> में <math>x</math> के लिए, शीर्ष समूह में <math>gx=x</math> के साथ वे<math>(g,x)</math> होते हैं, जो दी गई क्रिया के लिए <math>x</math> पर [[आइसोट्रॉपी उपसमूह|समस्थानिक उपसमूह]] है दी गई क्रिया के लिए (यही कारण है कि शीर्ष समूहों को समदैशिक समूह भी कहा जाता है)। इसी तरह, क्रिया समूह बद्ध की कक्षाएँ समूह क्रिया की [[कक्षा (समूह सिद्धांत)|कक्षा]] हैं, और समूह बद्ध सकर्मक है यदि केवल समूह क्रिया [[सकर्मक समूह क्रिया|सकर्मक]] है। | <math>X</math> में <math>x</math> के लिए, शीर्ष समूह में <math>gx=x</math> के साथ वे<math>(g,x)</math> होते हैं, जो दी गई क्रिया के लिए <math>x</math> पर [[आइसोट्रॉपी उपसमूह|समस्थानिक उपसमूह]] है दी गई क्रिया के लिए (यही कारण है कि शीर्ष समूहों को समदैशिक समूह भी कहा जाता है)। इसी तरह, क्रिया समूह बद्ध की कक्षाएँ समूह क्रिया की [[कक्षा (समूह सिद्धांत)|कक्षा]] हैं, और समूह बद्ध सकर्मक है यदि केवल समूह क्रिया [[सकर्मक समूह क्रिया|सकर्मक]] है। | ||
<math>G</math> -समुच्चयो का वर्णन करने का एक अन्य तरीका [[क्रियात्मक श्रेणी]] <math>[\mathrm{Gr},\mathrm{Set}]</math> है, जहाँ <math>\mathrm{Gr}</math> एक तत्व के साथ समूह बद्ध (श्रेणी) है और समूह <math>G</math> के लिए [[समरूपी]] है। वास्तव में, इस श्रेणी का प्रत्येक प्रकार्यक <math>F</math> एक समुच्चय <math>X=F(\mathrm{Gr})</math> को परिभाषित करता है और <math>G</math> में प्रत्येक <math>g</math> के लिए में (अर्थात <math>\mathrm{Gr}</math> में प्रत्येक आकारिकी के लिए) एक [[आक्षेप]] <math>F_g</math> : <math>X\to X</math> उत्पन्न करता है। प्रकार्यक <math>F</math> की स्पष्ट संरचना हमें आश्वस्त करती है कि <math>F</math> समुच्चय<math>G</math> पर <math>G</math>-क्रिया को परिभाषित करता है। (अद्वितीय) प्रतिनिधित्व करने योग्य प्रकार्यक <math>F</math> : <math>\mathrm{Gr} \to \mathrm{Set}</math> <math>G</math> का [[केली प्रतिनिधित्व]] है। वास्तव में, यह | <math>G</math> -समुच्चयो का वर्णन करने का एक अन्य तरीका [[क्रियात्मक श्रेणी]] <math>[\mathrm{Gr},\mathrm{Set}]</math> है, जहाँ <math>\mathrm{Gr}</math> एक तत्व के साथ समूह बद्ध (श्रेणी) है और समूह <math>G</math> के लिए [[समरूपी]] है। वास्तव में, इस श्रेणी का प्रत्येक प्रकार्यक <math>F</math> एक समुच्चय <math>X=F(\mathrm{Gr})</math> को परिभाषित करता है और <math>G</math> में प्रत्येक <math>g</math> के लिए में (अर्थात <math>\mathrm{Gr}</math> में प्रत्येक आकारिकी के लिए) एक [[आक्षेप]] <math>F_g</math> : <math>X\to X</math> उत्पन्न करता है। प्रकार्यक <math>F</math> की स्पष्ट संरचना हमें आश्वस्त करती है कि <math>F</math> समुच्चय<math>G</math> पर <math>G</math>-क्रिया को परिभाषित करता है। (अद्वितीय) प्रतिनिधित्व करने योग्य प्रकार्यक <math>F</math> : <math>\mathrm{Gr} \to \mathrm{Set}</math> <math>G</math> का [[केली प्रतिनिधित्व]] है। वास्तव में, यह प्रकार्यक <math>\mathrm{Hom}(\mathrm{Gr},-)</math> के लिए समरूपी है और इसलिए <math>\mathrm{ob}(\mathrm{Gr})</math> को समुच्चय <math>\mathrm{Hom}(\mathrm{Gr},\mathrm{Gr})</math> में भेजता है जो परिभाषा के अनुसार समुच्चय <math>G</math> और आकारिकी <math>g</math> का <math>\mathrm{Gr}</math> (अर्थात <math>G</math> का अवयव <math>g</math> ) समुच्चय <math>G</math> के क्रमचय <math>F_g</math> में है। हम [[योनेडा अंत: स्थापन]] से यह निष्कर्ष निकालते हैं कि <math>G</math> के [[क्रमपरिवर्तन समूह|क्रमपरिवर्तन]] के समूह का एक [[उपसमूह]] ,समूह <math>G</math> समूह <math>\{F_g\mid g\in G\}</math> के लिए समरूपी है । | ||
==== परिमित समुच्चय ==== | ==== परिमित समुच्चय ==== |
Revision as of 13:19, 29 May 2023
गणित में, विशेष रूप से श्रेणी सिद्धांत और होमोटॉपी सिद्धांत में, एक समूह बद्ध (अक्सर कम ब्रांट समूह बद्ध या आभासी समूह) कई समान तरीकों से समूह की धारणा को सामान्यीकृत करता है। एक ग्रूपोइड को एक के रूप में देखा जा सकता है:
- द्विचर प्रचालन की जगह एक आंशिक फलन वाला समूह,
- 'श्रेणी' जिसमें प्रत्येक आकारिकी व्युत्क्रमणीय होती है। इस प्रकार की एक श्रेणी को आकारिकी पर एक एकल संक्रिया के साथ संवर्धित के रूप में देखा जा सकता है, जिसे समूह सिद्धांत के साथ सादृश्य द्वारा व्युत्क्रम कहा जाता है।[1] एक समूह बद्ध जहां केवल एक वस्तु होती है वह एक सामान्य समूह होता है।
आश्रित प्रकार की उपस्थिति में, सामान्य रूप से एक श्रेणी को वर्गीकृत किए गए एकाभ के रूप में देखा जा सकता है, और इसी तरह, एक समूह बद्ध को केवल वर्गीकृत किए गए समूह के रूप में देखा जा सकता है। आकारिता एक वस्तु से दूसरी वस्तु पर ले जाता है, और प्रकारों के एक आश्रित परिवार का निर्माण करता हैं, इस प्रकार आकारिकी को , , वर्गीकरण किया जा सकता है। संरचना तब कुल फलन है, , ताकि ।
विशेष स्थितियों में सम्मिलित हैं,
- सेटोइड्स: समुच्चय जो एक समतुल्य संबंध के साथ आता है,
- जी-समुच्चय, समूह की क्रिया से सुसज्जित समुच्चय।
समूह बद्ध का उपयोग अक्सर ज्यामितीय वस्तुओं जैसे विविध के बारे में तर्क करने के लिए किया जाता है। हेनरिक ब्रांट (1927) ने ब्रांट अर्धसमूह के माध्यम से समूह बद्ध्स को स्पष्ट रूप से पेश किया।[2]
परिभाषाएँ
समूह बद्ध एक बीजगणितीय संरचना है जिसमें एक अरिक्त समुच्च्य और एक द्विआधारी आंशिक फलन '' शामिल है जो पर परिभाषित है।
बीजगणितीय
एक समूह बद्ध एक समुच्चय है जिसमें एक एकात्मक संक्रिया के और आंशिक फलन है। यहाँ * एक द्विआधारी संक्रिया नहीं है क्योंकि यह आवश्यक रूप से के सभी तत्वों के जोड़े के लिए परिभाषित नहीं है। सटीक शर्तें जिसके तहत परिभाषित किया गया है जो यहां व्यक्त नहीं किया गया है और जो स्थिति के अनुसार भिन्न होता है।
संक्रियाएँ और −1 में निम्नलिखित स्वयंसिद्ध गुण हैं, सभी के लिए , , और में ,
- साहचर्य, यदि और परिभाषित हैं, तो और परिभाषित हैं और बराबर हैं। इसके विपरीत यदि एक और परिभाषित है, तब वे दोनों परिभाषित हैं (और वे एक दूसरे के बराबर हैं), और और साथ भी परिभाषित हैं।
- गुणात्मक प्रतिलोम, और हमेशा परिभाषित होते हैं।
- पहचान, यदि परिभाषित किया गया है, तो , और । (पिछले दो स्वयंसिद्ध पहले से ही दिखाते हैं कि ये भाव परिभाषित और स्पष्ट हैं।)
इन स्वयंसिद्धों से दो आसान और सुविधाजनक गुण निकलते हैं,
- ,
- अगर परिभाषित किया गया है, तो ।[3]
श्रेणी सिद्धांत
एक समूह एक छोटी श्रेणी है जिसमें प्रत्येक आकृतिवाद एक समरूपता है, अर्थात, उलटा।[1] अधिक स्पष्ट रूप से, एक समूह G है,
- वस्तुओं का एक सेट G0
- G0 में वस्तुओं x और y की प्रत्येक जोड़ी के लिए, x से y तक आकारिता (या तीर) का एक (संभवतः खाली) समुच्चय G(x,y) मौजूद है। हम f : x → y लिखते हैं, यह दर्शाने के लिए कि f, G(x,y) का एक अवयव है।
- प्रत्येक वस्तु x के लिए, G(x,x) का एक निर्दिष्ट तत्व ,
- वस्तुओं x, y, और z के प्रत्येक त्रिगुण के लिए, एक फलन ,
- वस्तुओं के प्रत्येक जोड़ी के लिए x, y एक फलन है ,
संतोषजनक, किसी भी f : x → y, g : y → z, और h : z → w के लिए,
- और ;
- ;
- और ।
यदि f, G(x, y) का एक अवयव है तो x को f का 'स्रोत' कहा जाता है, जिसे s(f) लिखा जाता है, और y को f का 'लक्ष्य' कहा जाता है, जिसे t(f) लिखा जाता है। एक समूह G को कभी-कभी के रूप में दर्शाया जाता है, जहां सभी रूपों का समुच्चय है, और दो तीर स्रोत और लक्ष्य का प्रतिनिधित्व करते हैं।
अधिक आम तौर पर, परिमित फाइबर उत्पादों को स्वीकार करने वाली मनमानी श्रेणी में एक समूहबद्ध वस्तु पर विचार किया जा सकता है।
परिभाषाओं की तुलना
बीजगणितीय और श्रेणी-सैद्धांतिक परिभाषाएँ समतुल्य हैं, जैसा कि अब हम दिखाते हैं। श्रेणी-सैद्धांतिक अर्थों में एक समूह को देखते हुए, G को सभी सेट G (x, y) (यानी x से y तक morphisms के सेट) का असंयुक्त मिलन होने दें। तब और जी पर आंशिक संचालन बनें, और वास्तव में हर जगह परिभाषित किया जाएगा। हम ∗ को परिभाषित करते हैं और −1 होना है , जो बीजगणितीय अर्थ में एक समूह बद्ध देता है। जी. का स्पष्ट संदर्भ0 (और इसलिए ) छोड़ा जा सकता है।
इसके विपरीत, बीजगणितीय अर्थ में एक समूह बद्ध जी दिया गया है, एक समानता संबंध परिभाषित करें इसके तत्वों पर अगर एक ∗ एक−1 = बी ∗ बी-1. चलो जी0 के तुल्यता वर्गों का समुच्चय हो , अर्थात। . एक * ए को निरूपित करें−1 द्वारा अगर साथ .
अब परिभाषित करें सभी तत्वों के समुच्चय के रूप में f जैसे कि मौजूद। दिया गया और उनके संयोजन के रूप में परिभाषित किया गया है . यह देखने के लिए कि यह अच्छी तरह से परिभाषित है, इसे देखें और मौजूद है, तो करता है . तब x पर सर्वसमिका आकारिकी है , और f का श्रेणी-सैद्धांतिक व्युत्क्रम f है-1.
उपरोक्त परिभाषाओं में सेट को वर्ग (सेट सिद्धांत) से बदला जा सकता है, जैसा कि आमतौर पर श्रेणी सिद्धांत में होता है।
शीर्ष समूह और कक्षाएँ
एक समूह जी को देखते हुए, जी में 'वर्टेक्स समूह' या 'आइसोट्रॉपी समूह' या 'ऑब्जेक्ट समूह' फॉर्म जी (एक्स, एक्स) के सबसेट हैं, जहां एक्स जी का कोई ऑब्जेक्ट है। यह उपरोक्त स्वयंसिद्धों से आसानी से अनुसरण करता है कि ये वास्तव में समूह हैं, क्योंकि तत्वों की प्रत्येक जोड़ी रचना योग्य है और व्युत्क्रम एक ही शीर्ष समूह में हैं।
एक बिंदु पर समूह बद्ध G की 'कक्षा' सेट द्वारा दिया गया है जी में एक morphism द्वारा एक्स से जोड़ा जा सकता है कि हर बिंदु से युक्त। यदि दो अंक और समान कक्षाओं में हैं, उनके शीर्ष समूह और समूह समरूपता हैं: यदि से कोई morphism है को , तो मानचित्रण द्वारा समरूपता दी जाती है .
कक्षाएँ सेट X का एक विभाजन बनाती हैं, और एक समूह को सकर्मक कहा जाता है यदि इसकी केवल एक कक्षा होती है (समकक्ष रूप से, यदि यह एक श्रेणी के रूप में जुड़ा हुआ है (श्रेणी सिद्धांत)। उस स्थिति में, सभी शीर्ष समूह समरूपी होते हैं (दूसरी ओर, यह संक्रामकता के लिए पर्याप्त स्थिति नहीं है; प्रतिउदाहरणों के लिए Groupoid#Examples अनुभाग देखें)।
उपसमूह और आकारिकी
का एक उपसमूह एक उपश्रेणी है वह स्वयं एक समूह है। इसे विस्तृत या पूर्ण कहा जाता है यदि यह एक उपश्रेणी के रूप में विस्तृत उपश्रेणी या पूर्ण उपश्रेणी है, क्रमशः, यदि या हरएक के लिए .
एक समूह बद्ध मोर्फिज्म केवल दो (श्रेणी-सैद्धांतिक) समूह बद्ध्स के बीच एक मज़ेदार है।
समूह बद्ध के विशेष प्रकार के रूपवाद रुचि के हैं। एक रूपवाद यदि प्रत्येक वस्तु के लिए समूह बद्ध की संख्या को कंपन कहा जाता है का और प्रत्येक रूपवाद का पे शुरुवात एक आकृति है का पे शुरुवात ऐसा है कि . एक कंपन को मोर्फिज्म को कवर करना या समूह बद्ध का कवरिंग कहा जाता है यदि आगे ऐसा हो निराला है। समूह बद्ध के कवरिंग मोर्फिज़्म विशेष रूप से उपयोगी होते हैं क्योंकि उनका उपयोग रिक्त स्थान के मानचित्रों को कवर करने के लिए किया जा सकता है।[4] यह भी सच है कि किसी दिए गए समूह बद्ध के आकारिकी को कवर करने की श्रेणी Groupoid की क्रियाओं की श्रेणी के बराबर है सेट पर।
उदाहरण
टोपोलॉजी
एक सांस्थितिक समष्टि दिया गया , मान लो , का समुच्चय है। बिंदु से morphisms मुद्दे पर निरंतर कार्य (टोपोलॉजी) पथ (टोपोलॉजी) के समतुल्य वर्ग हैं को , दो रास्तों के समतुल्य होने के साथ यदि वे होमोटोपिक हैं। इस तरह के दो रूपों की रचना पहले पहले मार्ग का अनुसरण करके की जाती है, फिर दूसरे की; समरूपता तुल्यता गारंटी देती है कि यह रचना साहचर्य है। इस समूह बद्ध को मौलिक समूह कहा जाता है , निरूपित (या कभी-कभी, ).[5] सामान्य मौलिक समूह तो बिंदु के लिए शीर्ष समूह है .
मौलिक समूह की कक्षाएँ के पथ से जुड़े घटक हैं . तदनुसार, पथ से जुड़े स्थान का मूलभूत समूह सकर्मक है, और हम ज्ञात तथ्य को पुनर्प्राप्त करते हैं कि किसी भी आधार बिंदु पर मूलभूत समूह समरूप हैं। इसके अलावा, इस मामले में, मौलिक समूह और मौलिक समूह श्रेणियों के रूप में श्रेणियों की समानता हैं (सामान्य सिद्धांत के लिए समूह Groupoid#Relation to groups देखें)।
इस विचार का एक महत्वपूर्ण विस्तार मौलिक समूह पर विचार करना है कहाँ आधार बिंदुओं का एक चुना हुआ समूह है। यहाँ का एक (विस्तृत) उपसमूह है , जहां कोई केवल उन रास्तों पर विचार करता है जिनके अंतबिंदु संबंधित हैं . सेट स्थिति की ज्यामिति के अनुसार चुना जा सकता है।
तुल्यता संबंध
अगर एक समुच्चय है, अर्थात एक समतुल्य संबंध वाला समुच्चय , तो इस तुल्यता संबंध का प्रतिनिधित्व करने वाला एक समूह निम्नानुसार बनाया जा सकता है:
- समूह बद्ध की वस्तुएं किसके तत्व हैं ;
- किन्हीं दो तत्वों के लिए और में , वहाँ से एक एकल morphism है को (द्वारा इंगित करें ) अगर और केवल अगर ;
- की रचना और है .
इस समूह के शीर्ष समूह हमेशा तुच्छ होते हैं; इसके अलावा, यह समूह आम तौर पर सकर्मक नहीं है और इसकी कक्षाएँ बिल्कुल तुल्यता वर्ग हैं। दो चरम उदाहरण हैं:
- यदि हर तत्व के हर दूसरे तत्व के साथ संबंध है , हम की जोड़ी Groupoid प्राप्त करते हैं , जिसके पास संपूर्ण है तीरों के सेट के रूप में, और जो सकर्मक है।
- यदि हर तत्व केवल स्वयं के संबंध में है, एक यूनिट समूह बद्ध प्राप्त करता है, जिसमें है तीरों के सेट के रूप में, , और जो पूरी तरह से अकर्मक है (प्रत्येक सिंगलटन एक कक्षा है)।
उदाहरण
- अगर एक चिकनी विशेषण क्रिया है, फिर चिकनी कई गुनाओं का जलमग्न (गणित)। एक तुल्यता संबंध है[6]तब से के भागफल सांस्थितिकी के लिए एक सांस्थितिकी समरूपी है टोपोलॉजिकल स्पेस के विशेषण मानचित्र के तहत। अगर हम लिखते हैं, तब हमें एक समूह बद्ध <ब्लॉककोट> मिलता है
जिसे कभी-कभी स्मूथ मैनिफोल्ड्स के विशेषण निमज्जन का साधारण समूह कहा जाता है।
- यदि हम रिफ्लेक्सिविटी की आवश्यकता को शिथिल करते हैं और 'आंशिक तुल्यता संबंधों' पर विचार करते हैं, तो सेट के लिए कंप्यूटेशनल रियलाइजर्स पर तुल्यता की अर्ध-निर्णायक धारणाओं पर विचार करना संभव हो जाता है। यह समूह बद्ध को सिद्धांत सेट करने के लिए एक संगणनीय सन्निकटन के रूप में उपयोग करने की अनुमति देता है, जिसे प्रति मॉडल कहा जाता है। एक श्रेणी के रूप में माना जाता है, प्रति मॉडल एक कार्टेशियन बंद श्रेणी है जिसमें प्राकृतिक संख्या ऑब्जेक्ट और सबोबजेक्ट क्लासिफायरियर हैं, जो मार्टिन हाइलैंड द्वारा पेश किए गए प्रभावी टोपोस को जन्म देते हैं।
चेक समूह बद्ध
और चेक समूह बद्ध[6]पी। 5 एक खुले आवरण द्वारा दिए गए तुल्यता संबंध से जुड़ा एक विशेष प्रकार का समूह है कुछ कई गुना . इसकी वस्तुएं असम्बद्ध संघ द्वारा दी गई हैं
<ब्लॉककोट>,
और उसके तीर चौराहा हैं <ब्लॉककोट></ब्लॉककोट>
स्रोत और लक्ष्य मानचित्र तब प्रेरित मानचित्र <ब्लॉककोट> द्वारा दिए जाते हैंऔर समावेशन मानचित्र
समूह बद्ध की संरचना दे रहा है। वास्तव में,
को सेट करके इसे और बढ़ाया जा सकता है
के रूप में -इटरेटेड फाइबर उत्पाद जहां का प्रतिनिधित्व करता है संयोजन योग्य तीरों के टुपल्स।
के बाद से फाइबर उत्पाद का संरचना मानचित्र स्पष्ट रूप से लक्ष्य मानचित्र है
एक कार्तीय आरेख है जहाँ मानचित्रों को दिखाया जाता है लक्ष्य मानचित्र हैं। इस निर्माण को कुछ ∞-समूह बद्ध के लिए एक मॉडल के रूप में देखा जा सकता है। इसके अलावा, इस निर्माण का एक और आर्टिफैक्ट है Čech cohomology|k-cocycles
एबेलियन समूहों के कुछ निरंतर शेफ के लिए एक समारोह <ब्लॉककोट> के रूप में प्रदर्शित किया जा सकता हैकोहोलॉजी कक्षाओं का एक स्पष्ट प्रतिनिधित्व दे रहा है।
समूह क्रिया
यदि समूह समुच्चय पर कार्य करता है , तो हम इस समूह क्रिया का प्रतिनिधित्व करने वाले क्रिया समूह बद्ध (या परिवर्तन समूह बद्ध ) को निम्नानुसार बना सकते हैं,
- वस्तुएँ के अवयव हैं,
- में किन्हीं दो तत्वों और के लिए, से तक की आकृतियाँ के तत्वों के अनुरूप हैं जैसे कि ,
- आकारिकी की संरचना के द्विआधारी संक्रिया की व्याख्या करती है।
अधिक स्पष्ट रूप से, क्रिया समूह बद्ध और के साथ और स्रोत और लक्ष्य मानचित्र और के साथ एक छोटी श्रेणी है। इसे अक्सर (या उचित कार्य के लिए) निरूपित किया जाता है। समूह बद्ध में गुणन (या संघटन) तब होता है जब इसे प्रदान करके परिभाषित किया जाता है।
में के लिए, शीर्ष समूह में के साथ वे होते हैं, जो दी गई क्रिया के लिए पर समस्थानिक उपसमूह है दी गई क्रिया के लिए (यही कारण है कि शीर्ष समूहों को समदैशिक समूह भी कहा जाता है)। इसी तरह, क्रिया समूह बद्ध की कक्षाएँ समूह क्रिया की कक्षा हैं, और समूह बद्ध सकर्मक है यदि केवल समूह क्रिया सकर्मक है।
-समुच्चयो का वर्णन करने का एक अन्य तरीका क्रियात्मक श्रेणी है, जहाँ एक तत्व के साथ समूह बद्ध (श्रेणी) है और समूह के लिए समरूपी है। वास्तव में, इस श्रेणी का प्रत्येक प्रकार्यक एक समुच्चय को परिभाषित करता है और में प्रत्येक के लिए में (अर्थात में प्रत्येक आकारिकी के लिए) एक आक्षेप : उत्पन्न करता है। प्रकार्यक की स्पष्ट संरचना हमें आश्वस्त करती है कि समुच्चय पर -क्रिया को परिभाषित करता है। (अद्वितीय) प्रतिनिधित्व करने योग्य प्रकार्यक : का केली प्रतिनिधित्व है। वास्तव में, यह प्रकार्यक के लिए समरूपी है और इसलिए को समुच्चय में भेजता है जो परिभाषा के अनुसार समुच्चय और आकारिकी का (अर्थात का अवयव ) समुच्चय के क्रमचय में है। हम योनेडा अंत: स्थापन से यह निष्कर्ष निकालते हैं कि के क्रमपरिवर्तन के समूह का एक उपसमूह ,समूह समूह के लिए समरूपी है ।
परिमित समुच्चय
परिमित समुच्चय पर की समूह क्रिया पर विचार करें जो प्रत्येक संख्या को उसके ऋणात्मक में ले जाता है, जिसके लिए और दिए गए है। भागफल समूह इस समूह क्रिया से तुल्यता वर्गों का समुच्चय है , और पर की समूह क्रिया है।
गुणक विविधता
कोई भी परिमित समूह जो को मानचित्रित करता है, सजातीयउपसमष्टि पर एक समूह क्रिया देता है (चूंकि यह स्वसमाकृतिकता का समूह है)। तब, भागफल समूह के रूप का हो सकता है, जिसके मूल में स्थिरक के साथ एक बिंदु होता है। इस तरह के उदाहरण ऑर्बिफोल्ड्स के सिद्धांत का आधार बनाते हैं। ऑर्बिफोल्ड्स का एक और सामान्य रूप से अध्ययन किया गया परिवार भारित प्रक्षेपी समष्टि और उनमें से उप-स्थान हैं, जैसे कैलाबी-यॉ ऑर्बिफोल्ड्स।
समूह बद्ध का फाइबर उत्पाद
समूह बद्ध आकारिता के साथ समूह बद्ध का आरेख दिया गया है
जहाँ और , जिसे हम समूह बद्ध बना सकते हैं जिनकी वस्तुएँ त्रिगुण हैं , जहाँ , , और में हैं। आकारिकी को आकारिकी की एक जोड़ी के रूप में परिभाषित किया जा सकता है जहां और ऐसे हैं कि त्रिगुण के लिए, , , और में क्रमविनिमेय आरेख है।[7]
समरूप बीजगणित
एक ठोस एबेलियन श्रेणी में वस्तुओं के एक दो टर्म सम्मिश्र
का उपयोग समूह बद्ध बनाने के लिए किया जा सकता है। इसमें वस्तुओं के रूप में समुच्चय और तीर के रूप में समुच्चय है, स्रोत आकारिता केवल पर प्रक्षेपण है, जबकि लक्ष्य आकारिकी से बना पर प्रक्षेपण और पर प्रक्षेपण का जोड़ है। अर्थात् दिया है, और हमारे पास
- है।
बेशक, अगर एबेलियन श्रेणी एक योजना पर सुसंगत ढेरों की श्रेणी है, तो इस निर्माण का उपयोग समूह बद्ध के प्रीशेफ बनाने के लिए किया जा सकता है।
पहेलियाँ
जबकि रूबिक क्यूब जैसी पहेलियों को समूह सिद्धांत (रुबिक क्यूब समूह देखें) का उपयोग करके तैयार किया जा सकता है, कुछ पहेलियों को समूह बद्ध के रूप में बेहतर रूप से तैयार किया जाता है।[8]
पन्द्रह पहेली के परिवर्तन एक समूह बद्ध बनाते हैं (एक समूह नहीं, क्योंकि सभी चालों की रचना नहीं की जा सकती)।[9][10][11] यह समूह बद्ध संरूपण पर कार्य करता है।
मैथ्यू समूह बद्ध
मैथ्यू समूह बद्ध जॉन हॉर्टन कॉनवे द्वारा पेश किया गया एक समूह है जो 13 बिंदुओं पर अभिनय करता है जैसे कि एक बिंदु को ठीक करने वाले तत्व मैथ्यू समूह M12 की एक प्रति बनाते हैं।
समूहों से संबंध
Totalityα | Associativity | Identity | Inverse | Commutativity | |
---|---|---|---|---|---|
Semigroupoid | Unneeded | Required | Unneeded | Unneeded | Unneeded |
Small category | Unneeded | Required | Required | Unneeded | Unneeded |
Groupoid | Unneeded | Required | Required | Required | Unneeded |
Magma | Required | Unneeded | Unneeded | Unneeded | Unneeded |
Quasigroup | Required | Unneeded | Unneeded | Required | Unneeded |
Unital magma | Required | Unneeded | Required | Unneeded | Unneeded |
Semigroup | Required | Required | Unneeded | Unneeded | Unneeded |
Loop | Required | Unneeded | Required | Required | Unneeded |
Monoid | Required | Required | Required | Unneeded | Unneeded |
Group | Required | Required | Required | Required | Unneeded |
Commutative monoid | Required | Required | Required | Unneeded | Required |
Abelian group | Required | Required | Required | Required | Required |
^α The closure axiom, used by many sources and defined differently, is equivalent. |
यदि एक समूह बद्ध में केवल एक ही वस्तु है, तो इसके आकारिकी का समुच्चय एक समूह (बीजगणित) बनाता है। बीजगणितीय परिभाषा का प्रयोग करते हुए, इस तरह के समूह बद्ध का शाब्दिक रूप से सिर्फ एक समूह है।[12] समूह सिद्धांत की कई अवधारणाएं समूह बद्ध के लिए ,समूह समरूपता की जगह प्रकार्यक की धारणा के साथ सामान्यीकृत होती हैं।
प्रत्येक सकर्मक / जुड़ा हुआ समूह - अर्थात, जैसा कि ऊपर बताया गया है, जिसमें कोई भी दो वस्तुएँ कम से कम एक आकारिकी द्वारा जुड़ी हुई हैं - एक क्रिया समूह के लिए समरूपी है (जैसा कि ऊपर परिभाषित किया गया है)। सकर्मकता से, क्रिया के तहत केवल एक कक्षा होगी।
ध्यान दें कि अभी उल्लिखित समरूपता अद्वितीय नहीं है, और कोई प्राकृतिक समकक्ष विकल्प नहीं है। एक सकर्मक समूह के लिए इस तरह की एक समरूपता को चुनना अनिवार्य रूप से एक वस्तु , एक समूह समरूपता को से तक, और के अलावा प्रत्येक के लिए, से से और में एक आकारिकी को चुनना है।
यदि कोई समूह बद्ध सकर्मक नहीं है, तो यह उपरोक्त प्रकार के समूह बद्ध के असंयुक्त सम्मिलन के लिए समरूपी है, जिसे इसके जुड़े हुए घटक भी कहा जाता है (संभवतः विभिन्न समूहों के साथ और समुच्चय प्रत्येक जुड़े हुए घटक के लिए)।
श्रेणी-सैद्धांतिक शब्दों में, एक समूह बद्ध का प्रत्येक जुड़ा हुआ घटक एक समूह के साथ समतुल्य (लेकिन समरूपी नहीं) हैं, जो कि एक एकल समूह है। इस प्रकार कोई भी समूह असंबद्ध समूहों के एक बहुसमूह के बराबर है। दूसरे शब्दों में, केवल समूह की समरूपता के बजाय समानता के लिए, किसी को समुच्चय निर्दिष्ट करने की आवश्यकता नहीं है। उदाहरण के लिए,
- का मौलिक समूह, के प्रत्येक पथ से जुड़े घटक के मौलिक समूहों के संग्रह के बराबर है , लेकिन एक समरूपता के लिए प्रत्येक घटक में बिंदुओं के समुच्चय को निर्दिष्ट करने की आवश्यकता होती है,
- तुल्यता संबंध के साथ समुच्चय प्रत्येक तुल्यता वर्ग के लिए तुच्छ समूह की एक प्रति के समतुल्य (एक समूह के रूप में) है, लेकिन एक तुल्याकारिता के लिए यह निर्दिष्ट करना आवश्यक है कि प्रत्येक तुल्यता वर्ग क्या है,
- समुच्चय , समूह की एक क्रिया से सुसज्जित है, क्रिया की प्रत्येक कक्षा के लिए की एक प्रति के बराबर (एक समूह के रूप में) है, लेकिन एक समरूपता को यह निर्दिष्ट करने की आवश्यकता होती है कि प्रत्येक कक्षा क्या समुच्चय है।
समूहों के एक मात्र संग्रह में समूह का पतन, श्रेणी-सिद्धांत के दृष्टिकोण से भी कुछ जानकारी खो देता है, क्योंकि यह प्राकृतिक नहीं है। इस प्रकार जब समूह बद्ध अन्य संरचनाओं के संदर्भ में उत्पन्न होते हैं, जैसा कि उपरोक्त उदाहरणों में है, तो यह पूरे समूह बद्ध को बनाए रखने में मददगार हो सकता है। अन्यथा, एक समूह के संदर्भ में प्रत्येक को देखने का एक तरीका चुनना होगा, और यह विकल्प यादृच्छिक हो सकता है। सांस्थितिकी के उदाहरण में, एक ही पथ से जुड़े घटक में प्रत्येक बिंदु से प्रत्येक बिंदु तक पथों (या पथों के समतुल्य वर्ग) का एक सुसंगत विकल्प बनाना होगा।
एक अधिक रोशन करने वाले उदाहरण के रूप में, एक अंतःरूपांतरण वाले समूह बद्ध का वर्गीकरण विशुद्ध रूप से समूह सैद्धांतिक विचारों को कम नहीं करता है। यह इस तथ्य के अनुरूप है कि एक अंतःरूपांतरण वाले सदिश समष्टि का वर्गीकरण गैर-तुच्छ है।
समूह बद्ध आकारिता समूहों की तुलना में अधिक प्रकार के होते हैं, उदाहरण के लिए, हमारे पास फ़िब्रेशन्स, आकारिता समुपयोग, सार्वभौमिक आकारिता और भागफल आकारिता हैं। इस प्रकार एक समूह उपसमूह , में के सहसमुच्चयों के समुच्चय पर की क्रिया उत्पन्न करता है इसलिए एक आच्छादन आकारिकी से, मान लीजिए, से तक, जहां शीर्ष समूहों के साथ एक समूह बद्ध है जो तक समरूपी है। इस प्रकार समूह की प्रस्तुतियों को समूह की प्रस्तुतियों के लिए "उठाया" जा सकता है, और यह उपसमूह की प्रस्तुतियों के बारे में जानकारी प्राप्त करने का एक उपयोगी तरीका है। अधिक जानकारी के लिए, संदर्भ में हिगिंस और ब्राउन द्वारा पुस्तकें देखें।
समूह बद्ध की श्रेणी
वह श्रेणी जिसकी वस्तुएँ समूह बद्ध हैं और जिनकी आकृतियाँ समूह बद्ध आकारिता हैं, उन्हें समूह बद्ध श्रेणी या समूह बद्ध की श्रेणी कहा जाता है, और इसे जीआरपीडी द्वारा निरूपित किया जाता है।
श्रेणी जीआरपीडी, छोटी श्रेणियों की श्रेणी की तरह, कार्तीय बंद है, किसी भी समूह बद्ध के लिय हम एक समूह बद्ध का निर्माण कर सकते हैं, जिनकी वस्तुएं आकारिकी हैं और जिनके तीर आकारिकी के प्राकृतिक तुल्यता हैं। इस प्रकार यदि केवल समूह बद्ध हैं, तो ऐसे तीर आकारिकी के संयुग्मन हैं। मुख्य परिणाम यह है कि किसी भी समूह के लिए एक प्राकृतिक आक्षेप
है।
यह परिणाम दिलचस्प है, भले ही सभी समूह समूह मात्र हैं।
जीआरपीडी का एक अन्य महत्वपूर्ण गुण यह है कि यह पूर्ण और सह पूर्ण दोनों है।
कैट से संबंध
समावेश में बाएँ और दाएँ दोनों सन्निकट हैं,
यहाँ, एक श्रेणी के स्थानीयकरण को दर्शाता है जो प्रत्येक आकारिता को उलट देता है, और सभी समरूपताओं की उपश्रेणी को दर्शाता है।
एससेट से संबंध
तंत्रिका प्रकार्यक जीआरपीडी को साधारण सेट की श्रेणी की पूर्ण उपश्रेणी के रूप में सन्निहित करता है। समूह बद्ध की तंत्रिका हमेशा कान सम्मिश्र होती है।
तंत्रिका में एक बायां जोड़ होता है
जहा, साधारण समुच्चय X के मूलभूत समूह को दर्शाता है।
जीआरपीडी में समूह बद्ध
एक अतिरिक्त संरचना जो समूह बद्ध आंतरिक से समूह बद्ध, दोहरे समूह की श्रेणी में प्राप्त की जा सकती है।[13][14] क्योंकि जीआरपीडी ए 2-श्रेणी है, ये वस्तुएँ 1-श्रेणी के बजाय 2-श्रेणी बनाती हैं क्योंकि वहाँ अतिरिक्त संरचना होती है। अनिवार्य रूप से, ये समूह बद्ध प्रकार्यक
के साथ हैं और एक पहचान प्रकार्यक
द्वारा दिया गया एक अंत: स्थापन है। इन 2-समूह बद्ध के बारे में सोचने का एक तरीका यह है कि इनमें वस्तुए, आकारिकी, और वर्ग होते हैं जो लंबवत और क्षैतिज रूप से एक साथ रचना कर सकते हैं। उदाहरण के लिए, दिए गए वर्गों और को समान आकारिता के साथ ,उन्हें एक आरेख देकर लंबवत जोड़ा जा सकता है जिसे ऊर्ध्वाधर तीरों की रचना करके दूसरे वर्ग में परिवर्तित किया जा सकता है। वर्गों के क्षैतिज बन्धन के लिए एक समान रचना नियम है।
ज्यामितीय संरचनाओं के साथ समूह बद्ध
ज्यामितीय वस्तुओं का अध्ययन करते समय, उत्पन्न होने वाले समूह बद्ध में अक्सर एक सांस्थितिकी होती है, जो उन्हें सांस्थितिक समूह बद्ध में बदल देती हैं, या यहां तक कि कुछ अलग-अलग संरचना, उन्हें लाइ समूह बद्ध में बदल देते हैं। इन अंतिम वस्तुओं का अध्ययन उनके संबंधित लाइ बीजगणित ,लाइ समूह बद्ध और लाइ बीजगणित के बीच संबंध के अनुरूप संदर्भ में भी किया जा सकता है।
ज्यामिति से उत्पन्न होने वाले समूह बद्ध्स में अक्सर आगे की संरचनाएं होती हैं जो समूह बद्ध गुणन के साथ परस्पर क्रिया करती हैं। उदाहरण के लिए, पोइसन ज्यामिति में एक साइमलेक्टिक समूह की धारणा है, जो एक संगत सिंपलेक्टिक विधि के साथ एक लाइ समूह बद्ध है। इसी तरह, किसी के पास संगत रीमानी ज्यमिति, या सम्मिश्र संरचना आदि के साथ समूह बद्ध हो सकते हैं।
यह भी देखें
- ∞-समूह बद्ध
- 2-समूह
- समस्थेयता प्रकार सिद्धांत
- उलट श्रेणी
- समूह बद्ध बीजगणित (बीजगणितीय समूह बद्ध के साथ भ्रमित नहीं होना चाहिए)
- आर-बीजगणित
टिप्पणियाँ
- ↑ 1.0 1.1 Dicks & Ventura (1996). एक नि: शुल्क समूह के इंजेक्शन एंडोमोर्फिज्म के एक परिवार द्वारा तय किया गया समूह. p. 6.
- ↑ "Brandt semi-group", Encyclopedia of Mathematics, EMS Press, 2001 [1994], ISBN 1-4020-0609-8
- ↑
Proof of first property: from 2. and 3. we obtain a−1 = a−1 * a * a−1 and (a−1)−1 = (a−1)−1 * a−1 * (a−1)−1. Substituting the first into the second and applying 3. two more times yields (a−1)−1 = (a−1)−1 * a−1 * a * a−1 * (a−1)−1 = (a−1)−1 * a−1 * a = a. ✓
Proof of second property: since a * b is defined, so is (a * b)−1 * a * b. Therefore (a * b)−1 * a * b * b−1 = (a * b)−1 * a is also defined. Moreover since a * b is defined, so is a * b * b−1 = a. Therefore a * b * b−1 * a−1 is also defined. From 3. we obtain (a * b)−1 = (a * b)−1 * a * a−1 = (a * b)−1 * a * b * b−1 * a−1 = b−1 * a−1. ✓ - ↑ J.P. May, A Concise Course in Algebraic Topology, 1999, The University of Chicago Press ISBN 0-226-51183-9 (see chapter 2)
- ↑ "nLab में मौलिक Groupoid". ncatlab.org. Retrieved 2017-09-17.
- ↑ 6.0 6.1 Block, Jonathan; Daenzer, Calder (2009-01-09). "कनेक्शन के साथ गेर्ब्स के लिए मुकाई द्वैत". arXiv:0803.1529 [math.QA].
- ↑ "स्थानीयकरण और ग्रोमोव-विटन इनवेरिएंट्स" (PDF). p. 9. Archived (PDF) from the original on February 12, 2020.
- ↑ An Introduction to Groups, Groupoids and Their Representations: An Introduction; Alberto Ibort, Miguel A. Rodriguez; CRC Press, 2019.
- ↑ Jim Belk (2008) Puzzles, Groups, and Groupoids, The Everything Seminar
- ↑ The 15-puzzle groupoid (1) Archived 2015-12-25 at the Wayback Machine, Never Ending Books
- ↑ The 15-puzzle groupoid (2) Archived 2015-12-25 at the Wayback Machine, Never Ending Books
- ↑ Mapping a group to the corresponding groupoid with one object is sometimes called delooping, especially in the context of homotopy theory, see "delooping in nLab". ncatlab.org. Retrieved 2017-10-31..
- ↑ Cegarra, Antonio M.; Heredia, Benjamín A.; Remedios, Josué (2010-03-19). "Double groupoids and homotopy 2-types". arXiv:1003.3820 [math.AT].
- ↑ Ehresmann, Charles (1964). "Catégories et structures : extraits". Séminaire Ehresmann. Topologie et géométrie différentielle (in English). 6: 1–31.
संदर्भ
- Brandt, H (1927), "Über eine Verallgemeinerung des Gruppenbegriffes", Mathematische Annalen, 96 (1): 360–366, doi:10.1007/BF01209171, S2CID 119597988
- Brown, Ronald, 1987, "From groups to groupoids: a brief survey," Bull. London Math. Soc. 19: 113–34. Reviews the history of groupoids up to 1987, starting with the work of Brandt on quadratic forms. The downloadable version updates the many references.
- —, 2006. Topology and groupoids. Booksurge. Revised and extended edition of a book previously published in 1968 and 1988. Groupoids are introduced in the context of their topological application.
- —, Higher dimensional group theory. Explains how the groupoid concept has led to higher-dimensional homotopy groupoids, having applications in homotopy theory and in group cohomology. Many references.
- Dicks, Warren; Ventura, Enric (1996), The group fixed by a family of injective endomorphisms of a free group, Mathematical Surveys and Monographs, vol. 195, AMS Bookstore, ISBN 978-0-8218-0564-0
- Dokuchaev, M.; Exel, R.; Piccione, P. (2000). "Partial Representations and Partial Group Algebras". Journal of Algebra. Elsevier. 226: 505–532. arXiv:math/9903129. doi:10.1006/jabr.1999.8204. ISSN 0021-8693. S2CID 14622598.
- F. Borceux, G. Janelidze, 2001, Galois theories. Cambridge Univ. Press. Shows how generalisations of Galois theory lead to Galois groupoids.
- Cannas da Silva, A., and A. Weinstein, Geometric Models for Noncommutative Algebras. Especially Part VI.
- Golubitsky, M., Ian Stewart, 2006, "Nonlinear dynamics of networks: the groupoid formalism", Bull. Amer. Math. Soc. 43: 305-64
- "Groupoid", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Higgins, P. J., "The fundamental groupoid of a graph of groups", J. London Math. Soc. (2) 13 (1976) 145–149.
- Higgins, P. J. and Taylor, J., "The fundamental groupoid and the homotopy crossed complex of an orbit space", in Category theory (Gummersbach, 1981), Lecture Notes in Math., Volume 962. Springer, Berlin (1982), 115–122.
- Higgins, P. J., 1971. Categories and groupoids. Van Nostrand Notes in Mathematics. Republished in Reprints in Theory and Applications of Categories, No. 7 (2005) pp. 1–195; freely downloadable. Substantial introduction to category theory with special emphasis on groupoids. Presents applications of groupoids in group theory, for example to a generalisation of Grushko's theorem, and in topology, e.g. fundamental groupoid.
- Mackenzie, K. C. H., 2005. General theory of Lie groupoids and Lie algebroids. Cambridge Univ. Press.
- Weinstein, Alan, "Groupoids: unifying internal and external symmetry — A tour through some examples." Also available in Postscript., Notices of the AMS, July 1996, pp. 744–752.
- Weinstein, Alan, "The Geometry of Momentum" (2002)
- R.T. Zivaljevic. "Groupoids in combinatorics—applications of a theory of local symmetries". In Algebraic and geometric combinatorics, volume 423 of Contemp. Math., 305–324. Amer. Math. Soc., Providence, RI (2006)
- fundamental groupoid at the nLab
- core at the nLab