यूनिपोटेंसी: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{about| | {{about|the algebraic term|a biological cell having the capacity to develop into only one cell type|Cell potency#Unipotency}} | ||
गणित में, | {{more footnotes|date=November 2015}} | ||
गणित में, वलय R का एक एकशक्तिशाली तत्व r ऐसा है कि r − 1 एक शून्यशक्तिशाली तत्व है; दूसरे शब्दों में, (r − 1)<sup>n</sup> कुछ n के लिए शून्य है।विशेष रूप से, एक [[वर्ग मैट्रिक्स|वर्ग]] आव्यूहों M एक 'एकशक्त मैट्रिक्स' है यदि और केवल यदि इसका अभिलक्षणिक बहुपद P(t),t − 1 की घात है। इस प्रकार एक एकशक्त आव्यूहोंके सभी [[Index.php?title=आइगेनवैल्यू|आइगेनवैल्यू]] 1 हैं। | |||
'अर्ध-एकशक्तिशाली' शब्द का अर्थ है कि कुछ शक्ति एकशक्तिशाली है, उदाहरण के लिए आइगेनवैल्यू के साथ एक विकर्ण आव्यूहों के लिए जो एकता की सभी जड़ें हैं। | |||
[[Index.php?title=बीजगणितीय समूहों|बीजगणितीय समूहों]] सिद्धांत में, एक समूह तत्व 'एकशक्त' होता है यदि यह एक निश्चित प्राकृतिक [[समूह प्रतिनिधित्व]] में एकशक्त रूप से कार्य करता है। एक 'एकशक्त सजातीय बीजगणितीय समूह' तब एक ऐसा समूह होता है जिसके सभी तत्व एकशक्त होते हैं। | |||
[[बीजगणितीय | |||
==परिभाषा== | ==परिभाषा== | ||
=== | === आव्यूहोंके साथ परिभाषा === | ||
समूह | समूह <math>\mathbb{U}_n</math> पर विचार करें (गणित) [[ऊपरी-त्रिकोणीय मैट्रिक्स]] के साथ <math>1</math> विकर्ण के अनुदिश है, इसलिए वे [[Index.php?title=आव्यूहों|आव्यूहों]] का समूह हैं।<ref name=":0">{{Cite book|last=Milne|first=J. S.|url=https://www.jmilne.org/math/CourseNotes/iAG200.pdf|title=रैखिक बीजगणितीय समूह|pages=252–253, Unipotent algebraic groups}}</ref> | ||
:<math>\mathbb{U}_n = \left\{ | :<math>\mathbb{U}_n = \left\{ | ||
\begin{bmatrix} | \begin{bmatrix} | ||
Line 22: | Line 21: | ||
\end{bmatrix} | \end{bmatrix} | ||
\right\}.</math> | \right\}.</math> | ||
फिर, एक एकशक्तिशाली समूह को कुछ | फिर, एक एकशक्तिशाली समूह को कुछ <math>\mathbb{U}_n</math>[[उपसमूह]] के रूप में परिभाषित किया जा सकता है . [[Index.php?title=योजना|योजना]] का उपयोग करके समूह <math>\mathbb{U}_n</math> [[समूह योजना]] के रूप में परिभाषित किया जा सकता है | ||
:<math>\text{Spec}\left( | :<math>\text{Spec}\left( | ||
\frac{\mathbb{C}\!\left[x_{11},x_{12},\ldots, x_{nn}, \frac{1}{\text{det}}\right]}{ | \frac{\mathbb{C}\!\left[x_{11},x_{12},\ldots, x_{nn}, \frac{1}{\text{det}}\right]}{ | ||
Line 28: | Line 27: | ||
} | } | ||
\right)</math> | \right)</math> | ||
और एक | और एक सजातीय समूह योजना अप्रभावी है यदि यह इस योजना की एक बंद समूह योजना है। | ||
=== रिंग सिद्धांत के साथ परिभाषा === | === रिंग सिद्धांत के साथ परिभाषा === | ||
एक | एक सजातीय [[बीजगणितीय समूह]] का एक तत्व x एकशक्त होता है जब उसका संबद्ध सही अनुवाद ऑपरेटर, r<sub>''x''</sub> होता है, जी के [[Index.php?title=एफ़िन समन्वय रिंग|सजातीय समन्वय रिंग]] ए[जी] पर, ए[जी] के रैखिक मानचित्र के रिंग के एक तत्व के रूप में स्थानीय रूप से एकशक्त है। (स्थानीय रूप से एकशक्त का मतलब है कि ए [जी] के किसी भी परिमित-आयामी स्थिर उप-स्थान पर इसका प्रतिबंध सामान्य रिंग-सैद्धांतिक अर्थ में एकशक्त है।) | ||
एक | एक सजातीय बीजगणितीय समूह को 'एकशक्त' कहा जाता है यदि इसके सभी तत्व एकशक्त हैं। कोई भी एकरूपी बीजगणितीय समूह विकर्ण प्रविष्टियों 1 के साथ ऊपरी त्रिकोणीय आव्यूहों के समूह के एक बंद उपसमूह के लिए [[ समरूपी ]] है, और उलटा (तर्क) ऐसा कोई भी उपसमूह एकरूपी है। विशेष रूप से कोई भी एकशक्तिशाली समूह एक शून्यशक्तिशाली समूह है, यद्यपि इसका विपरीत सत्य नहीं है (प्रतिउदाहरण: GL<sub>''n''</sub>(''k'') के विकर्ण मैट्रिक्स)। | ||
उदाहरण के लिए, | उदाहरण के लिए, <math>\mathbb{U}_n</math>का मानक प्रतिनिधित्व <math>k^n</math> पर मानक आधार के साथ <math>e_i</math> निश्चित वेक्टर <math>e_1</math> है। | ||
=== प्रतिनिधित्व सिद्धांत के साथ परिभाषा === | === प्रतिनिधित्व सिद्धांत के साथ परिभाषा === | ||
यदि एक | यदि एक एकशक्त समूह एक सजातीय विविधता पर कार्य करता है, तो इसकी सभी कक्षाएँ बंद हो जाती हैं, और यदि यह एक परिमित-आयामी [[सदिश स्थल]] पर रैखिक रूप से कार्य करता है तो इसमें एक गैर-शून्य निश्चित [[सदिश स्थल|सदिश]] होता है। वस्तुत:, बाद वाले गुण एकाधिकारहीन समूहों की विशेषता बताते है।<ref name=":0" />विशेष रूप से, इसका तात्पर्य यह है कि कोई असतहीय अर्धसरल निरूपण नहीं हैं। | ||
== उदाहरण == | == उदाहरण == | ||
=== | === U<sub>''n''</sub> === | ||
निस्सन्देह, आव्यूहों का समूह <math>\mathbb{U}_n</math> अशक्तिशाली है. [[निचली केंद्रीय श्रृंखला]] का उपयोग | |||
:<math>\mathbb{U}_n = \mathbb{U}_n^{(0)} \supset \mathbb{U}_n^{(1)} \supset \mathbb{U}_n^{(2)} \supset \cdots \supset \mathbb{U}_n^{(m)} = e</math> | :<math>\mathbb{U}_n = \mathbb{U}_n^{(0)} \supset \mathbb{U}_n^{(1)} \supset \mathbb{U}_n^{(2)} \supset \cdots \supset \mathbb{U}_n^{(m)} = e</math> | ||
जहां | |||
:<math>\mathbb{U}_n^{(1)} = [\mathbb{U}_n,\mathbb{U}_n]</math> और <math>\mathbb{U}_n^{(2)} = [\mathbb{U}_n, \mathbb{U}_n^{(1)}]</math> | :<math>\mathbb{U}_n^{(1)} = [\mathbb{U}_n,\mathbb{U}_n]</math> और <math>\mathbb{U}_n^{(2)} = [\mathbb{U}_n, \mathbb{U}_n^{(1)}]</math> | ||
वहाँ संबद्ध एकाधिकार समूह हैं। उदाहरण के लिए, पर <math>n = 4</math>, केंद्रीय श्रृंखला | वहाँ संबद्ध एकाधिकार समूह हैं। उदाहरण के लिए, पर <math>n = 4</math>, केंद्रीय श्रृंखला आव्यूहों का समूह हैं | ||
:<math>\mathbb{U}_4 = \left\{ | :<math>\mathbb{U}_4 = \left\{ | ||
\begin{bmatrix} | \begin{bmatrix} | ||
Line 79: | Line 78: | ||
एकशक्तिशाली समूहों के कुछ प्रेरित उदाहरण दिए गए हैं। | एकशक्तिशाली समूहों के कुछ प्रेरित उदाहरण दिए गए हैं। | ||
=== | === G<sub>a</sub><sup>n</sup> === | ||
योगात्मक समूह <math>\mathbb{G}_a</math> | योगात्मक समूह <math>\mathbb{G}_a</math> अंतःस्थापन के माध्यम से एक अशक्तिशाली समूह है | ||
:<math>a \mapsto \begin{bmatrix} | :<math>a \mapsto \begin{bmatrix} | ||
1 & a\\ | 1 & a\\ | ||
0 & 1 | 0 & 1 | ||
\end{bmatrix}</math> | \end{bmatrix}</math> | ||
ध्यान दें कि | ध्यान दें कि आव्यूह गुणन क्या देता है | ||
:<math>\begin{bmatrix} | :<math>\begin{bmatrix} | ||
1 & a \\ | 1 & a \\ | ||
Line 95: | Line 94: | ||
1 & a + b \\ | 1 & a + b \\ | ||
0 & 1 \end{bmatrix}</math> | 0 & 1 \end{bmatrix}</math> | ||
इसलिए यह एक समूह | इसलिए यह एक समूह अंतःस्थापन है। अधिक सामान्यतः, एक अंतःस्थापन <math>\mathbb{G}_a^n \to \mathbb{U}_{n+1}</math> होती है मानचित्र से | ||
:<math>(a_1,\ldots, a_n) \,\mapsto \begin{bmatrix} | :<math>(a_1,\ldots, a_n) \,\mapsto \begin{bmatrix} | ||
1 & a_1 & a_2 & \cdots & a_{n-1} &a_n \\ | 1 & a_1 & a_2 & \cdots & a_{n-1} &a_n \\ | ||
Line 105: | Line 104: | ||
योजना सिद्धांत का उपयोग करते हुए, <math>\mathbb{G}_a</math> [[ऑपरेटर]] द्वारा दिया गया है | योजना सिद्धांत का उपयोग करते हुए, <math>\mathbb{G}_a</math> [[ऑपरेटर]] द्वारा दिया गया है | ||
:<math>\mathcal{O}:\textbf{Sch}^{op} \to \textbf{Sets}</math> | :<math>\mathcal{O}:\textbf{Sch}^{op} \to \textbf{Sets}</math> | ||
जहां | |||
:<math>(X,\mathcal{O}_X) \mapsto \mathcal{O}_X(X)</math> | :<math>(X,\mathcal{O}_X) \mapsto \mathcal{O}_X(X)</math> | ||
=== फ्रोबेनियस का कर्नेल === | === फ्रोबेनियस का कर्नेल === | ||
प्रकार्यक <math>\mathcal{O}</math> पर [[उपश्रेणी]] <math>\textbf{Sch}/\mathbb{F}_p</math>पर विचार करें , वहाँ सबफ़ंक्टर <math>\alpha_p</math>है जहाँ | |||
:<math>\alpha_p(X) = \{ x \in \mathcal{O}(X) : x^p = 0 \}</math> | :<math>\alpha_p(X) = \{ x \in \mathcal{O}(X) : x^p = 0 \}</math> | ||
तो यह [[फ्रोबेनियस | तो यह [[Index.php?title=फ्रोबेनियस अंतःरूपांतरण|फ्रोबेनियस अंतःरूपांतरण]] के कर्नेल द्वारा दिया गया है। | ||
== विशेषता 0 पर एकशक्तिशाली समूहों का वर्गीकरण == | == विशेषता 0 पर एकशक्तिशाली समूहों का वर्गीकरण == | ||
[[विशेषता | [[Index.php?title=विशेषता|विशेषता]] 0 से अधिक, निलपोटेंट लाई बीजगणित के संबंध में एकशक्तिशाली बीजगणितीय समूहों का एक अच्छा वर्गीकरण है। याद रखें कि एक निलपोटेंट ले बीजगणित कुछ <math>\mathfrak{gl}_n</math> का एक उपबीजगणित है जैसे कि पुनरावृत्त सहायक क्रिया अंततः शून्य-मानचित्र पर समाप्त हो जाती है। आव्यूह के संदर्भ में, इसका मतलब यह है कि यह <math>\mathfrak{g}</math> का <math>\mathfrak{n}_n</math>,आव्यूहों के साथ <math>a_{ij} = 0</math> के लिए <math>i \leq j</math> एक उपबीजगणित है | ||
फिर, परिमित-आयामी निलपोटेंट लाई बीजगणित और | फिर, परिमित-आयामी निलपोटेंट लाई बीजगणित और एकशक्तबीजगणितीय समूहों की [[श्रेणियों की समानता]] है।<ref name=":0" /><sup>पृष्ठ 261</sup> इसका निर्माण बेकर-कैंपबेल-हॉसडॉर्फ़ सूत्र का उपयोग करके किया जा सकता है|बेकर-कैंपबेल-हॉसडॉर्फ़ श्रृंखला <math>H(X,Y)</math>, जहां एक परिमित-आयामी निलपोटेंट झूठ बीजगणित, नक्शा दिया गया है | ||
:<math>H:\mathfrak{g}\times\mathfrak{g} \to \mathfrak{g} \text{ where } (X,Y)\mapsto H(X,Y)</math> | :<math>H:\mathfrak{g}\times\mathfrak{g} \to \mathfrak{g} \text{ where } (X,Y)\mapsto H(X,Y)</math> | ||
एक | एक एकशक्तबीजगणितीय समूह संरचना देता है <math>\mathfrak{g}</math>. | ||
दूसरी दिशा में [[घातीय मानचित्र (झूठ सिद्धांत)]] किसी भी शून्य-शक्तिशाली वर्ग | दूसरी दिशा में [[घातीय मानचित्र (झूठ सिद्धांत)]] किसी भी शून्य-शक्तिशाली वर्ग आव्यूहोंको एक एकशक्तमैट्रिक्स में ले जाता है। इसके अलावा, यदि यू एक क्रमविनिमेय एकशक्तिशाली समूह है, तो घातांकीय मानचित्र यू से यू के लाई बीजगणित से एक समरूपता उत्पन्न करता है। | ||
=== टिप्पणियाँ === | === टिप्पणियाँ === | ||
किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर | किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर एकशक्तसमूहों को सैद्धांतिक रूप से वर्गीकृत किया जा सकता है, लेकिन व्यवहार में वर्गीकरण की जटिलता आयाम के साथ बहुत तेजी से बढ़ती है, इसलिए लोग{{Who|date=August 2010}} आयाम 6 के आसपास कहीं न कहीं हार मानने की प्रवृत्ति होती है। | ||
== एकशक्तिशाली मूलक== | == एकशक्तिशाली मूलक== | ||
Line 146: | Line 145: | ||
== जॉर्डन अपघटन == | == जॉर्डन अपघटन == | ||
{{Main|Jordan–Chevalley decomposition}} | {{Main|Jordan–Chevalley decomposition}} | ||
एक पूर्ण क्षेत्र पर रैखिक बीजगणितीय समूह के किसी भी तत्व g को उत्पाद g = g के रूप में विशिष्ट रूप से लिखा जा सकता है<sub>''u''</sub>&हेयरस्प;&हेयरस्प;जी<sub>''s''</sub> कम्यूटिंग | एक पूर्ण क्षेत्र पर रैखिक बीजगणितीय समूह के किसी भी तत्व g को उत्पाद g = g के रूप में विशिष्ट रूप से लिखा जा सकता है<sub>''u''</sub>&हेयरस्प;&हेयरस्प;जी<sub>''s''</sub> कम्यूटिंग एकशक्तऔर सेमी-सादगी वाले तत्व जी<sub>''u''</sub> और जी<sub>''s''</sub>. समूह जीएल के मामले में<sub>''n''</sub>(सी), यह अनिवार्य रूप से कहता है कि कोई भी व्युत्क्रमणीय सम्मिश्र संख्या आव्यूहोंएक विकर्ण आव्यूहोंऔर एक ऊपरी त्रिकोणीय आव्यूहोंके उत्पाद से संयुग्मित होता है, जो (कमोबेश) जॉर्डन-चेवेल्ली अपघटन का गुणक संस्करण है। | ||
समूहों के लिए जॉर्डन अपघटन का एक संस्करण भी है: | समूहों के लिए जॉर्डन अपघटन का एक संस्करण भी है: |
Revision as of 10:42, 30 July 2023
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (November 2015) (Learn how and when to remove this template message) |
गणित में, वलय R का एक एकशक्तिशाली तत्व r ऐसा है कि r − 1 एक शून्यशक्तिशाली तत्व है; दूसरे शब्दों में, (r − 1)n कुछ n के लिए शून्य है।विशेष रूप से, एक वर्ग आव्यूहों M एक 'एकशक्त मैट्रिक्स' है यदि और केवल यदि इसका अभिलक्षणिक बहुपद P(t),t − 1 की घात है। इस प्रकार एक एकशक्त आव्यूहोंके सभी आइगेनवैल्यू 1 हैं।
'अर्ध-एकशक्तिशाली' शब्द का अर्थ है कि कुछ शक्ति एकशक्तिशाली है, उदाहरण के लिए आइगेनवैल्यू के साथ एक विकर्ण आव्यूहों के लिए जो एकता की सभी जड़ें हैं।
बीजगणितीय समूहों सिद्धांत में, एक समूह तत्व 'एकशक्त' होता है यदि यह एक निश्चित प्राकृतिक समूह प्रतिनिधित्व में एकशक्त रूप से कार्य करता है। एक 'एकशक्त सजातीय बीजगणितीय समूह' तब एक ऐसा समूह होता है जिसके सभी तत्व एकशक्त होते हैं।
परिभाषा
आव्यूहोंके साथ परिभाषा
समूह पर विचार करें (गणित) ऊपरी-त्रिकोणीय मैट्रिक्स के साथ विकर्ण के अनुदिश है, इसलिए वे आव्यूहों का समूह हैं।[1]
फिर, एक एकशक्तिशाली समूह को कुछ उपसमूह के रूप में परिभाषित किया जा सकता है . योजना का उपयोग करके समूह समूह योजना के रूप में परिभाषित किया जा सकता है
और एक सजातीय समूह योजना अप्रभावी है यदि यह इस योजना की एक बंद समूह योजना है।
रिंग सिद्धांत के साथ परिभाषा
एक सजातीय बीजगणितीय समूह का एक तत्व x एकशक्त होता है जब उसका संबद्ध सही अनुवाद ऑपरेटर, rx होता है, जी के सजातीय समन्वय रिंग ए[जी] पर, ए[जी] के रैखिक मानचित्र के रिंग के एक तत्व के रूप में स्थानीय रूप से एकशक्त है। (स्थानीय रूप से एकशक्त का मतलब है कि ए [जी] के किसी भी परिमित-आयामी स्थिर उप-स्थान पर इसका प्रतिबंध सामान्य रिंग-सैद्धांतिक अर्थ में एकशक्त है।)
एक सजातीय बीजगणितीय समूह को 'एकशक्त' कहा जाता है यदि इसके सभी तत्व एकशक्त हैं। कोई भी एकरूपी बीजगणितीय समूह विकर्ण प्रविष्टियों 1 के साथ ऊपरी त्रिकोणीय आव्यूहों के समूह के एक बंद उपसमूह के लिए समरूपी है, और उलटा (तर्क) ऐसा कोई भी उपसमूह एकरूपी है। विशेष रूप से कोई भी एकशक्तिशाली समूह एक शून्यशक्तिशाली समूह है, यद्यपि इसका विपरीत सत्य नहीं है (प्रतिउदाहरण: GLn(k) के विकर्ण मैट्रिक्स)।
उदाहरण के लिए, का मानक प्रतिनिधित्व पर मानक आधार के साथ निश्चित वेक्टर है।
प्रतिनिधित्व सिद्धांत के साथ परिभाषा
यदि एक एकशक्त समूह एक सजातीय विविधता पर कार्य करता है, तो इसकी सभी कक्षाएँ बंद हो जाती हैं, और यदि यह एक परिमित-आयामी सदिश स्थल पर रैखिक रूप से कार्य करता है तो इसमें एक गैर-शून्य निश्चित सदिश होता है। वस्तुत:, बाद वाले गुण एकाधिकारहीन समूहों की विशेषता बताते है।[1]विशेष रूप से, इसका तात्पर्य यह है कि कोई असतहीय अर्धसरल निरूपण नहीं हैं।
उदाहरण
Un
निस्सन्देह, आव्यूहों का समूह अशक्तिशाली है. निचली केंद्रीय श्रृंखला का उपयोग
जहां
- और
वहाँ संबद्ध एकाधिकार समूह हैं। उदाहरण के लिए, पर , केंद्रीय श्रृंखला आव्यूहों का समूह हैं
- , , , और
एकशक्तिशाली समूहों के कुछ प्रेरित उदाहरण दिए गए हैं।
Gan
योगात्मक समूह अंतःस्थापन के माध्यम से एक अशक्तिशाली समूह है
ध्यान दें कि आव्यूह गुणन क्या देता है
इसलिए यह एक समूह अंतःस्थापन है। अधिक सामान्यतः, एक अंतःस्थापन होती है मानचित्र से
योजना सिद्धांत का उपयोग करते हुए, ऑपरेटर द्वारा दिया गया है
जहां
फ्रोबेनियस का कर्नेल
प्रकार्यक पर उपश्रेणी पर विचार करें , वहाँ सबफ़ंक्टर है जहाँ
तो यह फ्रोबेनियस अंतःरूपांतरण के कर्नेल द्वारा दिया गया है।
विशेषता 0 पर एकशक्तिशाली समूहों का वर्गीकरण
विशेषता 0 से अधिक, निलपोटेंट लाई बीजगणित के संबंध में एकशक्तिशाली बीजगणितीय समूहों का एक अच्छा वर्गीकरण है। याद रखें कि एक निलपोटेंट ले बीजगणित कुछ का एक उपबीजगणित है जैसे कि पुनरावृत्त सहायक क्रिया अंततः शून्य-मानचित्र पर समाप्त हो जाती है। आव्यूह के संदर्भ में, इसका मतलब यह है कि यह का ,आव्यूहों के साथ के लिए एक उपबीजगणित है
फिर, परिमित-आयामी निलपोटेंट लाई बीजगणित और एकशक्तबीजगणितीय समूहों की श्रेणियों की समानता है।[1]पृष्ठ 261 इसका निर्माण बेकर-कैंपबेल-हॉसडॉर्फ़ सूत्र का उपयोग करके किया जा सकता है|बेकर-कैंपबेल-हॉसडॉर्फ़ श्रृंखला , जहां एक परिमित-आयामी निलपोटेंट झूठ बीजगणित, नक्शा दिया गया है
एक एकशक्तबीजगणितीय समूह संरचना देता है .
दूसरी दिशा में घातीय मानचित्र (झूठ सिद्धांत) किसी भी शून्य-शक्तिशाली वर्ग आव्यूहोंको एक एकशक्तमैट्रिक्स में ले जाता है। इसके अलावा, यदि यू एक क्रमविनिमेय एकशक्तिशाली समूह है, तो घातांकीय मानचित्र यू से यू के लाई बीजगणित से एक समरूपता उत्पन्न करता है।
टिप्पणियाँ
किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर एकशक्तसमूहों को सैद्धांतिक रूप से वर्गीकृत किया जा सकता है, लेकिन व्यवहार में वर्गीकरण की जटिलता आयाम के साथ बहुत तेजी से बढ़ती है, इसलिए लोग[who?] आयाम 6 के आसपास कहीं न कहीं हार मानने की प्रवृत्ति होती है।
एकशक्तिशाली मूलक
एक बीजगणितीय समूह जी का एकशक्तिशाली मूलांक जी के एक बीजगणितीय समूह के मूलांक में एकशक्तिशाली तत्वों का समूह है। यह जी का एक जुड़ा हुआ एकशक्तिशाली सामान्य उपसमूह है, और इसमें ऐसे सभी अन्य उपसमूह शामिल हैं। किसी समूह को रिडक्टिव कहा जाता है यदि उसका एकशक्तिशाली मूलांक तुच्छ हो। यदि जी रिडक्टिव है तो इसका मूलांक एक टोरस है।
बीजगणितीय समूहों का अपघटन
बीजगणितीय समूहों को एकशक्तिशाली समूहों, गुणक समूहों और एबेलियन किस्मों में विघटित किया जा सकता है, लेकिन वे कैसे विघटित होते हैं इसका विवरण उनके आधार क्षेत्र (गणित) की विशेषता पर निर्भर करता है।
लक्षण 0
विशेषता 0 पर एक बीजगणितीय समूह का एक अच्छा अपघटन प्रमेय है इसकी संरचना को एक रैखिक बीजगणितीय समूह और एबेलियन किस्म की संरचना से संबंधित करना। समूहों का एक संक्षिप्त सटीक क्रम है[2]पृष्ठ 8
कहाँ एक एबेलियन किस्म है, गुणात्मक प्रकार का है (अर्थ, ज्यामितीय रूप से, फॉर्म के टोरी और बीजगणितीय समूहों का एक उत्पाद है ) और एक अशक्तिशाली समूह है.
विशेषता पी
जब आधार क्षेत्र की विशेषता p होती है तो एक अनुरूप कथन होता है[2]एक बीजगणितीय समूह के लिए : वहाँ एक सबसे छोटा उपसमूह मौजूद है ऐसा है कि
- एक अशक्तिशाली समूह है
- एबेलियन किस्म का विस्तार है एक समूह द्वारा गुणात्मक प्रकार का.
- अनुरूपता (समूह सिद्धांत) तक अद्वितीय है और आइसोजेनी तक अद्वितीय है।
जॉर्डन अपघटन
एक पूर्ण क्षेत्र पर रैखिक बीजगणितीय समूह के किसी भी तत्व g को उत्पाद g = g के रूप में विशिष्ट रूप से लिखा जा सकता हैu&हेयरस्प;&हेयरस्प;जीs कम्यूटिंग एकशक्तऔर सेमी-सादगी वाले तत्व जीu और जीs. समूह जीएल के मामले मेंn(सी), यह अनिवार्य रूप से कहता है कि कोई भी व्युत्क्रमणीय सम्मिश्र संख्या आव्यूहोंएक विकर्ण आव्यूहोंऔर एक ऊपरी त्रिकोणीय आव्यूहोंके उत्पाद से संयुग्मित होता है, जो (कमोबेश) जॉर्डन-चेवेल्ली अपघटन का गुणक संस्करण है।
समूहों के लिए जॉर्डन अपघटन का एक संस्करण भी है: एक पूर्ण क्षेत्र पर कोई भी क्रमविनिमेय रैखिक बीजगणितीय समूह एक एकशक्तिशाली समूह और एक अर्धसरल समूह का उत्पाद है।
यह भी देखें
- रिडक्टिव ग्रुप
- अद्वितीय प्रतिनिधित्व
- डेलिग्ने-लुस्ज़टिग सिद्धांत
संदर्भ
- ↑ 1.0 1.1 1.2 Milne, J. S. रैखिक बीजगणितीय समूह (PDF). pp. 252–253, Unipotent algebraic groups.
- ↑ 2.0 2.1 Brion, Michel (2016-09-27). "आइसोजेनी तक क्रमविनिमेय बीजगणितीय समूह". arXiv:1602.00222 [math.AG].
- A. Borel, Linear algebraic groups, ISBN 0-387-97370-2
- Borel, Armand (1956), "Groupes linéaires algébriques", Annals of Mathematics, Second Series, Annals of Mathematics, 64 (1): 20–82, doi:10.2307/1969949, JSTOR 1969949
- Popov, V.L. (2001) [1994], "unipotent element", Encyclopedia of Mathematics, EMS Press
- Popov, V.L. (2001) [1994], "unipotent group", Encyclopedia of Mathematics, EMS Press
- Suprunenko, D.A. (2001) [1994], "unipotent matrix", Encyclopedia of Mathematics, EMS Press