कार्टन उप बीजगणित: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
गणित में मुख्य रूप से '''कार्टन [[subalgebra|उप बीजगणित]]''', जिसे अधिकांशतः सीएसए के रूप में संक्षिप्त किया जाता है, [[निलपोटेंट ले बीजगणित]] <math>\mathfrak{h}</math> उप बीजगणित है जिसके लिए  [[झूठ बीजगणित|असत्य बीजगणित]] का <math>\mathfrak{g}</math> यह [[स्व-सामान्यीकरण]] है (यदि <math>[X,Y] \in \mathfrak{h}</math> सभी के लिए <math>X \in \mathfrak{h}</math>, तब <math>Y \in \mathfrak{h}</math>). उन्हें एली कार्टन ने अपने डॉक्टरेट थीसिस में प्रस्तुत किया था। इस प्रकार यह अर्धसरल लाई बीजगणित के प्रतिनिधित्व सिद्धांत को नियंत्रित करता है। इस कारण अर्ध-सरल लाई बीजगणित का प्रतिनिधित्व सिद्धांत <math>\mathfrak{g}</math> विशेषता के क्षेत्र पर <math> 0 </math> मान प्रदर्शित करता हैं।


गणित में, एक कार्टन [[subalgebra]], जिसे अक्सर सीएसए के रूप में संक्षिप्त किया जाता है, एक [[निलपोटेंट ले बीजगणित]] सबलजेब्रा है <math>\mathfrak{h}</math> एक [[झूठ बीजगणित]] का <math>\mathfrak{g}</math> यह [[स्व-सामान्यीकरण]] है (यदि <math>[X,Y] \in \mathfrak{h}</math> सभी के लिए <math>X \in \mathfrak{h}</math>, तब <math>Y \in \mathfrak{h}</math>). उन्हें एली कार्टन ने अपने डॉक्टरेट थीसिस में पेश किया था। यह अर्धसरल लाई बीजगणित के प्रतिनिधित्व सिद्धांत को नियंत्रित करता है | अर्ध-सरल लाई बीजगणित का प्रतिनिधित्व सिद्धांत <math>\mathfrak{g}</math> विशेषता के एक क्षेत्र पर <math> 0 </math>.
इस कारण परिमित विम का अर्ध साधारणतयः बीजगणित को अभिलाक्षणिक शून्य के बीजगणितीय रूप से बंद क्षेत्र पर ले जाता हैं (उदाहरण के लिए, {{nowrap|<math>\mathbb{C}</math>),}} कार्टन उप बीजगणित अधिकतम एबेलियन उप बीजगणित के समान है जिसमें तत्व x होते हैं जैसे कि [[आसन्न एंडोमोर्फिज्म]] <math>\operatorname{ad}(x) : \mathfrak{g} \to \mathfrak{g}</math> [[अर्धसरल ऑपरेटर]] है, अर्ताथ, विकर्ण आव्यूह इसका मुख्य उदाहरण हैं। इस प्रकार कभी-कभी इस लक्षण वर्णन को कार्टन उप बीजगणित की परिभाषा के रूप में लिया जाता है।<ref name=":0">{{Cite book|last=Hotta, R. (Ryoshi)|url=https://www.worldcat.org/oclc/316693861|title=डी-मॉड्यूल, विकृत ढेर, और प्रतिनिधित्व सिद्धांत|date=2008|publisher=Birkhäuser|others=Takeuchi, Kiyoshi, 1967-, Tanisaki, Toshiyuki, 1955-|isbn=978-0-8176-4363-8|edition=English|location=Boston|oclc=316693861}}</ref><sup>पृष्ठ 231</sup>
 
एक परिमित-विम अर्ध-सरल में बीजगणित को अभिलाक्षणिक शून्य के बीजगणितीय रूप से बंद क्षेत्र पर ले जाइए (उदाहरण के लिए, {{nowrap|<math>\mathbb{C}</math>),}} एक कार्टन सबलजेब्रा एक अधिकतम एबेलियन सबलजेब्रा के समान है जिसमें तत्व x होते हैं जैसे कि [[आसन्न एंडोमोर्फिज्म]] <math>\operatorname{ad}(x) : \mathfrak{g} \to \mathfrak{g}</math> [[अर्धसरल ऑपरेटर]] है (यानी, विकर्ण मैट्रिक्स)। कभी-कभी इस लक्षण वर्णन को कार्टन सबलजेब्रा की परिभाषा के रूप में लिया जाता है।<ref name=":0">{{Cite book|last=Hotta, R. (Ryoshi)|url=https://www.worldcat.org/oclc/316693861|title=डी-मॉड्यूल, विकृत ढेर, और प्रतिनिधित्व सिद्धांत|date=2008|publisher=Birkhäuser|others=Takeuchi, Kiyoshi, 1967-, Tanisaki, Toshiyuki, 1955-|isbn=978-0-8176-4363-8|edition=English|location=Boston|oclc=316693861}}</ref><sup>पृष्ठ 231</sup>
 
सामान्य तौर पर, एक सबलजेब्रा को टॉरल सबलजेब्रा कहा जाता है, अगर इसमें सेमीसिंपल तत्व होते हैं। एक बीजगणितीय रूप से बंद क्षेत्र पर, एक [[toral subalgebra]] स्वचालित रूप से अबेलियन है। इस प्रकार, विशेषता शून्य के एक बीजगणितीय रूप से बंद क्षेत्र पर, एक कार्टन सबलजेब्रा को अधिकतम टॉरल सबलजेब्रा के रूप में भी परिभाषित किया जा सकता है।
 
केएसी-मूडी बीजगणित और सामान्यीकृत केसी-मूडी बीजगणित में भी उप-विषम होते हैं जो अर्ध-सरल ले बीजगणित (विशेषता शून्य के क्षेत्र में) के कार्टन उप-लजेब्रस के समान भूमिका निभाते हैं।<!-- But those are not called Cartan subalgebras at least in V. Kac, Infinite-dimensional Lie algebras. -->


सामान्यतः उप बीजगणित को टॉरल उप बीजगणित कहा जाता है, यदि इसमें सेमीसिंपल तत्व होते हैं। बीजगणितीय रूप से बंद क्षेत्र पर, [[toral subalgebra|टोरल उप बीजगणित]] स्वचालित रूप से अबेलियन है। इस प्रकार, विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर, कार्टन उप बीजगणित को अधिकतम टॉरल उप बीजगणित के रूप में भी परिभाषित किया जा सकता है।


केएसी-मूडी बीजगणित और सामान्यीकृत केसी-मूडी बीजगणित में भी उप-विषम होते हैं जो अर्ध-सरल ले बीजगणित (विशेषता शून्य के क्षेत्र में) के कार्टन उप-लजेब्रस के समान भूमिका निभाते हैं।
== अस्तित्व और विशिष्टता ==
== अस्तित्व और विशिष्टता ==
जब भी आधार [[क्षेत्र (गणित)]] अनंत होता है, कार्टन सबलजेब्रस परिमित-आयामी लाई बीजगणित के लिए मौजूद होते हैं। कार्टन सबलजेब्रा बनाने का एक तरीका लाइ बीजगणित#ए कार्टन सबलजेब्रा के एक नियमित तत्व और एक नियमित तत्व के माध्यम से है। एक परिमित क्षेत्र में, अस्तित्व का प्रश्न अभी भी खुला है।{{fact|date=January 2020}}
जब भी आधार [[क्षेत्र (गणित)]] अनंत होता है, कार्टन उप बीजगणित परिमित-आयामी लाई बीजगणित के लिए सम्मिलित होते हैं। इस प्रकार कार्टन उप बीजगणित बनाने की विधि लाइ बीजगणित ए कार्टन उप बीजगणित के नियमित तत्व और नियमित तत्व के माध्यम से है। इस प्रकार परिमित क्षेत्र में अस्तित्व का प्रश्न अभी भी खुला है।


एक परिमित-विम अर्धसरल झूठ बीजगणित के लिए <math>\mathfrak g</math> विशेषता शून्य के एक बीजगणितीय रूप से बंद क्षेत्र पर, एक सरल दृष्टिकोण है: परिभाषा के अनुसार, एक टोरल सबलजेब्रा एक सबलजेब्रा है <math>\mathfrak g</math> जिसमें अर्ध-सरल तत्व होते हैं (एक तत्व अर्ध-सरल है यदि इसके द्वारा प्रेरित आसन्न एंडोमोर्फिज्म विकर्ण मैट्रिक्स है)। कार्टन सबलजेब्रा <math>\mathfrak g</math> तब अधिकतम टोरल सबलजेब्रा के समान ही होता है और एक मैक्सिमल टोरल सबलजेब्रा के अस्तित्व को देखना आसान होता है।
इस प्रकार किसी परिमित-विम अर्धसरल असत्य बीजगणित के लिए <math>\mathfrak g</math> विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर सरल दृष्टिकोण से प्रदर्शित होता हैं: इस परिभाषा के अनुसार, टोरल उप बीजगणित उप बीजगणित <math>\mathfrak g</math> है, जिसमें अर्ध-सरल तत्व होते हैं (एक तत्व अर्ध-सरल है यदि इसके द्वारा प्रेरित आसन्न एंडोमोर्फिज्म विकर्ण आव्यूह है)। कार्टन उप बीजगणित <math>\mathfrak g</math> तब अधिकतम टोरल उप बीजगणित के समान ही होता है और मैक्सिमल टोरल उप बीजगणित के अस्तित्व को देखना सरल होता है।


विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर एक परिमित-आयामी लाई बीजगणित में, सभी कार्टन सबलजेब्रस बीजगणित के [[automorphism]] के तहत संयुग्मित होते हैं, और विशेष रूप से सभी समरूपतावाद हैं। कार्टन सबलजेब्रा के सामान्य आयाम को तब बीजगणित के लाइ बीजगणित की कोटि कहा जाता है।
विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर परिमित-आयामी लाई बीजगणित में, सभी कार्टन उप बीजगणित बीजगणित के [[automorphism|आटोमार्फिज्म]] के अनुसार संयुग्मित होते हैं, और इस प्रकार विशेष रूप से सभी समरूपतावाद हैं। कार्टन उप बीजगणित के सामान्य आयाम को तब बीजगणित के लाइ बीजगणित की कोटि कहा जाता है।


एक परिमित-आयामी जटिल अर्ध-सरल झूठ बीजगणित के लिए, एक कॉम्पैक्ट वास्तविक रूप के अस्तित्व को मानते हुए, कार्टन सबलजेब्रा का अस्तित्व स्थापित करना बहुत आसान है।<ref>{{harvnb|Hall|2015}} Chapter 7</ref> उस मामले में, <math>\mathfrak{h}</math> कॉम्पैक्ट समूह के [[अधिकतम टोरस]] के लाई बीजगणित की जटिलता के रूप में लिया जा सकता है।
एक परिमित-आयामी जटिल अर्ध-सरल असत्य बीजगणित के लिए कॉम्पैक्ट वास्तविक रूप के अस्तित्व को मानते हुए, कार्टन उप बीजगणित का अस्तित्व स्थापित करना बहुत सरल है।<ref>{{harvnb|Hall|2015}} Chapter 7</ref> उस स्थिति में, <math>\mathfrak{h}</math> कॉम्पैक्ट समूह के [[अधिकतम टोरस]] के लाई बीजगणित की जटिलता के रूप में लिया जा सकता है।


अगर <math>\mathfrak{g}</math> एक बीजगणितीय रूप से बंद क्षेत्र पर एक रेखीय झूठ बीजगणित (एक परिमित-आयामी सदिश स्थान V के एंडोमोर्फिज्म के झूठ बीजगणित का झूठा उप बीजगणित) है, फिर कोई कार्टन उप बीजगणित <math>\mathfrak{g}</math> के अधिक से अधिक तोरल लाई बीजगणित का [[केंद्रक]] है <math>\mathfrak{g}</math>.{{fact|date=January 2020}} अगर <math>\mathfrak{g}</math> सेमीसिम्पल है और फ़ील्ड में विशेषता शून्य है, तो एक अधिकतम टोरल सबलजेब्रा स्व-सामान्यीकरण है, और इसलिए संबंधित कार्टन सबलजेब्रा के बराबर है। अगर इसके अलावा <math>\mathfrak g</math> सेमीसिंपल है, तो लाइ समूह का संलग्न प्रतिनिधित्व प्रस्तुत करता है <math>\mathfrak g</math> एक रेखीय झूठ बीजगणित के रूप में, ताकि एक subalgebra का <math>\mathfrak g</math> कार्टन है अगर और केवल अगर यह अधिकतम टोरल सबलजेब्रा है।
यदि <math>\mathfrak{g}</math> बीजगणितीय रूप से बंद क्षेत्र पर रेखीय असत्य बीजगणित अर्ताथ एक परिमित-आयामी सदिश स्थान V के एंडोमोर्फिज्म के असत्य बीजगणित का असत्या उप बीजगणित है, फिर कोई कार्टन उप बीजगणित <math>\mathfrak{g}</math> के अधिक से अधिक तोरल लाई बीजगणित का [[केंद्रक]] <math>\mathfrak{g}</math> के रूप में प्रकट होता है, यदि <math>\mathfrak{g}</math> सेमीसिम्पल है और क्षेत्र में विशेषता शून्य है, तो इस प्रकार अधिकतम टोरल उप बीजगणित स्व-सामान्यीकरण है, और इसलिए संबंधित कार्टन उप बीजगणित के बराबर माना जाता है। यदि इसके अतिरिक्त <math>\mathfrak g</math> सेमीसिंपल है, तो लाइ समूह का संलग्न प्रतिनिधित्व <math>\mathfrak g</math> द्वारा प्रस्तुत होता है, इस स्थिति में रेखीय असत्य बीजगणित के रूप में, जिससे कि उप बीजगणित का कार्टन <math>\mathfrak g</math> है यदि यह अधिकतम टोरल उप बीजगणित है।


== उदाहरण ==
== उदाहरण ==


*कोई भी निलपोटेंट लाई बीजगणित उसका अपना कार्टन सबलजेब्रा होता है।
*कोई भी निलपोटेंट लाई बीजगणित उसका अपना कार्टन उप बीजगणित होता है।
*कार्टन सबलजेब्रा <math>\mathfrak{gl}_{n}</math>, वर्ग आव्यूह का झूठा बीजगणित| <math>n\times n</math> एक क्षेत्र पर आव्यूह, सभी विकर्ण आव्यूहों का बीजगणित है।{{fact|date=October 2020}}
*कार्टन उप बीजगणित <math>\mathfrak{gl}_{n}</math>, वर्ग आव्यूह का असत्या बीजगणित या <math>n\times n</math> क्षेत्र पर आव्यूह, सभी विकर्ण आव्यूहों का बीजगणित है।
* ट्रेसलेस के विशेष लाई बीजगणित के लिए <math>n\times n</math> मैट्रिक्स <math> \mathfrak{sl}_n(\mathbb{C})</math>, इसमें कार्टन सबलजेब्रा है <math display="block">\mathfrak{h} = \left\{ d(a_1,\ldots,a_n) \mid a_i \in \mathbb{C} \text{ and } \sum_{i=1}^n a_i = 0 \right\}</math> कहाँ <math display="block"> d(a_1,\ldots,a_n) = \begin{pmatrix}
* ट्रेसलेस के विशेष लाई बीजगणित के लिए <math>n\times n</math> आव्यूह <math> \mathfrak{sl}_n(\mathbb{C})</math>, इसमें कार्टन उप बीजगणित है।<math display="block">\mathfrak{h} = \left\{ d(a_1,\ldots,a_n) \mid a_i \in \mathbb{C} \text{ and } \sum_{i=1}^n a_i = 0 \right\}</math> जहाँ <math display="block"> d(a_1,\ldots,a_n) = \begin{pmatrix}
a_1 & 0 & \cdots & 0 \\
a_1 & 0 & \cdots & 0 \\
0  & \ddots &  & 0 \\
0  & \ddots &  & 0 \\
Line 30: Line 27:
0  & \cdots & \cdots &a_n
0  & \cdots & \cdots &a_n
\end{pmatrix}
\end{pmatrix}
</math> उदाहरण के लिए, में <math>\mathfrak{sl}_2(\mathbb{C})</math> कार्टन सबलजेब्रा मेट्रिसेस का सबलजेब्रा है <math display="block"> \mathfrak{h} = \left\{
</math> उदाहरण के लिए, में <math>\mathfrak{sl}_2(\mathbb{C})</math> कार्टन उप बीजगणित आव्यूह का उप बीजगणित है <math display="block"> \mathfrak{h} = \left\{
\begin{pmatrix}
\begin{pmatrix}
a & 0 \\
a & 0 \\
0 & -a
0 & -a
\end{pmatrix} : a \in \mathbb{C}
\end{pmatrix} : a \in \mathbb{C}
\right\}</math> मैट्रिक्स कम्यूटेटर द्वारा दिए गए लेट ब्रैकेट के साथ।
\right\}</math> आव्यूह कम्यूटेटर द्वारा दिए गए लेट ब्रैकेट के साथ किया जाता हैं।
* झूठ बीजगणित <math>\mathfrak{sl}_{2}(\mathbb{R})</math> का <math>2</math> द्वारा <math>2</math> ट्रेस के मेट्रिसेस <math>0</math> दो गैर-संयुग्मित कार्टन सबलजेब्रस हैं।{{fact|date=October 2020}}<!-- true but we need a ref. -->
* असत्य बीजगणित <math>\mathfrak{sl}_{2}(\mathbb{R})</math> का <math>2</math> द्वारा <math>2</math> ट्रेस के आव्यूह <math>0</math> दो गैर-संयुग्मित कार्टन उप बीजगणित हैं।
* कार्टन सबलजेब्रा का आयाम सामान्य रूप से एबेलियन सबलजेब्रा का अधिकतम आयाम नहीं है, यहां तक ​​कि जटिल सरल ले बीजगणित के लिए भी। उदाहरण के लिए, झूठ बीजगणित <math>\mathfrak{sl}_{2n}(\mathbb{C})</math>का <math>2n</math> द्वारा <math>2n</math> ट्रेस के मेट्रिसेस <math>0</math> रैंक का कार्टन सबलजेब्रा है <math>2n-1</math>लेकिन आयाम का अधिकतम एबेलियन सबलजेब्रा है <math>n^{2}</math> फॉर्म के सभी मैट्रिक्स से मिलकर <math> \begin{pmatrix} 0 & A\\ 0 & 0 \end{pmatrix}</math> साथ <math>A</math> कोई <math>n</math> द्वारा <math>n</math> आव्यूह। कोई सीधे देख सकता है कि यह एबेलियन सबलजेब्रा कार्टन सबलजेब्रा नहीं है, क्योंकि यह सख्ती से ऊपरी त्रिकोणीय मैट्रिसेस के निलपोटेंट बीजगणित में समाहित है (या, चूंकि यह विकर्ण मैट्रिसेस द्वारा सामान्यीकृत है)।
* '''कार्टन उप बीजगणित''' का आयाम सामान्य रूप से एबेलियन उप बीजगणित का अधिकतम आयाम नहीं है, यहां तक ​​कि जटिल सरल ले बीजगणित के लिए भी उपयोगी हैं। उदाहरण के लिए, असत्य बीजगणित <math>\mathfrak{sl}_{2n}(\mathbb{C})</math>का मान <math>2n</math> द्वारा <math>2n</math> ट्रेस के आव्यूह <math>0</math> रैंक का कार्टन उप बीजगणित <math>2n-1</math> मान प्रदान करता है, किन्तु इस प्रकार आयाम का अधिकतम एबेलियन उप बीजगणित <math>n^{2}</math> है, जिसमें फॉर्म के सभी आव्यूह से मिलकर <math> \begin{pmatrix} 0 & A\\ 0 & 0 \end{pmatrix}</math> साथ <math>A</math> कोई <math>n</math> द्वारा <math>n</math> आव्यूह। कोई सीधे देख सकता है कि यह एबेलियन उप बीजगणित कार्टन उप बीजगणित नहीं है, क्योंकि यह कठोरता से ऊपरी त्रिकोणीय आव्यूह के निलपोटेंट बीजगणित में समाहित होता हैं (या, चूंकि यह विकर्ण आव्यूह द्वारा सामान्यीकृत है)।


== अर्ध-सरल झूठ बीजगणित == कार्टन सबलजेब्रस
==== अर्ध-सरल असत्य बीजगणित कार्टन उप बीजगणित ====
{{see also|Semisimple Lie algebra#Structure}}
{{see also|अर्धसरल असत्य बीजगणित#संरचना}}
{{expand-section|The action of the [[Weyl group]] on the algebra, as in the [[Harish-Chandra isomorphism]]|date=February 2014}}
परिमित-विम अर्धसरल के लिए बीजगणित का मान <math>\mathfrak g</math> लीजिए इस प्रकार विशेष रूप में 0 के बीजगणितीय रूप से बंद क्षेत्र पर, कार्टन उप बीजगणित <math>\mathfrak h</math> के निम्नलिखित गुण हैं:
परिमित-विम अर्धसरल के लिए बीजगणित लीजिए <math>\mathfrak g</math> विशेषता 0 के एक बीजगणितीय रूप से बंद क्षेत्र पर, एक कार्टन सबलजेब्रा <math>\mathfrak h</math> निम्नलिखित गुण हैं:
*<math>\mathfrak h</math> [[एबेलियन ले बीजगणित]] है,
*<math>\mathfrak h</math> [[एबेलियन ले बीजगणित]] है,
*आसन्न प्रतिनिधित्व के लिए <math>\operatorname{ad} : \mathfrak{g} \to \mathfrak{gl}(\mathfrak{g})</math>, छवि <math>\operatorname{ad}(\mathfrak h)</math> सेमीसिम्पल ऑपरेटर्स (यानी, विकर्ण योग्य मेट्रिसेस) होते हैं।
*आसन्न प्रतिनिधित्व के लिए <math>\operatorname{ad} : \mathfrak{g} \to \mathfrak{gl}(\mathfrak{g})</math>, छवि <math>\operatorname{ad}(\mathfrak h)</math> सेमीसिम्पल ऑपरेटर्स (अर्ताथ, विकर्ण योग्य आव्यूह) होते हैं।
(जैसा कि पहले उल्लेख किया गया है, एक कार्टन सबलजेब्रा को वास्तव में एक सबलजेब्रा के रूप में चित्रित किया जा सकता है जो उपरोक्त दो गुणों वाले लोगों में अधिकतम है।)
(जैसा कि पहले उल्लेख किया गया है, कार्टन उप बीजगणित को वास्तव में उप बीजगणित के रूप में चित्रित किया जा सकता है जो इस प्रकार उपरोक्त दो गुणों वाले लोगों में अधिकतम है।)


इन दो गुणों का कहना है कि ऑपरेटरों में <math>\operatorname{ad}(\mathfrak h)</math> एक साथ विकर्णीय हैं और इसका प्रत्यक्ष योग अपघटन है <math>\mathfrak{g}</math> जैसा
इन दो गुणों का कहना है कि ऑपरेटरों में <math>\operatorname{ad}(\mathfrak h)</math> साथ विकर्णीय हैं और इसका प्रत्यक्ष योग <math>\mathfrak{g}</math> अपघटन है, इस प्रकार
:<math>\mathfrak{g} = \bigoplus_{\lambda \in \mathfrak{h}^*} \mathfrak{g}_\lambda</math>
:<math>\mathfrak{g} = \bigoplus_{\lambda \in \mathfrak{h}^*} \mathfrak{g}_\lambda</math>
कहाँ
जहाँ
:<math>\mathfrak{g}_\lambda = \{ x \in \mathfrak{g} : \text{ad}(h)x = \lambda(h)x, \text{ for } h \in \mathfrak{h}
:<math>\mathfrak{g}_\lambda = \{ x \in \mathfrak{g} : \text{ad}(h)x = \lambda(h)x, \text{ for } h \in \mathfrak{h}
\}</math>.
\}</math>.


होने देना <math>\Phi = \{ \lambda \in \mathfrak{h}^* \setminus \{0\} | \mathfrak{g}_\lambda \ne \{0\} \}</math>. तब <math>\Phi</math> एक [[ मूल प्रक्रिया ]] है और, इसके अलावा, <math>\mathfrak{g}_0 = \mathfrak h</math>; यानी, का केंद्रीकरण <math>\mathfrak{h}</math> के साथ मेल खाता है <math>\mathfrak{h}</math>. उपरोक्त अपघटन को तब इस प्रकार लिखा जा सकता है:
इस प्रकार <math>\Phi = \{ \lambda \in \mathfrak{h}^* \setminus \{0\} | \mathfrak{g}_\lambda \ne \{0\} \}</math>. तब <math>\Phi</math> [[ मूल प्रक्रिया |मूल प्रक्रिया]] है और, इसके अतिरिक्त <math>\mathfrak{g}_0 = \mathfrak h</math> अर्ताथ, इसका केंद्रीकरण <math>\mathfrak{h}</math> के साथ मेल खाता है, उपरोक्त <math>\mathfrak{h}</math> के अपघटन को तब इस प्रकार लिखा जा सकता है:
:<math>\mathfrak{g} = \mathfrak{h} \oplus \left(
:<math>\mathfrak{g} = \mathfrak{h} \oplus \left(
\bigoplus_{\lambda \in \Phi} \mathfrak{g}_\lambda
\bigoplus_{\lambda \in \Phi} \mathfrak{g}_\lambda
\right)</math>
\right)</math>
जैसा कि यह निकला, प्रत्येक के लिए <math>\lambda \in \Phi</math>, <math>\mathfrak{g}_{\lambda}</math> आयाम एक और ऐसा है:
जैसा कि यह इस प्रकार प्रदर्शित किया जा सकता हैं कि प्रत्येक <math>\lambda \in \Phi</math> के लिए  <math>\mathfrak{g}_{\lambda}</math> आयाम है जिसे उक्त समीकरण से प्रदर्शित किया जा सकता हैं:
:<math>\dim \mathfrak{g} = \dim \mathfrak{h} + \# \Phi</math>.
:<math>\dim \mathfrak{g} = \dim \mathfrak{h} + \# \Phi</math>.
अधिक जानकारी के लिए सेमीसिंपल लाई बीजगणित#संरचना भी देखें।
अधिक जानकारी के लिए सेमीसिंपल लाई बीजगणित संरचना भी देखें।


=== दोहरे कार्टन सबलजेब्रा === के साथ प्रतिनिधित्व को विघटित करना
===== दोहरे कार्टन उप बीजगणित के साथ प्रतिनिधित्व को विघटित करना =====
एक झूठ बीजगणित दिया <math>\mathfrak{g}</math> विशेषता के एक क्षेत्र पर {{nowrap|<math>0</math>,}}{{clarify|Shouldn't it be semisimple?|date=October 2020}} और एक [[झूठ बीजगणित प्रतिनिधित्व]]<math display="block">\sigma: \mathfrak{g}\to \mathfrak{gl}(V)</math> इसके कार्टन सबलजेब्रा से लाई बीजगणित के अपघटन से संबंधित एक अपघटन है। अगर हम सेट करते हैं
एक असत्य बीजगणित दिया <math>\mathfrak{g}</math> विशेषता के क्षेत्र पर {{nowrap|<math>0</math>,}} और [[झूठ बीजगणित प्रतिनिधित्व|असत्य बीजगणित प्रतिनिधित्व]] को इस प्रकार प्रदर्शित करते हैं।<math display="block">\sigma: \mathfrak{g}\to \mathfrak{gl}(V)</math>
 
इस प्रकार इसके कार्टन उप बीजगणित से लाई बीजगणित के अपघटन से संबंधित अपघटन है। यदि हम इसे इस प्रकार सेट कर सकते हैं-
<math display="block">V_\lambda = \{v \in V : (\sigma(h))(v) = \lambda(h) v \text{ for } h \in \mathfrak{h} \}</math>
<math display="block">V_\lambda = \{v \in V : (\sigma(h))(v) = \lambda(h) v \text{ for } h \in \mathfrak{h} \}</math>
साथ <math>\lambda \in \mathfrak{h}^*</math>, वजन के लिए वजन स्थान कहा जाता है <math>\lambda</math>, इन भार स्थानों के संदर्भ में प्रतिनिधित्व का अपघटन होता है <math display="block">V = \bigoplus_{\lambda \in \mathfrak{h}^*} V_\lambda</math> इसके अलावा जब भी <math>V_\lambda \neq \{0\}</math> हम बुलाते है <math>\lambda </math> का वजन <math>\mathfrak{g}</math>-प्रतिनिधित्व {{nowrap|<math>V</math>.}}
इसके साथ <math>\lambda \in \mathfrak{h}^*</math>इस भार के लिए इसके स्थान को <math>\lambda</math> कहा जाता है, इस भार स्थानों के संदर्भ में प्रतिनिधित्व का अपघटन होता है<math display="block">V = \bigoplus_{\lambda \in \mathfrak{h}^*} V_\lambda</math>इसके अतिरिक्त जब भी <math>V_\lambda \neq \{0\}</math> हम बुलाते है <math>\lambda </math> का भार <math>\mathfrak{g}</math>-प्रतिनिधित्व {{nowrap|<math>V</math>.}}  


==== वज़न का उपयोग करके अलघुकरणीय अभ्यावेदन का वर्गीकरण ====
==== वज़न का उपयोग करके अलघुकरणीय अभ्यावेदन का वर्गीकरण ====
{{main|Theorem of the highest weight}}
{{main|उच्चतम भार का प्रमेय}}
लेकिन, यह पता चला है कि इन भारों का उपयोग लाई बीजगणित के अलघुकरणीय अभ्यावेदन को वर्गीकृत करने के लिए किया जा सकता है <math>\mathfrak{g}</math>. एक परिमित आयामी अलघुकरणीय के लिए <math>\mathfrak{g}</math>-प्रतिनिधित्व {{nowrap|<math>V</math>,}} एक अनूठा वजन मौजूद है <math>\lambda \in \Phi</math> आंशिक आदेश देने के संबंध में <math>\mathfrak{h}^*</math>. इसके अलावा, एक दिया <math>\lambda \in \Phi</math> ऐसा है कि <math>\langle \alpha, \lambda\rangle \in \mathbb{N}</math> हर सकारात्मक जड़ के लिए {{nowrap|<math>\alpha \in \Phi^+</math>,}} एक अद्वितीय अलघुकरणीय प्रतिनिधित्व मौजूद है {{nowrap|<math>L^+(\lambda)</math>.}} इसका मतलब रूट सिस्टम है <math>\Phi</math> के प्रतिनिधित्व सिद्धांत के बारे में सभी जानकारी शामिल है {{nowrap|<math>\mathfrak{g}</math>.<ref name=":0" /><sup>pg 240</sup>}}
 
किन्तु, यह पता चला है कि इन भारों का उपयोग लाई बीजगणित के अलघुकरणीय अभ्यावेदन को वर्गीकृत करने के लिए <math>\mathfrak{g}</math> द्वारा व्यक्त किया जा सकता है, इस प्रकार परिमित आयामी अलघुकरणीय <math>\mathfrak{g}</math> के लिए प्रतिनिधित्व {{nowrap|<math>V</math>,}} अनूठा भार सम्मिलित <math>\lambda \in \Phi</math> है जिसके आंशिक आदेश देने के संबंध में <math>\mathfrak{h}^*</math> इसके अतिरिक्त <math>\lambda \in \Phi</math> मान देता हैं, इस प्रकार इस कारण <math>\langle \alpha, \lambda\rangle \in \mathbb{N}</math> हर धनात्मक मूल के लिए {{nowrap|<math>\alpha \in \Phi^+</math>,}} अद्वितीय अलघुकरणीय प्रतिनिधित्व {{nowrap|<math>L^+(\lambda)</math>.}} सम्मिलित है, इसका मतलब मूल प्रणाली है, जिसमें <math>\Phi</math> के प्रतिनिधित्व सिद्धांत के बारे में सभी जानकारी {{nowrap|<math>\mathfrak{g}</math>.<ref name=":0" /><sup>pg 240</sup>}} में सम्मिलित है। 


== कार्टन सबलजेब्रा को विभाजित करना ==
== कार्टन उप बीजगणित को विभाजित करना ==
{{main|Splitting Cartan subalgebra}}
{{main|कार्टन सबलजेब्रा को विभाजित करना}}


गैर-बीजगणितीय रूप से बंद फ़ील्ड पर, सभी कार्टन सबलजेब्रस संयुग्मी नहीं होते हैं। एक महत्वपूर्ण वर्ग कार्टन सबलजेब्रा को विभाजित कर रहा है: यदि कोई ले बीजगणित एक विभाजित कार्टन सबलजेब्रा को स्वीकार करता है <math>\mathfrak{h}</math> तब इसे स्प्लिटेबल और पेयर कहा जाता है <math>(\mathfrak{g},\mathfrak{h})</math> स्प्लिट लाइ बीजगणित कहा जाता है; एक बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अर्ध-सरल लाई बीजगणित विभाजित करने योग्य है। कोई भी दो बंटवारे वाले कार्टन बीजगणित संयुग्मित होते हैं, और वे बीजगणितीय रूप से बंद क्षेत्रों पर अर्ध-सरल लाई बीजगणित में कार्टन बीजगणित के समान कार्य को पूरा करते हैं, इसलिए विभाजित अर्ध-सरल लाई बीजगणित (वास्तव में, विभाजन रिडक्टिव लाइ बीजगणित) बीजगणितीय रूप से बंद क्षेत्रों पर अर्ध-सरल लाई बीजगणित के साथ कई गुण साझा करते हैं .
गैर-बीजगणितीय रूप से बंद क्षेत्र पर सभी कार्टन उप बीजगणित संयुग्मी नहीं होते हैं। महत्वपूर्ण वर्ग कार्टन उप बीजगणित को विभाजित कर रहा है: यदि कोई इस बीजगणित को विभाजित कर कार्टन उप बीजगणित <math>\mathfrak{h}</math> को स्वीकार करता है, इस स्थिति में इसे स्प्लिटेबल और संयुग्म <math>(\mathfrak{g},\mathfrak{h})</math> कहा जाता है, इस कारण इसे स्प्लिट लाइ बीजगणित कहा जाता है, इस बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अर्ध-सरल लाई बीजगणित विभाजित करने योग्य है। कोई भी दो भाग करने पर कार्टन बीजगणित संयुग्मित होते हैं, और इस प्रकार वे बीजगणितीय रूप से बंद क्षेत्रों पर अर्ध-सरल लाई बीजगणित में कार्टन बीजगणित के समान कार्य को पूरा करते हैं, इसलिए विभाजित अर्ध-सरल लाई बीजगणित (वास्तव में, विभाजन रिडक्टिव लाइ बीजगणित) बीजगणितीय रूप से बंद क्षेत्रों पर अर्ध-सरल लाई बीजगणित के साथ कई गुण साझा करते हैं .  


हालांकि, एक गैर-बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अर्ध-सरल लाई बीजगणित विभाजित करने योग्य नहीं है।
चूंकि, गैर-बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अर्ध-सरल लाई बीजगणित विभाजित करने योग्य नहीं है।  


== कार्टन उपसमूह ==
== कार्टन उपसमूह ==
{{For|a Cartan subgroup of a linear algebraic group|Cartan subgroup}}
{{For|रैखिक बीजगणितीय समूह का कार्टन उपसमूह|कार्टन उपसमूह}}


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


डिस्कनेक्ट किए गए कॉम्पैक्ट लाई समूहों के लिए कार्टन उपसमूह की कई असमान परिभाषाएँ हैं। [[डेविड वोगन]] द्वारा दिया गया सबसे आम प्रतीत होता है, जो एक कार्टन उपसमूह को तत्वों के समूह के रूप में परिभाषित करता है जो एक निश्चित अधिकतम टोरस को सामान्य करता है और [[मौलिक वेइल कक्ष]] को ठीक करता है। इसे कभी-कभी बड़ा कार्टन उपसमूह कहा जाता है। एक छोटा कार्टन उपसमूह भी है, जिसे अधिकतम टोरस के केंद्रक के रूप में परिभाषित किया गया है। इन कार्टन उपसमूहों को सामान्य रूप से एबेलियन होने की आवश्यकता नहीं है।
डिस्कनेक्ट किए गए कॉम्पैक्ट लाई समूहों के लिए कार्टन उपसमूह की कई असमान परिभाषाएँ हैं। [[डेविड वोगन]] द्वारा दिया गया सबसे सरलता से प्रतीत होता है, जो कार्टन उपसमूह को तत्वों के समूह के रूप में परिभाषित करता है जो निश्चित अधिकतम टोरस को सामान्य करता है और [[मौलिक वेइल कक्ष]] को ठीक करता है। इस प्रकार इसे कभी-कभी बड़ा कार्टन उपसमूह कहा जाता है। इससे छोटे कार्टन उपसमूह भी होते है, जिसे अधिकतम टोरस के केंद्रक के रूप में परिभाषित किया गया है। इन कार्टन उपसमूहों को सामान्य रूप से एबेलियन होने की आवश्यकता नहीं होती है।  


=== कार्टन उपसमूहों के उदाहरण ===
=== कार्टन उपसमूहों के उदाहरण ===
* जीएल में उपसमूह<sub>2</sub>(आर) विकर्ण matrices से मिलकर।
* GL<sub>2</sub>('''R''') में उपसमूह  विकर्ण मैट्रिसेस से मिलकर।  


== संदर्भ ==
== संदर्भ ==
Line 107: Line 106:
* {{cite book| author = Anthony William Knapp|author2=David A. Vogan| title = कोहोमोलॉजिकल इंडक्शन और एकात्मक प्रतिनिधित्व| year = 1995| isbn = 978-0-691-03756-1 }}
* {{cite book| author = Anthony William Knapp|author2=David A. Vogan| title = कोहोमोलॉजिकल इंडक्शन और एकात्मक प्रतिनिधित्व| year = 1995| isbn = 978-0-691-03756-1 }}


श्रेणी:झूठे बीजगणित
श्रेणी:असत्ये बीजगणित


[[Category:All articles with unsourced statements]]
[[Category:All articles with unsourced statements]]
Line 119: Line 118:
[[Category:Machine Translated Page]]
[[Category:Machine Translated Page]]
[[Category:Missing redirects]]
[[Category:Missing redirects]]
[[Category:Templates Vigyan Ready]]

Latest revision as of 19:22, 17 May 2023

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

इस कारण परिमित विम का अर्ध साधारणतयः बीजगणित को अभिलाक्षणिक शून्य के बीजगणितीय रूप से बंद क्षेत्र पर ले जाता हैं (उदाहरण के लिए, ), कार्टन उप बीजगणित अधिकतम एबेलियन उप बीजगणित के समान है जिसमें तत्व x होते हैं जैसे कि आसन्न एंडोमोर्फिज्म अर्धसरल ऑपरेटर है, अर्ताथ, विकर्ण आव्यूह इसका मुख्य उदाहरण हैं। इस प्रकार कभी-कभी इस लक्षण वर्णन को कार्टन उप बीजगणित की परिभाषा के रूप में लिया जाता है।[1]पृष्ठ 231

सामान्यतः उप बीजगणित को टॉरल उप बीजगणित कहा जाता है, यदि इसमें सेमीसिंपल तत्व होते हैं। बीजगणितीय रूप से बंद क्षेत्र पर, टोरल उप बीजगणित स्वचालित रूप से अबेलियन है। इस प्रकार, विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर, कार्टन उप बीजगणित को अधिकतम टॉरल उप बीजगणित के रूप में भी परिभाषित किया जा सकता है।

केएसी-मूडी बीजगणित और सामान्यीकृत केसी-मूडी बीजगणित में भी उप-विषम होते हैं जो अर्ध-सरल ले बीजगणित (विशेषता शून्य के क्षेत्र में) के कार्टन उप-लजेब्रस के समान भूमिका निभाते हैं।

अस्तित्व और विशिष्टता

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

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

विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर परिमित-आयामी लाई बीजगणित में, सभी कार्टन उप बीजगणित बीजगणित के आटोमार्फिज्म के अनुसार संयुग्मित होते हैं, और इस प्रकार विशेष रूप से सभी समरूपतावाद हैं। कार्टन उप बीजगणित के सामान्य आयाम को तब बीजगणित के लाइ बीजगणित की कोटि कहा जाता है।

एक परिमित-आयामी जटिल अर्ध-सरल असत्य बीजगणित के लिए कॉम्पैक्ट वास्तविक रूप के अस्तित्व को मानते हुए, कार्टन उप बीजगणित का अस्तित्व स्थापित करना बहुत सरल है।[2] उस स्थिति में, कॉम्पैक्ट समूह के अधिकतम टोरस के लाई बीजगणित की जटिलता के रूप में लिया जा सकता है।

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

उदाहरण

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

अर्ध-सरल असत्य बीजगणित कार्टन उप बीजगणित

परिमित-विम अर्धसरल के लिए बीजगणित का मान लीजिए इस प्रकार विशेष रूप में 0 के बीजगणितीय रूप से बंद क्षेत्र पर, कार्टन उप बीजगणित के निम्नलिखित गुण हैं:

  • एबेलियन ले बीजगणित है,
  • आसन्न प्रतिनिधित्व के लिए , छवि सेमीसिम्पल ऑपरेटर्स (अर्ताथ, विकर्ण योग्य आव्यूह) होते हैं।

(जैसा कि पहले उल्लेख किया गया है, कार्टन उप बीजगणित को वास्तव में उप बीजगणित के रूप में चित्रित किया जा सकता है जो इस प्रकार उपरोक्त दो गुणों वाले लोगों में अधिकतम है।)

इन दो गुणों का कहना है कि ऑपरेटरों में साथ विकर्णीय हैं और इसका प्रत्यक्ष योग अपघटन है, इस प्रकार

जहाँ

.

इस प्रकार . तब मूल प्रक्रिया है और, इसके अतिरिक्त अर्ताथ, इसका केंद्रीकरण के साथ मेल खाता है, उपरोक्त के अपघटन को तब इस प्रकार लिखा जा सकता है:

जैसा कि यह इस प्रकार प्रदर्शित किया जा सकता हैं कि प्रत्येक के लिए आयाम है जिसे उक्त समीकरण से प्रदर्शित किया जा सकता हैं:

.

अधिक जानकारी के लिए सेमीसिंपल लाई बीजगणित संरचना भी देखें।

दोहरे कार्टन उप बीजगणित के साथ प्रतिनिधित्व को विघटित करना

एक असत्य बीजगणित दिया विशेषता के क्षेत्र पर , और असत्य बीजगणित प्रतिनिधित्व को इस प्रकार प्रदर्शित करते हैं।

इस प्रकार इसके कार्टन उप बीजगणित से लाई बीजगणित के अपघटन से संबंधित अपघटन है। यदि हम इसे इस प्रकार सेट कर सकते हैं-

इसके साथ इस भार के लिए इसके स्थान को कहा जाता है, इस भार स्थानों के संदर्भ में प्रतिनिधित्व का अपघटन होता है
इसके अतिरिक्त जब भी हम बुलाते है का भार -प्रतिनिधित्व .

वज़न का उपयोग करके अलघुकरणीय अभ्यावेदन का वर्गीकरण

किन्तु, यह पता चला है कि इन भारों का उपयोग लाई बीजगणित के अलघुकरणीय अभ्यावेदन को वर्गीकृत करने के लिए द्वारा व्यक्त किया जा सकता है, इस प्रकार परिमित आयामी अलघुकरणीय के लिए प्रतिनिधित्व , अनूठा भार सम्मिलित है जिसके आंशिक आदेश देने के संबंध में इसके अतिरिक्त मान देता हैं, इस प्रकार इस कारण हर धनात्मक मूल के लिए , अद्वितीय अलघुकरणीय प्रतिनिधित्व . सम्मिलित है, इसका मतलब मूल प्रणाली है, जिसमें के प्रतिनिधित्व सिद्धांत के बारे में सभी जानकारी .[1]pg 240 में सम्मिलित है।

कार्टन उप बीजगणित को विभाजित करना

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

चूंकि, गैर-बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अर्ध-सरल लाई बीजगणित विभाजित करने योग्य नहीं है।

कार्टन उपसमूह

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

डिस्कनेक्ट किए गए कॉम्पैक्ट लाई समूहों के लिए कार्टन उपसमूह की कई असमान परिभाषाएँ हैं। डेविड वोगन द्वारा दिया गया सबसे सरलता से प्रतीत होता है, जो कार्टन उपसमूह को तत्वों के समूह के रूप में परिभाषित करता है जो निश्चित अधिकतम टोरस को सामान्य करता है और मौलिक वेइल कक्ष को ठीक करता है। इस प्रकार इसे कभी-कभी बड़ा कार्टन उपसमूह कहा जाता है। इससे छोटे कार्टन उपसमूह भी होते है, जिसे अधिकतम टोरस के केंद्रक के रूप में परिभाषित किया गया है। इन कार्टन उपसमूहों को सामान्य रूप से एबेलियन होने की आवश्यकता नहीं होती है।

कार्टन उपसमूहों के उदाहरण

  • GL2(R) में उपसमूह विकर्ण मैट्रिसेस से मिलकर।

संदर्भ

  1. 1.0 1.1 Hotta, R. (Ryoshi) (2008). डी-मॉड्यूल, विकृत ढेर, और प्रतिनिधित्व सिद्धांत. Takeuchi, Kiyoshi, 1967-, Tanisaki, Toshiyuki, 1955- (English ed.). Boston: Birkhäuser. ISBN 978-0-8176-4363-8. OCLC 316693861.
  2. Hall 2015 Chapter 7



टिप्पणियाँ


संदर्भ

श्रेणी:असत्ये बीजगणित