ली बीजगणित सह-समरूपता: Difference between revisions

Revision as of 11:53, 14 July 2023

गणित में, ली अलजेब्रा सह-समरूपता , लाई अलजेब्रा के लिए एक सह-समरूपता सिद्धांत है। इसे पहली बार 1929 में एली कार्टन द्वारा लाई बीजगणित के गुणों के साथ गेर्जेस डी. रहम की कोहोमोलॉजिकल विधियों से संबंधित करके लाई समूहों और सजातीय स्थानों की टोपोलॉजी का अध्ययन करने के लिए प्रस्तुत किया गया था।^[1] इसे बाद में (क्लाउड शेवेल्ली & सैमुअल ईलेनबर्ग 1948) द्वारा एक मनमाना झूठ बीजगणित प्रतिनिधित्व में गुणांक तक विस्तारित किया गया।^[2]

प्रेरणा

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

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

अगर $G$ एक सरल रूप से जुड़ा हुआ गैरसंक्षिप्त रूप लाई समूह है, जो संबंधित लाई बीजगणित की लाई बीजगणित सहसंरचना है $G$ {मैथफ्रैक {जी}} आवश्यक रूप से डी राम सह-समरूपता को पुन: उत्पन्न नहीं करता है इसका कारण यह है कि सभी विभेदक रूपों के परिसर से वाम-अपरिवर्तनीय विभेदक रूपों के परिसर तक का मार्ग एक औसत प्रक्रिया का उपयोग करता है जो केवल संक्षिप्त रूप समूहों के लिए समझ में आता है।

परिभाषा

मान लीजिए कि ${\mathfrak {g}}$ सार्वभौम आवरण बीजगणित के साथ क्रमविनिमेय रिंग R पर एक झूठ बीजगणित है, M एक झूठ बीजगणित का प्रतिनिधित्व है ${\mathfrak {g}}$ (समकक्ष, ए $U{\mathfrak {g}}$ -मापांक)। आर को एक तुच्छ प्रतिनिधित्व के रूप में मानना ${\mathfrak {g}}$ , #उदाहरण_2 आर बनें $U{\mathfrak {g}}$ , एक सह-समरूपता समूहों को परिभाषित किया गया है

\mathrm {H} ^{n}({\mathfrak {g}};M):=\mathrm {Ext} _{U{\mathfrak {g}}}^{n}(R,M)

(एक्सट की परिभाषा के लिए एक्सट ऑपरेटर देखें)। समान रूप से, ये बाएं सटीक अपरिवर्तनीय सबमॉड्यूल फ़ैक्टर के दाएं व्युत्पन्न फ़ैक्टर हैं

M\mapsto M^{\mathfrak {g}}:=\{m\in M\mid xm=0\ {\text{ for all }}x\in {\mathfrak {g}}\}.

अनुरूप रूप से, कोई लाई बीजगणित समरूपता को इस प्रकार परिभाषित कर सकता है

\mathrm {H} _{n}({\mathfrak {g}};M):=\mathrm {Tor} _{n}^{U{\mathfrak {g}}}(R,M)

(टोर की परिभाषा के लिए टोर काम करता है देखें), जो दाएं सटीक सहसंयोजक फ़ैक्टर के बाएं व्युत्पन्न फ़ैक्टर के बराबर है

M\mapsto M_{\mathfrak {g}}:=M/{\mathfrak {g}}M.

लाई बीजगणित के सह-समरूपता के बारे में कुछ महत्वपूर्ण बुनियादी परिणामों में व्हाइटहेड का लेम्मा (लाई बीजगणित)|व्हाइटहेड का लेम्मा, पूर्ण रिड्यूसिबिलिटी पर वेइल का प्रमेय|वेइल का प्रमेय और लेवी अपघटन प्रमेय सम्मिलित हैं।

चेवेल्ली-ईलेनबर्ग सम्मिश्र

मान लीजिये ${\mathfrak {g}}$ एक क्षेत्र पर एक झूठ बीजगणित बनें $k$ , बाईं ओर की कार्रवाई के साथ ${\mathfrak {g}}$ -मापांक $M$ पर, शेवेल्ली-ईलेनबर्ग परिसर के तत्व

\mathrm {Hom} _{k}(\Lambda ^{\bullet }{\mathfrak {g}},M)

से कोचेन कहलाते हैं ${\mathfrak {g}}$ को $M$ . एक सजातीय $n$ -कोचेन से ${\mathfrak {g}}$ को $M$ इस प्रकार यह एक पर्याय है $k$ -बहुरेखीय कार्य $f\colon \Lambda ^{n}{\mathfrak {g}}\to M$ . जब ${\mathfrak {g}}$ वेक्टर स्पेस के रूप में अंतिम रूप से उत्पन्न होता है, शेवेल्ली-ईलेनबर्ग सम्मिश्र टेन्सर उत्पाद के लिए कैनोनिक रूप से आइसोमोर्फिक है $M\otimes \Lambda ^{\bullet }{\mathfrak {g}}^{*}$ , जहाँ ${\mathfrak {g}}^{*}$ के दोहरे सदिश समष्टि को दर्शाता है ${\mathfrak {g}}$ .

झूठ ब्रैकेट $[\cdot ,\cdot ]\colon \Lambda ^{2}{\mathfrak {g}}\rightarrow {\mathfrak {g}}$ पर, ${\mathfrak {g}}$ एक रेखीय मानचित्र अनुप्रयोग के स्थानांतरण को प्रेरित करता है $d_{\mathfrak {g}}^{(1)}\colon {\mathfrak {g}}^{*}\rightarrow \Lambda ^{2}{\mathfrak {g}}^{*}$ द्वंद्व से. उत्तरार्द्ध व्युत्पत्ति को परिभाषित करने के लिए पर्याप्त है $d_{\mathfrak {g}}$ कोचेन के परिसर से ${\mathfrak {g}}$ को $k$ विस्तार करके $d_{\mathfrak {g}}^{(1)}$ श्रेणीबद्ध लीबनिज़ नियम के अनुसार। यह जैकोबी पहचान से चलता है $d_{\mathfrak {g}}$ संतुष्ट $d_{\mathfrak {g}}^{2}=0$ और वास्तव में यह एक अंतर है। इस सेटिंग में, $k$ एक तुच्छ चीज़ के रूप में देखा जाता है ${\mathfrak {g}}$ -मॉड्यूल जबकि $k\sim \Lambda ^{0}{\mathfrak {g}}^{*}\subseteq \mathrm {Ker} (d_{\mathfrak {g}})$ स्थिरांक के रूप में सोचा जा सकता है।

सामान्य तौर पर, मान लीजिये $\gamma \in \mathrm {Hom} ({\mathfrak {g}},\mathrm {End} (M))$ की बायीं क्रिया को निरूपित करें, ${\mathfrak {g}}$ पर $M$ और इसे एक एप्लिकेशन के रूप में मानें $d_{\gamma }^{(0)}\colon M\rightarrow M\otimes {\mathfrak {g}}^{*}$ . शेवेल्ली-ईलेनबर्ग अंतर $d$ तब अद्वितीय व्युत्पत्ति का विस्तार होता है $d_{\gamma }^{(0)}$ और $d_{\mathfrak {g}}^{(1)}$ विभेदक श्रेणीबद्ध बीजगणित के अनुसार, निलपोटेंसी स्थिति $d^{2}=0$ ली बीजगणित समरूपता से निम्नलिखित ${\mathfrak {g}}$ को $\mathrm {End} (M)$ और जैकोबी पहचान में ${\mathfrak {g}}$ .

