ग्रुपॉयड: Difference between revisions

From Vigyanwiki
No edit summary
Line 4: Line 4:
*'[[श्रेणी]]' जिसमें प्रत्येक [[आकारिकी]] व्युत्क्रमणीय होती है। इस प्रकार की एक श्रेणी को आकारिकी पर एक [[एकल संक्रिया]] के साथ संवर्धित के रूप में देखा जा सकता है, जिसे [[समूह सिद्धांत]] के साथ सादृश्य द्वारा व्युत्क्रम कहा जाता है।<ref name="dicks-ventura-96">{{cite book|author=Dicks & Ventura|year=1996|title=एक नि: शुल्क समूह के इंजेक्शन एंडोमोर्फिज्म के एक परिवार द्वारा तय किया गया समूह|url={{Google books|plainurl=y|id=3sWSRRfNFKgC|page=6|text=G has the structure of a graph}}|page=6}}</ref> एक ग्रुपॉइड जहां केवल एक वस्तु होती है वह एक सामान्य समूह होता है।
*'[[श्रेणी]]' जिसमें प्रत्येक [[आकारिकी]] व्युत्क्रमणीय होती है। इस प्रकार की एक श्रेणी को आकारिकी पर एक [[एकल संक्रिया]] के साथ संवर्धित के रूप में देखा जा सकता है, जिसे [[समूह सिद्धांत]] के साथ सादृश्य द्वारा व्युत्क्रम कहा जाता है।<ref name="dicks-ventura-96">{{cite book|author=Dicks & Ventura|year=1996|title=एक नि: शुल्क समूह के इंजेक्शन एंडोमोर्फिज्म के एक परिवार द्वारा तय किया गया समूह|url={{Google books|plainurl=y|id=3sWSRRfNFKgC|page=6|text=G has the structure of a graph}}|page=6}}</ref> एक ग्रुपॉइड जहां केवल एक वस्तु होती है वह एक सामान्य समूह होता है।


[[आश्रित प्रकार]] की उपस्थिति में, सामान्य रूप से एक श्रेणी को टाइप किए गए [[एकाभ]] के रूप में देखा जा सकता है, और इसी तरह, एक ग्रुपॉयड को केवल टाइप किए गए समूह के रूप में देखा जा सकता है। आकारिता एक वस्तु से दूसरी वस्तु पर ले जाता है, और प्रकारों के एक आश्रित परिवार का निर्माण करते हैं, इस प्रकार आकारिकी को <math>g:A \rightarrow B</math>,  <math>h:B \rightarrow C</math>, टाइप किया जा सकता है। संरचना तब कुल कार्य है: <math>\circ : (B \rightarrow C) \rightarrow (A \rightarrow B) \rightarrow A \rightarrow C </math>, ताकि <math>h \circ g : A \rightarrow C </math>.
[[आश्रित प्रकार]] की उपस्थिति में, सामान्य रूप से एक श्रेणी को टाइप किए गए [[एकाभ]] के रूप में देखा जा सकता है, और इसी तरह, एक ग्रुपॉयड को केवल टाइप किए गए समूह के रूप में देखा जा सकता है। आकारिता एक वस्तु से दूसरी वस्तु पर ले जाता है, और प्रकारों के एक आश्रित परिवार का निर्माण करते हैं, इस प्रकार आकारिकी को <math>g:A \rightarrow B</math>,  <math>h:B \rightarrow C</math>, वर्गीकरण किया जा सकता है। संरचना तब कुल फलन है, <math>\circ : (B \rightarrow C) \rightarrow (A \rightarrow B) \rightarrow A \rightarrow C </math>, ताकि <math>h \circ g : A \rightarrow C </math>


