चिरसम्मत समूह: Difference between revisions
(Created page with "{{for|the book by Weyl|The Classical Groups}} {{Lie groups}} गणित में, शास्त्रीय समूहों को वास्तविकताओ...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{for| | {{for|वेइल द्वारा पुस्तक|शास्त्रीय समूह}} | ||
{{Lie groups}} | {{Lie groups}} | ||
== | गणित में, मौलिक समूहों को वास्तविक {{math|'''R'''}} पर विशेष रैखिक समूहों के रूप में परिभाषित किया जाता है, जटिल संख्या {{math|'''C'''}} और चतुष्कोण {{math|'''H'''}} एक साथ सममित या तिरछा-सममित द्विरेखीय रूपों के विशेष ऑटोमोर्फिज़्म समूहों और वास्तविक पर परिभाषित हर्मिटियन या तिरछा-हर्मिटियन सेस्क्विलिनियर रूपों के साथ जटिल और चतुष्कोणीय परिमित-आयामी वेक्टर रिक्त स्थान इनमें से जटिल मौलिक झूठ समूह झूठ समूहों के चार अनंत वर्ग हैं जो असाधारण समूहों के साथ सरल झूठ समूहों के वर्गीकरण को समाप्त करते हैं। कॉम्पैक्ट मौलिक समूह जटिल मौलिक समूहों के कॉम्पैक्ट वास्तविक रूप हैं। मौलिक समूहों के परिमित अनुरूप झूठ प्रकार के मौलिक समूह हैं। "मौलिक समूह" शब्द हरमन वेइल द्वारा गढ़ा गया था<ref>Here, ''special'' means the subgroup of the full automorphism group whose elements have determinant 1.</ref> यह उनके 1939 के मोनोग्राफ मौलिक समूहों का शीर्षक था।<ref>{{harvnb|Rossmann|2002}} p. 94.</ref><ref>{{harvnb|Weyl|1939}}</ref> | ||
{| class="wikitable" align=right | मौलिक समूह रेखीय झूठ समूहों के विषय का सबसे गहरा और सबसे उपयोगी भाग हैं।<ref>{{harvnb|Rossmann|2002}} p. 91.</ref> अधिकांश प्रकार के मौलिक समूह मौलिक और आधुनिक भौतिकी में आवेदन पाते हैं। कुछ उदाहरण निम्नलिखित हैं। घूर्णन समूह {{math|SO(3)}} यूक्लिडियन अंतरिक्ष और भौतिकी के सभी मूलभूत नियमों की एक समरूपता है, लोरेंत्ज़ समूह {{math|O(3,1)}} विशेष सापेक्षता के दिक्-काल का एक समरूपता समूह है। विशेष एकात्मक समूह {{math|SU(3)}} क्वांटम क्रोमोडायनामिक्स का समरूपता समूह है और सहानुभूतिपूर्ण समूह {{math|Sp(''m'')}} हैमिल्टनियन यांत्रिकी और इसके क्वांटम यांत्रिक संस्करणों में अनुप्रयोग पाता है। | ||
== मौलिक समूह == | |||
मौलिक समूह {{math|'''R''', '''C'''}}और {{math|'''H'''}} पर पूर्ण रूप से सामान्य रैखिक समूह हैं साथ ही नीचे चर्चा की गई गैर-पतित रूपों के ऑटोमोर्फिज्म समूह भी हैं।<ref>{{harvnb|Rossmann|2002}} p. 94</ref> ये समूह सामान्यतः अतिरिक्त रूप से उन उपसमूहों तक सीमित होते हैं जिनके तत्वों का निर्धारक 1 होता है जिससे उनके केंद्र असतत हों निर्धारक 1 नियम के साथ मौलिक समूह नीचे दी गई तालिका में सूचीबद्ध हैं। अगली कड़ी में अधिक व्यापकता के हित में निर्धारक 1 स्थिति का निरन्तर उपयोग नहीं किया जाता है। | |||
{| class="wikitable" align="right" style="margin-right:3em" valign="center" | |||
! Name | ! Name | ||
! Group | ! Group | ||
! Field | ! Field | ||
! Form | ! Form | ||
! [[Maximal compact subgroup|Maximal <br/>compact subgroup]] | ! [[Maximal compact subgroup|Maximal <br />compact subgroup]] | ||
! [[Lie algebra|Lie <br/>algebra]] | ! [[Lie algebra|Lie <br />algebra]] | ||
! [[Root system]] | ! [[Root system]] | ||
|- | |- | ||
| Special linear | | Special linear | ||
| [[Special linear group|{{math|SL(''n'', '''R''')}}]] | | [[Special linear group|{{math|SL(''n'', '''R''')}}]] | ||
| align = center|{{math|'''R'''}} | | align="center" |{{math|'''R'''}} | ||
| align = center|— | | align="center" |— | ||
| {{math|SO(''n'')}} | | {{math|SO(''n'')}} | ||
| | | | ||
| | | | ||
|- | |- | ||
| Complex special linear | | Complex special linear | ||
| [[Special linear group|{{math|SL(''n'', '''C''')}}]] | | [[Special linear group|{{math|SL(''n'', '''C''')}}]] | ||
| align = center|{{math|'''C'''}} | | align="center" |{{math|'''C'''}} | ||
| align = center|— | | align="center" |— | ||
| [[SU(n)|{{math|'''SU'''('''''n''''')}}]] | | [[SU(n)|{{math|'''SU'''('''''n''''')}}]] | ||
| Complex | | Complex | ||
Line 33: | Line 35: | ||
|- | |- | ||
| Quaternionic special linear | | Quaternionic special linear | ||
| {{math|1=SL(''n'', '''H''') =}} <br/>{{math|SU<sup>∗</sup>(2''n'')}} | | {{math|1=SL(''n'', '''H''') =}} <br />{{math|SU<sup>∗</sup>(2''n'')}} | ||
| align = center|{{math|'''H'''}} | | align="center" |{{math|'''H'''}} | ||
| align = center|— | | align="center" |— | ||
| {{math|Sp(''n'')}} | | {{math|Sp(''n'')}} | ||
| | | | ||
| | | | ||
|- | |- | ||
| (Indefinite) special orthogonal | | (Indefinite) special orthogonal | ||
| [[Indefinite orthogonal group|{{math|SO(''p'', ''q'')}}]] | | [[Indefinite orthogonal group|{{math|SO(''p'', ''q'')}}]] | ||
| align = center|{{math|'''R'''}} | | align="center" |{{math|'''R'''}} | ||
| Symmetric | | Symmetric | ||
| {{math|S(O(''p'') × O(''q''))}} | | {{math|S(O(''p'') × O(''q''))}} | ||
| | | | ||
| | | | ||
|- | |- | ||
| Complex special orthogonal | | Complex special orthogonal | ||
| [[Special orthogonal group|{{math|SO(''n'', '''C''')}}]] | | [[Special orthogonal group|{{math|SO(''n'', '''C''')}}]] | ||
| align = center|{{math|'''C'''}} | | align="center" |{{math|'''C'''}} | ||
| Symmetric | | Symmetric | ||
| [[SO(n)|{{math|'''SO'''('''''n''''')}}]] | | [[SO(n)|{{math|'''SO'''('''''n''''')}}]] | ||
Line 58: | Line 60: | ||
D_m,& n=2m | D_m,& n=2m | ||
\end{cases} | \end{cases} | ||
</math> | </math>]] | ||
]] | |||
|- | |- | ||
| Symplectic | | Symplectic | ||
| [[Symplectic group|{{math|Sp(''n'', '''R''')}}]] | | [[Symplectic group|{{math|Sp(''n'', '''R''')}}]] | ||
| align = center|{{math|'''R'''}} | | align="center" |{{math|'''R'''}} | ||
| Skew-symmetric | | Skew-symmetric | ||
| {{math|U(''n'')}} | | {{math|U(''n'')}} | ||
| | | | ||
| | | | ||
|- | |- | ||
| Complex symplectic | | Complex symplectic | ||
| [[Symplectic group|{{math|Sp(''n'', '''C''')}}]] | | [[Symplectic group|{{math|Sp(''n'', '''C''')}}]] | ||
| align = center|{{math|'''C'''}} | | align="center" |{{math|'''C'''}} | ||
| Skew-symmetric | | Skew-symmetric | ||
| [[Sp(n)|{{math|'''Sp'''('''''n''''')}}]] | | [[Sp(n)|{{math|'''Sp'''('''''n''''')}}]] | ||
Line 79: | Line 80: | ||
| (Indefinite) special unitary | | (Indefinite) special unitary | ||
| [[Special unitary group|{{math|SU(''p'', ''q'')}}]] | | [[Special unitary group|{{math|SU(''p'', ''q'')}}]] | ||
| align = center|{{math|'''C'''}} | | align="center" |{{math|'''C'''}} | ||
| Hermitian | | Hermitian | ||
| {{math|S(U(''p'') × U(''q''))}} | | {{math|S(U(''p'') × U(''q''))}} | ||
| | | | ||
| | | | ||
|- | |- | ||
| (Indefinite) quaternionic unitary | | (Indefinite) quaternionic unitary | ||
| {{math|Sp(''p'', ''q'')}} | | {{math|Sp(''p'', ''q'')}} | ||
| align = center|{{math|'''H'''}} | | align="center" |{{math|'''H'''}} | ||
| Hermitian | | Hermitian | ||
| {{math|Sp(''p'') × Sp(''q'')}} | | {{math|Sp(''p'') × Sp(''q'')}} | ||
Line 95: | Line 96: | ||
| Quaternionic orthogonal | | Quaternionic orthogonal | ||
| {{math|SO<sup>∗</sup>(2''n'')}} | | {{math|SO<sup>∗</sup>(2''n'')}} | ||
| align = center|{{math|'''H'''}} | | align="center" |{{math|'''H'''}} | ||
| Skew-Hermitian | | Skew-Hermitian | ||
| {{math|SO(2''n'')}} | | {{math|SO(2''n'')}} | ||
| | | | ||
| | | | ||
|- | |- | ||
|} | |} | ||
जटिल | जटिल मौलिक समूह {{math|SL(''n'', '''C''')}}, {{math|SO(''n'', '''C''')}} और {{math|Sp(''n'', '''C''')}}. हैं। एक समूह इस आधार से जटिल होता है कि क्या इसका ले बीजगणित जटिल है। वास्तविक मौलिक समूह सभी मौलिक समूहों को संदर्भित करता है क्योंकि कोई भी बीजगणित एक वास्तविक बीजगणित है। कॉम्पैक्ट मौलिक समूह जटिल मौलिक समूहों के कॉम्पैक्ट वास्तविक रूप हैं। ये बदले में, {{math|SU(''n'')}} {{math|SO(''n'')}} और {{math|Sp(''n'')}} हैं। कॉम्पैक्ट वास्तविक रूप का एक लक्षण लाई बीजगणित {{math|'''g'''}} के संदर्भ में है। यदि {{math|'''g''' {{=}} '''u''' + ''i'''''u'''}}, {{math|'''u'''}} का जटिलीकरण, और यदि {{math|{exp(''X''): ''X'' ∈ '''u'''}} द्वारा उत्पन्न जुड़ा समूह {{math|''K''}} संहत है, तो {{math|''K''}} एक सघन वास्तविक रूप है।<ref>{{harvnb|Rossmann|2002}} p. 103</ref> | ||
मौलिक समूहों को समान रूप से [[वास्तविक रूप]] का उपयोग करके एक अलग विधि से चित्रित किया जा सकता है। मौलिक समूह (यहां निर्धारक 1 स्थिति के साथ किंतु यह आवश्यक नहीं है) निम्नलिखित हैं: | |||
: जटिल रेखीय [[बीजगणितीय समूह]] {{math|SL(''n'', '''C'''), SO(''n'', '''C''')}}, और {{math|Sp(''n'', '''C''')}} उनके वास्तविक रूपों के साथ।<ref>{{harvnb|Goodman|Wallach|2009}} See end of chapter 1</ref> | : जटिल रेखीय [[बीजगणितीय समूह]] {{math|SL(''n'', '''C'''), SO(''n'', '''C''')}}, और {{math|Sp(''n'', '''C''')}} उनके वास्तविक रूपों के साथ।<ref>{{harvnb|Goodman|Wallach|2009}} See end of chapter 1</ref> | ||
उदाहरण के लिए, {{math|SO<sup>∗</sup>(2''n'')}} | उदाहरण के लिए, {{math|SO<sup>∗</sup>(2''n'')}} {{math|SO(2''n'', '''C''')}} का वास्तविक रूप है, {{math|SU(''p'', ''q'')}} {{math|SL(''n'', '''C''')}} का वास्तविक रूप है, और {{math|SL(''n'', '''H''')}} इसका वास्तविक रूप है {{math|SL(2''n'', '''C''')}} निर्धारक 1 स्थिति के बिना विशेष रैखिक समूहों को लक्षण वर्णन में संबंधित सामान्य रैखिक समूहों के साथ बदलें। विचाराधीन बीजगणितीय समूह झूठसमूह हैं, किंतु "वास्तविक रूप" की सही धारणा प्राप्त करने के लिए "बीजगणितीय" योग्यता की आवश्यकता है। समूह हैं किंतु "वास्तविक रूप" की सही धारणा प्राप्त करने के लिए "बीजगणितीय" योग्यता की आवश्यकता है। | ||
== बिलिनियर और सेस्क्विलिनियर फॉर्म == | == बिलिनियर और सेस्क्विलिनियर फॉर्म == | ||
{{main| | {{main|द्विरेखीय रूप|सेस्क्विलिनियर रूप}} | ||
मौलिक समूहों को {{math|'''R'''<sup>''n''</sup>}}, {{math|'''C'''<sup>''n''</sup>}}, और {{math|'''H'''<sup>''n''</sup>}} पर परिभाषित रूपों के संदर्भ में परिभाषित किया गया है, जहां {{math|'''R'''}} और {{math|'''C'''}} वास्तविक और जटिल संख्याओं के क्षेत्र हैं। चतुष्कोण {{math|'''H'''}} एक क्षेत्र का गठन नहीं करते हैं क्योंकि गुणन नहीं होता है; वे एक विभाजन वलय या तिरछा क्षेत्र या गैर-विनिमेय क्षेत्र बनाते हैं। चूँकि , मैट्रिक्स क्वाटरनियोनिक समूहों को परिभाषित करना अभी भी संभव है। इस कारण से, सदिश समष्टि {{math|''V''}} को नीचे {{math|'''R'''}}, {{math|'''C'''}} और साथ ही {{math|'''H'''}} के ऊपर परिभाषित करने की अनुमति है। {{math|'''H'''}} के स्थिति में, {{math|''V''}} एक सही सदिश स्थान है, जो कि {{math|'''R'''}}और {{math|'''C'''}} के लिए बाईं ओर से मैट्रिक्स गुणन के रूप में समूह क्रिया के प्रतिनिधित्व को संभव बनाता है।<ref>{{harvnb|Rossmann|2002}}p. 93.</ref> | |||
:<math>\varphi(x\alpha, y\beta) = \alpha\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.</math> और | |||
{{math|''F'' {{=}} '''R''', '''C'''}} या {{math|'''H'''}} पर कुछ परिमित-आयामी सही सदिश स्थान पर एक रूप {{math|''φ'': ''V'' × ''V'' → ''F''}} द्विरेखीय है यदि | |||
:<math>\varphi(x\alpha, y\beta) = \alpha\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.</math> और यदि | |||
:<math>\varphi(x_1+x_2,y_1+y_2)=\varphi(x_1,y_1)+\varphi(x_1,y_2)+\varphi(x_2,y_1)+\varphi(x_2,y_2),\quad \forall x_1, x_2, y_1, y_2 \in V. </math> | :<math>\varphi(x_1+x_2,y_1+y_2)=\varphi(x_1,y_1)+\varphi(x_1,y_2)+\varphi(x_2,y_1)+\varphi(x_2,y_2),\quad \forall x_1, x_2, y_1, y_2 \in V. </math> | ||
इसे अर्ध-बिलिनियर रूप कहा जाता है यदि | इसे अर्ध-बिलिनियर रूप कहा जाता है यदि | ||
:<math>\varphi(x\alpha, y\beta) = \bar{\alpha}\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.</math> और | :<math>\varphi(x\alpha, y\beta) = \bar{\alpha}\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.</math> और यदि | ||
:<math>\varphi(x_1+x_2,y_1+y_2)=\varphi(x_1,y_1)+\varphi(x_1,y_2)+\varphi(x_2,y_1)+\varphi(x_2,y_2), \quad \forall x_1, x_2, y_1, y_2 \in V. </math> | :<math>\varphi(x_1+x_2,y_1+y_2)=\varphi(x_1,y_1)+\varphi(x_1,y_2)+\varphi(x_2,y_1)+\varphi(x_2,y_2), \quad \forall x_1, x_2, y_1, y_2 \in V. </math> | ||
इन सम्मेलनों को चुना जाता है क्योंकि वे सभी मामलों में काम करते हैं। का एक [[ automorphism ]] {{math|''φ''}} एक नक्शा है {{math|''Α''}} पर रैखिक ऑपरेटरों के सेट में {{math|''V''}} ऐसा है कि | '''इन सम्मेलनों को चुना जाता है क्योंकि वे सभी मामलों''' में काम करते हैं। का एक [[ automorphism | ऑटोमोर्फिज़्म]] {{math|''φ''}} एक नक्शा है {{math|''Α''}} पर रैखिक ऑपरेटरों के सेट में {{math|''V''}} ऐसा है कि | ||
{{NumBlk|:|<math>\varphi(Ax, Ay) = \varphi(x, y), \quad \forall x,y \in V.</math>|{{EquationRef|1}}}} | {{NumBlk|:|<math>\varphi(Ax, Ay) = \varphi(x, y), \quad \forall x,y \in V.</math>|{{EquationRef|1}}}} | ||
के सभी ऑटोमोर्फिज्म का सेट {{math|''φ''}} एक समूह बनाते हैं, इसे का ऑटोमोर्फिज्म समूह कहा जाता है {{math|''φ''}}, निरूपित {{math|Aut(''φ'')}}. यह | के सभी ऑटोमोर्फिज्म का सेट {{math|''φ''}} एक समूह बनाते हैं, इसे का ऑटोमोर्फिज्म समूह कहा जाता है {{math|''φ''}}, निरूपित {{math|Aut(''φ'')}}. यह मौलिक समूह की प्रारंभिक परिभाषा की ओर जाता है: | ||
:''एक | :''एक मौलिक समूह एक ऐसा समूह है जो परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर या सेस्क्विलिनियर फॉर्म को संरक्षित करता है'' {{math|'''R'''}}, {{math|'''C'''}} या {{math|'''H'''}}. | ||
इस परिभाषा में कुछ अतिरेक है। के | इस परिभाषा में कुछ अतिरेक है। के स्थिति में {{math|''F'' {{=}} '''R'''}}, बिलिनियर सेस्क्विलिनियर के बराबर है। के स्थिति में {{math|''F'' {{=}} '''H'''}}, कोई गैर-शून्य द्विरेखीय रूप नहीं हैं।<ref>{{harvnb|Rossmann|2002}} p. 105</ref> | ||
Line 149: | Line 154: | ||
{{math|'''j'''}}} तिरछा-हर्मिटियन रूप में आधार में तीसरा आधार तत्व है {{math|('''1''', '''i''', '''j''', '''k''')}} के लिए {{math|'''H'''}}. इन आधारों के अस्तित्व का प्रमाण और सिल्वेस्टर का जड़त्व का नियम, धनात्मक और ऋणात्मक चिह्नों की संख्या की स्वतंत्रता, {{math|''p''}} और {{math|''q''}}, सममित और हर्मिटियन रूपों में, साथ ही प्रत्येक अभिव्यक्ति में क्षेत्रों की उपस्थिति या अनुपस्थिति में पाया जा सकता है {{harvtxt|Rossmann|2002}} या {{harvtxt|Goodman|Wallach|2009}}. जोड़ी {{math|(''p'', ''q'')}}, और कभी - कभी {{math|''p'' − ''q''}}, फॉर्म का सिग्नेचर कहलाता है। | {{math|'''j'''}}} तिरछा-हर्मिटियन रूप में आधार में तीसरा आधार तत्व है {{math|('''1''', '''i''', '''j''', '''k''')}} के लिए {{math|'''H'''}}. इन आधारों के अस्तित्व का प्रमाण और सिल्वेस्टर का जड़त्व का नियम, धनात्मक और ऋणात्मक चिह्नों की संख्या की स्वतंत्रता, {{math|''p''}} और {{math|''q''}}, सममित और हर्मिटियन रूपों में, साथ ही प्रत्येक अभिव्यक्ति में क्षेत्रों की उपस्थिति या अनुपस्थिति में पाया जा सकता है {{harvtxt|Rossmann|2002}} या {{harvtxt|Goodman|Wallach|2009}}. जोड़ी {{math|(''p'', ''q'')}}, और कभी - कभी {{math|''p'' − ''q''}}, फॉर्म का सिग्नेचर कहलाता है। | ||
खेतों की घटना की व्याख्या {{math|'''R''', '''C''', '''H'''}}: कोई गैर तुच्छ द्विरेखीय रूप नहीं हैं {{math|'''H'''}}. सममित बिलिनियर | खेतों की घटना की व्याख्या {{math|'''R''', '''C''', '''H'''}}: कोई गैर तुच्छ द्विरेखीय रूप नहीं हैं {{math|'''H'''}}. सममित बिलिनियर स्थिति में, केवल रूप बनता है {{math|'''R'''}} के हस्ताक्षर हैं। दूसरे शब्दों में, हस्ताक्षर के साथ एक जटिल द्विरेखीय रूप {{math|(''p'', ''q'')}}, आधार के परिवर्तन से, एक ऐसे रूप में घटाया जा सकता है जहां सभी संकेत हैं{{math|+}} उपरोक्त अभिव्यक्ति में, जबकि वास्तविक स्थिति में यह असंभव है, जिसमें {{math|''p'' − ''q''}} इस फॉर्म में रखे जाने पर आधार से स्वतंत्र होता है। चूँकि , हर्मिटियन रूपों में जटिल और चतुष्कोणीय स्थिति दोनों में आधार-स्वतंत्र हस्ताक्षर हैं। (वास्तविक मामला सममित स्थिति में कम हो जाता है।) एक जटिल सदिश स्थान पर एक तिरछा-हर्मिटियन रूप गुणा द्वारा हर्मिटियन प्रदान किया जाता है {{mvar|i}}, तो इस स्थिति में, केवल {{math|'''H'''}} दिलचस्प है। | ||
== ऑटोमोर्फिज्म समूह == | == ऑटोमोर्फिज्म समूह == | ||
[[Image:Hermann Weyl ETH-Bib Portr 00890.jpg|220px|thumb|right|द क्लासिकल ग्रुप्स के लेखक हरमन वेइल। वेइल ने | [[Image:Hermann Weyl ETH-Bib Portr 00890.jpg|220px|thumb|right|द क्लासिकल ग्रुप्स के लेखक हरमन वेइल। वेइल ने मौलिक समूहों के प्रतिनिधित्व सिद्धांत में महत्वपूर्ण योगदान दिया।]]प्रथम खंड सामान्य रूपरेखा प्रस्तुत करता है। अन्य खंड गुणात्मक रूप से अलग-अलग मामलों को समाप्त करते हैं जो परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर और सेस्क्विलिनियर रूपों के ऑटोमोर्फिज्म समूहों के रूप में उत्पन्न होते हैं। {{math|'''R'''}}, {{math|'''C'''}} और {{math|'''H'''}}. | ||
=== ऑट (φ) - ऑटोमोर्फिज्म समूह === | === ऑट (φ) - ऑटोमोर्फिज्म समूह === | ||
Line 179: | Line 184: | ||
जैसा कि एक्सपोनेंशियल मैपिंग की शक्ति श्रृंखला विस्तार और शामिल संचालन की रैखिकता का उपयोग करके देखा जाता है। इसके विपरीत मान लीजिए {{math|''X'' ∈ '''aut'''(''φ'')}}. फिर, उपरोक्त परिणाम का उपयोग करते हुए, {{math|''φ''(''Xx'', ''y'') {{=}} φ(''x'', ''X''<sup>''φ''</sup>''y'') {{=}} −φ(''x'', ''Xy'')}}. इस प्रकार झूठ बीजगणित को बिना किसी आधार, या आसन्न के संदर्भ में वर्णित किया जा सकता है | जैसा कि एक्सपोनेंशियल मैपिंग की शक्ति श्रृंखला विस्तार और शामिल संचालन की रैखिकता का उपयोग करके देखा जाता है। इसके विपरीत मान लीजिए {{math|''X'' ∈ '''aut'''(''φ'')}}. फिर, उपरोक्त परिणाम का उपयोग करते हुए, {{math|''φ''(''Xx'', ''y'') {{=}} φ(''x'', ''X''<sup>''φ''</sup>''y'') {{=}} −φ(''x'', ''Xy'')}}. इस प्रकार झूठ बीजगणित को बिना किसी आधार, या आसन्न के संदर्भ में वर्णित किया जा सकता है | ||
:<math>\mathfrak{aut}(\varphi) = \{X \in M_n(V): \varphi(Xx, y) = -\varphi(x, Xy),\quad \forall x,y \in V\}.</math> | :<math>\mathfrak{aut}(\varphi) = \{X \in M_n(V): \varphi(Xx, y) = -\varphi(x, Xy),\quad \forall x,y \in V\}.</math> | ||
के लिए सामान्य रूप {{math|''φ''}} नीचे प्रत्येक | के लिए सामान्य रूप {{math|''φ''}} नीचे प्रत्येक मौलिक समूह के लिए दिया जाएगा। उस सामान्य रूप से, मैट्रिक्स {{math|Φ}} सीधे पढ़ा जा सकता है। नतीजतन, सूत्रों का उपयोग करके आसन्न और झूठ बीजगणित के लिए अभिव्यक्ति प्राप्त की जा सकती है ({{EquationNote|4}}) और ({{EquationNote|5}}). यह अधिकांश गैर-तुच्छ मामलों में नीचे प्रदर्शित किया गया है। | ||
=== बिलिनियर केस === | === बिलिनियर केस === | ||
Line 192: | Line 197: | ||
अगर {{math|''φ''}} सममित है और सदिश स्थान वास्तविक है, एक आधार चुना जा सकता है ताकि | अगर {{math|''φ''}} सममित है और सदिश स्थान वास्तविक है, एक आधार चुना जा सकता है ताकि | ||
:<math>\varphi(x, y) = \pm \xi_1\eta_1 \pm \xi_2\eta_2 \cdots \pm \xi_n\eta_n.</math> | :<math>\varphi(x, y) = \pm \xi_1\eta_1 \pm \xi_2\eta_2 \cdots \pm \xi_n\eta_n.</math> | ||
प्लस और माइनस-संकेतों की संख्या विशेष आधार से स्वतंत्र है।<ref>{{harvnb|Rossmann|2002}} p. 107.</ref> यदि {{math|''V'' {{=}} '''R'''<sup>''n''</sup>}} कोई लिखता है {{math|O(''φ'') {{=}} O(''p'', ''q'')}} कहाँ {{math|''p''}} धन चिह्नों की संख्या है और {{math|''q''}} ऋण चिह्नों की संख्या है, {{math|''p'' + ''q'' {{=}} ''n''}}. अगर {{math|''q'' {{=}} 0}} अंकन है {{math|O(''n'')}}. गणित का सवाल {{math|Φ}} इस | प्लस और माइनस-संकेतों की संख्या विशेष आधार से स्वतंत्र है।<ref>{{harvnb|Rossmann|2002}} p. 107.</ref> यदि {{math|''V'' {{=}} '''R'''<sup>''n''</sup>}} कोई लिखता है {{math|O(''φ'') {{=}} O(''p'', ''q'')}} कहाँ {{math|''p''}} धन चिह्नों की संख्या है और {{math|''q''}} ऋण चिह्नों की संख्या है, {{math|''p'' + ''q'' {{=}} ''n''}}. अगर {{math|''q'' {{=}} 0}} अंकन है {{math|O(''n'')}}. गणित का सवाल {{math|Φ}} इस स्थिति में है | ||
:<math>\Phi = \left(\begin{matrix}I_p & 0 \\0 & -I_q\end{matrix}\right) \equiv I_{p,q}</math> | :<math>\Phi = \left(\begin{matrix}I_p & 0 \\0 & -I_q\end{matrix}\right) \equiv I_{p,q}</math> | ||
यदि आवश्यक हो तो आधार को पुनर्व्यवस्थित करने के बाद। आसन्न ऑपरेशन ({{EquationNote|4}}) तो बन जाता है | यदि आवश्यक हो तो आधार को पुनर्व्यवस्थित करने के बाद। आसन्न ऑपरेशन ({{EquationNote|4}}) तो बन जाता है | ||
:<math>A^\varphi = \left(\begin{matrix}I_p & 0 \\0 & -I_q\end{matrix}\right) \left(\begin{matrix}A_{11} & \cdots \\\cdots & A_{nn}\end{matrix}\right)^{\mathrm{T}} \left(\begin{matrix}I_p & 0 \\0 & -I_q\end{matrix}\right),</math> | :<math>A^\varphi = \left(\begin{matrix}I_p & 0 \\0 & -I_q\end{matrix}\right) \left(\begin{matrix}A_{11} & \cdots \\\cdots & A_{nn}\end{matrix}\right)^{\mathrm{T}} \left(\begin{matrix}I_p & 0 \\0 & -I_q\end{matrix}\right),</math> | ||
जो सामान्य स्थानान्तरण को कम कर देता है जब {{math|''p''}} या {{math|''q''}} 0 है। लाई बीजगणित समीकरण का उपयोग करके पाया जाता है ({{EquationNote|5}}) और एक उपयुक्त ansatz (यह के | जो सामान्य स्थानान्तरण को कम कर देता है जब {{math|''p''}} या {{math|''q''}} 0 है। लाई बीजगणित समीकरण का उपयोग करके पाया जाता है ({{EquationNote|5}}) और एक उपयुक्त ansatz (यह के स्थिति के लिए विस्तृत है {{math|Sp(''m'', '''R''')}} नीचे), | ||
:<math>\mathfrak{o}(p, q) = \left\{\left .\left(\begin{matrix}X_{p \times p} & Y_{p \times q} \\ Y^{\mathrm{T}} & W_{q \times q}\end{matrix}\right)\right| X^{\mathrm T} = -X,\quad W^{\mathrm T} = -W\right\},</math> | :<math>\mathfrak{o}(p, q) = \left\{\left .\left(\begin{matrix}X_{p \times p} & Y_{p \times q} \\ Y^{\mathrm{T}} & W_{q \times q}\end{matrix}\right)\right| X^{\mathrm T} = -X,\quad W^{\mathrm T} = -W\right\},</math> | ||
और समूह के अनुसार ({{EquationNote|3}}) द्वारा दिया गया है | और समूह के अनुसार ({{EquationNote|3}}) द्वारा दिया गया है | ||
Line 211: | Line 216: | ||
\left( \begin{smallmatrix}0&0&0&0\\0&0&0&0\\0&0&0&1\\0&0&1&0 \end{smallmatrix} \right) | \left( \begin{smallmatrix}0&0&0&0\\0&0&0&0\\0&0&0&1\\0&0&1&0 \end{smallmatrix} \right) | ||
\right\}.</math> | \right\}.</math> | ||
स्वाभाविक रूप से, पुनर्व्यवस्थित करना संभव है | स्वाभाविक रूप से, पुनर्व्यवस्थित करना संभव है जिससे {{math|''q''}}-ब्लॉक ऊपरी बाएँ (या कोई अन्य ब्लॉक) है। यहां समय घटक एक भौतिक व्याख्या में चौथे समन्वय के रूप में समाप्त होता है, न कि पहले जैसा कि अधिक सामान्य हो सकता है। | ||
== एसपी (एम, आर) - वास्तविक सहानुभूतिपूर्ण समूह == | == एसपी (एम, आर) - वास्तविक सहानुभूतिपूर्ण समूह == | ||
Line 231: | Line 236: | ||
==== जटिल मामला ==== | ==== जटिल मामला ==== | ||
वास्तविक | वास्तविक स्थिति की तरह, दो स्थिति हैं, सममित और एंटीसिमेट्रिक मामला है कि प्रत्येक मौलिक समूहों के एक परिवार का उत्पादन करता है। | ||
== हे (एन, सी) - जटिल ओर्थोगोनल समूह == | == हे (एन, सी) - जटिल ओर्थोगोनल समूह == | ||
Line 237: | Line 242: | ||
अगर मामला {{math|''φ''}} सममित है और सदिश स्थान जटिल है, एक आधार है | अगर मामला {{math|''φ''}} सममित है और सदिश स्थान जटिल है, एक आधार है | ||
:<math>\varphi(x, y) = \xi_1\eta_1 + \xi_1\eta_1 \cdots + \xi_n\eta_n</math> | :<math>\varphi(x, y) = \xi_1\eta_1 + \xi_1\eta_1 \cdots + \xi_n\eta_n</math> | ||
केवल प्लस-साइन के साथ ही इस्तेमाल किया जा सकता है। ऑटोमोर्फिज्म समूह के | केवल प्लस-साइन के साथ ही इस्तेमाल किया जा सकता है। ऑटोमोर्फिज्म समूह के स्थिति में है {{math|''V'' {{=}} '''C'''<sup>''n''</sup>}} बुलाया {{math|O(n, '''C''')}}. झूठ बीजगणित बस उसी का एक विशेष मामला है {{math|'''o'''(''p'', ''q'')}}, | ||
:<math>\mathfrak{o}(n, \mathbb{C}) = \mathfrak{so}(n, \mathbb{C}) = \{X|X^{\mathrm{T}} = -X\},</math> | :<math>\mathfrak{o}(n, \mathbb{C}) = \mathfrak{so}(n, \mathbb{C}) = \{X|X^{\mathrm{T}} = -X\},</math> | ||
और समूह द्वारा दिया गया है | और समूह द्वारा दिया गया है | ||
:<math>\mathrm{O}(n, \mathbb{C}) = \{g|g^{\mathrm{T}}g = I_n\}.</math> | :<math>\mathrm{O}(n, \mathbb{C}) = \{g|g^{\mathrm{T}}g = I_n\}.</math> | ||
रूट सिस्टम के संदर्भ में | रूट सिस्टम के संदर्भ में या डायनकिन डायग्राम द्वारा रूट सिस्टम का वर्गीकरण, {{math|'''so'''(''n'')}} दो वर्गों में विभाजित हैं, जिनके साथ {{math|''n''}} रूट सिस्टम के साथ विषम {{math|''B''<sub>''n''</sub>}} और {{math|''n''}} रूट सिस्टम के साथ भी {{math|''D''<sub>''n''</sub>}}. | ||
==Sp(एम, सी) - जटिल सहानुभूतिपूर्ण समूह == | ==Sp(एम, सी) - जटिल सहानुभूतिपूर्ण समूह == | ||
Line 247: | Line 252: | ||
के लिए {{math|''φ''}} तिरछा-सममित और सदिश अंतरिक्ष परिसर, एक ही सूत्र, | के लिए {{math|''φ''}} तिरछा-सममित और सदिश अंतरिक्ष परिसर, एक ही सूत्र, | ||
:<math>\varphi(x, y) = \xi_1\eta_{m + 1} + \xi_2\eta_{m + 2} \cdots + \xi_m\eta_{2m = n} - \xi_{m + 1}\eta_1 - \xi_{m + 2}\eta_2 \cdots - \xi_{2m = n}\eta_m,</math> | :<math>\varphi(x, y) = \xi_1\eta_{m + 1} + \xi_2\eta_{m + 2} \cdots + \xi_m\eta_{2m = n} - \xi_{m + 1}\eta_1 - \xi_{m + 2}\eta_2 \cdots - \xi_{2m = n}\eta_m,</math> | ||
वास्तविक | वास्तविक स्थिति की तरह लागू होता है। के लिए {{math|Aut(''φ'')}} कोई लिखता है {{math|Sp(''φ'') {{=}} Sp(''V'')}}. यदि <math>V = \mathbb{C}^n = \mathbb{C}^{2m}</math> एक लिखता है {{math|Sp(''m'', <math>\mathbb{C}</math>)}} या {{math|Sp(2''m'', <math>\mathbb{C}</math>)}}. झूठ बीजगणित के समानांतर है {{math|'''sp'''(''m'', <math>\mathbb{R}</math>)}}, | ||
:<math>\mathfrak{sp}(m, \mathbb{C}) = \{X \in M_n(\mathbb{C}): J_mX + X^{\mathrm T}J_m = 0\} =\left\{\left .\left(\begin{matrix}X & Y \\ Z & -X^{\mathrm T}\end{matrix}\right)\right| Y^{\mathrm T} = Y, Z^{\mathrm T} = Z\right\},</math> | :<math>\mathfrak{sp}(m, \mathbb{C}) = \{X \in M_n(\mathbb{C}): J_mX + X^{\mathrm T}J_m = 0\} =\left\{\left .\left(\begin{matrix}X & Y \\ Z & -X^{\mathrm T}\end{matrix}\right)\right| Y^{\mathrm T} = Y, Z^{\mathrm T} = Z\right\},</math> | ||
और समूह द्वारा दिया गया है | और समूह द्वारा दिया गया है | ||
Line 254: | Line 259: | ||
=== सेस्क्विलिनियर केस === | === सेस्क्विलिनियर केस === | ||
सेस्क्विलिनियर | सेस्क्विलिनियर स्थिति में, एक आधार के रूप में फॉर्म के लिए थोड़ा अलग दृष्टिकोण बनाता है, | ||
:<math>\varphi(x, y) = \sum \bar{\xi}_i\varphi_{ij}\eta_j.</math> | :<math>\varphi(x, y) = \sum \bar{\xi}_i\varphi_{ij}\eta_j.</math> | ||
संशोधित होने वाले अन्य भाव हैं | संशोधित होने वाले अन्य भाव हैं | ||
Line 261: | Line 266: | ||
{{NumBlk|:|<math>\mathfrak{aut}(\varphi) = \{X \in M_n(V): \Phi^{-1}X^*\Phi = -X\}.</math>|{{EquationRef|6}}}} | {{NumBlk|:|<math>\mathfrak{aut}(\varphi) = \{X \in M_n(V): \Phi^{-1}X^*\Phi = -X\}.</math>|{{EquationRef|6}}}} | ||
वास्तविक मामला, निश्चित रूप से, कुछ भी नया नहीं देता है। जटिल और चतुर्धातुक | वास्तविक मामला, निश्चित रूप से, कुछ भी नया नहीं देता है। जटिल और चतुर्धातुक स्थिति पर नीचे विचार किया जाएगा। | ||
==== जटिल मामला ==== | ==== जटिल मामला ==== | ||
गुणात्मक दृष्टिकोण से, तिरछा-हर्मिटियन रूपों (समरूपता तक) पर विचार कोई नया समूह प्रदान नहीं करता है; द्वारा गुणा करना {{math|''i''}} तिरछा-हर्मिटियन रूप को हर्मिटियन, और इसके विपरीत प्रस्तुत करता है। इस प्रकार केवल हर्मिटियन | गुणात्मक दृष्टिकोण से, तिरछा-हर्मिटियन रूपों (समरूपता तक) पर विचार कोई नया समूह प्रदान नहीं करता है; द्वारा गुणा करना {{math|''i''}} तिरछा-हर्मिटियन रूप को हर्मिटियन, और इसके विपरीत प्रस्तुत करता है। इस प्रकार केवल हर्मिटियन स्थिति पर विचार करने की आवश्यकता है। | ||
===== यू (पी, क्यू) और यू (एन) - एकात्मक समूह ===== | ===== यू (पी, क्यू) और यू (एन) - एकात्मक समूह ===== | ||
Line 270: | Line 275: | ||
एक गैर-पतित हेर्मिटियन रूप का सामान्य रूप है | एक गैर-पतित हेर्मिटियन रूप का सामान्य रूप है | ||
:<math>\varphi(x, y) = \pm \bar{\xi_1}\eta_1 \pm \bar{\xi_2}\eta_2 \cdots \pm \bar{\xi_n}\eta_n.</math> | :<math>\varphi(x, y) = \pm \bar{\xi_1}\eta_1 \pm \bar{\xi_2}\eta_2 \cdots \pm \bar{\xi_n}\eta_n.</math> | ||
बिलिनियर | बिलिनियर स्थिति में, हस्ताक्षर (पी, क्यू) आधार से स्वतंत्र है। ऑटोमोर्फिज्म समूह को निरूपित किया जाता है {{math|U(''V'')}}, या, के स्थिति में {{math|''V'' {{=}} '''C'''<sup>''n''</sup>}}, {{math|U(''p'', ''q'')}}. अगर {{math|''q'' {{=}} 0}} अंकन है {{math|U(''n'')}}. इस स्थिति में, {{math|Φ}} रूप लेता है | ||
:<math>\Phi = \left(\begin{matrix}1_p & 0\\0 & -1_q\end{matrix}\right) = I_{p,q},</math> | :<math>\Phi = \left(\begin{matrix}1_p & 0\\0 & -1_q\end{matrix}\right) = I_{p,q},</math> | ||
और झूठ बीजगणित द्वारा दिया गया है | और झूठ बीजगणित द्वारा दिया गया है | ||
Line 292: | Line 297: | ||
संयोग से, उपरोक्त प्रतिनिधित्व यह स्पष्ट करता है कि इकाई चतुष्कोणों का समूह ({{math|α{{overline|α}} + β{{overline|β}} {{=}} 1 {{=}} det ''Q''}}) आइसोमॉर्फिक है {{math|SU(2)}}. | संयोग से, उपरोक्त प्रतिनिधित्व यह स्पष्ट करता है कि इकाई चतुष्कोणों का समूह ({{math|α{{overline|α}} + β{{overline|β}} {{=}} 1 {{=}} det ''Q''}}) आइसोमॉर्फिक है {{math|SU(2)}}. | ||
क्वाटरनियोनिक {{math|''n''×''n''}}-मैट्रिसेस, स्पष्ट विस्तार द्वारा, द्वारा प्रदर्शित किए जा सकते हैं {{math|2''n''×2''n''}} जटिल संख्याओं के ब्लॉक-मैट्रिसेस।<ref>{{harvnb|Rossmann|2002}} p. 94.</ref> यदि कोई क्वाटरनियोनिक का प्रतिनिधित्व करने के लिए सहमत है {{nowrap|''n''×1}} कॉलम वेक्टर ए द्वारा {{nowrap|2''n''×1}} कॉलम वेक्टर जटिल संख्या के साथ ऊपर के एन्कोडिंग के अनुसार, ऊपरी के साथ {{math|''n''}} संख्याएँ हैं {{math|α<sub>''i''</sub>}} और निचला {{math|''n''}} द {{math|β<sub>''i''</sub>}}, फिर एक चतुष्कोणीय {{math|''n''×''n''}}-मैट्रिक्स एक जटिल बन जाता है {{math|2''n''×2''n''}}-मैट्रिक्स | क्वाटरनियोनिक {{math|''n''×''n''}}-मैट्रिसेस, स्पष्ट विस्तार द्वारा, द्वारा प्रदर्शित किए जा सकते हैं {{math|2''n''×2''n''}} जटिल संख्याओं के ब्लॉक-मैट्रिसेस।<ref>{{harvnb|Rossmann|2002}} p. 94.</ref> यदि कोई क्वाटरनियोनिक का प्रतिनिधित्व करने के लिए सहमत है {{nowrap|''n''×1}} कॉलम वेक्टर ए द्वारा {{nowrap|2''n''×1}} कॉलम वेक्टर जटिल संख्या के साथ ऊपर के एन्कोडिंग के अनुसार, ऊपरी के साथ {{math|''n''}} संख्याएँ हैं {{math|α<sub>''i''</sub>}} और निचला {{math|''n''}} द {{math|β<sub>''i''</sub>}}, फिर एक चतुष्कोणीय {{math|''n''×''n''}}-मैट्रिक्स एक जटिल बन जाता है {{math|2''n''×2''n''}}-मैट्रिक्स पूर्ण रूप से ऊपर दिए गए फॉर्म का, किंतु अब α और β के साथ {{math|''n''×''n''}}-मैट्रिसेस। अधिक औपचारिक रूप से | ||
{{NumBlk|:|<math>\left(Q\right)_{n \times n} = \left(X\right)_{n \times n} + \mathrm{j}\left(Y\right)_{n \times n} \leftrightarrow \left(\begin{matrix}X & -\bar{Y}\\Y & \bar{X}\end{matrix}\right)_{2n \times 2n}.</math>|{{EquationRef|8}}}} | {{NumBlk|:|<math>\left(Q\right)_{n \times n} = \left(X\right)_{n \times n} + \mathrm{j}\left(Y\right)_{n \times n} \leftrightarrow \left(\begin{matrix}X & -\bar{Y}\\Y & \bar{X}\end{matrix}\right)_{2n \times 2n}.</math>|{{EquationRef|8}}}} | ||
एक मैट्रिक्स {{math|''T'' ∈ GL(2''n'', '''C''')}} में प्रपत्र प्रदर्शित किया गया है ({{EquationNote|8}}) अगर और केवल अगर {{math|''J''<sub>''n''</sub>{{overline|''T''}} {{=}} ''TJ''<sub>''n''</sub>}}. इन पहचानों से, | एक मैट्रिक्स {{math|''T'' ∈ GL(2''n'', '''C''')}} में प्रपत्र प्रदर्शित किया गया है ({{EquationNote|8}}) अगर और केवल अगर {{math|''J''<sub>''n''</sub>{{overline|''T''}} {{=}} ''TJ''<sub>''n''</sub>}}. इन पहचानों से, | ||
:<math>\mathbb{H}^n \approx \mathbb{C}^{2n}, M_n(\mathbb{H}) \approx \left\{\left .T \in M_{2n}(\mathbb{C})\right|J_nT = \overline{T}J_n, \quad J_n = \left(\begin{matrix}0 & I_n\\-I_n & 0\end{matrix}\right) \right\}.</math> | :<math>\mathbb{H}^n \approx \mathbb{C}^{2n}, M_n(\mathbb{H}) \approx \left\{\left .T \in M_{2n}(\mathbb{C})\right|J_nT = \overline{T}J_n, \quad J_n = \left(\begin{matrix}0 & I_n\\-I_n & 0\end{matrix}\right) \right\}.</math> | ||
अंतरिक्ष {{math|''M''<sub>''n''</sub>('''H''') ⊂ ''M''<sub>2''n''</sub>('''C''')}} एक वास्तविक बीजगणित है, | अंतरिक्ष {{math|''M''<sub>''n''</sub>('''H''') ⊂ ''M''<sub>2''n''</sub>('''C''')}} एक वास्तविक बीजगणित है, किंतु यह इसकी जटिल उपसमष्टि नहीं है {{math|''M''<sub>2''n''</sub>('''C''')}}. गुणा (बाएं से) द्वारा {{math|'''i'''}} में {{math|''M''<sub>''n''</sub>('''H''')}} एंट्री-वार क्वाटरनियोनिक गुणन का उपयोग करना और फिर छवि में मैपिंग करना {{math|''M''<sub>2''n''</sub>('''C''')}} द्वारा प्रवेश-वार गुणा करने से भिन्न परिणाम प्राप्त होता है {{math|''i''}} सीधे अंदर {{math|''M''<sub>2''n''</sub>('''C''')}}. चतुर्धातुक गुणन नियम देते हैं {{math|'''i'''(''X'' + '''j'''''Y'') {{=}} ('''i'''''X'') + '''j'''(−'''i'''''Y'')}} जहां नया {{math|''X''}} और {{math|''Y''}} कोष्ठक के अंदर हैं। | ||
चतुष्कोणीय सदिशों पर चतुष्कोणीय आव्यूहों की क्रिया को अब जटिल मात्राओं द्वारा दर्शाया जाता है, | चतुष्कोणीय सदिशों पर चतुष्कोणीय आव्यूहों की क्रिया को अब जटिल मात्राओं द्वारा दर्शाया जाता है, किंतु अन्यथा यह सामान्य आव्यूहों और सदिशों के समान ही है। चतुर्धातुक समूह इस प्रकार अंतःस्थापित होते हैं {{math|M<sub>2''n''</sub>(''C'')}} कहाँ {{math|''n''}} क्वाटरनियोनिक मैट्रिसेस का आयाम है। | ||
क्वाटरनियोनिक मैट्रिक्स के निर्धारक को इस प्रतिनिधित्व में इसके प्रतिनिधि मैट्रिक्स के सामान्य जटिल निर्धारक के रूप में परिभाषित किया गया है। क्वाटरनियोनिक गुणन की गैर-कम्यूटेटिव प्रकृति, मेट्रिसेस के क्वाटरनियोनिक प्रतिनिधित्व में अस्पष्ट होगी। रास्ता {{math|''M''<sub>''n''</sub>('''H''')}} में सन्निहित है {{math|''M''<sub>2''n''</sub>('''C''')}} अद्वितीय नहीं है, | क्वाटरनियोनिक मैट्रिक्स के निर्धारक को इस प्रतिनिधित्व में इसके प्रतिनिधि मैट्रिक्स के सामान्य जटिल निर्धारक के रूप में परिभाषित किया गया है। क्वाटरनियोनिक गुणन की गैर-कम्यूटेटिव प्रकृति, मेट्रिसेस के क्वाटरनियोनिक प्रतिनिधित्व में अस्पष्ट होगी। रास्ता {{math|''M''<sub>''n''</sub>('''H''')}} में सन्निहित है {{math|''M''<sub>2''n''</sub>('''C''')}} अद्वितीय नहीं है, किंतु ऐसे सभी एम्बेडिंग संबंधित हैं {{math|''g'' ↦ ''AgA''<sup>−1</sup>, ''g'' ∈ GL(2''n'', '''C''')}} के लिए {{math|''A'' ∈ O(2''n'', '''C''')}}, निर्धारक को अप्रभावित छोड़कर।<ref>{{harvnb|Goodman|Wallach|2009}} Exercise 14, Section 1.1.</ref> का नाम {{math|SL(''n'', '''H''')}} इस जटिल आड़ में है {{math|SU<sup>∗</sup>(2''n'')}}. | ||
के | के स्थिति में विरोध के रूप में {{math|'''C'''}}, हर्मिटियन और तिरछा-हर्मिटियन केस दोनों ही जब कुछ नया लेकर आते हैं {{math|'''H'''}} माना जाता है, इसलिए इन मामलों पर अलग से विचार किया जाता है। | ||
== जीएल (एन, एच) और एसएल (एन, एच) == | == जीएल (एन, एच) और एसएल (एन, एच) == | ||
Line 317: | Line 322: | ||
==Sp(p, q) - चतुष्कोणीय एकात्मक समूह == | ==Sp(p, q) - चतुष्कोणीय एकात्मक समूह == | ||
जैसा कि ऊपर जटिल | जैसा कि ऊपर जटिल स्थिति में, सामान्य रूप है | ||
:<math>\varphi(x, y) = \pm \bar{\xi_1}\eta_1 \pm \bar{\xi_2}\eta_2 \cdots \pm \bar{\xi_n}\eta_n</math> | :<math>\varphi(x, y) = \pm \bar{\xi_1}\eta_1 \pm \bar{\xi_2}\eta_2 \cdots \pm \bar{\xi_n}\eta_n</math> | ||
और प्लस-साइन की संख्या आधार से स्वतंत्र है। कब {{math|''V'' {{=}} '''H'''<sup>''n''</sup>}} इस फॉर्म के साथ, {{math|Sp(''φ'') {{=}} Sp(''p'', ''q'')}}. संकेतन का कारण यह है कि उपसमूह के रूप में उपरोक्त नुस्खे का उपयोग करके समूह का प्रतिनिधित्व किया जा सकता है {{math|Sp(''n'', '''C''')}} हस्ताक्षर के एक जटिल-हर्मिटियन रूप को संरक्षित करना {{math|(2''p'', 2''q'')}}<ref>{{harvnb|Rossmann|2002}} p. 94.</ref> अगर {{math|''p''}} या {{math|''q'' {{=}} 0}} समूह को दर्शाया गया है {{math|U(''n'', '''H''')}}. इसे कभी-कभी अतिसक्रिय समूह कहा जाता है। | और प्लस-साइन की संख्या आधार से स्वतंत्र है। कब {{math|''V'' {{=}} '''H'''<sup>''n''</sup>}} इस फॉर्म के साथ, {{math|Sp(''φ'') {{=}} Sp(''p'', ''q'')}}. संकेतन का कारण यह है कि उपसमूह के रूप में उपरोक्त नुस्खे का उपयोग करके समूह का प्रतिनिधित्व किया जा सकता है {{math|Sp(''n'', '''C''')}} हस्ताक्षर के एक जटिल-हर्मिटियन रूप को संरक्षित करना {{math|(2''p'', 2''q'')}}<ref>{{harvnb|Rossmann|2002}} p. 94.</ref> अगर {{math|''p''}} या {{math|''q'' {{=}} 0}} समूह को दर्शाया गया है {{math|U(''n'', '''H''')}}. इसे कभी-कभी अतिसक्रिय समूह कहा जाता है। | ||
Line 331: | Line 336: | ||
संतुष्ट करेगा | संतुष्ट करेगा | ||
:<math>\Phi^{-1}\mathcal{Q}^*\Phi = -\mathcal{Q},</math> | :<math>\Phi^{-1}\mathcal{Q}^*\Phi = -\mathcal{Q},</math> | ||
के बारे में अनुभाग देखें {{math|'''u'''(''p'', ''q'')}}. चतुर्धातुक मैट्रिक्स गुणन से निपटने के दौरान सावधानी बरतने की आवश्यकता है, | के बारे में अनुभाग देखें {{math|'''u'''(''p'', ''q'')}}. चतुर्धातुक मैट्रिक्स गुणन से निपटने के दौरान सावधानी बरतने की आवश्यकता है, किंतु केवल यहाँ {{math|''I''}} और {{math|-''I''}} शामिल हैं और ये हर चतुष्कोणीय मैट्रिक्स के साथ आवागमन करते हैं। अब नुस्खा लागू करें ({{EquationNote|8}}) प्रत्येक ब्लॉक के लिए, | ||
:<math> | :<math> | ||
\mathcal{X} = \begin{pmatrix} X_{1 (p \times p)} & -\overline{X}_2 \\ X_2 & \overline{X}_1 \end{pmatrix}, \quad | \mathcal{X} = \begin{pmatrix} X_{1 (p \times p)} & -\overline{X}_2 \\ X_2 & \overline{X}_1 \end{pmatrix}, \quad | ||
Line 374: | Line 379: | ||
तिरछा-हर्मिटियन रूप के लिए सामान्य रूप किसके द्वारा दिया जाता है | तिरछा-हर्मिटियन रूप के लिए सामान्य रूप किसके द्वारा दिया जाता है | ||
:<math>\varphi(x, y) = \bar{\xi_1}\mathbf{j}\eta_1 + \bar{\xi_2}\mathbf{j}\eta_2 \cdots + \bar{\xi_n}\mathbf{j}\eta_n,</math> | :<math>\varphi(x, y) = \bar{\xi_1}\mathbf{j}\eta_1 + \bar{\xi_2}\mathbf{j}\eta_2 \cdots + \bar{\xi_n}\mathbf{j}\eta_n,</math> | ||
कहाँ {{math|'''j'''}} ऑर्डर की गई सूची में तीसरा आधार चतुर्धातुक है {{math|('''1''', '''i''', '''j''', '''k''')}}. इस | कहाँ {{math|'''j'''}} ऑर्डर की गई सूची में तीसरा आधार चतुर्धातुक है {{math|('''1''', '''i''', '''j''', '''k''')}}. इस स्थिति में, {{math|Aut(''φ'') {{=}} O<sup>∗</sup>(2''n'')}} उपसमूह के रूप में ऊपर के जटिल मैट्रिक्स एन्कोडिंग का उपयोग करके महसूस किया जा सकता है {{math|O(2''n'', '''C''')}} जो हस्ताक्षर के एक गैर-पतित जटिल तिरछा-हर्मिटियन रूप को संरक्षित करता है {{math|(''n'', ''n'')}}.<ref>{{harvnb|Rossmann|2002}} p. 94.</ref> सामान्य रूप से कोई देखता है कि चतुष्कोणीय संकेतन में | ||
:<math>\Phi = | :<math>\Phi = | ||
\left(\begin{smallmatrix} | \left(\begin{smallmatrix} | ||
Line 388: | Line 393: | ||
नुस्खे के अनुसार ({{EquationNote|8}}). एक ही नुस्खे के लिए पैदावार {{math|Φ}}, | नुस्खे के अनुसार ({{EquationNote|8}}). एक ही नुस्खे के लिए पैदावार {{math|Φ}}, | ||
:<math>\Phi \leftrightarrow \left(\begin{matrix} 0 & -I_n \\ I_n & 0 \end{matrix}\right) \equiv J_{n}.</math> | :<math>\Phi \leftrightarrow \left(\begin{matrix} 0 & -I_n \\ I_n & 0 \end{matrix}\right) \equiv J_{n}.</math> | ||
अब अंतिम | अब अंतिम नियम में ({{EquationNote|9}}) जटिल संकेतन में पढ़ता है | ||
:<math> | :<math> | ||
\left(\begin{matrix} X & -\overline{Y} \\ Y & \overline{X} \end{matrix}\right)^* = | \left(\begin{matrix} X & -\overline{Y} \\ Y & \overline{X} \end{matrix}\right)^* = | ||
Line 413: | Line 418: | ||
और अंकन ओ समझाया गया है। | और अंकन ओ समझाया गया है। | ||
== सामान्य क्षेत्रों या बीजगणित पर | == सामान्य क्षेत्रों या बीजगणित पर मौलिक समूह == | ||
मौलिक समूह, अधिक व्यापक रूप से बीजगणित में माने जाते हैं, विशेष रूप से दिलचस्प [[मैट्रिक्स समूह]] प्रदान करते हैं। जब मैट्रिक्स समूह के गुणांकों का क्षेत्र (गणित) F या तो वास्तविक संख्या या सम्मिश्र संख्या है, तो ये समूह केवल मौलिक लाई समूह होते हैं। जब जमीनी क्षेत्र एक [[परिमित क्षेत्र]] होता है, तो मौलिक समूह लाई प्रकार के समूह होते हैं। ये समूह परिमित सरल समूहों के वर्गीकरण में महत्वपूर्ण भूमिका निभाते हैं। साथ ही, कोई मौलिक समूहों को एफ पर एकात्मक सहयोगी बीजगणित आर पर विचार कर सकता है; जहाँ R = quaternion|'H' (वास्तविकता पर एक बीजगणित) एक महत्वपूर्ण स्थिति का प्रतिनिधित्व करता है। व्यापकता के लिए लेख में R से ऊपर के समूहों का उल्लेख किया जाएगा, जहाँ R स्वयं ग्राउंड फ़ील्ड F हो सकता है। | |||
उनके अमूर्त समूह सिद्धांत को ध्यान में रखते हुए, कई रेखीय समूहों में एक 'विशेष' उपसमूह होता है, जिसमें आम तौर पर ग्राउंड फील्ड पर निर्धारक 1 के तत्व शामिल होते हैं, और उनमें से अधिकतर 'प्रक्षेपी' भागफल से जुड़े होते हैं, जो समूह के केंद्र द्वारा भागफल होते हैं। . विशेषता 2 एस में ऑर्थोगोनल समूहों के लिए एक अलग अर्थ है। | उनके अमूर्त समूह सिद्धांत को ध्यान में रखते हुए, कई रेखीय समूहों में एक 'विशेष' उपसमूह होता है, जिसमें आम तौर पर ग्राउंड फील्ड पर निर्धारक 1 के तत्व शामिल होते हैं, और उनमें से अधिकतर 'प्रक्षेपी' भागफल से जुड़े होते हैं, जो समूह के केंद्र द्वारा भागफल होते हैं। . विशेषता 2 एस में ऑर्थोगोनल समूहों के लिए एक अलग अर्थ है। | ||
समूह के नाम के सामने 'सामान्य' शब्द का | समूह के नाम के सामने 'सामान्य' शब्द का सामान्यतः मतलब होता है कि समूह को स्थिर छोड़ने के बजाय किसी प्रकार के रूप को स्थिरांक से गुणा करने की अनुमति है। सबस्क्रिप्ट एन सामान्यतः [[मॉड्यूल (बीजगणित)]] के आयाम को इंगित करता है जिस पर समूह कार्य कर रहा है; यदि R = F है तो यह एक सदिश स्थान है। कैविएट: यह संकेतन Dynkin आरेखों के n के साथ कुछ हद तक टकराता है, जो रैंक है। | ||
=== सामान्य और विशेष रैखिक समूह === | === सामान्य और विशेष रैखिक समूह === | ||
Line 437: | Line 442: | ||
ऑर्थोगोनल ग्रुप ओ<sub>''n''</sub>(आर) एक मॉड्यूल पर एक गैर-पतित द्विघात रूप को संरक्षित करता है। एक उपसमूह है, विशेष लांबिक समूह SO<sub>''n''</sub>(आर) और भागफल, [[ प्रक्षेपी ओर्थोगोनल समूह ]] पीओ<sub>''n''</sub>(आर), और [[ प्रक्षेपी विशेष ओर्थोगोनल समूह ]] पीएसओ<sub>''n''</sub>(आर)। विशेषता 2 में निर्धारक हमेशा 1 होता है, इसलिए विशेष ऑर्थोगोनल समूह को अक्सर ऑर्थोगोनल समूह 1 के तत्वों के उपसमूह के रूप में परिभाषित किया जाता है। | ऑर्थोगोनल ग्रुप ओ<sub>''n''</sub>(आर) एक मॉड्यूल पर एक गैर-पतित द्विघात रूप को संरक्षित करता है। एक उपसमूह है, विशेष लांबिक समूह SO<sub>''n''</sub>(आर) और भागफल, [[ प्रक्षेपी ओर्थोगोनल समूह ]] पीओ<sub>''n''</sub>(आर), और [[ प्रक्षेपी विशेष ओर्थोगोनल समूह ]] पीएसओ<sub>''n''</sub>(आर)। विशेषता 2 में निर्धारक हमेशा 1 होता है, इसलिए विशेष ऑर्थोगोनल समूह को अक्सर ऑर्थोगोनल समूह 1 के तत्वों के उपसमूह के रूप में परिभाषित किया जाता है। | ||
एक अनाम समूह होता है जिसे अक्सर Ω द्वारा निरूपित किया जाता है<sub>''n''</sub>(आर) [[स्पिनर मानदंड]] 1 के तत्वों के ऑर्थोगोनल समूह के तत्वों से मिलकर, इसी उपसमूह और भागफल समूहों SΩ के साथ<sub>''n''</sub>(आर), पीओ<sub>''n''</sub>(आर), पी.एस.ओ<sub>''n''</sub>(आर)। (वास्तविक से अधिक सकारात्मक निश्चित द्विघात रूपों के लिए, समूह Ω ऑर्थोगोनल समूह के समान होता है, | एक अनाम समूह होता है जिसे अक्सर Ω द्वारा निरूपित किया जाता है<sub>''n''</sub>(आर) [[स्पिनर मानदंड]] 1 के तत्वों के ऑर्थोगोनल समूह के तत्वों से मिलकर, इसी उपसमूह और भागफल समूहों SΩ के साथ<sub>''n''</sub>(आर), पीओ<sub>''n''</sub>(आर), पी.एस.ओ<sub>''n''</sub>(आर)। (वास्तविक से अधिक सकारात्मक निश्चित द्विघात रूपों के लिए, समूह Ω ऑर्थोगोनल समूह के समान होता है, किंतु सामान्य तौर पर यह छोटा होता है।) Ω का दोहरा आवरण भी होता है<sub>''n''</sub>(आर), [[पिन समूह]] पिन कहा जाता है<sub>''n''</sub>(आर), और इसका एक उपसमूह है जिसे [[स्पिन समूह]] स्पिन कहा जाता है<sub>''n''</sub>(आर)। सामान्य ओर्थोगोनल समूह GO<sub>''n''</sub>(आर) कुछ उलटा स्केलर द्वारा द्विघात रूप को गुणा करने वाले मॉड्यूल के ऑटोमोर्फिज्म होते हैं। | ||
=== सांकेतिक परंपराएं === | === सांकेतिक परंपराएं === | ||
Line 444: | Line 449: | ||
== [[असाधारण झूठ समूह]]ों के साथ तुलना == | == [[असाधारण झूठ समूह]]ों के साथ तुलना == | ||
मौलिक झूठ समूहों के विपरीत असाधारण झूठ समूह हैं, जी<sub>2</sub>, एफ<sub>4</sub>, और<sub>6</sub>, और<sub>7</sub>, और<sub>8</sub>, जो अपने सार गुणों को साझा करते हैं, किंतु उनकी परिचितता को नहीं।<ref>Wybourne, B. G. (1974). ''Classical Groups for Physicists'', Wiley-Interscience. {{ISBN|0471965057}}.</ref> इन्हें केवल 1890 के आसपास [[ विल्हेम हत्या ]] और एली कार्टन द्वारा जटिल संख्याओं पर सरल लाई बीजगणित के वर्गीकरण में खोजा गया था। | |||
==टिप्पणियाँ== | ==टिप्पणियाँ== |
Revision as of 10:28, 31 May 2023
Lie groups |
---|
गणित में, मौलिक समूहों को वास्तविक R पर विशेष रैखिक समूहों के रूप में परिभाषित किया जाता है, जटिल संख्या C और चतुष्कोण H एक साथ सममित या तिरछा-सममित द्विरेखीय रूपों के विशेष ऑटोमोर्फिज़्म समूहों और वास्तविक पर परिभाषित हर्मिटियन या तिरछा-हर्मिटियन सेस्क्विलिनियर रूपों के साथ जटिल और चतुष्कोणीय परिमित-आयामी वेक्टर रिक्त स्थान इनमें से जटिल मौलिक झूठ समूह झूठ समूहों के चार अनंत वर्ग हैं जो असाधारण समूहों के साथ सरल झूठ समूहों के वर्गीकरण को समाप्त करते हैं। कॉम्पैक्ट मौलिक समूह जटिल मौलिक समूहों के कॉम्पैक्ट वास्तविक रूप हैं। मौलिक समूहों के परिमित अनुरूप झूठ प्रकार के मौलिक समूह हैं। "मौलिक समूह" शब्द हरमन वेइल द्वारा गढ़ा गया था[1] यह उनके 1939 के मोनोग्राफ मौलिक समूहों का शीर्षक था।[2][3]
मौलिक समूह रेखीय झूठ समूहों के विषय का सबसे गहरा और सबसे उपयोगी भाग हैं।[4] अधिकांश प्रकार के मौलिक समूह मौलिक और आधुनिक भौतिकी में आवेदन पाते हैं। कुछ उदाहरण निम्नलिखित हैं। घूर्णन समूह SO(3) यूक्लिडियन अंतरिक्ष और भौतिकी के सभी मूलभूत नियमों की एक समरूपता है, लोरेंत्ज़ समूह O(3,1) विशेष सापेक्षता के दिक्-काल का एक समरूपता समूह है। विशेष एकात्मक समूह SU(3) क्वांटम क्रोमोडायनामिक्स का समरूपता समूह है और सहानुभूतिपूर्ण समूह Sp(m) हैमिल्टनियन यांत्रिकी और इसके क्वांटम यांत्रिक संस्करणों में अनुप्रयोग पाता है।
मौलिक समूह
मौलिक समूह R, Cऔर H पर पूर्ण रूप से सामान्य रैखिक समूह हैं साथ ही नीचे चर्चा की गई गैर-पतित रूपों के ऑटोमोर्फिज्म समूह भी हैं।[5] ये समूह सामान्यतः अतिरिक्त रूप से उन उपसमूहों तक सीमित होते हैं जिनके तत्वों का निर्धारक 1 होता है जिससे उनके केंद्र असतत हों निर्धारक 1 नियम के साथ मौलिक समूह नीचे दी गई तालिका में सूचीबद्ध हैं। अगली कड़ी में अधिक व्यापकता के हित में निर्धारक 1 स्थिति का निरन्तर उपयोग नहीं किया जाता है।
Name | Group | Field | Form | Maximal compact subgroup |
Lie algebra |
Root system |
---|---|---|---|---|---|---|
Special linear | [[Special linear group|SL(n, R)]] | R | — | SO(n) | ||
Complex special linear | [[Special linear group|SL(n, C)]] | C | — | [[SU(n)|SU(n)]] | Complex | [[Root system#Explicit construction of the irreducible root systems|Am, n = m + 1]] |
Quaternionic special linear | SL(n, H) = SU∗(2n) |
H | — | Sp(n) | ||
(Indefinite) special orthogonal | [[Indefinite orthogonal group|SO(p, q)]] | R | Symmetric | S(O(p) × O(q)) | ||
Complex special orthogonal | [[Special orthogonal group|SO(n, C)]] | C | Symmetric | [[SO(n)|SO(n)]] | Complex | |
Symplectic | [[Symplectic group|Sp(n, R)]] | R | Skew-symmetric | U(n) | ||
Complex symplectic | [[Symplectic group|Sp(n, C)]] | C | Skew-symmetric | [[Sp(n)|Sp(n)]] | Complex | [[Root system#Explicit construction of the irreducible root systems|Cm, n = 2m]] |
(Indefinite) special unitary | [[Special unitary group|SU(p, q)]] | C | Hermitian | S(U(p) × U(q)) | ||
(Indefinite) quaternionic unitary | Sp(p, q) | H | Hermitian | Sp(p) × Sp(q) | ||
Quaternionic orthogonal | SO∗(2n) | H | Skew-Hermitian | SO(2n) |
जटिल मौलिक समूह SL(n, C), SO(n, C) और Sp(n, C). हैं। एक समूह इस आधार से जटिल होता है कि क्या इसका ले बीजगणित जटिल है। वास्तविक मौलिक समूह सभी मौलिक समूहों को संदर्भित करता है क्योंकि कोई भी बीजगणित एक वास्तविक बीजगणित है। कॉम्पैक्ट मौलिक समूह जटिल मौलिक समूहों के कॉम्पैक्ट वास्तविक रूप हैं। ये बदले में, SU(n) SO(n) और Sp(n) हैं। कॉम्पैक्ट वास्तविक रूप का एक लक्षण लाई बीजगणित g के संदर्भ में है। यदि g = u + iu, u का जटिलीकरण, और यदि {exp(X): X ∈ u द्वारा उत्पन्न जुड़ा समूह K संहत है, तो K एक सघन वास्तविक रूप है।[6]
मौलिक समूहों को समान रूप से वास्तविक रूप का उपयोग करके एक अलग विधि से चित्रित किया जा सकता है। मौलिक समूह (यहां निर्धारक 1 स्थिति के साथ किंतु यह आवश्यक नहीं है) निम्नलिखित हैं:
- जटिल रेखीय बीजगणितीय समूह SL(n, C), SO(n, C), और Sp(n, C) उनके वास्तविक रूपों के साथ।[7]
उदाहरण के लिए, SO∗(2n) SO(2n, C) का वास्तविक रूप है, SU(p, q) SL(n, C) का वास्तविक रूप है, और SL(n, H) इसका वास्तविक रूप है SL(2n, C) निर्धारक 1 स्थिति के बिना विशेष रैखिक समूहों को लक्षण वर्णन में संबंधित सामान्य रैखिक समूहों के साथ बदलें। विचाराधीन बीजगणितीय समूह झूठसमूह हैं, किंतु "वास्तविक रूप" की सही धारणा प्राप्त करने के लिए "बीजगणितीय" योग्यता की आवश्यकता है। समूह हैं किंतु "वास्तविक रूप" की सही धारणा प्राप्त करने के लिए "बीजगणितीय" योग्यता की आवश्यकता है।
बिलिनियर और सेस्क्विलिनियर फॉर्म
मौलिक समूहों को Rn, Cn, और Hn पर परिभाषित रूपों के संदर्भ में परिभाषित किया गया है, जहां R और C वास्तविक और जटिल संख्याओं के क्षेत्र हैं। चतुष्कोण H एक क्षेत्र का गठन नहीं करते हैं क्योंकि गुणन नहीं होता है; वे एक विभाजन वलय या तिरछा क्षेत्र या गैर-विनिमेय क्षेत्र बनाते हैं। चूँकि , मैट्रिक्स क्वाटरनियोनिक समूहों को परिभाषित करना अभी भी संभव है। इस कारण से, सदिश समष्टि V को नीचे R, C और साथ ही H के ऊपर परिभाषित करने की अनुमति है। H के स्थिति में, V एक सही सदिश स्थान है, जो कि Rऔर C के लिए बाईं ओर से मैट्रिक्स गुणन के रूप में समूह क्रिया के प्रतिनिधित्व को संभव बनाता है।[8]
F = R, C या H पर कुछ परिमित-आयामी सही सदिश स्थान पर एक रूप φ: V × V → F द्विरेखीय है यदि
- और यदि
इसे अर्ध-बिलिनियर रूप कहा जाता है यदि
- और यदि
इन सम्मेलनों को चुना जाता है क्योंकि वे सभी मामलों में काम करते हैं। का एक ऑटोमोर्फिज़्म φ एक नक्शा है Α पर रैखिक ऑपरेटरों के सेट में V ऐसा है कि
-
(1)
के सभी ऑटोमोर्फिज्म का सेट φ एक समूह बनाते हैं, इसे का ऑटोमोर्फिज्म समूह कहा जाता है φ, निरूपित Aut(φ). यह मौलिक समूह की प्रारंभिक परिभाषा की ओर जाता है:
- एक मौलिक समूह एक ऐसा समूह है जो परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर या सेस्क्विलिनियर फॉर्म को संरक्षित करता है R, C या H.
इस परिभाषा में कुछ अतिरेक है। के स्थिति में F = R, बिलिनियर सेस्क्विलिनियर के बराबर है। के स्थिति में F = H, कोई गैर-शून्य द्विरेखीय रूप नहीं हैं।[9]
सममित, तिरछा-सममित, हर्मिटियन और तिरछा-हर्मिटियन रूप
एक फॉर्म सममित है अगर
यह तिरछा-सममित है यदि
यह हर्मिटियन है अगर
अंत में, यह तिरछा-हर्मिटियन है अगर
एक द्विरेखीय रूप φ विशिष्ट रूप से सममित रूप और तिरछा-सममित रूप का योग है। एक परिवर्तन संरक्षण φ दोनों भागों को अलग-अलग सुरक्षित रखता है। इस प्रकार सममित और तिरछा-सममित रूपों को संरक्षित करने वाले समूहों का अलग-अलग अध्ययन किया जा सकता है। वही लागू होता है, यथोचित परिवर्तनों सहित, हर्मिटियन और तिरछा-हर्मिटियन रूपों पर। इस कारण से, वर्गीकरण के प्रयोजनों के लिए, केवल विशुद्ध रूप से सममित, तिरछा-सममित, हर्मिटियन, या तिरछा-हर्मिटियन रूपों पर विचार किया जाता है। रूपों के सामान्य रूप आधारों के विशिष्ट उपयुक्त विकल्पों के अनुरूप होते हैं। ये निर्देशांक में निम्नलिखित सामान्य रूप देने वाले आधार हैं:
j} तिरछा-हर्मिटियन रूप में आधार में तीसरा आधार तत्व है (1, i, j, k) के लिए H. इन आधारों के अस्तित्व का प्रमाण और सिल्वेस्टर का जड़त्व का नियम, धनात्मक और ऋणात्मक चिह्नों की संख्या की स्वतंत्रता, p और q, सममित और हर्मिटियन रूपों में, साथ ही प्रत्येक अभिव्यक्ति में क्षेत्रों की उपस्थिति या अनुपस्थिति में पाया जा सकता है Rossmann (2002) या Goodman & Wallach (2009). जोड़ी (p, q), और कभी - कभी p − q, फॉर्म का सिग्नेचर कहलाता है।
खेतों की घटना की व्याख्या R, C, H: कोई गैर तुच्छ द्विरेखीय रूप नहीं हैं H. सममित बिलिनियर स्थिति में, केवल रूप बनता है R के हस्ताक्षर हैं। दूसरे शब्दों में, हस्ताक्षर के साथ एक जटिल द्विरेखीय रूप (p, q), आधार के परिवर्तन से, एक ऐसे रूप में घटाया जा सकता है जहां सभी संकेत हैं+ उपरोक्त अभिव्यक्ति में, जबकि वास्तविक स्थिति में यह असंभव है, जिसमें p − q इस फॉर्म में रखे जाने पर आधार से स्वतंत्र होता है। चूँकि , हर्मिटियन रूपों में जटिल और चतुष्कोणीय स्थिति दोनों में आधार-स्वतंत्र हस्ताक्षर हैं। (वास्तविक मामला सममित स्थिति में कम हो जाता है।) एक जटिल सदिश स्थान पर एक तिरछा-हर्मिटियन रूप गुणा द्वारा हर्मिटियन प्रदान किया जाता है i, तो इस स्थिति में, केवल H दिलचस्प है।
ऑटोमोर्फिज्म समूह
प्रथम खंड सामान्य रूपरेखा प्रस्तुत करता है। अन्य खंड गुणात्मक रूप से अलग-अलग मामलों को समाप्त करते हैं जो परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर और सेस्क्विलिनियर रूपों के ऑटोमोर्फिज्म समूहों के रूप में उत्पन्न होते हैं। R, C और H.
ऑट (φ) - ऑटोमोर्फिज्म समूह
ये मान लीजिए φ परिमित-आयामी सदिश स्थान पर एक गैर-पतित रूप है V ऊपर R, C या H. स्थिति के आधार पर ऑटोमोर्फिज्म समूह को परिभाषित किया गया है (1), जैसा
प्रत्येक A ∈ Mn(V) का एक जोड़ है Aφ इसके संबंध में φ द्वारा परिभाषित
-
(2)
स्थिति में इस परिभाषा का उपयोग करना (1), ऑटोमोर्फिज्म समूह द्वारा दिया गया देखा जाता है
-
(3)
के लिए एक आधार तय करें V. इस आधार के संदर्भ में, रखो
कहाँ ξi, ηj के घटक हैं x, y. यह बिलिनियर रूपों के लिए उपयुक्त है। Sesquilinear रूपों में समान भाव होते हैं और बाद में अलग से व्यवहार किया जाता है। मैट्रिक्स नोटेशन में कोई पाता है
और
-
(4)
से (2) कहाँ Φ मैट्रिक्स है (φij). गैर अध: पतन स्थिति ठीक यही मतलब है Φ व्युत्क्रमणीय है, इसलिए संलग्न हमेशा मौजूद रहता है। Aut(φ) इसके साथ व्यक्त हो जाता है
झूठ बीजगणित {{math|aut(φ)}ऑटोमोर्फिज्म समूहों के } को तुरंत लिखा जा सकता है। संक्षेप में, X ∈ aut(φ) अगर और केवल अगर
सभी के लिए t, में स्थिति के अनुरूप (3) झूठ बीजगणित के घातीय मानचित्र (झूठे सिद्धांत) के तहत, ताकि
या एक आधार में
-
(5)
जैसा कि एक्सपोनेंशियल मैपिंग की शक्ति श्रृंखला विस्तार और शामिल संचालन की रैखिकता का उपयोग करके देखा जाता है। इसके विपरीत मान लीजिए X ∈ aut(φ). फिर, उपरोक्त परिणाम का उपयोग करते हुए, φ(Xx, y) = φ(x, Xφy) = −φ(x, Xy). इस प्रकार झूठ बीजगणित को बिना किसी आधार, या आसन्न के संदर्भ में वर्णित किया जा सकता है
के लिए सामान्य रूप φ नीचे प्रत्येक मौलिक समूह के लिए दिया जाएगा। उस सामान्य रूप से, मैट्रिक्स Φ सीधे पढ़ा जा सकता है। नतीजतन, सूत्रों का उपयोग करके आसन्न और झूठ बीजगणित के लिए अभिव्यक्ति प्राप्त की जा सकती है (4) और (5). यह अधिकांश गैर-तुच्छ मामलों में नीचे प्रदर्शित किया गया है।
बिलिनियर केस
जब प्रपत्र सममित है, Aut(φ) कहा जाता है O(φ). जब यह तिरछा-सममित होता है तब Aut(φ) कहा जाता है Sp(φ). यह वास्तविक और जटिल मामलों पर लागू होता है। क्वाटरनियोनिक केस खाली है क्योंकि क्वाटरनियोनिक वेक्टर रिक्त स्थान पर कोई शून्येतर बिलिनियर फॉर्म मौजूद नहीं है।[12]
असली मामला
वास्तविक मामला दो मामलों में विभाजित होता है, सममित और विषम रूप जिन्हें अलग-अलग व्यवहार किया जाना चाहिए।
ओ (पी, क्यू) और ओ (एन) - ऑर्थोगोनल समूह
अगर φ सममित है और सदिश स्थान वास्तविक है, एक आधार चुना जा सकता है ताकि
प्लस और माइनस-संकेतों की संख्या विशेष आधार से स्वतंत्र है।[13] यदि V = Rn कोई लिखता है O(φ) = O(p, q) कहाँ p धन चिह्नों की संख्या है और q ऋण चिह्नों की संख्या है, p + q = n. अगर q = 0 अंकन है O(n). गणित का सवाल Φ इस स्थिति में है
यदि आवश्यक हो तो आधार को पुनर्व्यवस्थित करने के बाद। आसन्न ऑपरेशन (4) तो बन जाता है
जो सामान्य स्थानान्तरण को कम कर देता है जब p या q 0 है। लाई बीजगणित समीकरण का उपयोग करके पाया जाता है (5) और एक उपयुक्त ansatz (यह के स्थिति के लिए विस्तृत है Sp(m, R) नीचे),
और समूह के अनुसार (3) द्वारा दिया गया है
समूह O(p, q) और O(q, p) मानचित्र के माध्यम से आइसोमॉर्फिक हैं
उदाहरण के लिए, लोरेंत्ज़ समूह के झूठ बीजगणित को इस रूप में लिखा जा सकता है
स्वाभाविक रूप से, पुनर्व्यवस्थित करना संभव है जिससे q-ब्लॉक ऊपरी बाएँ (या कोई अन्य ब्लॉक) है। यहां समय घटक एक भौतिक व्याख्या में चौथे समन्वय के रूप में समाप्त होता है, न कि पहले जैसा कि अधिक सामान्य हो सकता है।
एसपी (एम, आर) - वास्तविक सहानुभूतिपूर्ण समूह
अगर φ तिरछा-सममित है और सदिश स्थान वास्तविक है, एक आधार दे रहा है
कहाँ n = 2m. के लिए Aut(φ) कोई लिखता है Sp(φ) = Sp(V) यदि V = Rn = R2m कोई लिखता है Sp(m, R) या Sp(2m, R). सामान्य रूप से कोई पढ़ता है
दृष्टिकोण बनाकर
कहाँ X, Y, Z, W हैं m-आयामी मैट्रिक्स और विचार (5),
का झूठा बीजगणित पाता है Sp(m, R),
और समूह द्वारा दिया गया है
जटिल मामला
वास्तविक स्थिति की तरह, दो स्थिति हैं, सममित और एंटीसिमेट्रिक मामला है कि प्रत्येक मौलिक समूहों के एक परिवार का उत्पादन करता है।
हे (एन, सी) - जटिल ओर्थोगोनल समूह
अगर मामला φ सममित है और सदिश स्थान जटिल है, एक आधार है
केवल प्लस-साइन के साथ ही इस्तेमाल किया जा सकता है। ऑटोमोर्फिज्म समूह के स्थिति में है V = Cn बुलाया O(n, C). झूठ बीजगणित बस उसी का एक विशेष मामला है o(p, q),
और समूह द्वारा दिया गया है
रूट सिस्टम के संदर्भ में या डायनकिन डायग्राम द्वारा रूट सिस्टम का वर्गीकरण, so(n) दो वर्गों में विभाजित हैं, जिनके साथ n रूट सिस्टम के साथ विषम Bn और n रूट सिस्टम के साथ भी Dn.
Sp(एम, सी) - जटिल सहानुभूतिपूर्ण समूह
के लिए φ तिरछा-सममित और सदिश अंतरिक्ष परिसर, एक ही सूत्र,
वास्तविक स्थिति की तरह लागू होता है। के लिए Aut(φ) कोई लिखता है Sp(φ) = Sp(V). यदि एक लिखता है Sp(m, ) या Sp(2m, ). झूठ बीजगणित के समानांतर है sp(m, ),
और समूह द्वारा दिया गया है
सेस्क्विलिनियर केस
सेस्क्विलिनियर स्थिति में, एक आधार के रूप में फॉर्म के लिए थोड़ा अलग दृष्टिकोण बनाता है,
संशोधित होने वाले अन्य भाव हैं
-
(6)
वास्तविक मामला, निश्चित रूप से, कुछ भी नया नहीं देता है। जटिल और चतुर्धातुक स्थिति पर नीचे विचार किया जाएगा।
जटिल मामला
गुणात्मक दृष्टिकोण से, तिरछा-हर्मिटियन रूपों (समरूपता तक) पर विचार कोई नया समूह प्रदान नहीं करता है; द्वारा गुणा करना i तिरछा-हर्मिटियन रूप को हर्मिटियन, और इसके विपरीत प्रस्तुत करता है। इस प्रकार केवल हर्मिटियन स्थिति पर विचार करने की आवश्यकता है।
यू (पी, क्यू) और यू (एन) - एकात्मक समूह
एक गैर-पतित हेर्मिटियन रूप का सामान्य रूप है
बिलिनियर स्थिति में, हस्ताक्षर (पी, क्यू) आधार से स्वतंत्र है। ऑटोमोर्फिज्म समूह को निरूपित किया जाता है U(V), या, के स्थिति में V = Cn, U(p, q). अगर q = 0 अंकन है U(n). इस स्थिति में, Φ रूप लेता है
और झूठ बीजगणित द्वारा दिया गया है
समूह द्वारा दिया गया है
- जहाँ g एक सामान्य n x n जटिल मैट्रिक्स है और जी के संयुग्मी स्थानांतरण के रूप में परिभाषित किया गया है, जिसे भौतिक विज्ञानी कहते हैं .
तुलना के रूप में, एक एकात्मक मैट्रिक्स U(n) को इस रूप में परिभाषित किया गया है
हमने ध्यान दिया कि वैसा ही है जैसा कि
चतुर्धातुक मामला
अंतरिक्ष Hn को एक सही सदिश स्थान के रूप में माना जाता है H. इस तरह, A(vh) = (Av)h चतुष्कोण के लिए h, एक चतुष्कोणीय स्तंभ वेक्टर v और चतुष्कोणीय मैट्रिक्स A. अगर Hn बायाँ सदिश स्थान था H, तो रैखिकता बनाए रखने के लिए दाईं ओर से पंक्ति सदिशों पर मैट्रिक्स गुणन की आवश्यकता होगी। जब एक आधार दिया जाता है, जो कॉलम वैक्टर पर बाईं ओर से मैट्रिक्स गुणन होता है, तो यह एक सदिश स्थान पर एक समूह के सामान्य रैखिक संचालन के अनुरूप नहीं होता है। इस प्रकार V इसके बाद एक सही सदिश समष्टि है H. फिर भी, गैर-विनिमेय प्रकृति के कारण सावधानी बरतनी चाहिए H. (ज्यादातर स्पष्ट) विवरण छोड़ दिए जाते हैं क्योंकि जटिल अभ्यावेदन का उपयोग किया जाएगा।
चतुष्कोणीय समूहों के साथ व्यवहार करते समय जटिल का उपयोग करके चतुष्कोणों का प्रतिनिधित्व करना सुविधाजनक होता है 2×2-matrices,
-
(7)
इस प्रतिनिधित्व के साथ, चतुष्कोणीय गुणन मैट्रिक्स गुणन बन जाता है और चतुष्कोणीय संयुग्मन हर्मिटियन आसन्न बन जाता है। इसके अलावा, एक चतुर्धातुक जटिल एन्कोडिंग के अनुसार q = x + jy कॉलम वेक्टर के रूप में दिया गया है (x, y)T, फिर बायीं ओर से क्वाटरनियन के मैट्रिक्स प्रतिनिधित्व द्वारा गुणा करने से सही क्वाटरनियन का प्रतिनिधित्व करने वाला एक नया कॉलम वेक्टर उत्पन्न होता है। यह प्रतिनिधित्व चतुष्कोणीय लेख में पाए जाने वाले अधिक सामान्य प्रतिनिधित्व से थोड़ा अलग है। अधिक सामान्य सम्मेलन एक ही चीज़ को प्राप्त करने के लिए पंक्ति मैट्रिक्स पर दाईं ओर से गुणन को बाध्य करेगा।
संयोग से, उपरोक्त प्रतिनिधित्व यह स्पष्ट करता है कि इकाई चतुष्कोणों का समूह (αα + ββ = 1 = det Q) आइसोमॉर्फिक है SU(2).
क्वाटरनियोनिक n×n-मैट्रिसेस, स्पष्ट विस्तार द्वारा, द्वारा प्रदर्शित किए जा सकते हैं 2n×2n जटिल संख्याओं के ब्लॉक-मैट्रिसेस।[16] यदि कोई क्वाटरनियोनिक का प्रतिनिधित्व करने के लिए सहमत है n×1 कॉलम वेक्टर ए द्वारा 2n×1 कॉलम वेक्टर जटिल संख्या के साथ ऊपर के एन्कोडिंग के अनुसार, ऊपरी के साथ n संख्याएँ हैं αi और निचला n द βi, फिर एक चतुष्कोणीय n×n-मैट्रिक्स एक जटिल बन जाता है 2n×2n-मैट्रिक्स पूर्ण रूप से ऊपर दिए गए फॉर्म का, किंतु अब α और β के साथ n×n-मैट्रिसेस। अधिक औपचारिक रूप से
-
(8)
एक मैट्रिक्स T ∈ GL(2n, C) में प्रपत्र प्रदर्शित किया गया है (8) अगर और केवल अगर JnT = TJn. इन पहचानों से,
अंतरिक्ष Mn(H) ⊂ M2n(C) एक वास्तविक बीजगणित है, किंतु यह इसकी जटिल उपसमष्टि नहीं है M2n(C). गुणा (बाएं से) द्वारा i में Mn(H) एंट्री-वार क्वाटरनियोनिक गुणन का उपयोग करना और फिर छवि में मैपिंग करना M2n(C) द्वारा प्रवेश-वार गुणा करने से भिन्न परिणाम प्राप्त होता है i सीधे अंदर M2n(C). चतुर्धातुक गुणन नियम देते हैं i(X + jY) = (iX) + j(−iY) जहां नया X और Y कोष्ठक के अंदर हैं।
चतुष्कोणीय सदिशों पर चतुष्कोणीय आव्यूहों की क्रिया को अब जटिल मात्राओं द्वारा दर्शाया जाता है, किंतु अन्यथा यह सामान्य आव्यूहों और सदिशों के समान ही है। चतुर्धातुक समूह इस प्रकार अंतःस्थापित होते हैं M2n(C) कहाँ n क्वाटरनियोनिक मैट्रिसेस का आयाम है।
क्वाटरनियोनिक मैट्रिक्स के निर्धारक को इस प्रतिनिधित्व में इसके प्रतिनिधि मैट्रिक्स के सामान्य जटिल निर्धारक के रूप में परिभाषित किया गया है। क्वाटरनियोनिक गुणन की गैर-कम्यूटेटिव प्रकृति, मेट्रिसेस के क्वाटरनियोनिक प्रतिनिधित्व में अस्पष्ट होगी। रास्ता Mn(H) में सन्निहित है M2n(C) अद्वितीय नहीं है, किंतु ऐसे सभी एम्बेडिंग संबंधित हैं g ↦ AgA−1, g ∈ GL(2n, C) के लिए A ∈ O(2n, C), निर्धारक को अप्रभावित छोड़कर।[17] का नाम SL(n, H) इस जटिल आड़ में है SU∗(2n).
के स्थिति में विरोध के रूप में C, हर्मिटियन और तिरछा-हर्मिटियन केस दोनों ही जब कुछ नया लेकर आते हैं H माना जाता है, इसलिए इन मामलों पर अलग से विचार किया जाता है।
जीएल (एन, एच) और एसएल (एन, एच)
उपरोक्त पहचान के तहत,
यह झूठ बीजगणित है gl(n, H) मैपिंग की छवि में सभी मैट्रिसेस का सेट है {{math|Mn(H) ↔ M2n(C)}ऊपर का},
क्वाटरनियोनिक विशेष रैखिक समूह द्वारा दिया गया है
जहां निर्धारक को मेट्रिसेस में लिया जाता है C2n. वैकल्पिक रूप से, इसे डाययूडोने निर्धारक के कर्नेल के रूप में परिभाषित किया जा सकता है . झूठ बीजगणित है
Sp(p, q) - चतुष्कोणीय एकात्मक समूह
जैसा कि ऊपर जटिल स्थिति में, सामान्य रूप है
और प्लस-साइन की संख्या आधार से स्वतंत्र है। कब V = Hn इस फॉर्म के साथ, Sp(φ) = Sp(p, q). संकेतन का कारण यह है कि उपसमूह के रूप में उपरोक्त नुस्खे का उपयोग करके समूह का प्रतिनिधित्व किया जा सकता है Sp(n, C) हस्ताक्षर के एक जटिल-हर्मिटियन रूप को संरक्षित करना (2p, 2q)[18] अगर p या q = 0 समूह को दर्शाया गया है U(n, H). इसे कभी-कभी अतिसक्रिय समूह कहा जाता है।
चतुर्धातुक संकेतन में,
जिसका अर्थ है कि फॉर्म के क्वाटरनियोनिक मैट्रिसेस
-
(9)
संतुष्ट करेगा
के बारे में अनुभाग देखें u(p, q). चतुर्धातुक मैट्रिक्स गुणन से निपटने के दौरान सावधानी बरतने की आवश्यकता है, किंतु केवल यहाँ I और -I शामिल हैं और ये हर चतुष्कोणीय मैट्रिक्स के साथ आवागमन करते हैं। अब नुस्खा लागू करें (8) प्रत्येक ब्लॉक के लिए,
और संबंधों में (9) संतुष्ट हो जाएगा अगर
झूठ बीजगणित बन जाता है
समूह द्वारा दिया गया है
के सामान्य रूप में लौट रहा है φ(w, z) के लिए Sp(p, q), प्रतिस्थापन करें w → u + jv और z → x + jy साथ u, v, x, y ∈ Cn. तब
एक के रूप में देखा गया H-मूल्यवान रूप पर C2n.[19] इस प्रकार के तत्व Sp(p, q), के रैखिक परिवर्तनों के रूप में देखा गया C2n, हर्मिटियन प्रकार के हस्ताक्षर दोनों को सुरक्षित रखें (2p, 2q) और एक गैर-पतित तिरछा-सममित रूप। दोनों रूप विशुद्ध रूप से जटिल मान लेते हैं और के पूर्ववर्ती के कारण j दूसरे रूप में, वे अलग से संरक्षित हैं। इस का मतलब है कि
और यह समूह के नाम और अंकन दोनों की व्याख्या करता है।
द∗(2n) = O(n, H)- क्वाटरनियोनिक ऑर्थोगोनल ग्रुप
तिरछा-हर्मिटियन रूप के लिए सामान्य रूप किसके द्वारा दिया जाता है
कहाँ j ऑर्डर की गई सूची में तीसरा आधार चतुर्धातुक है (1, i, j, k). इस स्थिति में, Aut(φ) = O∗(2n) उपसमूह के रूप में ऊपर के जटिल मैट्रिक्स एन्कोडिंग का उपयोग करके महसूस किया जा सकता है O(2n, C) जो हस्ताक्षर के एक गैर-पतित जटिल तिरछा-हर्मिटियन रूप को संरक्षित करता है (n, n).[20] सामान्य रूप से कोई देखता है कि चतुष्कोणीय संकेतन में
और से (6) उसका अनुसरण करता है
-
(9)
के लिए V ∈ o(2n). अब डालो
नुस्खे के अनुसार (8). एक ही नुस्खे के लिए पैदावार Φ,
अब अंतिम नियम में (9) जटिल संकेतन में पढ़ता है
झूठ बीजगणित बन जाता है
और समूह द्वारा दिया गया है
समूह SO∗(2n) के रूप में वर्णित किया जा सकता है
जहां नक्शा θ: GL(2n, C) → GL(2n, C) द्वारा परिभाषित किया गया है g ↦ −J2ngJ2n.
साथ ही, समूह का निर्धारण करने वाले फॉर्म को एक के रूप में देखा जा सकता है H-मूल्यवान रूप पर C2n.[22] प्रतिस्थापन करें x → w1 + iw2 और y → z1 + iz2 प्रपत्र के लिए अभिव्यक्ति में। तब
- फार्म φ1 हस्ताक्षर का हर्मिटियन है (जबकि बाईं ओर का पहला रूप तिरछा-हर्मिटियन है)। (n, n). हस्ताक्षर से आधार के परिवर्तन से स्पष्ट किया जाता है (e, f) को ((e + if)/√2, (e − if)/√2) कहाँ e, f प्रथम और अंतिम हैं n आधार वैक्टर क्रमशः। दूसरा रूप, φ2 सममित सकारात्मक निश्चित है। इस प्रकार, कारक के कारण j, O∗(2n) दोनों को अलग-अलग संरक्षित करता है और यह निष्कर्ष निकाला जा सकता है कि
और अंकन ओ समझाया गया है।
सामान्य क्षेत्रों या बीजगणित पर मौलिक समूह
मौलिक समूह, अधिक व्यापक रूप से बीजगणित में माने जाते हैं, विशेष रूप से दिलचस्प मैट्रिक्स समूह प्रदान करते हैं। जब मैट्रिक्स समूह के गुणांकों का क्षेत्र (गणित) F या तो वास्तविक संख्या या सम्मिश्र संख्या है, तो ये समूह केवल मौलिक लाई समूह होते हैं। जब जमीनी क्षेत्र एक परिमित क्षेत्र होता है, तो मौलिक समूह लाई प्रकार के समूह होते हैं। ये समूह परिमित सरल समूहों के वर्गीकरण में महत्वपूर्ण भूमिका निभाते हैं। साथ ही, कोई मौलिक समूहों को एफ पर एकात्मक सहयोगी बीजगणित आर पर विचार कर सकता है; जहाँ R = quaternion|'H' (वास्तविकता पर एक बीजगणित) एक महत्वपूर्ण स्थिति का प्रतिनिधित्व करता है। व्यापकता के लिए लेख में R से ऊपर के समूहों का उल्लेख किया जाएगा, जहाँ R स्वयं ग्राउंड फ़ील्ड F हो सकता है।
उनके अमूर्त समूह सिद्धांत को ध्यान में रखते हुए, कई रेखीय समूहों में एक 'विशेष' उपसमूह होता है, जिसमें आम तौर पर ग्राउंड फील्ड पर निर्धारक 1 के तत्व शामिल होते हैं, और उनमें से अधिकतर 'प्रक्षेपी' भागफल से जुड़े होते हैं, जो समूह के केंद्र द्वारा भागफल होते हैं। . विशेषता 2 एस में ऑर्थोगोनल समूहों के लिए एक अलग अर्थ है।
समूह के नाम के सामने 'सामान्य' शब्द का सामान्यतः मतलब होता है कि समूह को स्थिर छोड़ने के बजाय किसी प्रकार के रूप को स्थिरांक से गुणा करने की अनुमति है। सबस्क्रिप्ट एन सामान्यतः मॉड्यूल (बीजगणित) के आयाम को इंगित करता है जिस पर समूह कार्य कर रहा है; यदि R = F है तो यह एक सदिश स्थान है। कैविएट: यह संकेतन Dynkin आरेखों के n के साथ कुछ हद तक टकराता है, जो रैंक है।
सामान्य और विशेष रैखिक समूह
सामान्य रैखिक समूह जीएलn(आर) आर के सभी आर-रैखिक ऑटोमोर्फिज्म का समूह हैएन. एक उपसमूह है: विशेष रैखिक समूह एसएलn(आर), और उनके भागफल: प्रक्षेपी सामान्य रैखिक समूह पीजीएलn(र) = गलn(आर) / जेड (जीएलn(आर)) और प्रक्षेपी विशेष रैखिक समूह पीएसएलn(आर) = एसएलn(आर) / जेड (एसएलn(आर))। प्रोजेक्टिव स्पेशल लीनियर ग्रुप PSLn(एफ) एक फ़ील्ड पर एफ एन ≥ 2 के लिए सरल है, दो मामलों को छोड़कर जब एन = 2 और फ़ील्ड में आदेश है[clarification needed] 2 या 3।
एकात्मक समूह
एकात्मक समूह यूn(आर) एक मॉड्यूल पर एक सेस्क्विलिनियर फॉर्म को संरक्षित करने वाला एक समूह है। एक उपसमूह है, विशेष एकात्मक समूह एसयूn(आर) और उनके भागफल प्रक्षेपी एकात्मक समूह पीयूn(आर) = यूn(आर) / जेड (यूn(आर)) और अनुमानित विशेष एकात्मक समूह पीएसयूn(आर) = उसकाn(आर) / जेड (एसयूn(आर))
सहानुभूतिपूर्ण समूह
सहानुभूति समूह सपा2n(आर) एक मॉड्यूल पर तिरछा सममित रूप रखता है। इसका एक भागफल है, प्रक्षेपी सहानुभूतिपूर्ण समूह PSP2n(आर)। सामान्य सहानुभूति समूह जीएसपी2n(आर) कुछ उलटा स्केलर द्वारा एक तिरछा सममित रूप को गुणा करने वाले मॉड्यूल के ऑटोमोर्फिज्म होते हैं। प्रक्षेपी सहानुभूतिपूर्ण समूह PSP2n(एफq) पीएसपी के मामलों को छोड़कर, एक परिमित क्षेत्र पर एन ≥ 1 के लिए सरल है2 दो और तीन तत्वों के क्षेत्र में।
ऑर्थोगोनल समूह
ऑर्थोगोनल ग्रुप ओn(आर) एक मॉड्यूल पर एक गैर-पतित द्विघात रूप को संरक्षित करता है। एक उपसमूह है, विशेष लांबिक समूह SOn(आर) और भागफल, प्रक्षेपी ओर्थोगोनल समूह पीओn(आर), और प्रक्षेपी विशेष ओर्थोगोनल समूह पीएसओn(आर)। विशेषता 2 में निर्धारक हमेशा 1 होता है, इसलिए विशेष ऑर्थोगोनल समूह को अक्सर ऑर्थोगोनल समूह 1 के तत्वों के उपसमूह के रूप में परिभाषित किया जाता है।
एक अनाम समूह होता है जिसे अक्सर Ω द्वारा निरूपित किया जाता हैn(आर) स्पिनर मानदंड 1 के तत्वों के ऑर्थोगोनल समूह के तत्वों से मिलकर, इसी उपसमूह और भागफल समूहों SΩ के साथn(आर), पीओn(आर), पी.एस.ओn(आर)। (वास्तविक से अधिक सकारात्मक निश्चित द्विघात रूपों के लिए, समूह Ω ऑर्थोगोनल समूह के समान होता है, किंतु सामान्य तौर पर यह छोटा होता है।) Ω का दोहरा आवरण भी होता हैn(आर), पिन समूह पिन कहा जाता हैn(आर), और इसका एक उपसमूह है जिसे स्पिन समूह स्पिन कहा जाता हैn(आर)। सामान्य ओर्थोगोनल समूह GOn(आर) कुछ उलटा स्केलर द्वारा द्विघात रूप को गुणा करने वाले मॉड्यूल के ऑटोमोर्फिज्म होते हैं।
सांकेतिक परंपराएं
असाधारण झूठ समूहों के साथ तुलना
मौलिक झूठ समूहों के विपरीत असाधारण झूठ समूह हैं, जी2, एफ4, और6, और7, और8, जो अपने सार गुणों को साझा करते हैं, किंतु उनकी परिचितता को नहीं।[23] इन्हें केवल 1890 के आसपास विल्हेम हत्या और एली कार्टन द्वारा जटिल संख्याओं पर सरल लाई बीजगणित के वर्गीकरण में खोजा गया था।
टिप्पणियाँ
- ↑ Here, special means the subgroup of the full automorphism group whose elements have determinant 1.
- ↑ Rossmann 2002 p. 94.
- ↑ Weyl 1939
- ↑ Rossmann 2002 p. 91.
- ↑ Rossmann 2002 p. 94
- ↑ Rossmann 2002 p. 103
- ↑ Goodman & Wallach 2009 See end of chapter 1
- ↑ Rossmann 2002p. 93.
- ↑ Rossmann 2002 p. 105
- ↑ Rossmann 2002 p. 91
- ↑ Rossmann 2002 p. 92
- ↑ Rossmann 2002 p. 105
- ↑ Rossmann 2002 p. 107.
- ↑ Rossmann 2002 p. 93
- ↑ Rossmann 2002 p. 95.
- ↑ Rossmann 2002 p. 94.
- ↑ Goodman & Wallach 2009 Exercise 14, Section 1.1.
- ↑ Rossmann 2002 p. 94.
- ↑ Goodman & Wallach 2009Exercise 11, Chapter 1.
- ↑ Rossmann 2002 p. 94.
- ↑ Goodman & Wallach 2009 p.11.
- ↑ Goodman & Wallach 2009 Exercise 12 Chapter 1.
- ↑ Wybourne, B. G. (1974). Classical Groups for Physicists, Wiley-Interscience. ISBN 0471965057.
संदर्भ
- E. Artin (1957) Geometric Algebra, chapters III, IV, & V via Internet Archive
- Dieudonné, Jean (1955), La géométrie des groupes classiques, Ergebnisse der Mathematik und ihrer Grenzgebiete (N.F.), Heft 5, Berlin, New York: Springer-Verlag, ISBN 978-0-387-05391-2, MR 0072144
- Goodman, Roe; Wallach, Nolan R. (2009), Symmetry, Representations, and Invariants, Graduate texts in mathematics, vol. 255, Springer-Verlag, ISBN 978-0-387-79851-6
- Knapp, A. W. (2002). Lie groups beyond an introduction. Progress in Mathematics. Vol. 120 (2nd ed.). Boston·Basel·Berlin: Birkhäuser. ISBN 0-8176-4259-5.
- V. L. Popov (2001) [1994], "Classical group", Encyclopedia of Mathematics, EMS Press
- Rossmann, Wulf (2002), Lie Groups - An Introduction Through Linear Groups, Oxford Graduate Texts in Mathematics, Oxford Science Publications, ISBN 0-19-859683-9
- Weyl, Hermann (1939), The Classical Groups. Their Invariants and Representations, Princeton University Press, ISBN 978-0-691-05756-9, MR 0000255