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

From Vigyanwiki
No edit summary
No edit summary
 
(9 intermediate revisions by 6 users not shown)
Line 1: Line 1:
{{about|बीजगणितीय शब्द|एक जैविक कोशिका जिसमें केवल एक प्रकार की कोशिका में विकसित होने की क्षमता होती है|सेल पोटेंसी#यूनिपोटेंसी}}
गणित में, वलय R का एक '''यूनिपोटेंसी''' तत्व r ऐसा है कि r − 1 एक शून्यशक्तिशाली तत्व है; दूसरे शब्दों में, (r − 1)<sup>n</sup> कुछ n के लिए शून्य है।विशेष रूप से, एक [[वर्ग मैट्रिक्स|वर्ग]] आव्यूहों M एक 'एकशक्‍त आव्यूहों' है यदि और केवल यदि इसका अभिलक्षणिक बहुपद P(t),t − 1 की घात है। इस प्रकार एक एकशक्‍त आव्यूहोंके सभी [[Index.php?title=आइगेनवैल्यू|आइगेनवैल्यू]] ​​​​1 हैं।


गणित में, एक वलय का एक अनिपोटेंट तत्व ''r'' (गणित) ''R'' एक ऐसा है कि ''r'' − 1 एक निलपोटेंट तत्व है; दूसरे शब्दों में, (''r'' − 1)<sup>n</sup> कुछ n के लिए शून्य है।
'अर्ध-यूनिपोटेंसी' शब्द का अर्थ है कि कुछ शक्ति यूनिपोटेंसी है, उदाहरण के लिए आइगेनवैल्यू ​​​​के साथ एक विकर्ण आव्यूहों के लिए जो एकता की सभी जड़ें हैं।


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


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


=== मैट्रिक्स के साथ परिभाषा ===
=== आव्यूहों के साथ परिभाषा ===
समूह पर विचार करें (गणित) <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 18:
\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 24:
}
}
\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 77: Line 73:
\end{bmatrix}
\end{bmatrix}
\right\}</math>
\right\}</math>
एकशक्तिशाली समूहों के कुछ प्रेरित उदाहरण दिए गए हैं।
यूनिपोटेंसी समूहों के कुछ प्रेरित उदाहरण दिए गए हैं।


=== जी<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 91:
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 101:
योजना सिद्धांत का उपयोग करते हुए, <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> पर एक एकशक्‍त बीजगणितीय समूह संरचना देता है .


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


=== टिप्पणियाँ ===
=== टिप्पणियाँ ===
किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर यूनिपोटेंट समूहों को सैद्धांतिक रूप से वर्गीकृत किया जा सकता है, लेकिन व्यवहार में वर्गीकरण की जटिलता आयाम के साथ बहुत तेजी से बढ़ती है, इसलिए लोग{{Who|date=August 2010}} आयाम 6 के आसपास कहीं न कहीं हार मानने की प्रवृत्ति होती है।
किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर एकशक्‍त समूहों को सैद्धांतिक रूप से वर्गीकृत किया जा सकता है, लेकिन व्यवहार में वर्गीकरण की जटिलता आयाम के साथ बहुत तेजी से बढ़ती है, इसलिए लोग{{Who|date=August 2010}} आयाम 6 के आसपास कहीं न कहीं हार मानने की प्रवृत्ति होती है।


== एकशक्तिशाली मूलक==
== यूनिपोटेंसी मूलक==
एक बीजगणितीय समूह ''जी'' का एकशक्तिशाली मूलांक ''जी'' के एक बीजगणितीय समूह के मूलांक में एकशक्तिशाली तत्वों का समूह है। यह ''जी'' का एक जुड़ा हुआ एकशक्तिशाली सामान्य उपसमूह है, और इसमें ऐसे सभी अन्य उपसमूह शामिल हैं। किसी समूह को रिडक्टिव कहा जाता है यदि उसका एकशक्तिशाली मूलांक तुच्छ हो। यदि ''जी'' रिडक्टिव है तो इसका मूलांक एक टोरस है।
एक बीजगणितीय समूह ''G'' का यूनिपोटेंसी मूलांक ''G'' के एक बीजगणितीय समूह के मूलांक में यूनिपोटेंसी तत्वों का समूह है। यह ''G'' का एक जुड़ा हुआ यूनिपोटेंसी सामान्य उपसमूह है, और इसमें ऐसे सभी अन्य उपसमूह सम्मिलित हैं। किसी समूह को अपचायक कहा जाता है यदि उसका यूनिपोटेंसी मूलांक साधारण हो। यदि ''G'' अपचायक है तो इसका मूलांक एक टोरस है।


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


