यूनिपोटेंसी: Difference between revisions

From Vigyanwiki
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}}


गणित में, एक वलय का एक अनिपोटेंट तत्व ''r'' (गणित) ''R'' एक ऐसा है कि ''r'' − 1 एक निलपोटेंट तत्व है; दूसरे शब्दों में, (''r'' − 1)<sup>n</sup> कुछ n के लिए शून्य है।
{{more footnotes|date=November 2015}}
गणित में, वलय R का एक एकशक्तिशाली तत्व r ऐसा है कि r − 1 एक शून्यशक्तिशाली तत्व है; दूसरे शब्दों में, (r − 1)<sup>n</sup> कुछ n के लिए शून्य है।विशेष रूप से, एक [[वर्ग मैट्रिक्स|वर्ग]] आव्यूहों M एक 'एकशक्‍त मैट्रिक्स' है यदि और केवल यदि इसका अभिलक्षणिक बहुपद P(t),t − 1 की घात है। इस प्रकार एक एकशक्‍त आव्यूहोंके सभी [[Index.php?title=आइगेनवैल्यू|आइगेनवैल्यू]] ​​​​1 हैं।


विशेष रूप से, एक [[वर्ग मैट्रिक्स]] M एक 'यूनिपोटेंट मैट्रिक्स' है यदि और केवल यदि इसका अभिलक्षणिक बहुपद P(t) t − 1 की घात है। इस प्रकार एक यूनिपोटेंट मैट्रिक्स के सभी अभिलक्षणिक मान  [[eigenvalue|(eigenvalue]]s) ​​​​1 हैं।
'अर्ध-एकशक्तिशाली' शब्द का अर्थ है कि कुछ शक्ति एकशक्तिशाली है, उदाहरण के लिए आइगेनवैल्यू ​​​​के साथ एक विकर्ण आव्यूहों के लिए जो एकता की सभी जड़ें हैं।


'अर्ध-एकशक्तिशाली' शब्द का अर्थ है कि कुछ शक्ति एकशक्तिशाली है, उदाहरण के लिए eigenvalues ​​​​के साथ एक विकर्ण मैट्रिक्स के लिए जो एकता की सभी जड़ें हैं।
[[Index.php?title=बीजगणितीय समूहों|बीजगणितीय समूहों]] सिद्धांत में, एक समूह तत्व 'एकशक्‍त' होता है यदि यह एक निश्चित प्राकृतिक [[समूह प्रतिनिधित्व]] में एकशक्‍त रूप से कार्य करता है। एक 'एकशक्‍त सजातीय बीजगणितीय समूह' तब एक ऐसा समूह होता है जिसके सभी तत्व एकशक्‍त होते हैं।
 
[[बीजगणितीय समूह]]ों के सिद्धांत में, एक समूह तत्व 'यूनीपोटेंट' होता है यदि यह एक निश्चित प्राकृतिक [[समूह प्रतिनिधित्व]] में यूनिपोटेंट रूप से कार्य करता है। एक 'यूनिपोटेंट एफाइन अलजेब्रिक ग्रुप' तब एक ऐसा समूह होता है जिसके सभी तत्व यूनिपोटेंट होते हैं।


==परिभाषा==
==परिभाषा==


=== मैट्रिक्स के साथ परिभाषा ===
=== आव्यूहोंके साथ परिभाषा ===
समूह पर विचार करें (गणित) <math>\mathbb{U}_n</math> [[ऊपरी-त्रिकोणीय मैट्रिक्स]] के साथ|ऊपरी-त्रिकोणीय मैट्रिक्स के साथ <math>1</math>विकर्ण के अनुदिश है, इसलिए वे [[मैट्रिक्स (गणित)]] का समूह हैं<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</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>. [[योजना (गणित)]] का उपयोग करके समूह <math>\mathbb{U}_n</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>, जी के [[एफ़िन कोऑर्डिनेट रिंग]] ए[जी] पर, ए[जी] के रैखिक मानचित्र के रिंग के एक तत्व के रूप में स्थानीय रूप से यूनिपोटेंट है। (स्थानीय रूप से यूनिपोटेंट का मतलब है कि ए [जी] के किसी भी परिमित-आयामी स्थिर उप-स्थान पर इसका प्रतिबंध सामान्य रिंग-सैद्धांतिक अर्थ में यूनिपोटेंट है।)
एक सजातीय [[बीजगणितीय समूह]] का एक तत्व x एकशक्‍त होता है जब उसका संबद्ध सही अनुवाद ऑपरेटर, r<sub>''x''</sub> होता है, जी के [[Index.php?title=एफ़िन समन्वय रिंग|सजातीय समन्वय रिंग]] ए[जी] पर, ए[जी] के रैखिक मानचित्र के रिंग के एक तत्व के रूप में स्थानीय रूप से एकशक्‍त है। (स्थानीय रूप से एकशक्‍त का मतलब है कि ए [जी] के किसी भी परिमित-आयामी स्थिर उप-स्थान पर इसका प्रतिबंध सामान्य रिंग-सैद्धांतिक अर्थ में एकशक्‍त है।)