विशेष मामलों में शामिल हैं:
विशेष स्थितियों में सम्मिलित हैं,
* सेटोइड्स: [[सेट (गणित)]] जो एक समतुल्य संबंध के साथ आता है,
* सेटोइड्स: [[सेट (गणित)]] जो एक समतुल्य संबंध के साथ आता है,
*[[जी-सेट]]: समूह की सामूहिक क्रिया (गणित) से सुसज्जित सेट <math>G</math>.
*[[जी-सेट]]: समूह की सामूहिक क्रिया (गणित) से सुसज्जित सेट <math>G</math>.
Line 124: Line 124:
अधिक स्पष्ट रूप से, एक्शन ग्रुपॉयड एक छोटी श्रेणी है <math>\mathrm{ob}(C)=X</math> और <math>\mathrm{hom}(C)=G\times X</math> और स्रोत और लक्ष्य मानचित्रों के साथ <math>s(g,x) = x</math> और <math>t(g,x) = gx</math>. इसे अक्सर निरूपित किया जाता है <math>G \ltimes X</math> (या <math>X\rtimes G</math> उचित कार्य के लिए)। समूहभ में गुणन (या संघटन) तब होता है <math>(h,y)(g,x) = (hg,x)</math> जिसे परिभाषित किया गया है <math>y=gx</math>.
अधिक स्पष्ट रूप से, एक्शन ग्रुपॉयड एक छोटी श्रेणी है <math>\mathrm{ob}(C)=X</math> और <math>\mathrm{hom}(C)=G\times X</math> और स्रोत और लक्ष्य मानचित्रों के साथ <math>s(g,x) = x</math> और <math>t(g,x) = gx</math>. इसे अक्सर निरूपित किया जाता है <math>G \ltimes X</math> (या <math>X\rtimes G</math> उचित कार्य के लिए)। समूहभ में गुणन (या संघटन) तब होता है <math>(h,y)(g,x) = (hg,x)</math> जिसे परिभाषित किया गया है <math>y=gx</math>.


के लिए <math>x</math> में <math>X</math>शीर्ष समूह में वे शामिल हैं <math>(g,x)</math> साथ <math>gx=x</math>, जो सिर्फ [[आइसोट्रॉपी उपसमूह]] है <math>x</math> दी गई क्रिया के लिए (यही कारण है कि शीर्ष समूहों को आइसोट्रॉपी समूह भी कहा जाता है)। इसी तरह, एक्शन ग्रुपॉयड की कक्षाएँ समूह क्रिया की [[कक्षा (समूह सिद्धांत)]] हैं, और ग्रुपॉइड सकर्मक है अगर और केवल अगर समूह क्रिया [[सकर्मक समूह क्रिया]] है।
के लिए <math>x</math> में <math>X</math>शीर्ष समूह में वे सम्मिलित हैं <math>(g,x)</math> साथ <math>gx=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>\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>F_g</math> सेट का <math>G</math>. हम Yoneda एंबेडिंग से यह निष्कर्ष निकालते हैं कि समूह <math>G</math> समूह के लिए आइसोमॉर्फिक है <math>\{F_g\mid g\in G\}</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>F_g</math> सेट का <math>G</math>. हम Yoneda एंबेडिंग से यह निष्कर्ष निकालते हैं कि समूह <math>G</math> समूह के लिए आइसोमॉर्फिक है <math>\{F_g\mid g\in G\}</math>, के [[क्रमपरिवर्तन समूह]]ों के समूह का एक [[उपसमूह]] <math>G</math>.

Revision as of 06:57, 15 May 2023

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

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

विशेष स्थितियों में सम्मिलित हैं,

  • सेटोइड्स: सेट (गणित) जो एक समतुल्य संबंध के साथ आता है,
  • जी-सेट: समूह की सामूहिक क्रिया (गणित) से सुसज्जित सेट .

ग्रुपोइड्स का उपयोग अक्सर ज्यामितीय वस्तुओं जैसे कई गुना ्स के बारे में तर्क करने के लिए किया जाता है। Heinrich Brandt (1927) ने ब्रांट सेमीग्रुप्स के माध्यम से ग्रुपॉयड्स को स्पष्ट रूप से पेश किया।[2]


परिभाषाएँ