=== लक्षण 0 ===
=== लक्षण 0 ===
विशेषता 0 पर एक बीजगणितीय समूह का एक अच्छा अपघटन प्रमेय है <math>G</math> इसकी संरचना को एक [[रैखिक बीजगणितीय समूह]] और [[एबेलियन किस्म]] की संरचना से संबंधित करना। समूहों का एक [[संक्षिप्त सटीक क्रम]] है<ref name=":1">{{cite arXiv|last=Brion|first=Michel|date=2016-09-27|title=आइसोजेनी तक क्रमविनिमेय बीजगणितीय समूह|class=math.AG|eprint=1602.00222}}</ref><sup>पृष्ठ 8</sup>
विशेषता 0 पर एक बीजगणितीय समूह <math>G</math> की एक अच्छी अपघटन प्रमेय है  इसकी संरचना को एक [[रैखिक बीजगणितीय समूह]] और [[एबेलियन किस्म|एबेलियन प्रजाति]] की संरचना से संबंधित करती है। समूहों का एक [[संक्षिप्त सटीक क्रम]] है।<ref name=":1">{{cite arXiv|last=Brion|first=Michel|date=2016-09-27|title=आइसोजेनी तक क्रमविनिमेय बीजगणितीय समूह|class=math.AG|eprint=1602.00222}}</ref><sup>पृष्ठ 8</sup>
:<math>0 \to M\times U \to G \to A \to 0</math>
:<math>0 \to M\times U \to G \to A \to 0</math>
कहाँ <math>A</math> एक एबेलियन किस्म है, <math>M</math> गुणात्मक प्रकार का है (अर्थ, <math>M</math> ज्यामितीय रूप से, फॉर्म के टोरी और बीजगणितीय समूहों का एक उत्पाद है <math>\mu_n</math>) और <math>U</math> एक अशक्तिशाली समूह है.
जहां <math>A</math> एक एबेलियन प्रजाति है, <math>M</math> गुणात्मक प्रकार का है (अर्थ, <math>M</math> ज्यामितीय रूप से, फॉर्म <math>\mu_n</math> के टोरी और बीजगणितीय समूहों का एक उत्पाद है ) और <math>U</math> एक यूनिपोटेंसी समूह है।


=== विशेषता पी ===
=== विशेषता ''p'' ===
जब आधार क्षेत्र की विशेषता p होती है तो एक अनुरूप कथन होता है<ref name=":1" />एक बीजगणितीय समूह के लिए <math>G</math>: वहाँ एक सबसे छोटा उपसमूह मौजूद है <math>H</math> ऐसा है कि
जब आधार क्षेत्र की विशेषता p होती है तो <ref name=":1" />एक बीजगणितीय समूह के लिए <math>G</math> एक अनुरूप कथन होता है: वहाँ एक सबसे छोटा उपसमूह <math>H</math> उपस्थित है ऐसे  कि


# <math>G/H</math> एक अशक्तिशाली समूह है
# <math>G/H</math> एक यूनिपोटेंसी समूह है।
# <math>H</math> एबेलियन किस्म का विस्तार है <math>A</math> एक समूह द्वारा <math>M</math> गुणात्मक प्रकार का.
# <math>H</math> एबेलियन प्रजाति <math>A</math> का एक समूह द्वारा <math>M</math> गुणात्मक प्रकार का विस्तार है।
# <math>M</math> [[अनुरूपता (समूह सिद्धांत)]] तक अद्वितीय है <math>G</math> और <math>A</math> [[आइसोजेनी]] तक अद्वितीय है।
# <math>M</math> [[अनुरूपता (समूह सिद्धांत)]] तक अद्वितीय है <math>G</math> और <math>A</math> [[आइसोजेनी]] तक अद्वितीय है।


== जॉर्डन अपघटन ==
== जॉर्डन अपघटन ==
{{Main|Jordan–Chevalley decomposition}}
{{Main|जॉर्डन-शेवेल्ली अपघटन}}
एक पूर्ण क्षेत्र पर रैखिक बीजगणितीय समूह के किसी भी तत्व g को उत्पाद g = g के रूप में विशिष्ट रूप से लिखा जा सकता है<sub>''u''</sub>&हेयरस्प;&हेयरस्प;जी<sub>''s''</sub> कम्यूटिंग यूनिपोटेंट और सेमी-सादगी वाले तत्व जी<sub>''u''</sub> और जी<sub>''s''</sub>. समूह जीएल के मामले में<sub>''n''</sub>(सी), यह अनिवार्य रूप से कहता है कि कोई भी व्युत्क्रमणीय सम्मिश्र संख्या मैट्रिक्स एक विकर्ण मैट्रिक्स और एक ऊपरी त्रिकोणीय मैट्रिक्स के उत्पाद से संयुग्मित होता है, जो (कमोबेश) जॉर्डन-चेवेल्ली अपघटन का गुणक संस्करण है।
 