एक एफ़िन बीजगणितीय समूह को 'यूनिपोटेंट' कहा जाता है यदि इसके सभी तत्व यूनिपोटेंट हैं। कोई भी एकरूपी बीजगणितीय समूह विकर्ण प्रविष्टियों 1 के साथ ऊपरी त्रिकोणीय आव्यूहों के समूह के एक बंद उपसमूह के लिए [[ समरूपी ]] है, और उलटा (तर्क) ऐसा कोई भी उपसमूह एकरूपी है। विशेष रूप से कोई भी एकशक्तिशाली समूह एक शून्यशक्तिशाली समूह है, हालांकि इसका विपरीत सत्य नहीं है (प्रतिउदाहरण: जीएल के विकर्ण मैट्रिक्स)<sub>''n''</sub>())।
एक सजातीय बीजगणितीय समूह को 'एकशक्‍त' कहा जाता है यदि इसके सभी तत्व एकशक्‍त हैं। कोई भी एकरूपी बीजगणितीय समूह विकर्ण प्रविष्टियों 1 के साथ ऊपरी त्रिकोणीय आव्यूहों के समूह के एक बंद उपसमूह के लिए [[ समरूपी ]] है, और उलटा (तर्क) ऐसा कोई भी उपसमूह एकरूपी है। विशेष रूप से कोई भी एकशक्तिशाली समूह एक शून्यशक्तिशाली समूह है, यद्यपि इसका विपरीत सत्य नहीं है (प्रतिउदाहरण: GL<sub>''n''</sub>(''k'') के विकर्ण मैट्रिक्स)।


उदाहरण के लिए, का मानक प्रतिनिधित्व <math>\mathbb{U}_n</math> पर <math>k^n</math> मानक आधार के साथ <math>e_i</math> निश्चित वेक्टर है <math>e_1</math>.
उदाहरण के लिए, <math>\mathbb{U}_n</math>का मानक प्रतिनिधित्व <math>k^n</math> पर  मानक आधार के साथ <math>e_i</math> निश्चित वेक्टर <math>e_1</math> है।


=== प्रतिनिधित्व सिद्धांत के साथ परिभाषा ===
=== प्रतिनिधित्व सिद्धांत के साथ परिभाषा ===
यदि एक यूनिपोटेंट समूह एक एफ़िन विविधता पर कार्य करता है, तो इसकी सभी कक्षाएँ बंद हो जाती हैं, और यदि यह एक परिमित-आयामी [[सदिश स्थल]] पर रैखिक रूप से कार्य करता है तो इसमें एक गैर-शून्य निश्चित वेक्टर होता है। वास्तव में, बाद वाली संपत्ति एकाधिकारहीन समूहों की विशेषता बताती है।<ref name=":0" />विशेष रूप से, इसका तात्पर्य यह है कि कोई गैर-तुच्छ अर्धसरल निरूपण नहीं हैं।
यदि एक एकशक्‍त समूह एक सजातीय विविधता पर कार्य करता है, तो इसकी सभी कक्षाएँ बंद हो जाती हैं, और यदि यह एक परिमित-आयामी [[सदिश स्थल]] पर रैखिक रूप से कार्य करता है तो इसमें एक गैर-शून्य निश्चित [[सदिश स्थल|सदिश]]  होता है। वस्तुत:, बाद वाले गुण एकाधिकारहीन समूहों की विशेषता बताते है।<ref name=":0" />विशेष रूप से, इसका तात्पर्य यह है कि कोई असतहीय अर्धसरल निरूपण नहीं हैं।


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