स्पष्ट रूप से, का अंतर $n$ -कोचेन $f$ है $(n+1)$ -कोचेन $df$ द्वारा दिए गए:^[3]

जहां कैरेट उस तर्क को छोड़ने का संकेत देता है।

जब $G$ लाई बीजगणित के साथ एक वास्तविक लाई समूह है ${\mathfrak {g}}$ , शेवेल्ली-ईलेनबर्ग सम्मिश्र को मूल्यों के साथ बाएं-अपरिवर्तनीय रूपों के स्थान के साथ कैनोनिक रूप से भी पहचाना जा सकता है $M$ , द्वारा चिह्नित $\Omega ^{\bullet }(G,M)^{G}$ . शेवेल्ली-ईलेनबर्ग अंतर को तब तुच्छ फाइबर बंडल पर सहसंयोजक व्युत्पन्न के प्रतिबंध के रूप में माना जा सकता है $G\times M\rightarrow G$ , समतुल्य कनेक्शन (गणित) से सुसज्जित ${\tilde {\gamma }}\in \Omega ^{1}(G,\mathrm {End} (M))$ वाम क्रिया से सम्बंधित $\gamma \in \mathrm {Hom} ({\mathfrak {g}},\mathrm {End} (M))$ का ${\mathfrak {g}}$ पर $M$ . विशेष मामले में जहां $M=k=\mathbb {R}$ की तुच्छ क्रिया से सुसज्जित है ${\mathfrak {g}}$ , शेवेल्ली-एलेनबर्ग अंतर डी राम सह-समरूपता के प्रतिबंध के साथ मेल खाता है $\Omega ^{\bullet }(G)$ वाम-अपरिवर्तनीय अंतर रूपों के उपस्थान के लिए।

छोटे आयामों में सह-समरूपता

ज़ीरोथ सह-समरूपता समूह (परिभाषा के अनुसार) मॉड्यूल पर कार्य करने वाले लाई बीजगणित के अपरिवर्तनीय हैं:

H^{0}({\mathfrak {g}};M)=M^{\mathfrak {g}}=\{m\in M\mid xm=0\ {\text{ for all }}x\in {\mathfrak {g}}\}.

पहला सह-समरूपता समूह अंतरिक्ष है $Der$ व्युत्पत्तियों का मॉड्यूलो स्थान $Ider$ आंतरिक व्युत्पत्तियों का

H^{1}({\mathfrak {g}};M)=\mathrm {Der} ({\mathfrak {g}},M)/\mathrm {Ider} ({\mathfrak {g}},M)\,

,

जहाँ व्युत्पत्ति एक मानचित्र है $d$ लाई बीजगणित से लेकर $M$ ऐसा है कि

d[x,y]=xdy-ydx~

और यदि यह द्वारा दिया गया है तो इसे आंतरिक कहा जाता है

dx=xa~

कुछ के लिए $a$ में $M$ .

दूसरा सह-समरूपता समूह

H^{2}({\mathfrak {g}};M)

ली बीजगणित विस्तार के तुल्यता वर्गों का स्थान है

0\rightarrow M\rightarrow {\mathfrak {h}}\rightarrow {\mathfrak {g}}\rightarrow 0

मॉड्यूल द्वारा झूठ बीजगणित का $M$ .

इसी प्रकार, सह-समरूपता समूह का कोई भी तत्व $H^{n+1}({\mathfrak {g}};M)$ लाई बीजगणित का विस्तार करने के तरीकों का एक तुल्यता वर्ग देता है ${\mathfrak {g}}$ एक झूठ के लिए $n$ -बीजगणित के साथ ${\mathfrak {g}}$ ग्रेड शून्य में और $M$ ग्रेड में $n$ .^[4] एक झूठ $n$ -बीजगणित एक समरूप झूठ बीजगणित है जिसमें गैर-शून्य पद केवल 0 से डिग्री तक होते हैं $n$ .

उदाहरण

तुच्छ मॉड्यूल पर सहसंबद्धता

जब $M=\mathbb {R}$ , जैसा कि पहले उल्लेख किया गया है, शेवेल्ली-ईलेनबर्ग सम्मिश्र संबंधित संक्षिप्त रूप लाई समूह के लिए डी-रैम सम्मिश्र के साथ मेल खाता है। इस मामले में $M$ की तुच्छ कार्यवाही करता है ${\mathfrak {g}}$ , इसलिए $xa=0$ हरएक के लिए $x\in {\mathfrak {g}},a\in M$ .

जीरोथ सह-समरूपता समूह है $M$ .
प्रथम सहसंरचना: एक व्युत्पत्ति दी गई $D$ $D$ , $xdy=0$ $xdy=0$ सभी के लिए $x$ $x$ और $y$ $y$ , इसलिए व्युत्पत्तियाँ संतुष्ट करती हैं $D([x,y])=0$ $D([x,y])=0$ सभी कम्यूटेटरों के लिए, इसलिए आदर्श $[{\mathfrak {g}},{\mathfrak {g}}]$ $[{\mathfrak {g}},{\mathfrak {g}}]$ के कर्नेल में समाहित है $D$ $D$ .
- अगर $[{\mathfrak {g}},{\mathfrak {g}}]={\mathfrak {g}}$ , जैसा कि साधारण लाई बीजगणित के मामले में होता है $D\equiv 0$ , इसलिए व्युत्पत्तियों का स्थान तुच्छ है, इसलिए पहला सहसंबद्धता तुच्छ है।
- अगर ${\mathfrak {g}}$ एबेलियन है, अर्थात, $[{\mathfrak {g}},{\mathfrak {g}}]=0$ , फिर कोई रैखिक कार्यात्मक $D:{\mathfrak {g}}\rightarrow M$ वास्तव में एक व्युत्पत्ति है, और आंतरिक व्युत्पत्तियों का सेट तुच्छ है क्योंकि वे संतुष्ट करते हैं $Dx=xa=0$ किसी के लिए $a\in M$ . फिर इस मामले में पहला सह-समरूपता समूह है $M^{{\text{dim}}{\mathfrak {g}}}$ . डी-रैम पत्राचार के प्रकाश में, यह संक्षिप्त रूप धारणा के महत्व को दर्शाता है, क्योंकि यह पहला सह-समरूपता समूह है $n$ -टोरस को एबेलियन समूह के रूप में देखा जाता है, और $\mathbb {R} ^{n}$ इसे आयाम के एबेलियन समूह के रूप में भी देखा जा सकता है $n$ , लेकिन $\mathbb {R} ^{n}$ इसमें तुच्छ सह-समरूपता है।
दूसरा सह-समरूपता: दूसरा सह-समरूपता समूह लाई बीजगणित विस्तार#सेंट्रल के समतुल्य वर्गों का स्थान है