एक पूर्ण क्षेत्र पर रैखिक बीजगणितीय समूह के किसी भी तत्व g को विशिष्ट रूप से यूनिपोटेंसी और अर्धसरल तत्वों g<sub>u</sub> और g<sub>s</sub> के उत्पाद g = g<sub>u</sub>  g<sub>s</sub> के रूप में लिखा जा सकता है।समूह GLn(C) के कारक में), यह अनिवार्य रूप से कहता है कि कोई भी व्युत्क्रमणीय जटिल आव्यूह एक विकर्ण आव्यूह और एक ऊपरी त्रिकोणीय आव्यूह के उत्पाद से संयुग्मित होता है, जो (कमोबेश) जॉर्डन-चेवेल्ली अपघटन का गुणक संस्करण है।


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


==यह भी देखें==
==यह भी देखें==


*[[रिडक्टिव ग्रुप]]
* [[रिडक्टिव ग्रुप|अपचायकग्रुप]]
*अद्वितीय प्रतिनिधित्व
*अद्वितीय प्रतिनिधित्व
*डेलिग्ने-लुस्ज़टिग सिद्धांत
*डेलिग्ने-लुस्ज़टिग सिद्धांत
Line 159: Line 155:
==संदर्भ==
==संदर्भ==
{{Reflist}}
{{Reflist}}
*A. Borel, ''Linear algebraic groups'', {{ISBN|0-387-97370-2}}
*{{Citation | last=Borel | first=Armand | author-link=Armand Borel | title=Groupes linéaires algébriques | year=1956 | journal=[[Annals of Mathematics]] |series=Second Series | pages=20–82 | doi=10.2307/1969949 | volume=64 | jstor=1969949 | issue=1 | publisher=Annals of Mathematics}}
*{{springer|id=U/u095400|first=V.L. |last=Popov|authorlink=Vladimir L. Popov|title=unipotent element}}
*{{springer|id=U/u095410|first=V.L. |last=Popov|authorlink=Vladimir L. Popov|title=unipotent group}}
*{{springer|id=U/u095420|first=D.A.|last= Suprunenko|title=unipotent matrix}}
{{Matrix classes}}
[[Category: वलय सिद्धांत]] [[Category: मैट्रिक्स सिद्धांत]] [[Category: बीजगणितीय समूह]]


[[Category: Machine Translated Page]]
[[Category:All articles with specifically marked weasel-worded phrases]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with specifically marked weasel-worded phrases from August 2010]]
[[Category:Collapse templates]]
[[Category:Created On 19/07/2023]]
[[Category:Created On 19/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:बीजगणितीय समूह]]
[[Category:मैट्रिक्स सिद्धांत]]
[[Category:वलय सिद्धांत]]

Latest revision as of 15:58, 3 November 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 इसका निर्माण बेकर-कैंपबेल-हॉसडॉर्फ़ शृंखला का उपयोग करके किया जा सकता है|बेकर-कैंपबेल-हॉसडॉर्फ़ श्रृंखला , जहां एक परिमित-आयामी निलपोटेंट लाई बीजगणित, नक्शा दिया गया है

पर एक एकशक्‍त बीजगणितीय समूह संरचना देता है .

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

टिप्पणियाँ

किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर एकशक्‍त समूहों को सैद्धांतिक रूप से वर्गीकृत किया जा सकता है, लेकिन व्यवहार में वर्गीकरण की जटिलता आयाम के साथ बहुत तेजी से बढ़ती है, इसलिए लोग[who?] आयाम 6 के आसपास कहीं न कहीं हार मानने की प्रवृत्ति होती है।

यूनिपोटेंसी मूलक

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

बीजगणितीय समूहों का अपघटन

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

लक्षण 0

विशेषता 0 पर एक बीजगणितीय समूह की एक अच्छी अपघटन प्रमेय है इसकी संरचना को एक रैखिक बीजगणितीय समूह और एबेलियन प्रजाति की संरचना से संबंधित करती है। समूहों का एक संक्षिप्त सटीक क्रम है।[2]पृष्ठ 8

जहां एक एबेलियन प्रजाति है, गुणात्मक प्रकार का है (अर्थ, ज्यामितीय रूप से, फॉर्म के टोरी और बीजगणितीय समूहों का एक उत्पाद है ) और एक यूनिपोटेंसी समूह है।

विशेषता p

जब आधार क्षेत्र की विशेषता p होती है तो [2]एक बीजगणितीय समूह के लिए एक अनुरूप कथन होता है: वहाँ एक सबसे छोटा उपसमूह उपस्थित है ऐसे कि

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

जॉर्डन अपघटन

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

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

यह भी देखें

  • अपचायकग्रुप
  • अद्वितीय प्रतिनिधित्व
  • डेलिग्ने-लुस्ज़टिग सिद्धांत

संदर्भ

  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].