ग्रुपॉयड एक बीजगणितीय संरचना है एक गैर-खाली सेट से मिलकर और एक बाइनरी आंशिक फलन '' पर परिभाषित .

बीजीय

एक ग्रुपॉयड एक सेट है एक एकल ऑपरेशन के साथ और एक आंशिक कार्य . यहाँ * एक द्विआधारी संक्रिया नहीं है क्योंकि यह अनिवार्य रूप से तत्वों के सभी युग्मों के लिए परिभाषित नहीं है . सटीक शर्तें जिसके तहत परिभाषित किया गया है यहाँ व्यक्त नहीं किया गया है और स्थिति के अनुसार भिन्न होता है।

संचालन और −1 में निम्नलिखित स्वयंसिद्ध गुण हैं: सभी के लिए , , और में ,

  1. साहचर्य: यदि और परिभाषित हैं, तो और परिभाषित हैं और बराबर हैं। इसके विपरीत यदि एक और परिभाषित है, तो दोनों हैं और साथ ही = .
  2. गुणात्मक प्रतिलोम: और हमेशा परिभाषित होते हैं।
  3. पहचान तत्व: यदि परिभाषित किया गया है, तो , और . (पिछले दो स्वयंसिद्ध पहले से ही दिखाते हैं कि ये भाव परिभाषित और स्पष्ट हैं।)

इन स्वयंसिद्धों से दो आसान और सुविधाजनक गुण निकलते हैं:

  • ,
  • अगर परिभाषित किया गया है, तो .[3]


श्रेणी सिद्धांत

एक समूह एक श्रेणी (गणित) है जिसमें प्रत्येक आकृतिवाद एक समरूपता है, अर्थात, उलटा।[1]अधिक स्पष्ट रूप से, एक समूह G है:

  • एक सेट जी0 वस्तुओं का;
  • वस्तुओं की प्रत्येक जोड़ी के लिए x और y जी में0, x से y तक morphisms (या तीर) का एक (संभवतः खाली) सेट G(x,y) मौजूद है। हम f : x → y लिखते हैं, यह दर्शाने के लिए कि f, G(x,y) का एक अवयव है।
  • प्रत्येक वस्तु 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) लिखा जाता है। एक समूह जी को कभी-कभी निरूपित किया जाता है , कहाँ सभी morphisms, और दो तीरों का सेट है स्रोत और लक्ष्य का प्रतिनिधित्व करें।

अधिक आम तौर पर, परिमित फाइबर उत्पादों को स्वीकार करने वाली मनमानी श्रेणी में एक समूहबद्ध वस्तु पर विचार किया जा सकता है।

परिभाषाओं की तुलना

बीजगणितीय और श्रेणी-सैद्धांतिक परिभाषाएँ समतुल्य हैं, जैसा कि अब हम दिखाते हैं। श्रेणी-सैद्धांतिक अर्थों में एक समूह को देखते हुए, 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

एबेलियन समूहों के कुछ निरंतर शेफ के लिए एक समारोह <ब्लॉककोट> के रूप में प्रदर्शित किया जा सकता हैकोहोलॉजी कक्षाओं का एक स्पष्ट प्रतिनिधित्व दे रहा है।

समूह क्रिया

यदि समूह (गणित) सेट पर काम करता है , तो हम इस ग्रुप एक्शन (गणित) का प्रतिनिधित्व करने वाले एक्शन ग्रुपॉइड (या ट्रांसफॉर्मेशन ग्रुपॉइड) को निम्नानुसार बना सकते हैं:

  • वस्तुएँ किसके तत्व हैं ;
  • किन्हीं दो तत्वों के लिए और में , से morphisms को तत्वों के अनुरूप का ऐसा है कि ;
  • आकारिकी का प्रकार्य संघटन इसके द्विआधारी संक्रिया की व्याख्या करता है .

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

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

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

परिमित सेट

की समूह क्रिया पर विचार करें परिमित सेट पर जो प्रत्येक संख्या को उसके ऋणात्मक में ले जाता है, इसलिए और . भागफल समूह इस समूह क्रिया से तुल्यता वर्गों का समुच्चय है , और की सामूहिक क्रिया है इस पर।