=== यू<sub>''n''</sub> ===
=== U<sub>''n''</sub> ===
बेशक, मैट्रिक्स का समूह <math>\mathbb{U}_n</math> अशक्तिशाली है. [[निचली केंद्रीय श्रृंखला]] का उपयोग करना
निस्सन्देह, आव्यूहों का समूह <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:
एकशक्तिशाली समूहों के कुछ प्रेरित उदाहरण दिए गए हैं।
एकशक्तिशाली समूहों के कुछ प्रेरित उदाहरण दिए गए हैं।


=== जी<sub>a</sub><sup>n</sup> ===
=== 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>\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>\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 पर एकशक्तिशाली समूहों का वर्गीकरण ==
[[विशेषता (बीजगणित)]] 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>.
[[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>, जहां एक परिमित-आयामी निलपोटेंट झूठ बीजगणित, नक्शा दिया गया है
फिर, परिमित-आयामी निलपोटेंट लाई बीजगणित और एकशक्‍तबीजगणितीय समूहों की [[श्रेणियों की समानता]] है।<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>.
एक एकशक्‍तबीजगणितीय समूह संरचना देता है <math>\mathfrak{g}</math>.


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


=== टिप्पणियाँ ===
=== टिप्पणियाँ ===
किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर यूनिपोटेंट समूहों को सैद्धांतिक रूप से वर्गीकृत किया जा सकता है, लेकिन व्यवहार में वर्गीकरण की जटिलता आयाम के साथ बहुत तेजी से बढ़ती है, इसलिए लोग{{Who|date=August 2010}} आयाम 6 के आसपास कहीं न कहीं हार मानने की प्रवृत्ति होती है।
किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर एकशक्‍तसमूहों को सैद्धांतिक रूप से वर्गीकृत किया जा सकता है, लेकिन व्यवहार में वर्गीकरण की जटिलता आयाम के साथ बहुत तेजी से बढ़ती है, इसलिए लोग{{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> कम्यूटिंग यूनिपोटेंट और सेमी-सादगी वाले तत्व जी<sub>''u''</sub> और जी<sub>''s''</sub>. समूह जीएल के मामले में<sub>''n''</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

गणित में, वलय 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]एक बीजगणितीय समूह के लिए : वहाँ एक सबसे छोटा उपसमूह मौजूद है ऐसा है कि

  1. एक अशक्तिशाली समूह है
  2. एबेलियन किस्म का विस्तार है एक समूह द्वारा गुणात्मक प्रकार का.
  3. अनुरूपता (समूह सिद्धांत) तक अद्वितीय है और आइसोजेनी तक अद्वितीय है।

जॉर्डन अपघटन

एक पूर्ण क्षेत्र पर रैखिक बीजगणितीय समूह के किसी भी तत्व g को उत्पाद g = g के रूप में विशिष्ट रूप से लिखा जा सकता हैu&हेयरस्प;&हेयरस्प;जीs कम्यूटिंग एकशक्‍तऔर सेमी-सादगी वाले तत्व जीu और जीs. समूह जीएल के मामले मेंn(सी), यह अनिवार्य रूप से कहता है कि कोई भी व्युत्क्रमणीय सम्मिश्र संख्या आव्यूहोंएक विकर्ण आव्यूहोंऔर एक ऊपरी त्रिकोणीय आव्यूहोंके उत्पाद से संयुग्मित होता है, जो (कमोबेश) जॉर्डन-चेवेल्ली अपघटन का गुणक संस्करण है।

समूहों के लिए जॉर्डन अपघटन का एक संस्करण भी है: एक पूर्ण क्षेत्र पर कोई भी क्रमविनिमेय रैखिक बीजगणितीय समूह एक एकशक्तिशाली समूह और एक अर्धसरल समूह का उत्पाद है।

यह भी देखें

संदर्भ

  1. 1.0 1.1 1.2 Milne, J. S. रैखिक बीजगणितीय समूह (PDF). pp. 252–253, Unipotent algebraic groups.
  2. 2.0 2.1 Brion, Michel (2016-09-27). "आइसोजेनी तक क्रमविनिमेय बीजगणितीय समूह". arXiv:1602.00222 [math.AG].