0\rightarrow {\mathfrak {h}}\rightarrow {\mathfrak {e}}\rightarrow {\mathfrak {g}}\rightarrow 0.

परिमित आयामी, सरल झूठ बीजगणित में केवल तुच्छ केंद्रीय विस्तार होते हैं: एक प्रमाण प्रदान किया जाता है झूठ बीजगणित विस्तार#प्रमेय।

सहायक मॉड्यूल पर सह-समरूपता

कब $M={\mathfrak {g}}$ , क्रिया सहायक क्रिया है, $x\cdot y=[x,y]={\text{ad}}(x)y$ .

ज़ीरोथ सह-समरूपता समूह केंद्र है ${\mathfrak {z}}({\mathfrak {g}})$
प्रथम सहसंगति: आंतरिक व्युत्पत्तियाँ द्वारा दी गई हैं $Dx=xy=[x,y]=-{\text{ad}}(y)x$ , तो वे बिल्कुल की छवि हैं ${\text{ad}}:{\mathfrak {g}}\rightarrow {\text{End}}({\mathfrak {g}}).$ पहला सह-समरूपता समूह एक लाई बीजगणित#व्युत्पन्नों के ऑटोमोर्फिज्म का स्थान है। के लिए ${\mathfrak {g}}$ परिमित-आयामी, यह तुच्छ है।

यह भी देखें

सैद्धांतिक भौतिकी में बीआरएसटी औपचारिकता।
गेलफैंड-फुक्स सह-समरूपता

संदर्भ

↑ Cartan, Élie (1929). "Sur les invariants intégraux de certains espaces homogènes clos". Annales de la Société Polonaise de Mathématique. 8: 181–225.
↑ Koszul, Jean-Louis (1950). "Homologie et cohomologie des algèbres de Lie". Bulletin de la Société Mathématique de France. 78: 65–127. doi:10.24033/bsmf.1410. Archived from the original on 2019-04-21. Retrieved 2019-05-03.
↑ Weibel, Charles A. (1994). समजात बीजगणित का परिचय. Cambridge University Press. p. 240.
↑ Baez, John C.; Crans, Alissa S. (2004). "Higher-dimensional algebra VI: Lie 2-algebras". Theory and Applications of Categories. 12: 492–528. arXiv:math/0307263. Bibcode:2003math......7263B. CiteSeerX 10.1.1.435.9259.

शेवेल्ली, क्लाउड; ईलेनबर्ग, शमूएल (1948), "झूठ समूहों और झूठ बीजगणित का सह-विज्ञान सिद्धांत", अमेरिकन गणितीय सोसायटी के लेनदेन, प्रोविडेंस, आर.आई.: अमेरिकन गणितीय सोसायटी, 63 (1): 85–124, doi:10.2307/1990637, ISSN 0002-9947, JSTOR 1990637, MR 0024908 {{citation}}: Invalid |doi-access=मुक्त (help)
हिल्टन, पीटर जे.; स्टैम्बाच, Urs (1997), समजात बीजगणित में एक पाठ्यक्रम, गणित में स्नातक पाठ, vol. 4 (2nd ed.), बर्लिन, न्यूयॉर्क: स्प्रिंगर-वेरलाग, ISBN 978-0-387-94823-2, MR 1438546
नैप, एंथोनी डब्ल्यू. (1988), झूठ समूह, झूठ बीजगणित, और सह-समरूपता, गणितीय नोट्स, vol. 34, प्रिंसटन यूनिवर्सिटी प्रेस, ISBN 978-0-691-08498-5, MR 0938524

बाहरी संबंध

सहसंगति विज्ञान का परिचय "लाई अलजेब्रा कोहॉमोलॉजी का परिचय". Scholarpedia. {{cite web}}: Check |url= value (help)

[1] Cartan, Élie (1929). "Sur les invariants intégraux de certains espaces homogènes clos". Annales de la Société Polonaise de Mathématique. 8: 181–225.

[2] Koszul, Jean-Louis (1950). "Homologie et cohomologie des algèbres de Lie". Bulletin de la Société Mathématique de France. 78: 65–127. doi:10.24033/bsmf.1410. Archived from the original on 2019-04-21. Retrieved 2019-05-03.

[3] Weibel, Charles A. (1994). समजात बीजगणित का परिचय. Cambridge University Press. p. 240.

[4] Baez, John C.; Crans, Alissa S. (2004). "Higher-dimensional algebra VI: Lie 2-algebras". Theory and Applications of Categories. 12: 492–528. arXiv:math/0307263. Bibcode:2003math......7263B. CiteSeerX 10.1.1.435.9259.

[1]

[2]

[3]

[4]

@@ Line 1: / Line 1: @@
 {{Short description|Cohomology theory for Lie algebras}}
