यूनिपोटेंसी: Difference between revisions
(Created page with "{{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}} गणि...") |
No edit summary |
||
(10 intermediate revisions by 6 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, वलय 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 23: | Line 18: | ||
\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 29: | Line 24: | ||
} | } | ||
\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 78: | Line 73: | ||
\end{bmatrix} | \end{bmatrix} | ||
\right\}</math> | \right\}</math> | ||
यूनिपोटेंसी समूहों के कुछ प्रेरित उदाहरण दिए गए हैं। | |||
=== | === 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 96: | 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>(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 106: | 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>\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> पर एक एकशक्त बीजगणितीय समूह संरचना देता है . | |||
दूसरी दिशा में [[घातीय मानचित्र | दूसरी दिशा में [[Index.php?title=घातीय मानचित्र|घातीय मानचित्र]] किसी भी शून्य-शक्तिशाली वर्ग आव्यूहों को एक एकशक्त आव्यूहों में ले जाता है। इसके अतिरिक्त, यदि ''U'' एक क्रमविनिमेय यूनिपोटेंसी समूह है, तो घातांकीय मानचित्र ''U'' से ''U'' के लाई बीजगणित से एक समरूपता उत्पन्न करता है। | ||
=== टिप्पणियाँ === | === टिप्पणियाँ === | ||
किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर | किसी भी आयाम के बीजगणितीय रूप से बंद क्षेत्र पर एकशक्त समूहों को सैद्धांतिक रूप से वर्गीकृत किया जा सकता है, लेकिन व्यवहार में वर्गीकरण की जटिलता आयाम के साथ बहुत तेजी से बढ़ती है, इसलिए लोग{{Who|date=August 2010}} आयाम 6 के आसपास कहीं न कहीं हार मानने की प्रवृत्ति होती है। | ||
== | == यूनिपोटेंसी मूलक== | ||
एक बीजगणितीय समूह '' | एक बीजगणितीय समूह ''G'' का यूनिपोटेंसी मूलांक ''G'' के एक बीजगणितीय समूह के मूलांक में यूनिपोटेंसी तत्वों का समूह है। यह ''G'' का एक जुड़ा हुआ यूनिपोटेंसी सामान्य उपसमूह है, और इसमें ऐसे सभी अन्य उपसमूह सम्मिलित हैं। किसी समूह को अपचायक कहा जाता है यदि उसका यूनिपोटेंसी मूलांक साधारण हो। यदि ''G'' अपचायक है तो इसका मूलांक एक टोरस है। | ||
== बीजगणितीय समूहों का अपघटन == | == बीजगणितीय समूहों का अपघटन == | ||
बीजगणितीय समूहों को | बीजगणितीय समूहों को यूनिपोटेंसी समूहों, गुणक समूहों और एबेलियन प्रजाति में विघटित किया जा सकता है, लेकिन वे कैसे विघटित होते हैं इसका विवरण उनके आधार क्षेत्र (गणित) की विशेषता पर निर्भर करता है। | ||
=== लक्षण 0 === | === लक्षण 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> | ||
:<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> एक यूनिपोटेंसी समूह है। | |||
=== विशेषता | === विशेषता ''p'' === | ||
जब आधार क्षेत्र की विशेषता p होती है तो | जब आधार क्षेत्र की विशेषता p होती है तो <ref name=":1" />एक बीजगणितीय समूह के लिए <math>G</math> एक अनुरूप कथन होता है: वहाँ एक सबसे छोटा उपसमूह <math>H</math> उपस्थित है ऐसे कि | ||
# <math>G/H</math> एक | # <math>G/H</math> एक यूनिपोटेंसी समूह है। | ||
# <math>H</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| | {{Main|जॉर्डन-शेवेल्ली अपघटन}} | ||
एक पूर्ण क्षेत्र पर रैखिक बीजगणितीय समूह के किसी भी तत्व g को | |||
एक पूर्ण क्षेत्र पर रैखिक बीजगणितीय समूह के किसी भी तत्व g को विशिष्ट रूप से यूनिपोटेंसी और अर्धसरल तत्वों g<sub>u</sub> और g<sub>s</sub> के उत्पाद g = g<sub>u</sub> g<sub>s</sub> के रूप में लिखा जा सकता है।समूह GLn(C) के कारक में), यह अनिवार्य रूप से कहता है कि कोई भी व्युत्क्रमणीय जटिल आव्यूह एक विकर्ण आव्यूह और एक ऊपरी त्रिकोणीय आव्यूह के उत्पाद से संयुग्मित होता है, जो (कमोबेश) जॉर्डन-चेवेल्ली अपघटन का गुणक संस्करण है। | |||
समूहों के लिए जॉर्डन अपघटन का एक संस्करण भी है: | समूहों के लिए जॉर्डन अपघटन का एक संस्करण भी है:एक पूर्ण क्षेत्र पर कोई भी क्रमविनिमेय रैखिक बीजगणितीय समूह एक यूनिपोटेंसी समूह और एक अर्धसरल समूह का उत्पाद है। | ||
एक पूर्ण क्षेत्र पर कोई भी क्रमविनिमेय रैखिक बीजगणितीय समूह एक | |||
==यह भी देखें== | ==यह भी देखें== | ||
*[[रिडक्टिव ग्रुप]] | * [[रिडक्टिव ग्रुप|अपचायकग्रुप]] | ||
*अद्वितीय प्रतिनिधित्व | *अद्वितीय प्रतिनिधित्व | ||
*डेलिग्ने-लुस्ज़टिग सिद्धांत | *डेलिग्ने-लुस्ज़टिग सिद्धांत | ||
Line 160: | Line 155: | ||
==संदर्भ== | ==संदर्भ== | ||
{{Reflist}} | {{Reflist}} | ||
[[Category: | [[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]एक बीजगणितीय समूह के लिए एक अनुरूप कथन होता है: वहाँ एक सबसे छोटा उपसमूह उपस्थित है ऐसे कि
- एक यूनिपोटेंसी समूह है।
- एबेलियन प्रजाति का एक समूह द्वारा गुणात्मक प्रकार का विस्तार है।
- अनुरूपता (समूह सिद्धांत) तक अद्वितीय है और आइसोजेनी तक अद्वितीय है।
जॉर्डन अपघटन
एक पूर्ण क्षेत्र पर रैखिक बीजगणितीय समूह के किसी भी तत्व g को विशिष्ट रूप से यूनिपोटेंसी और अर्धसरल तत्वों gu और gs के उत्पाद g = gu gs के रूप में लिखा जा सकता है।समूह GLn(C) के कारक में), यह अनिवार्य रूप से कहता है कि कोई भी व्युत्क्रमणीय जटिल आव्यूह एक विकर्ण आव्यूह और एक ऊपरी त्रिकोणीय आव्यूह के उत्पाद से संयुग्मित होता है, जो (कमोबेश) जॉर्डन-चेवेल्ली अपघटन का गुणक संस्करण है।
समूहों के लिए जॉर्डन अपघटन का एक संस्करण भी है:एक पूर्ण क्षेत्र पर कोई भी क्रमविनिमेय रैखिक बीजगणितीय समूह एक यूनिपोटेंसी समूह और एक अर्धसरल समूह का उत्पाद है।
यह भी देखें
- अपचायकग्रुप
- अद्वितीय प्रतिनिधित्व
- डेलिग्ने-लुस्ज़टिग सिद्धांत
संदर्भ
- ↑ 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].