भागफल विविधता

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

ग्रुपोइड्स का फाइबर उत्पाद

ग्रुपॉयड मॉर्फिज्म के साथ ग्रुपॉयड्स का आरेख दिया गया है

कहाँ और , हम ग्रुपॉइड बना सकते हैं जिनकी वस्तुएँ त्रिगुण हैं , कहाँ , , और में . morphisms को morphisms की एक जोड़ी के रूप में परिभाषित किया जा सकता है कहाँ और ऐसा कि ट्रिपल के लिए , में एक क्रमविनिमेय आरेख है का , और यह .[7]


समरूप बीजगणित

एक दो टर्म कॉम्प्लेक्स

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

बेशक, अगर एबेलियन श्रेणी एक योजना पर सुसंगत ढेरों की श्रेणी है, तो इस निर्माण का उपयोग ग्रुपोइड्स के presheaf बनाने के लिए किया जा सकता है।

पहेलियाँ

जबकि रूबिक क्यूब जैसी पहेलियों को समूह सिद्धांत (रुबिक क्यूब समूह देखें) का उपयोग करके तैयार किया जा सकता है, कुछ पहेलियों को ग्रुपोइड्स के रूप में बेहतर रूप से तैयार किया जाता है।[8] पन्द्रह पहेली के परिवर्तन एक ग्रुपॉइड बनाते हैं (समूह नहीं, क्योंकि सभी चालों की रचना नहीं की जा सकती)।[9][10][11] यह समूह क्रिया (गणित)#विन्यास और विन्यास पर सामान्यीकरण।

मैथ्यू ग्रुपोइड

मैथ्यू ग्रुपॉयड जॉन हॉर्टन कॉनवे द्वारा पेश किया गया एक समूह है जो 13 बिंदुओं पर अभिनय करता है जैसे कि एक बिंदु को ठीक करने वाले तत्व मैथ्यू समूह एम की एक प्रति बनाते हैं।12.

समूहों से संबंध

Group-like structures
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] ग्रुप थ्योरी की कई अवधारणाएं ग्रुपोइड्स के लिए सामान्यीकृत होती हैं, समूह होमोमोर्फिज्म की जगह ऑपरेटर की धारणा के साथ।

प्रत्येक सकर्मक / जुड़ा हुआ समूह - अर्थात, जैसा कि ऊपर बताया गया है, जिसमें कोई भी दो वस्तुएँ कम से कम एक आकारिकी द्वारा जुड़ी हुई हैं - एक क्रिया समूह के लिए आइसोमोर्फिक है (जैसा कि ऊपर परिभाषित किया गया है) . सकर्मकता से, क्रिया के तहत केवल एक कक्षा (समूह सिद्धांत) होगी।

ध्यान दें कि अभी उल्लिखित समरूपता अद्वितीय नहीं है, और कोई प्राकृतिक समकक्ष विकल्प नहीं है। एक सकर्मक समूह के लिए इस तरह के एक समरूपता को चुनना अनिवार्य रूप से एक वस्तु को चुनने के लिए होता है , एक समूह समरूपता से को , और प्रत्येक के लिए के अलावा अन्य , एक रूपवाद में से को .

यदि कोई ग्रुपॉइड सकर्मक नहीं है, तो यह उपरोक्त प्रकार के ग्रुपॉयड्स के असंयुक्त संघ के लिए आइसोमॉर्फिक है, जिसे इसके जुड़े घटक भी कहा जाता है (संभवतः विभिन्न समूहों के साथ) और सेट करता है प्रत्येक जुड़े घटक के लिए)।

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

  • का मौलिक समूह के प्रत्येक पथ से जुड़े घटक के मौलिक समूहों के संग्रह के बराबर है , लेकिन एक समरूपता के लिए प्रत्येक घटक में बिंदुओं के सेट को निर्दिष्ट करने की आवश्यकता होती है;
  • सेट तुल्यता संबंध के साथ प्रत्येक तुल्यता वर्ग के लिए तुच्छ समूह की एक प्रति के समतुल्य (एक समूह के रूप में) है, लेकिन एक समरूपता के लिए यह निर्दिष्ट करना आवश्यक है कि प्रत्येक तुल्यता वर्ग क्या है:
  • सेट समूह की समूह क्रिया (गणित) से सुसज्जित की एक प्रति के बराबर (ग्रुपॉइड के रूप में) है क्रिया के प्रत्येक कक्षा (समूह सिद्धांत) के लिए, लेकिन एक समरूपता को यह निर्दिष्ट करने की आवश्यकता होती है कि प्रत्येक कक्षा क्या निर्धारित करती है।

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

एक अधिक रोशन करने वाले उदाहरण के रूप में, एक एंडोमोर्फिज्म वाले ग्रुपोइड्स का वर्गीकरण विशुद्ध रूप से समूह सैद्धांतिक विचारों को कम नहीं करता है। यह इस तथ्य के अनुरूप है कि एक एंडोमोर्फिज्म वाले वेक्टर रिक्त स्थान का वर्गीकरण गैर-तुच्छ है।

ग्रुपोइड्स भागफल रूपवाद समूहों की तुलना में अधिक प्रकार में आते हैं: हमारे पास, उदाहरण के लिए, फ़िब्रेशन्स, कवरिंग मोर्फिज़्म, सार्वभौमिक रूपवाद और भागफल मॉर्फिज़्म हैं। इस प्रकार एक उपसमूह एक समूह का की क्रिया उत्पन्न करता है के सह समुच्चय के सेट पर में और इसलिए एक आवरण रूपवाद से, कहते हैं, को , कहाँ #Vertex समूहों के साथ एक ग्रुपॉइड है और ऑर्बिट्स आइसोमॉर्फिक है . इस प्रकार समूह की प्रस्तुतियाँ Groupoid की प्रस्तुतियों के लिए उठाया जा सकता है , और यह उपसमूह की प्रस्तुतियों के बारे में जानकारी प्राप्त करने का एक उपयोगी तरीका है . अधिक जानकारी के लिए, संदर्भ में हिगिंस और ब्राउन द्वारा पुस्तकें देखें।

ग्रुपोइड्स की श्रेणी

वह श्रेणी जिसकी वस्तुएँ ग्रुपॉइड हैं और जिनकी आकृतियाँ ग्रुपॉइड मॉर्फिज़्म हैं, उन्हें ग्रुपॉइड श्रेणी या ग्रुपोइड्स की श्रेणी कहा जाता है, और इसे Grpd द्वारा निरूपित किया जाता है।

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

यह परिणाम रुचि का है, भले ही सभी समूह हों समूह मात्र हैं।

जीआरपीडी की एक अन्य महत्वपूर्ण संपत्ति यह है कि यह पूर्ण श्रेणी और पूर्ण श्रेणी दोनों है।

छोटी श्रेणियों की श्रेणी से संबंध

समावेश बाएँ और दाएँ दोनों सहायक फ़ंक्टर हैं:

यहाँ, एक श्रेणी के स्थानीयकरण को दर्शाता है जो हर रूपवाद को उलट देता है, और सभी समरूपताओं की उपश्रेणी को दर्शाता है।

सरल सेट से संबंध

तंत्रिका (श्रेणी सिद्धांत) जीआरपीडी को साधारण सेट की श्रेणी की पूर्ण उपश्रेणी के रूप में एम्बेड करता है। ग्रुपॉयड की तंत्रिका हमेशा कान जटिल होती है।

तंत्रिका में बायां जोड़ होता है

यहाँ, साधारण सेट X के मूलभूत समूह को दर्शाता है।

=== Grpd === में Groupoids

एक अतिरिक्त संरचना है जो ग्रुपोइड्स आंतरिक से ग्रुपोइड्स, डबल-ग्रुपोइड्स की श्रेणी में प्राप्त की जा सकती है।[13][14] क्योंकि Grpd एक 2-श्रेणी है, ये वस्तुएँ 1-श्रेणी के बजाय 2-श्रेणी बनाती हैं क्योंकि वहाँ अतिरिक्त संरचना होती है। अनिवार्य रूप से, ये ग्रुपॉयड हैं functors के साथ

और एक पहचान फ़ैक्टर

द्वारा दी गई एम्बेडिंग

इन 2-ग्रुपोइड्स के बारे में सोचने का एक तरीका यह है कि इनमें ऑब्जेक्ट, आकारिकी, और वर्ग होते हैं जो लंबवत और क्षैतिज रूप से एक साथ रचना कर सकते हैं। उदाहरण के लिए, दिए गए वर्ग <ब्लॉककोट> और के साथ एक ही रूपवाद, वे एक आरेख <ब्लॉकक्वोट> देकर लंबवत रूप से जुड़े हो सकते हैंजिसे लंबवत तीरों की रचना करके दूसरे वर्ग में परिवर्तित किया जा सकता है। वर्गों के क्षैतिज बन्धन के लिए एक समान रचना कानून है।

ज्यामितीय संरचनाओं के साथ ग्रुपोइड्स

ज्यामितीय वस्तुओं का अध्ययन करते समय, उत्पन्न होने वाले ग्रुपोइड्स अक्सर एक टोपोलॉजिकल स्पेस लेते हैं, उन्हें टोपोलॉजिकल ग्रुपॉयड में बदल देते हैं, या यहां तक ​​​​कि कुछ अलग-अलग संरचना, उन्हें लाइ ग्रुपोइड्स में बदल देते हैं। इन अंतिम वस्तुओं का अध्ययन उनके संबंधित [[झूठ बीजगणित]] के संदर्भ में भी किया जा सकता है, झूठ समूहों और झूठ बीजगणित के बीच संबंध के अनुरूप।

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

यह भी देखें

टिप्पणियाँ

  1. 1.0 1.1 Dicks & Ventura (1996). एक नि: शुल्क समूह के इंजेक्शन एंडोमोर्फिज्म के एक परिवार द्वारा तय किया गया समूह. p. 6.
  2. "Brandt semi-group", Encyclopedia of Mathematics, EMS Press, 2001 [1994], ISBN 1-4020-0609-8
  3. 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. ✓
  4. J.P. May, A Concise Course in Algebraic Topology, 1999, The University of Chicago Press ISBN 0-226-51183-9 (see chapter 2)
  5. "nLab में मौलिक Groupoid". ncatlab.org. Retrieved 2017-09-17.
  6. 6.0 6.1 Block, Jonathan; Daenzer, Calder (2009-01-09). "कनेक्शन के साथ गेर्ब्स के लिए मुकाई द्वैत". arXiv:0803.1529 [math.QA].
  7. "स्थानीयकरण और ग्रोमोव-विटन इनवेरिएंट्स" (PDF). p. 9. Archived (PDF) from the original on February 12, 2020.
  8. An Introduction to Groups, Groupoids and Their Representations: An Introduction; Alberto Ibort, Miguel A. Rodriguez; CRC Press, 2019.
  9. Jim Belk (2008) Puzzles, Groups, and Groupoids, The Everything Seminar
  10. The 15-puzzle groupoid (1) Archived 2015-12-25 at the Wayback Machine, Never Ending Books
  11. The 15-puzzle groupoid (2) Archived 2015-12-25 at the Wayback Machine, Never Ending Books
  12. 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..
  13. Cegarra, Antonio M.; Heredia, Benjamín A.; Remedios, Josué (2010-03-19). "Double groupoids and homotopy 2-types". arXiv:1003.3820 [math.AT].
  14. Ehresmann, Charles (1964). "Catégories et structures : extraits". Séminaire Ehresmann. Topologie et géométrie différentielle (in English). 6: 1–31.


संदर्भ