विशेष रैखिक समूह: Difference between revisions

Revision as of 18:32, 1 June 2023

गणित में विशेष रेखीय समूह SL(n, F) एक क्षेत्र (गणित) F पर डिग्री n का निर्धारक 1 के साथ n × n आव्यूह (गणित) का समुच्चय हैं, जिसमें साधारण आव्यूह गुणन और आव्यूह व्युत्क्रम के समूह संचालन होते हैं। यह निर्धारक के कर्नेल (बीजगणित) द्वारा दिए गए सामान्य रैखिक समूह का सामान्य उपसमूह है

\det \colon \operatorname {GL} (n,F)\to F^{\times }.

जहां F^× F का गुणक समूह है (अर्थात F को छोड़कर 0)।

येये तत्व "विशेष" हैं क्योंकि वे सामान्य रेखीय समूह की एक बीजगणितीय विविधता बनाते हैं - वे एक बहुपद समीकरण को संतुष्ट करते हैं (चूंकि निर्धारक प्रविष्टियों में बहुपद है)।

जब F क्रम q का परिमित क्षेत्र है, तो अंकन SL(n, q) कभी-कभी प्रयोग किया जाता है।

ज्यामितीय व्याख्या

विशेष रैखिक समूह SL(n, R) को 'Rn' के रैखिक परिवर्तनों को संरक्षित करने वाले आयतन और अभिविन्यास (गणित) के समूह के रूप में वर्णित किया जा सकता है, यह मात्रा और अभिविन्यास में परिवर्तन को मापने के रूप में निर्धारक की व्याख्या के अनुरूप है।

लाई उपसमूह

जब F 'R' या 'C' है, तो SL(n, F), GL(n, F) आयाम n² − 1 का लाई उपसमूह होता है। लाई बीजगणित ${\mathfrak {sl}}(n,F)$ के मैथफ्राक SL(n, F) में सभी n × n आव्यूह होते हैं जो विलुप्त होने वाले ट्रेस के साथ F पर होते हैं। लेट ब्रैकेट कम्यूटेटर द्वारा दिया जाता है।

टोपोलॉजी

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

इस प्रकार समूह SL(n, C) की टोपोलॉजी SU (n) की टोपोलॉजी का उत्पाद है और यूनिट निर्धारक के हेर्मिटियन आव्यूह के समूह की टोपोलॉजी सकारात्मक आइगेनवैल्यू के साथ है, यूनिट निर्धारक का एक हेर्मिटियन आव्यूह और सकारात्मक ईगेनवेल्यूज़ को विशिष्ट रूप से ट्रेसलेस हेर्मिटियन आव्यूह के घातांक के रूप में व्यक्त किया जा सकता है इसलिए इसकी टोपोलॉजी यह है (n² − 1)-आयामी यूक्लिडियन स्पेस^[1] चूँकि SU(n) बस जुड़ा हुआ है,^[2] हम यह निष्कर्ष निकालते हैं SL(n, C) 2 से अधिक या उसके बराबर सभी n के लिए भी बस जुड़ा हुआ है।

टोपोलॉजी SL(n, R) की टोपोलॉजी SO (n) की टोपोलॉजी का उत्पाद है और सममित आव्यूह के समूह की टोपोलॉजी सकारात्मक आइगेनवैल्यू और यूनिट निर्धारक के साथ है चूंकि बाद वाले आव्यूह को विशिष्ट रूप से सममित ट्रैसलेस आव्यूह के घातांक के रूप में व्यक्त किया जा सकता है, तो यह बाद वाला टोपोलॉजी है (n + 2)(n − 1)/2-आयामी यूक्लिडियन स्पेस का है। इस प्रकार समूह SL(n, R) का मौलिक समूह SO(n) के समान है, अर्थात 'Z' के लिए n = 2 और Z₂ के लिए n > 2.^[3] विशेष रूप से इसका मतलब यह है SL(n, R) के विपरीत SL(n, C) 1 से अधिक n के लिए बस जुड़ा हुआ नहीं है।

== जीएल (एन, ए) == के अन्य उपसमूहों से संबंध

दो संबंधित उपसमूह जो कुछ स्थिति में SL के साथ मेल खाते हैं और अन्य स्थिति में गलती से SL के साथ मिल जाते हैं, GL के कम्यूटेटर उपसमूह हैं और संवहन द्वारा उत्पन्न समूह। ये दोनों SL के उपसमूह हैं (संक्रमण में निर्धारक 1 है और det एक एबेलियन समूह के लिए एक मानचित्र है इसलिए [GL, GL] ≤ SL) लेकिन सामान्य तौर पर इसके साथ मेल नहीं खाता है।

संवहन द्वारा उत्पन्न समूह को E(n, A) (प्रारंभिक आव्यूह के लिए) या TV(n, A)के रूप में दर्शाया गया है। दूसरे स्टाइनबर्ग संबंध द्वारा n ≥ 3के लिए संवहन कम्यूटेटर हैं इसलिए n ≥ 3के लिए E(n, A) ≤ [GL(n, A), GL(n, A)].

n = 2 के लिए संवहन को कम्यूटेटर नहीं होना चाहिए ( 2 × 2 आव्यूह के) जैसा कि उदाहरण के लिए देखा गया है जब A F2 है, दो तत्वों का क्षेत्र है, तो

\operatorname {Alt} (3)\cong [\operatorname {GL} (2,\mathbf {F} _{2}),\operatorname {GL} (2,\mathbf {F} _{2})]<\operatorname {E} (2,\mathbf {F} _{2})=\operatorname {SL} (2,\mathbf {F} _{2})=\operatorname {GL} (2,\mathbf {F} _{2})\cong \operatorname {Sym} (3),

जहाँ Alt(3) और Sym(3) वैकल्पिक समूह सम्मान को दर्शाता है, 3 अक्षरों पर सममित समूह।

हालाँकि, यदि A 2 से अधिक तत्वों वाला क्षेत्र है तो E(2, A) = [GL(2, A), GL(2, A)] और यदि A 3 से अधिक तत्वों वाला क्षेत्र है, तो E(2, A) = [SL(2, A), SL(2, A)]. Template:Dubious - discuss

कुछ परिस्थितियों में ये मेल खाते हैं: किसी क्षेत्र या यूक्लिडियन डोमेन पर विशेष रैखिक समूह संवहन द्वारा उत्पन्न होता है और डेडेकाइंड डोमेन पर स्थिर विशेष रैखिक समूह संवहन द्वारा उत्पन्न होता है। अधिक सामान्य छल्लों के लिए स्थिर अंतर को विशेष व्हाइटहेड समूह SK₁(A) := SL(A)/E(A) द्वारा मापा जाता है, जहां SL(A) और E(A) विशेष रैखिक समूह और प्रारंभिक आव्यूहों के समूहों की प्रत्यक्ष सीमा हैं।

जनरेटर और संबंध

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

संबंधों का एक पर्याप्त संग्रह SL(n, Z) के लिए n ≥ 3 स्टाइनबर्ग संबंधों में से दो, साथ ही एक तीसरे संबंध (कॉनडर, रॉबर्टसन एंड विलियम्स 1992, पृष्ठ 19)द्वारा दिया गया है।

माना T_ij := e_ij(1) विकर्ण पर 1 के साथ और ij स्थिति में 1 के साथ प्राथमिक आव्युह हो और अन्यत्र 0 (और i ≠ j) हो, तब

{\begin{aligned}\left[T_{ij},T_{jk}\right]&=T_{ik}&&{\text{for }}i\neq k\\[4pt]\left[T_{ij},T_{k\ell }\right]&=\mathbf {1} &&{\text{for }}i\neq \ell ,j\neq k\\[4pt]\left(T_{12}T_{21}^{-1}T_{12}\right)^{4}&=\mathbf {1} \end{aligned}}

SL(n, 'Z'), n ≥ 3 के लिए संबंधों का एक पूरा संग्रह है।

एसएल^±(एन,एफ)

विशेषता (बीजगणित) में 2 के अलावा निर्धारक के साथ मैट्रिसेस का सेट $\pm1$ GL का एक अन्य उपसमूह बनाते हैं, जिसमें SL एक सूचकांक 2 उपसमूह (अनिवार्य रूप से सामान्य) के रूप में होता है, विशेषता 2 में यह SL के समान है। यह समूहों का एक संक्षिप्त सटीक अनुक्रम बनाता है:

\mathrm {SL} (n,F)\to \mathrm {SL} ^{\pm }(n,F)\to \{\pm 1\}.

यह अनुक्रम निर्धारक $-1$ के साथ किसी भी मैट्रिक्स को लेकर विभाजित होता है, उदाहरण के लिए विकर्ण मैट्रिक्स $(-1,1,\dots ,1).$ अगर $n=2k+1$ विषम है, नकारात्मक पहचान मैट्रिक्स $-I$ हैं $SL \pm (n, F)$ में है लेकिन $SL(n, F)$ में नहीं है और इस प्रकार समूह आंतरिक प्रत्यक्ष उत्पाद के रूप में विभाजित हो जाता है $SL^{\pm }(2k+1,F)\cong SL(2k+1,F)\times \{\pm I\}$ . हालांकि, यदि $n=2k$ सम है $-I$ पहले से ही $SL(n, F)$ में है, $SL \pm$ विभाजित नहीं होता है और सामान्य रूप से एक गैर-तुच्छ समूह विस्तार है।

वास्तविक संख्याओं पर $SL \pm (n, R)$ में दो जुड़े हुए घटक (टोपोलॉजी) होते हैं, जो $SL(n, R)$ और एक अन्य घटक के अनुरूप होते हैं जो बिंदु की पसंद (निर्धारक के साथ मैट्रिक्स) $-1$ )के आधार पर पहचान के साथ आइसोमोर्फिक होते हैं। विषम आयाम में इन्हें स्वाभाविक रूप से $-I$ द्वारा पहचाना जाता है, लेकिन सम आयाम में कोई एक प्राकृतिक पहचान नहीं है।

== जीएल (एन, एफ) == की संरचना

समूह GL(n, F) अपने निर्धारक पर विभाजित होता है (हम F^× ≅ GL(1, F) → GL(n, F) का उपयोग F× से GL(n, F) तक एकरूपता के रूप में करते हैं, सेमीडायरेक्ट उत्पाद देखें) इसलिए GL(n, F) को F× द्वारा SL(n, F) के अर्ध-प्रत्यक्ष उत्पाद के रूप में लिखा जा सकता है:

जीएल (एन, एफ) = एसएल (एन, एफ) ⋊ एफ^×.

यह भी देखें

संदर्भ

↑ Hall 2015 Section 2.5
↑ Hall 2015 Proposition 13.11
↑ Hall 2015 Sections 13.2 and 13.3

Conder, Marston; Robertson, Edmund; Williams, Peter (1992), "Presentations for 3-dimensional special linear groups over integer rings", Proceedings of the American Mathematical Society, American Mathematical Society, 115 (1): 19–26, doi:10.2307/2159559, JSTOR 2159559, MR 1079696

Hall, Brian C. (2015), Lie groups, Lie algebras, and representations: An elementary introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer

[1] Hall 2015 Section 2.5

[2] Hall 2015 Proposition 13.11

[3] Hall 2015 Sections 13.2 and 13.3

[1]

[2]

[3]

@@ Line 4: / Line 4: @@
 {{Lie groups |Classical}}
-गणित में, विशेष रेखीय समूह {{nowrap|SL(''n'', ''F'')}} एक [[क्षेत्र (गणित)]] F पर डिग्री n का निर्धारक 1 के साथ {{nowrap|''n'' × ''n''}} [[मैट्रिक्स (गणित)]] का समुच्चय हैं, जिसमें साधारण [[मैट्रिक्स गुणन]] और मैट्रिक्स व्युत्क्रम के समूह संचालन होते हैं। यह निर्धारक के कर्नेल (बीजगणित) द्वारा दिए गए [[सामान्य रैखिक समूह]] का [[सामान्य उपसमूह]] है
+गणित में विशेष रेखीय समूह {{nowrap|SL(''n'', ''F'')}} एक [[क्षेत्र (गणित)]] F पर डिग्री n का निर्धारक 1 के साथ {{nowrap|''n'' × ''n''}} [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] का समुच्चय हैं, जिसमें साधारण [[मैट्रिक्स गुणन|आव्यूह गुणन]] और आव्यूह व्युत्क्रम के समूह संचालन होते हैं। यह निर्धारक के कर्नेल (बीजगणित) द्वारा दिए गए [[सामान्य रैखिक समूह]] का [[सामान्य उपसमूह]] है
 :<math>\det\colon \operatorname{GL}(n, F) \to F^\times.</math>
-जहां F<sup>×</sup> F का [[गुणक समूह]] है (अर्थात, F को छोड़कर 0)।
+जहां F<sup>×</sup> F का [[गुणक समूह]] है (अर्थात F को छोड़कर 0)।
 येये तत्व "विशेष" हैं क्योंकि वे सामान्य रेखीय समूह की एक बीजगणितीय विविधता बनाते हैं - वे एक बहुपद समीकरण को संतुष्ट करते हैं (चूंकि निर्धारक प्रविष्टियों में बहुपद है)।
@@ Line 17: / Line 17: @@
 == लाई उपसमूह ==
-जब एफ 'आर' या 'सी' है, तो {{nowrap|SL(''n'', ''F'')}}, {{nowrap|GL(''n'', ''F'')}} आयाम {{nowrap|''n''<sup>2</sup> − 1}} का झूठा उपसमूह होता है। [[झूठ बीजगणित]] <math>\mathfrak{sl}(n, F)</math> के मैथफ्राक SL(n, F) में सभी  {{nowrap|''n'' × ''n''}} मेट्रिसेस होते हैं जो गायब होने वाले ट्रेस के साथ F पर होते हैं। [[लेट ब्रैकेट]] [[कम्यूटेटर]] द्वारा दिया जाता है।
+जब F 'R' या 'C' है, तो {{nowrap|SL(''n'', ''F'')}}, {{nowrap|GL(''n'', ''F'')}} आयाम {{nowrap|''n''<sup>2</sup> − 1}} का लाई उपसमूह होता है। [[झूठ बीजगणित|लाई बीजगणित]] <math>\mathfrak{sl}(n, F)</math> के मैथफ्राक SL(n, F) में सभी  {{nowrap|''n'' × ''n''}} आव्यूह होते हैं जो विलुप्त होने वाले ट्रेस के साथ F पर होते हैं। [[लेट ब्रैकेट]] [[कम्यूटेटर]] द्वारा दिया जाता है।
 == टोपोलॉजी ==
-किसी भी व्युत्क्रमणीय मैट्रिक्स को विशिष्ट रूप से [[ध्रुवीय अपघटन]] के अनुसार [[एकात्मक मैट्रिक्स]] के उत्पाद के रूप में और धनात्मक [[eigenvalue|ईगेनवेल्यूज़]] के साथ एक हेर्मिटियन मैट्रिक्स का प्रतिनिधित्व किया जा सकता है। एकात्मक मैट्रिक्स का निर्धारक [[यूनिट सर्कल]] पर है, जबकि [[हर्मिटियन मैट्रिक्स]] वास्तविक और सकारात्मक है और चूंकि विशेष रैखिक समूह से मैट्रिक्स के मामले में इन दो निर्धारकों का उत्पाद 1 होना चाहिए, तो उनमें से प्रत्येक होना चाहिए 1. इसलिए, एक विशेष रैखिक मैट्रिक्स को एक [[विशेष एकात्मक मैट्रिक्स]] (या वास्तविक मामले में [[विशेष ऑर्थोगोनल मैट्रिक्स]]) और एक [[सकारात्मक-निश्चित मैट्रिक्स|सकारात्मक-निश्चित]] हर्मिटियन मैट्रिक्स (या वास्तविक मामले में [[सममित मैट्रिक्स]]) के उत्पाद के रूप में लिखा जा सकता है, जिसमें निर्धारक 1 है।
+किसी भी व्युत्क्रमणीय आव्यूह को विशिष्ट रूप से [[ध्रुवीय अपघटन]] के अनुसार [[एकात्मक मैट्रिक्स|एकात्मक आव्यूह]] के उत्पाद के रूप में और धनात्मक [[eigenvalue|ईगेनवेल्यूज़]] के साथ एक हेर्मिटियन आव्यूह का प्रतिनिधित्व किया जा सकता है। एकात्मक आव्यूह का निर्धारक [[यूनिट सर्कल|यूनिट चक्र]] पर है, जबकि [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]] वास्तविक और सकारात्मक है चूंकि विशेष रैखिक समूह से आव्यूह की स्थिति में इन दो निर्धारकों का उत्पाद 1 होना चाहिए, तो उनमें से प्रत्येक होना चाहिए इसलिए, एक विशेष रैखिक आव्यूह को एक [[विशेष एकात्मक मैट्रिक्स|विशेष एकात्मक आव्यूह]] (या वास्तविक स्थिति में [[विशेष ऑर्थोगोनल मैट्रिक्स|विशेष ऑर्थोगोनल आव्यूह]]) और एक [[सकारात्मक-निश्चित मैट्रिक्स|सकारात्मक-निश्चित]] हर्मिटियन आव्यूह (या वास्तविक स्थिति में [[सममित मैट्रिक्स|सममित आव्यूह]]) के उत्पाद के रूप में लिखा जा सकता है, जिसमें निर्धारक 1 है।
-इस प्रकार समूह {{nowrap|SL(''n'', '''C''')}} की टोपोलॉजी एसयू (एन) की टोपोलॉजी का [[उत्पाद टोपोलॉजी|उत्पाद]] है और यूनिट निर्धारक के हेर्मिटियन मेट्रिसेस के समूह की टोपोलॉजी सकारात्मक आइगेनवैल्यू के साथ है। यूनिट निर्धारक का एक हेर्मिटियन मैट्रिक्स और सकारात्मक ईगेनवेल्यूज़ को विशिष्ट रूप से [[ लापता | ट्रेसलेस]] हेर्मिटियन मैट्रिक्स के [[ मैट्रिक्स घातीय | घातांक]] के रूप में व्यक्त किया जा सकता है, और इसलिए इसकी टोपोलॉजी यह है {{nowrap|(''n''<sup>2</sup> − 1)}}-आयामी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्पेस]]<ref>{{harvnb|Hall|2015}} Section 2.5</ref> चूँकि SU(n) [[बस जुड़ा हुआ है]],<ref>{{harvnb|Hall|2015}} Proposition 13.11</ref> हम यह निष्कर्ष निकालते हैं {{nowrap|SL(''n'', '''C''')}} 2 से अधिक या उसके बराबर सभी n के लिए भी बस जुड़ा हुआ है।
+इस प्रकार समूह {{nowrap|SL(''n'', '''C''')}} की टोपोलॉजी SU (n) की टोपोलॉजी का [[उत्पाद टोपोलॉजी|उत्पाद]] है और यूनिट निर्धारक के हेर्मिटियन आव्यूह के समूह की टोपोलॉजी सकारात्मक आइगेनवैल्यू के साथ है, यूनिट निर्धारक का एक हेर्मिटियन आव्यूह और सकारात्मक ईगेनवेल्यूज़ को विशिष्ट रूप से [[ लापता | ट्रेसलेस]] हेर्मिटियन आव्यूह के [[ मैट्रिक्स घातीय | घातांक]] के रूप में व्यक्त किया जा सकता है इसलिए इसकी टोपोलॉजी यह है {{nowrap|(''n''<sup>2</sup> − 1)}}-आयामी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्पेस]]<ref>{{harvnb|Hall|2015}} Section 2.5</ref> चूँकि SU(n) [[बस जुड़ा हुआ है]],<ref>{{harvnb|Hall|2015}} Proposition 13.11</ref> हम यह निष्कर्ष निकालते हैं {{nowrap|SL(''n'', '''C''')}} 2 से अधिक या उसके बराबर सभी n के लिए भी बस जुड़ा हुआ है।
-की टोपोलॉजी {{nowrap|SL(''n'', '''R''')}} की टोपोलॉजी एसओ (एन) की टोपोलॉजी का उत्पाद है और सममित मैट्रिसेस के समूह की टोपोलॉजी सकारात्मक आइगेनवैल्यू और यूनिट निर्धारक के साथ है। चूंकि बाद वाले मेट्रिसेस को विशिष्ट रूप से सममित ट्रैसलेस मेट्रिसेस के घातांक के रूप में व्यक्त किया जा सकता है, तो यह बाद वाला टोपोलॉजी है {{nowrap|(''n'' + 2)(''n'' − 1)/2}}-आयामी यूक्लिडियन स्पेस का है। इस प्रकार, समूह {{nowrap|SL(''n'', '''R''')}} का [[मौलिक समूह]] SO(n) के समान है, अर्थात, 'Z' के लिए {{nowrap|1=''n'' = 2}} और जेड<sub>2</sub> के लिए {{nowrap|''n'' &gt; 2}}.<ref>{{harvnb|Hall|2015}} Sections 13.2 and 13.3</ref> विशेष रूप से इसका मतलब यह है {{nowrap|SL(''n'', '''R''')}} के विपरीत {{nowrap|SL(''n'', '''C''')}} 1 से अधिक n के लिए बस जुड़ा हुआ नहीं है।
+टोपोलॉजी {{nowrap|SL(''n'', '''R''')}} की टोपोलॉजी SO (n) की टोपोलॉजी का उत्पाद है और सममित आव्यूह के समूह की टोपोलॉजी सकारात्मक आइगेनवैल्यू और यूनिट निर्धारक के साथ है चूंकि बाद वाले आव्यूह को विशिष्ट रूप से सममित ट्रैसलेस आव्यूह के घातांक के रूप में व्यक्त किया जा सकता है, तो यह बाद वाला टोपोलॉजी है {{nowrap|(''n'' + 2)(''n'' − 1)/2}}-आयामी यूक्लिडियन स्पेस का है। इस प्रकार समूह {{nowrap|SL(''n'', '''R''')}} का [[मौलिक समूह]] SO(n) के समान है, अर्थात 'Z' के लिए {{nowrap|1=''n'' = 2}} और Z<sub>2</sub> के लिए {{nowrap|''n'' &gt; 2}}.<ref>{{harvnb|Hall|2015}} Sections 13.2 and 13.3</ref> विशेष रूप से इसका मतलब यह है {{nowrap|SL(''n'', '''R''')}} के विपरीत {{nowrap|SL(''n'', '''C''')}} 1 से अधिक n के लिए बस जुड़ा हुआ नहीं है।
 == जीएल (एन, ए) == के अन्य उपसमूहों से संबंध
 {{see also|यह भी देखें: व्हाइटहेड्स लेम्मा}}
-दो संबंधित उपसमूह, जो कुछ मामलों में एसएल के साथ मेल खाते हैं, और अन्य मामलों में गलती से एसएल के साथ मिल जाते हैं, जीएल के [[कम्यूटेटर उपसमूह]] हैं, और [[शियर मैपिंग|ट्रांसवेक्शन]] द्वारा उत्पन्न समूह। ये दोनों SL के उपसमूह हैं (संक्रमण में निर्धारक 1 है, और det एक एबेलियन समूह के लिए एक मानचित्र है, इसलिए [GL, GL] ≤ SL), लेकिन सामान्य तौर पर इसके साथ मेल नहीं खाता है।
+दो संबंधित उपसमूह जो कुछ स्थिति में SL के साथ मेल खाते हैं और अन्य स्थिति में गलती से SL के साथ मिल जाते हैं, GL के [[कम्यूटेटर उपसमूह]] हैं और [[शियर मैपिंग|संवहन]] द्वारा उत्पन्न समूह। ये दोनों SL के उपसमूह हैं (संक्रमण में निर्धारक 1 है और det एक एबेलियन समूह के लिए एक मानचित्र है इसलिए [GL, GL] ≤ SL) लेकिन सामान्य तौर पर इसके साथ मेल नहीं खाता है।
-ट्रांसवेक्शन द्वारा उत्पन्न समूह को {{nowrap|E(''n'', ''A'')}} (प्रारंभिक मैट्रिसेस के लिए) या {{nowrap|TV(''n'', ''A'')}}के रूप में दर्शाया गया है। दूसरे [[स्टाइनबर्ग संबंध]] द्वारा {{nowrap|''n'' ≥ 3}},के लिए ट्रांसवेक्शन कम्यूटेटर हैं, इसलिए {{nowrap|''n'' ≥ 3}}के लिए {{nowrap|E(''n'', ''A'') ≤ [GL(''n'', ''A''), GL(''n'', ''A'')]}}.
+संवहन द्वारा उत्पन्न समूह को {{nowrap|E(''n'', ''A'')}} (प्रारंभिक आव्यूह के लिए) या {{nowrap|TV(''n'', ''A'')}}के रूप में दर्शाया गया है। दूसरे [[स्टाइनबर्ग संबंध]] द्वारा {{nowrap|''n'' ≥ 3}}के लिए संवहन कम्यूटेटर हैं इसलिए {{nowrap|''n'' ≥ 3}}के लिए {{nowrap|E(''n'', ''A'') ≤ [GL(''n'', ''A''), GL(''n'', ''A'')]}}.
-{{nowrap|1=''n'' = 2}} के लिए ट्रांसवेक्शन को कम्यूटेटर नहीं होना चाहिए ( {{nowrap|2 × 2}} आव्यूह के) जैसा कि उदाहरण के लिए देखा गया है जब A F2 है, दो तत्वों का क्षेत्र है, तो
+{{nowrap|1=''n'' = 2}} के लिए संवहन को कम्यूटेटर नहीं होना चाहिए ( {{nowrap|2 × 2}} आव्यूह के) जैसा कि उदाहरण के लिए देखा गया है जब A F2 है, दो तत्वों का क्षेत्र है, तो
 :<math>\operatorname{Alt}(3) \cong [\operatorname{GL}(2, \mathbf{F}_2),\operatorname{GL}(2, \mathbf{F}_2)] < \operatorname{E}(2, \mathbf{F}_2) = \operatorname{SL}(2, \mathbf{F}_2) = \operatorname{GL}(2, \mathbf{F}_2) \cong \operatorname{Sym}(3),</math>
 जहाँ Alt(3) और Sym(3) [[वैकल्पिक समूह]] सम्मान को दर्शाता है, 3 अक्षरों पर [[सममित समूह|सममित समूह।]]
-हालाँकि, यदि A 2 से अधिक तत्वों वाला क्षेत्र है, तो {{nowrap|1=E(2, ''A'') = [GL(2, ''A''), GL(2, ''A'')]}}, और यदि A 3 से अधिक तत्वों वाला क्षेत्र है, तो  {{nowrap|1=E(2, ''A'') = [SL(2, ''A''), SL(2, ''A'')]}}. {{Dubious - discuss|date=March 2019}}
+हालाँकि, यदि A 2 से अधिक तत्वों वाला क्षेत्र है तो {{nowrap|1=E(2, ''A'') = [GL(2, ''A''), GL(2, ''A'')]}} और यदि A 3 से अधिक तत्वों वाला क्षेत्र है, तो  {{nowrap|1=E(2, ''A'') = [SL(2, ''A''), SL(2, ''A'')]}}. {{Dubious - discuss|date=March 2019}}
-कुछ परिस्थितियों में ये मेल खाते हैं: किसी क्षेत्र या [[यूक्लिडियन डोमेन]] पर विशेष रैखिक समूह ट्रांसवेक्शन द्वारा उत्पन्न होता है और [[डेडेकिंड डोमेन|डेडेकाइंड डोमेन]] पर स्थिर विशेष रैखिक समूह ट्रांसवेक्शन द्वारा उत्पन्न होता है। अधिक सामान्य छल्लों के लिए स्थिर अंतर को [[विशेष व्हाइटहेड समूह]]  {{nowrap|1=SK<sub>1</sub>(''A'') := SL(''A'')/E(''A'')}} द्वारा मापा जाता है, जहां SL(A) और E(A) विशेष रैखिक समूह और प्रारंभिक आव्यूहों के [[समूहों की प्रत्यक्ष सीमा]] हैं।
+कुछ परिस्थितियों में ये मेल खाते हैं: किसी क्षेत्र या [[यूक्लिडियन डोमेन]] पर विशेष रैखिक समूह संवहन द्वारा उत्पन्न होता है और [[डेडेकिंड डोमेन|डेडेकाइंड डोमेन]] पर स्थिर विशेष रैखिक समूह संवहन द्वारा उत्पन्न होता है। अधिक सामान्य छल्लों के लिए स्थिर अंतर को [[विशेष व्हाइटहेड समूह]]  {{nowrap|1=SK<sub>1</sub>(''A'') := SL(''A'')/E(''A'')}} द्वारा मापा जाता है, जहां SL(A) और E(A) विशेष रैखिक समूह और प्रारंभिक आव्यूहों के [[समूहों की प्रत्यक्ष सीमा]] हैं।
 == जनरेटर और संबंध ==

Anonymous

Search

विशेष रैखिक समूह: Difference between revisions

Namespaces

More

Page actions

Revision as of 18:32, 1 June 2023

Contents

ज्यामितीय व्याख्या

लाई उपसमूह

टोपोलॉजी

जनरेटर और संबंध

एसएल^±(एन,एफ)

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

विशेष रैखिक समूह: Difference between revisions

Revision as of 18:32, 1 June 2023

ज्यामितीय व्याख्या

लाई उपसमूह

टोपोलॉजी

जनरेटर और संबंध

एसएल±(एन,एफ)

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories

एसएल^±(एन,एफ)