-गणित में, ली अलजेब्रा [[ सह-समरूपता ]], लाई अलजेब्रा के लिए एक कोहोमोलॉजी सिद्धांत है। इसे पहली बार 1929 में एली कार्टन द्वारा लाई बीजगणित के गुणों के साथ [[गेर्जेस डी. रहम]] की कोहोमोलॉजिकल विधियों से संबंधित करके लाई समूहों और [[सजातीय स्थान]]ों की टोपोलॉजी का अध्ययन करने के लिए प्रस्तुत किया गया था।<ref>{{Cite journal|last=Cartan|first=Élie|author-link=Élie Cartan|date=1929|title=Sur les invariants intégraux de certains espaces homogènes clos|journal=Annales de la Société Polonaise de Mathématique |volume=8|pages=181–225}}</ref>  इसे बाद में {{harvs|पाठ फ़ाइल|last1=शेवेल्ली|first1=क्लाउड|last2=ईलेनबर्ग|first2=सैमुअल|author1-link=क्लाउड शेवेल्ली|author2-link=सैमुअल एलेनबर्ग|year=1948}}  द्वारा एक मनमाना [[झूठ बीजगणित प्रतिनिधित्व]] में गुणांक तक विस्तारित किया गया।<ref>{{Cite journal|last=Koszul|first=Jean-Louis|author-link=Jean-Louis Koszul|date=1950|title=Homologie et cohomologie des algèbres de Lie|url=http://www.numdam.org/item/BSMF_1950__78__65_0/|journal=[[Bulletin de la Société Mathématique de France]]|volume=78|pages=65–127|doi=10.24033/bsmf.1410|access-date=2019-05-03|archive-url=https://web.archive.org/web/20190421184326/http://www.numdam.org/item/BSMF_1950__78__65_0/|archive-date=2019-04-21|url-status=live|doi-access=free}}</ref>
+गणित में, ली अलजेब्रा [[ सह-समरूपता ]], लाई अलजेब्रा के लिए एक सह-समरूपता सिद्धांत है। इसे पहली बार 1929 में एली कार्टन द्वारा लाई बीजगणित के गुणों के साथ [[गेर्जेस डी. रहम]] की कोहोमोलॉजिकल विधियों से संबंधित करके लाई समूहों और [[सजातीय स्थान]]ों की टोपोलॉजी का अध्ययन करने के लिए प्रस्तुत किया गया था।<ref>{{Cite journal|last=Cartan|first=Élie|author-link=Élie Cartan|date=1929|title=Sur les invariants intégraux de certains espaces homogènes clos|journal=Annales de la Société Polonaise de Mathématique |volume=8|pages=181–225}}</ref>  इसे बाद में {{harvs|पाठ फ़ाइल|last1=शेवेल्ली|first1=क्लाउड|last2=ईलेनबर्ग|first2=सैमुअल|author1-link=क्लाउड शेवेल्ली|author2-link=सैमुअल एलेनबर्ग|year=1948}}  द्वारा एक मनमाना [[झूठ बीजगणित प्रतिनिधित्व]] में गुणांक तक विस्तारित किया गया।<ref>{{Cite journal|last=Koszul|first=Jean-Louis|author-link=Jean-Louis Koszul|date=1950|title=Homologie et cohomologie des algèbres de Lie|url=http://www.numdam.org/item/BSMF_1950__78__65_0/|journal=[[Bulletin de la Société Mathématique de France]]|volume=78|pages=65–127|doi=10.24033/bsmf.1410|access-date=2019-05-03|archive-url=https://web.archive.org/web/20190421184326/http://www.numdam.org/item/BSMF_1950__78__65_0/|archive-date=2019-04-21|url-status=live|doi-access=free}}</ref>
 ==प्रेरणा==
-अगर <math>G</math> एक कॉम्पैक्ट [[ बस जुड़ा हुआ स्थान ]] लाई समूह है, तो यह इसके लाई बीजगणित द्वारा निर्धारित होता है, इसलिए लाई बीजगणित से इसकी कोहोलॉजी की गणना करना संभव होना चाहिए। इसे इस प्रकार किया जा सकता है। इसकी सह-समरूपता [[विभेदक रूप]]ों के परिसर की डी राम सह-समरूपता है <math>G</math>. एक औसत प्रक्रिया का उपयोग करते हुए, इस कॉम्प्लेक्स को [[ समतुल्य विभेदक रूप ]]|लेफ्ट-इनवेरिएंट डिफरेंशियल फॉर्म के कॉम्प्लेक्स द्वारा प्रतिस्थापित किया जा सकता है। इस बीच, बाएं-अपरिवर्तनीय रूपों को पहचान पर उनके मूल्यों द्वारा निर्धारित किया जाता है, ताकि बाएं-अपरिवर्तनीय अंतर रूपों के स्थान को एक उपयुक्त अंतर के साथ, ली बीजगणित के [[बाहरी बीजगणित]] के साथ पहचाना जा सके।
+अगर <math>G</math> एक संक्षिप्त रूप [[ बस जुड़ा हुआ स्थान ]] लाई समूह है, तो यह इसके लाई बीजगणित द्वारा निर्धारित होता है, इसलिए लाई बीजगणित से इसकी सहसंबद्धता की गणना करना संभव होना चाहिए। इसे इस प्रकार किया जा सकता है। इसकी सह-समरूपता [[विभेदक रूप]]ों <math>G</math> के परिसर की डी राम सह-समरूपता है । एक औसत प्रक्रिया का उपयोग करते हुए, इस सम्मिश्र को [[ समतुल्य विभेदक रूप ]]|बाएं-अपरिवर्तनीय अंतर रूपों के सम्मिश्र द्वारा प्रतिस्थापित किया जा सकता है। इस बीच, बाएं-अपरिवर्तनीय रूपों को पहचान पर उनके मूल्यों द्वारा निर्धारित किया जाता है, ताकि बाएं-अपरिवर्तनीय अंतर रूपों के स्थान को एक उपयुक्त अंतर के साथ, ली बीजगणित के [[बाहरी बीजगणित]] के साथ पहचाना जा सके।
-बाहरी बीजगणित पर इस अंतर का निर्माण किसी भी लाई बीजगणित के लिए समझ में आता है, इसलिए इसका उपयोग सभी लाई बीजगणित के लिए लाई बीजगणित कोहोमोलॉजी को परिभाषित करने के लिए किया जाता है। अधिक आम तौर पर एक मॉड्यूल में गुणांक के साथ बीजगणित कोहोलॉजी को परिभाषित करने के लिए एक समान निर्माण का उपयोग किया जाता है।
+बाहरी बीजगणित पर इस अंतर का निर्माण किसी भी लाई बीजगणित के लिए समझ में आता है, इसलिए इसका उपयोग सभी लाई बीजगणित के लिए लाई बीजगणित सह-समरूपता को परिभाषित करने के लिए किया जाता है। अधिक प्रायः एक मॉड्यूल में गुणांक के साथ बीजगणित सहसंबद्धता को परिभाषित करने के लिए एक समान निर्माण का उपयोग किया जाता है।
-अगर <math>G</math> एक सरल रूप से जुड़ा हुआ नॉनकॉम्पैक्ट लाई समूह है, जो संबंधित लाई बीजगणित की लाई बीजगणित सहसंरचना है। <math>\mathfrak g</math> आवश्यक रूप से डी राम कोहोमोलॉजी को पुन: उत्पन्न नहीं करता है <math>G</math>. इसका कारण यह है कि सभी विभेदक रूपों के परिसर से वाम-अपरिवर्तनीय विभेदक रूपों के परिसर तक का मार्ग एक औसत प्रक्रिया का उपयोग करता है जो केवल कॉम्पैक्ट समूहों के लिए समझ में आता है।
+अगर <math>G</math> एक सरल रूप से जुड़ा हुआ गैरसंक्षिप्त रूप लाई समूह है, जो संबंधित लाई बीजगणित की लाई बीजगणित सहसंरचना है  <math>G</math><nowiki> {मैथफ्रैक {जी}} आवश्यक रूप से डी राम सह-समरूपता को पुन: उत्पन्न नहीं करता है  इसका कारण यह है कि सभी विभेदक रूपों के परिसर से वाम-अपरिवर्तनीय विभेदक रूपों के परिसर तक का मार्ग एक औसत प्रक्रिया का उपयोग करता है जो केवल संक्षिप्त रूप समूहों के लिए समझ में आता है।</nowiki>
 ==परिभाषा==
-होने देना <math>\mathfrak g</math> सार्वभौम आवरण बीजगणित के साथ एक झूठ बीजगणित#उदाहरण_2 आर बनें <math>U\mathfrak g</math>, और मान लीजिए कि M एक झूठ बीजगणित का प्रतिनिधित्व है <math>\mathfrak g</math> (समकक्ष, ए <math>U\mathfrak g</math>-मापांक)। आर को एक तुच्छ प्रतिनिधित्व के रूप में मानना <math>\mathfrak g</math>, एक कोहोमोलोजी समूहों को परिभाषित करता है
+मान लीजिए कि <math>\mathfrak g</math> सार्वभौम आवरण बीजगणित के साथ क्रमविनिमेय रिंग R पर एक झूठ बीजगणित है, M एक झूठ बीजगणित का प्रतिनिधित्व है <math>\mathfrak g</math> (समकक्ष, ए <math>U\mathfrak g</math>-मापांक)। आर को एक तुच्छ प्रतिनिधित्व के रूप में मानना <math>\mathfrak g</math>, #उदाहरण_2 आर बनें <math>U\mathfrak g</math>, एक सह-समरूपता समूहों को परिभाषित किया गया है
 :<math>\mathrm{H}^n(\mathfrak{g}; M) := \mathrm{Ext}^n_{U\mathfrak{g}}(R, M)</math>
@@ Line 21: / Line 21: @@
 ::::::::::::::::::::<math> M \mapsto M_{\mathfrak{g}} := M / \mathfrak{g} M.</math>
-लाई बीजगणित के सह-समरूपता के बारे में कुछ महत्वपूर्ण बुनियादी परिणामों में व्हाइटहेड का लेम्मा (लाई बीजगणित)|व्हाइटहेड का लेम्मा, पूर्ण रिड्यूसिबिलिटी पर वेइल का प्रमेय|वेइल का प्रमेय और [[लेवी अपघटन]] प्रमेय शामिल हैं।
+लाई बीजगणित के सह-समरूपता के बारे में कुछ महत्वपूर्ण बुनियादी परिणामों में व्हाइटहेड का लेम्मा (लाई बीजगणित)|व्हाइटहेड का लेम्मा, पूर्ण रिड्यूसिबिलिटी पर वेइल का प्रमेय|वेइल का प्रमेय और [[लेवी अपघटन]] प्रमेय सम्मिलित हैं।
-==चेवेल्ली-ईलेनबर्ग कॉम्प्लेक्स==
+==चेवेल्ली-ईलेनबर्ग सम्मिश्र==
-होने देना <math>\mathfrak{g}</math> एक क्षेत्र पर एक झूठ बीजगणित बनें <math>k</math>, पर बाईं ओर की कार्रवाई के साथ <math>\mathfrak{g}</math>-मापांक <math>M</math>. शेवेल्ली-ईलेनबर्ग परिसर के तत्व
+मान लीजिये <math>\mathfrak{g}</math> एक क्षेत्र पर एक झूठ बीजगणित बनें <math>k</math>,  बाईं ओर की कार्रवाई के साथ <math>\mathfrak{g}</math>-मापांक <math>M</math> पर, शेवेल्ली-ईलेनबर्ग परिसर के तत्व
 : <math>\mathrm{Hom}_k(\Lambda^\bullet\mathfrak{g},M)</math>
-से कोचेन कहलाते हैं <math>\mathfrak{g}</math> को <math>M</math>. एक सजातीय <math>n</math>-कोचेन से <math>\mathfrak{g}</math> को <math>M</math> इस प्रकार यह एक पर्याय है <math>k</math>-बहुरेखीय कार्य <math>f\colon\Lambda^n\mathfrak{g}\to M</math>. कब <math>\mathfrak{g}</math> वेक्टर स्पेस के रूप में अंतिम रूप से उत्पन्न होता है, शेवेल्ली-ईलेनबर्ग कॉम्प्लेक्स टेन्सर उत्पाद के लिए कैनोनिक रूप से आइसोमोर्फिक है <math>M \otimes \Lambda^{\bullet}\mathfrak{g}^*</math>, कहाँ <math>\mathfrak{g}^*</math>के दोहरे सदिश समष्टि को दर्शाता है <math>\mathfrak{g}</math>.
+से कोचेन कहलाते हैं <math>\mathfrak{g}</math> को <math>M</math>. एक सजातीय <math>n</math>-कोचेन से <math>\mathfrak{g}</math> को <math>M</math> इस प्रकार यह एक पर्याय है <math>k</math>-बहुरेखीय कार्य <math>f\colon\Lambda^n\mathfrak{g}\to M</math>. जब <math>\mathfrak{g}</math> वेक्टर स्पेस के रूप में अंतिम रूप से उत्पन्न होता है, शेवेल्ली-ईलेनबर्ग सम्मिश्र टेन्सर उत्पाद के लिए कैनोनिक रूप से आइसोमोर्फिक है <math>M \otimes \Lambda^{\bullet}\mathfrak{g}^*</math>, जहाँ <math>\mathfrak{g}^*</math>के दोहरे सदिश समष्टि को दर्शाता है <math>\mathfrak{g}</math>.
-झूठ ब्रैकेट <math>[\cdot,\cdot]\colon \Lambda^2 \mathfrak{g} \rightarrow \mathfrak{g}</math> पर <math>\mathfrak{g}</math> एक रेखीय मानचित्र अनुप्रयोग के स्थानांतरण को प्रेरित करता है <math>d^{(1)}_{\mathfrak{g}} \colon \mathfrak{g}^* \rightarrow \Lambda^2 \mathfrak{g}^*</math> द्वंद्व से. उत्तरार्द्ध व्युत्पत्ति को परिभाषित करने के लिए पर्याप्त है <math>d_{\mathfrak{g}}</math> कोचेन के परिसर से <math>\mathfrak{g}</math> को <math>k</math> विस्तार करके <math>d_{\mathfrak{g}}^{(1)}</math>श्रेणीबद्ध लीबनिज़ नियम के अनुसार। यह जैकोबी पहचान से चलता है <math>d_{\mathfrak{g}}</math> संतुष्ट <math>d_{\mathfrak{g}}^2 = 0</math> और वास्तव में यह एक अंतर है। इस सेटिंग में, <math>k</math> एक तुच्छ चीज़ के रूप में देखा जाता है <math>\mathfrak{g}</math>-मॉड्यूल जबकि <math>k \sim \Lambda^0\mathfrak{g}^* \subseteq \mathrm{Ker}(d_{\mathfrak{g}})</math> स्थिरांक के रूप में सोचा जा सकता है।
+झूठ ब्रैकेट <math>[\cdot,\cdot]\colon \Lambda^2 \mathfrak{g} \rightarrow \mathfrak{g}</math> पर, <math>\mathfrak{g}</math> एक रेखीय मानचित्र अनुप्रयोग के स्थानांतरण को प्रेरित करता है <math>d^{(1)}_{\mathfrak{g}} \colon \mathfrak{g}^* \rightarrow \Lambda^2 \mathfrak{g}^*</math> द्वंद्व से. उत्तरार्द्ध व्युत्पत्ति को परिभाषित करने के लिए पर्याप्त है <math>d_{\mathfrak{g}}</math> कोचेन के परिसर से <math>\mathfrak{g}</math> को <math>k</math> विस्तार करके <math>d_{\mathfrak{g}}^{(1)}</math>श्रेणीबद्ध लीबनिज़ नियम के अनुसार। यह जैकोबी पहचान से चलता है <math>d_{\mathfrak{g}}</math> संतुष्ट <math>d_{\mathfrak{g}}^2 = 0</math> और वास्तव में यह एक अंतर है। इस सेटिंग में, <math>k</math> एक तुच्छ चीज़ के रूप में देखा जाता है <math>\mathfrak{g}</math>-मॉड्यूल जबकि <math>k \sim \Lambda^0\mathfrak{g}^* \subseteq \mathrm{Ker}(d_{\mathfrak{g}})</math> स्थिरांक के रूप में सोचा जा सकता है।
-सामान्य तौर पर, चलो <math>\gamma \in \mathrm{Hom}(\mathfrak{g}, \mathrm{End}(M))</math> की बायीं क्रिया को निरूपित करें  <math>\mathfrak{g}</math> पर <math>M</math> और इसे एक एप्लिकेशन के रूप में मानें <math>d_\gamma^{(0)} \colon M \rightarrow M \otimes \mathfrak{g}^*</math>. शेवेल्ली-ईलेनबर्ग अंतर <math>d</math> तब अद्वितीय व्युत्पत्ति का विस्तार होता है <math>d_\gamma^{(0)}</math> और <math>d_{\mathfrak{g}}^{(1)}</math> [[विभेदक श्रेणीबद्ध बीजगणित]] के अनुसार, निलपोटेंसी स्थिति <math>d^2 = 0</math> ली बीजगणित समरूपता से निम्नलिखित <math>\mathfrak{g}</math> को <math>\mathrm{End}(M)</math> और [[जैकोबी पहचान]] में <math>\mathfrak{g}</math>.
+सामान्य तौर पर, मान लीजिये<math>\gamma \in \mathrm{Hom}(\mathfrak{g}, \mathrm{End}(M))</math> की बायीं क्रिया को निरूपित करें,  <math>\mathfrak{g}</math> पर <math>M</math> और इसे एक एप्लिकेशन के रूप में मानें <math>d_\gamma^{(0)} \colon M \rightarrow M \otimes \mathfrak{g}^*</math>. शेवेल्ली-ईलेनबर्ग अंतर <math>d</math> तब अद्वितीय व्युत्पत्ति का विस्तार होता है <math>d_\gamma^{(0)}</math> और <math>d_{\mathfrak{g}}^{(1)}</math> [[विभेदक श्रेणीबद्ध बीजगणित]] के अनुसार, निलपोटेंसी स्थिति <math>d^2 = 0</math> ली बीजगणित समरूपता से निम्नलिखित <math>\mathfrak{g}</math> को <math>\mathrm{End}(M)</math> और [[जैकोबी पहचान]] में <math>\mathfrak{g}</math>.
 स्पष्ट रूप से, का अंतर <math>n</math>-कोचेन <math>f</math> है <math>(n+1)</math>-कोचेन <math>df</math> द्वारा दिए गए:<ref>{{cite book|title=समजात बीजगणित का परिचय|last1=Weibel|first1=Charles A.|author-link=Charles Weibel|date=1994|publisher=[[Cambridge University Press]]|page=240}}</ref>
-<math>\begin{align}
-  (d f)\left(x_1, \ldots, x_{n+1}\right) =
-    &\sum_i     (-1)^{i+1}x_i\, f\left(x_1, \ldots, \hat x_i, \ldots, x_{n+1}\right) + \\
-    &\sum_{i<j} (-1)^{i+j}      f\left(\left[x_i, x_j\right], x_1, \ldots, \hat x_i, \ldots, \hat x_j, \ldots, x_{n+1}\right)\, ,
-\end{align}</math>
 जहां कैरेट उस तर्क को छोड़ने का संकेत देता है।
-कब <math>G</math> लाई बीजगणित के साथ एक वास्तविक लाई समूह है <math>\mathfrak{g}</math>, शेवेल्ली-ईलेनबर्ग कॉम्प्लेक्स को मूल्यों के साथ बाएं-अपरिवर्तनीय रूपों के स्थान के साथ कैनोनिक रूप से भी पहचाना जा सकता है <math>M</math>, द्वारा चिह्नित <math>\Omega^{\bullet}(G,M)^G</math>. शेवेल्ली-ईलेनबर्ग अंतर को तब तुच्छ [[फाइबर बंडल]] पर सहसंयोजक व्युत्पन्न के प्रतिबंध के रूप में माना जा सकता है <math>G \times M \rightarrow G</math>, समतुल्य [[कनेक्शन (गणित)]] से सुसज्जित <math>\tilde{\gamma} \in \Omega^1(G,\mathrm{End}(M))</math> वाम क्रिया से सम्बंधित <math>\gamma \in \mathrm{Hom}(\mathfrak{g}, \mathrm{End}(M))</math> का <math>\mathfrak{g}</math> पर <math>M</math>. विशेष मामले में जहां <math>M = k = \mathbb{R}</math> की तुच्छ क्रिया से सुसज्जित है <math>\mathfrak{g}</math>, शेवेल्ली-एलेनबर्ग अंतर डी राम कोहोमोलॉजी के प्रतिबंध के साथ मेल खाता है <math>\Omega^{\bullet}(G)</math> वाम-अपरिवर्तनीय अंतर रूपों के उपस्थान के लिए।
+जब <math>G</math> लाई बीजगणित के साथ एक वास्तविक लाई समूह है <math>\mathfrak{g}</math>, शेवेल्ली-ईलेनबर्ग सम्मिश्र को मूल्यों के साथ बाएं-अपरिवर्तनीय रूपों के स्थान के साथ कैनोनिक रूप से भी पहचाना जा सकता है <math>M</math>, द्वारा चिह्नित <math>\Omega^{\bullet}(G,M)^G</math>. शेवेल्ली-ईलेनबर्ग अंतर को तब तुच्छ [[फाइबर बंडल]] पर सहसंयोजक व्युत्पन्न के प्रतिबंध के रूप में माना जा सकता है <math>G \times M \rightarrow G</math>, समतुल्य [[कनेक्शन (गणित)]] से सुसज्जित <math>\tilde{\gamma} \in \Omega^1(G,\mathrm{End}(M))</math> वाम क्रिया से सम्बंधित <math>\gamma \in \mathrm{Hom}(\mathfrak{g}, \mathrm{End}(M))</math> का <math>\mathfrak{g}</math> पर <math>M</math>. विशेष मामले में जहां <math>M = k = \mathbb{R}</math> की तुच्छ क्रिया से सुसज्जित है <math>\mathfrak{g}</math>, शेवेल्ली-एलेनबर्ग अंतर डी राम सह-समरूपता के प्रतिबंध के साथ मेल खाता है <math>\Omega^{\bullet}(G)</math> वाम-अपरिवर्तनीय अंतर रूपों के उपस्थान के लिए।
 ==छोटे आयामों में सह-समरूपता==
-ज़ीरोथ कोहोमोलॉजी समूह (परिभाषा के अनुसार) मॉड्यूल पर कार्य करने वाले लाई बीजगणित के अपरिवर्तनीय हैं:
+ज़ीरोथ सह-समरूपता समूह (परिभाषा के अनुसार) मॉड्यूल पर कार्य करने वाले लाई बीजगणित के अपरिवर्तनीय हैं:
 :<math>H^0(\mathfrak{g}; M) =M^{\mathfrak{g}} = \{ m \in M \mid xm = 0\ \text{ for all } x \in \mathfrak{g}\}.</math>
-पहला कोहोमोलोजी समूह अंतरिक्ष है {{math|Der}} व्युत्पत्तियों का मॉड्यूलो स्थान {{math|Ider}}आंतरिक व्युत्पत्तियों का
+पहला सह-समरूपता समूह अंतरिक्ष है {{math|Der}} व्युत्पत्तियों का मॉड्यूलो स्थान {{math|Ider}}आंतरिक व्युत्पत्तियों का
 :<math>H^1(\mathfrak{g}; M) = \mathrm{Der}(\mathfrak{g}, M)/\mathrm{Ider} (\mathfrak{g}, M)\, </math>,
 जहाँ व्युत्पत्ति एक मानचित्र है <math>d</math> लाई बीजगणित से लेकर <math>M</math> ऐसा है कि
@@ Line 55: / Line 50: @@
 कुछ के लिए <math>a</math> में <math>M</math>.
-दूसरा कोहोमोलोजी समूह
+दूसरा सह-समरूपता समूह
 :<math>H^2(\mathfrak{g}; M)</math>
 ली बीजगणित विस्तार के तुल्यता वर्गों का स्थान है
@@ Line 61: / Line 56: @@
 मॉड्यूल द्वारा झूठ बीजगणित का <math>M</math>.
-इसी प्रकार, कोहोमोलोजी समूह का कोई भी तत्व <math>H^{n+1}(\mathfrak{g}; M)</math> लाई बीजगणित का विस्तार करने के तरीकों का एक तुल्यता वर्ग देता है <math>\mathfrak{g}</math> एक झूठ के लिए <math>n</math>-बीजगणित के साथ <math>\mathfrak{g}</math> ग्रेड शून्य में और <math>M</math> ग्रेड में <math>n</math>.<ref>{{Cite journal|last1=Baez|first1=John C.|last2=Crans|first2=Alissa S.|author-link1=John C. Baez|date=2004|title=Higher-dimensional algebra VI: Lie 2-algebras |journal=Theory and Applications of Categories|volume=12|pages=492–528 |arxiv=math/0307263 |citeseerx=10.1.1.435.9259 |bibcode=2003math......7263B }}</ref> एक झूठ <math>n</math>-बीजगणित एक [[समरूप झूठ बीजगणित]] है जिसमें गैर-शून्य पद केवल 0 से डिग्री तक होते हैं <math>n</math>.
+इसी प्रकार, सह-समरूपता समूह का कोई भी तत्व <math>H^{n+1}(\mathfrak{g}; M)</math> लाई बीजगणित का विस्तार करने के तरीकों का एक तुल्यता वर्ग देता है <math>\mathfrak{g}</math> एक झूठ के लिए <math>n</math>-बीजगणित के साथ <math>\mathfrak{g}</math> ग्रेड शून्य में और <math>M</math> ग्रेड में <math>n</math>.<ref>{{Cite journal|last1=Baez|first1=John C.|last2=Crans|first2=Alissa S.|author-link1=John C. Baez|date=2004|title=Higher-dimensional algebra VI: Lie 2-algebras |journal=Theory and Applications of Categories|volume=12|pages=492–528 |arxiv=math/0307263 |citeseerx=10.1.1.435.9259 |bibcode=2003math......7263B }}</ref> एक झूठ <math>n</math>-बीजगणित एक [[समरूप झूठ बीजगणित]] है जिसमें गैर-शून्य पद केवल 0 से डिग्री तक होते हैं <math>n</math>.
 ==उदाहरण==
-=== तुच्छ मॉड्यूल पर कोहोलॉजी ===
+=== तुच्छ मॉड्यूल पर सहसंबद्धता ===
-कब <math>M = \mathbb{R}</math>, जैसा कि पहले उल्लेख किया गया है, शेवेल्ली-ईलेनबर्ग कॉम्प्लेक्स संबंधित कॉम्पैक्ट लाई समूह के लिए डी-रैम कॉम्प्लेक्स के साथ मेल खाता है। इस मामले में <math>M</math> की तुच्छ कार्यवाही करता है <math>\mathfrak{g}</math>, इसलिए <math>xa = 0</math> हरएक के लिए <math>x \in \mathfrak{g}, a \in M</math>.
+जब <math>M = \mathbb{R}</math>, जैसा कि पहले उल्लेख किया गया है, शेवेल्ली-ईलेनबर्ग सम्मिश्र संबंधित संक्षिप्त रूप लाई समूह के लिए डी-रैम सम्मिश्र के साथ मेल खाता है। इस मामले में <math>M</math> की तुच्छ कार्यवाही करता है <math>\mathfrak{g}</math>, इसलिए <math>xa = 0</math> हरएक के लिए <math>x \in \mathfrak{g}, a \in M</math>.
-* जीरोथ कोहोमोलोजी समूह है <math>M</math>.
+* जीरोथ सह-समरूपता समूह है <math>M</math>.
 * प्रथम सहसंरचना: एक व्युत्पत्ति दी गई <math>D</math>, <math>xdy = 0</math> सभी के लिए <math>x</math> और <math>y</math>, इसलिए व्युत्पत्तियाँ संतुष्ट करती हैं <math>D([x,y]) = 0</math> सभी कम्यूटेटरों के लिए, इसलिए आदर्श <math>[\mathfrak{g}, \mathfrak{g}]</math> के कर्नेल में समाहित है <math>D</math>.
 **अगर <math>[\mathfrak{g}, \mathfrak{g}] = \mathfrak{g}</math>, जैसा कि साधारण लाई बीजगणित के मामले में होता है <math>D \equiv 0</math>, इसलिए व्युत्पत्तियों का स्थान तुच्छ है, इसलिए पहला सहसंबद्धता तुच्छ है।
-**अगर <math>\mathfrak{g}</math> एबेलियन है, अर्थात, <math>[\mathfrak{g}, \mathfrak{g}] = 0</math>, फिर कोई रैखिक कार्यात्मक <math>D: \mathfrak{g} \rightarrow M</math> वास्तव में एक व्युत्पत्ति है, और आंतरिक व्युत्पत्तियों का सेट तुच्छ है क्योंकि वे संतुष्ट करते हैं <math>Dx = xa = 0</math> किसी के लिए <math>a \in M</math>. फिर इस मामले में पहला कोहोमोलॉजी समूह है <math>M^{\text{dim}\mathfrak{g}}</math>. डी-रैम पत्राचार के प्रकाश में, यह कॉम्पैक्ट धारणा के महत्व को दर्शाता है, क्योंकि यह पहला कोहोमोलॉजी समूह है <math>n</math>-टोरस को एबेलियन समूह के रूप में देखा जाता है, और <math>\mathbb{R}^n</math> इसे आयाम के एबेलियन समूह के रूप में भी देखा जा सकता है <math>n</math>, लेकिन <math>\mathbb{R}^n</math> इसमें तुच्छ कोहोमोलोजी है।
+**अगर <math>\mathfrak{g}</math> एबेलियन है, अर्थात, <math>[\mathfrak{g}, \mathfrak{g}] = 0</math>, फिर कोई रैखिक कार्यात्मक <math>D: \mathfrak{g} \rightarrow M</math> वास्तव में एक व्युत्पत्ति है, और आंतरिक व्युत्पत्तियों का सेट तुच्छ है क्योंकि वे संतुष्ट करते हैं <math>Dx = xa = 0</math> किसी के लिए <math>a \in M</math>. फिर इस मामले में पहला सह-समरूपता समूह है <math>M^{\text{dim}\mathfrak{g}}</math>. डी-रैम पत्राचार के प्रकाश में, यह संक्षिप्त रूप धारणा के महत्व को दर्शाता है, क्योंकि यह पहला सह-समरूपता समूह है <math>n</math>-टोरस को एबेलियन समूह के रूप में देखा जाता है, और <math>\mathbb{R}^n</math> इसे आयाम के एबेलियन समूह के रूप में भी देखा जा सकता है <math>n</math>, लेकिन <math>\mathbb{R}^n</math> इसमें तुच्छ सह-समरूपता है।
-* दूसरा कोहोमोलॉजी: दूसरा कोहोमोलॉजी समूह लाई बीजगणित विस्तार#सेंट्रल के समतुल्य वर्गों का स्थान है
+* दूसरा सह-समरूपता: दूसरा सह-समरूपता समूह लाई बीजगणित विस्तार#सेंट्रल के समतुल्य वर्गों का स्थान है
 <math display=block>0 \rightarrow \mathfrak{h} \rightarrow \mathfrak{e} \rightarrow \mathfrak{g} \rightarrow 0.</math>
 परिमित आयामी, सरल झूठ बीजगणित में केवल तुच्छ केंद्रीय विस्तार होते हैं: एक प्रमाण प्रदान किया जाता है झूठ बीजगणित विस्तार#प्रमेय।
@@ Line 79: / Line 74: @@
 कब <math>M = \mathfrak{g}</math>, क्रिया सहायक क्रिया है, <math>x\cdot y = [x,y] = \text{ad}(x)y</math>.
-* ज़ीरोथ कोहोमोलॉजी समूह केंद्र है <math>\mathfrak{z}(\mathfrak{g})</math>
+* ज़ीरोथ सह-समरूपता समूह केंद्र है <math>\mathfrak{z}(\mathfrak{g})</math>
-* प्रथम सहसंगति: आंतरिक व्युत्पत्तियाँ द्वारा दी गई हैं <math>Dx = xy = [x,y] = -\text{ad}(y)x</math>, तो वे बिल्कुल की छवि हैं <math>\text{ad}: \mathfrak{g} \rightarrow \text{End}(\mathfrak{g}).</math> पहला कोहोमोलॉजी समूह एक लाई बीजगणित#व्युत्पन्नों के ऑटोमोर्फिज्म का स्थान है। के लिए <math>\mathfrak{g}</math> परिमित-आयामी, यह तुच्छ है।
+* प्रथम सहसंगति: आंतरिक व्युत्पत्तियाँ द्वारा दी गई हैं <math>Dx = xy = [x,y] = -\text{ad}(y)x</math>, तो वे बिल्कुल की छवि हैं <math>\text{ad}: \mathfrak{g} \rightarrow \text{End}(\mathfrak{g}).</math> पहला सह-समरूपता समूह एक लाई बीजगणित#व्युत्पन्नों के ऑटोमोर्फिज्म का स्थान है। के लिए <math>\mathfrak{g}</math> परिमित-आयामी, यह तुच्छ है।
 ==यह भी देखें==
 * सैद्धांतिक भौतिकी में [[बीआरएसटी औपचारिकता]]।
-* गेलफैंड-फुक्स कोहोमोलॉजी
+* गेलफैंड-फुक्स सह-समरूपता
 ==संदर्भ==
 {{reflist}}
 {{refbegin}}
-*{{Citation | last1=Chevalley | first1=Claude | author1-link=Claude Chevalley | last2=Eilenberg | first2=Samuel | author2-link=Samuel Eilenberg | title=Cohomology theory of Lie groups and Lie algebras | jstor=1990637 | publisher=[[American Mathematical Society]] | location=Providence, R.I. | mr=0024908 | year=1948 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=63 | issue=1 | pages=85–124 | doi=10.2307/1990637| doi-access=free }}
+*{{Citation | last1=शेवेल्ली | first1=क्लाउड | author1-link=क्लाउड शेवेल्ली | last2=ईलेनबर्ग | first2=शमूएल | author2-link=सैमुअल एलेनबर्ग | title=झूठ समूहों और झूठ बीजगणित का सह-विज्ञान सिद्धांत | jstor=1990637 | publisher=[[अमेरिकन गणितीय सोसायटी]] | location=प्रोविडेंस, आर.आई. | mr=0024908 | year=1948 | journal=[[अमेरिकन गणितीय सोसायटी के लेनदेन]] | issn=0002-9947 | volume=63 | issue=1 | pages=85–124 | doi=10.2307/1990637| doi-access=मुक्त }}
-*{{Citation | last1=Hilton | first1=Peter J. | author-link1=Peter Hilton | last2=Stammbach | first2=Urs | title=A course in homological algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | series=Graduate Texts in Mathematics | isbn=978-0-387-94823-2 | mr=1438546 | year=1997 | volume=4}}
+*{{Citation | last1=हिल्टन | first1=पीटर जे. | author-link1=पीटर हिल्टन | last2=स्टैम्बाच | first2=Urs | title=समजात बीजगणित में एक पाठ्यक्रम | publisher=[[स्प्रिंगर-वेरलाग]] | location=बर्लिन, न्यूयॉर्क | edition=2nd | series=गणित में स्नातक पाठ | isbn=978-0-387-94823-2 | mr=1438546 | year=1997 | volume=4}}
-*{{Citation | last1=Knapp | first1=Anthony W. | author-link1=Anthony W. Knapp | title=Lie groups, Lie algebras, and cohomology | publisher=[[Princeton University Press]] | series=Mathematical Notes | isbn=978-0-691-08498-5 | mr=938524 | year=1988 | volume=34}}
+*{{Citation | last1=नैप | first1=एंथोनी डब्ल्यू. | author-link1=एंथोनी डब्ल्यू कन्नप | title=झूठ समूह, झूठ बीजगणित, और सह-समरूपता | publisher=[[प्रिंसटन यूनिवर्सिटी प्रेस]] | series=गणितीय नोट्स | isbn=978-0-691-08498-5 | mr=938524 | year=1988 | volume=34}}
 {{refend}}
 ==बाहरी संबंध==
-* {{scholarpedia|title=An introduction to Lie algebra cohomology|urlname=An_introduction_to_Lie_algebra_cohomology}}
+* {{scholarpedia|title=लाई अलजेब्रा कोहॉमोलॉजी का परिचय|urlname=बीजगणित सहसंगति विज्ञान का परिचय}}
 [[Category: सहसंगति सिद्धांत]] [[Category: सजातीय बीजगणित]] [[Category: झूठ बीजगणित]]

Anonymous

Search

ली बीजगणित सह-समरूपता: Difference between revisions

Namespaces

More

Page actions

Revision as of 11:53, 14 July 2023

Contents

प्रेरणा

परिभाषा

चेवेल्ली-ईलेनबर्ग सम्मिश्र

छोटे आयामों में सह-समरूपता

उदाहरण

तुच्छ मॉड्यूल पर सहसंबद्धता

सहायक मॉड्यूल पर सह-समरूपता

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

ली बीजगणित सह-समरूपता: Difference between revisions

Revision as of 11:53, 14 July 2023

प्रेरणा

परिभाषा

चेवेल्ली-ईलेनबर्ग सम्मिश्र

छोटे आयामों में सह-समरूपता

उदाहरण

तुच्छ मॉड्यूल पर सहसंबद्धता

सहायक मॉड्यूल पर सह-समरूपता

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories