चिरसम्मत समूह: Difference between revisions

Revision as of 12:22, 31 May 2023

गणित में, मौलिक समूहों को वास्तविक $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\| $A m$ , $n = m + 1$ ]]
Quaternionic special linear	$SL(n, H) =$ $SU * (2 n)$	$H$	—	$Sp(n)$
(Indefinite) special orthogonal	[[Indefinite orthogonal group\| $SO(p, q)$ ]]	$R$	Symmetric	$S(O(p) \times O(q))$
Complex special orthogonal	[[Special orthogonal group\| $SO(n, C)$ ]]	$C$	Symmetric	[[SO(n)\| $SO (n)$ ]]	Complex	$\color {Blue}{\begin{cases}B_{m},&n=2m+1\\D_{m},&n=2m\end{cases}}$
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\| $C m$ , $n = 2 m$ ]]
(Indefinite) special unitary	[[Special unitary group\| $SU(p, q)$ ]]	$C$	Hermitian	$S(U(p) \times U(q))$
(Indefinite) quaternionic unitary	$Sp(p, q)$	$H$	Hermitian	$Sp(p) \times Sp(q)$
Quaternionic orthogonal	$SO * (2 n)$	$H$	Skew-Hermitian	$SO(2 n)$

जटिल मौलिक समूह $SL(n, C)$ , $SO(n, C)$ और $Sp(n, C)$ . हैं। एक समूह इस आधार से जटिल होता है कि क्या इसका ले बीजगणित जटिल है। वास्तविक मौलिक समूह सभी मौलिक समूहों को संदर्भित करता है क्योंकि कोई भी बीजगणित एक वास्तविक बीजगणित है। कॉम्पैक्ट मौलिक समूह जटिल मौलिक समूहों के कॉम्पैक्ट वास्तविक रूप हैं। ये बदले में, $SU(n)$ $SO(n)$ और $Sp(n)$ हैं। कॉम्पैक्ट वास्तविक रूप का एक लक्षण लाई बीजगणित $g$ के संदर्भ में है। यदि $g = u + i u$ , $u$ का जटिलीकरण, और यदि ${exp(X): X \in u$ द्वारा उत्पन्न जुड़ा समूह $K$ संहत है, तो $K$ एक सघन वास्तविक रूप है।^[6]

मौलिक समूहों को समान रूप से वास्तविक रूप का उपयोग करके एक अलग विधि से चित्रित किया जा सकता है। मौलिक समूह (यहां निर्धारक 1 स्थिति के साथ किंतु यह आवश्यक नहीं है) निम्नलिखित हैं:

जटिल रेखीय बीजगणितीय समूह

SL(n, C), SO(n, C)

, और

Sp(n, C)

उनके वास्तविक रूपों के साथ।^[7]

उदाहरण के लिए, $SO * (2 n)$ $SO(2 n, C)$ का वास्तविक रूप है, $SU(p, q)$ $SL(n, C)$ का वास्तविक रूप है, और $SL(n, H)$ इसका वास्तविक रूप है $SL(2 n, C)$ निर्धारक 1 स्थिति के बिना विशेष रैखिक समूहों को लक्षण वर्णन में संबंधित सामान्य रैखिक समूहों के साथ बदलें। विचाराधीन बीजगणितीय समूह झूठसमूह हैं, किंतु "वास्तविक रूप" की सही धारणा प्राप्त करने के लिए "बीजगणितीय" योग्यता की आवश्यकता है। समूह हैं किंतु "वास्तविक रूप" की सही धारणा प्राप्त करने के लिए "बीजगणितीय" योग्यता की आवश्यकता है।

बिलिनियर और सेस्क्विलिनियर फॉर्म

मौलिक समूहों को $R n$ , $C n$ , और $H n$ पर परिभाषित रूपों के संदर्भ में परिभाषित किया गया है, जहां $R$ और $C$ वास्तविक और जटिल संख्याओं के क्षेत्र हैं। चतुष्कोण $H$ एक क्षेत्र का गठन नहीं करते हैं क्योंकि गुणन नहीं होता है; वे एक विभाजन वलय या तिरछा क्षेत्र या गैर-विनिमेय क्षेत्र बनाते हैं। चूँकि , आव्यूह क्वाटरनियोनिक समूहों को परिभाषित करना अभी भी संभव है। इस कारण से, सदिश समष्टि $V$ को नीचे $R$ , $C$ और साथ ही $H$ के ऊपर परिभाषित करने की अनुमति है। $H$ के स्थिति में, $V$ एक सही सदिश स्थान है, जो कि $R$ और $C$ के लिए बाईं ओर से आव्यूह गुणन के रूप में समूह क्रिया के प्रतिनिधित्व को संभव बनाता है।^[8]

$F = R, C$ या $H$ पर कुछ परिमित-आयामी सही सदिश स्थान पर एक रूप $φ : V \times V \to F$ द्विरेखीय है यदि

\varphi (x\alpha ,y\beta )=\alpha \varphi (x,y)\beta ,\quad \forall x,y\in V,\forall \alpha ,\beta \in F.

और यदि

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

इसे अर्ध-बिलिनियर रूप कहा जाता है यदि

\varphi (x\alpha ,y\beta )={\bar {\alpha }}\varphi (x,y)\beta ,\quad \forall x,y\in V,\forall \alpha ,\beta \in F.

और यदि

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

इन सम्मेलनों को चुना जाता है क्योंकि वे सभी स्थिति में काम करते हैं। $φ$ का एक ऑटोमोर्फिज्म $V$ पर रैखिक ऑपरेटरों के सेट में एक नक्शा $Α$ है जैसे कि

\varphi (Ax,Ay)=\varphi (x,y),\quad \forall x,y\in V.

(1)

φ के सभी ऑटोमोर्फिज़्म का सेट एक समूह बनाता है, इसे φ का ऑटोमोर्फिज़्म समूह कहा जाता है, जिसे ऑट (φ) कहा जाता है। यह मौलिक समूह की प्रारंभिक परिभाषा की ओर जाता है:

मौलिक समूह एक ऐसा समूह है जो R, C और H पर परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर या सेस्क्विलिनियर फॉर्म को संरक्षित करता है।

इस परिभाषा में कुछ अतिरेक है। $F = R$ के स्थिति में बिलिनियर सेस्क्विलिनियर के समान है। $F = H$ के स्थिति में गैर-शून्य बिलिनियर रूप नहीं हैं।^[9]

सममित, तिरछा-सममित, हर्मिटियन और तिरछा-हर्मिटियन रूप

एक फॉर्म सममित है यदि

\varphi (x,y)=\varphi (y,x).

यह तिरछा-सममित है यदि

\varphi (x,y)=-\varphi (y,x).

यह हर्मिटियन है यदि

\varphi (x,y)={\overline {\varphi (y,x)}}

अंत में, यह तिरछा-हर्मिटियन है यदि

\varphi (x,y)=-{\overline {\varphi (y,x)}}.

एक द्विरेखीय रूप $φ$ विशिष्ट रूप से सममित रूप और तिरछा-सममित रूप का योग है। एक परिवर्तन संरक्षण $φ$ दोनों भागों को अलग-अलग सुरक्षित रखता है। इस प्रकार सममित और तिरछा-सममित रूपों को संरक्षित करने वाले समूहों का अलग-अलग अध्ययन किया जा सकता है। वही प्रयुक्त होता है, यथोचित परिवर्तनों सहित, हर्मिटियन और तिरछा-हर्मिटियन रूपों पर। इस कारण से वर्गीकरण के प्रयोजनों के लिए, केवल विशुद्ध रूप से सममित तिरछा-सममित, हर्मिटियन, या तिरछा-हर्मिटियन रूपों पर विचार किया जाता है। रूपों के सामान्य रूप आधारों के विशिष्ट उपयुक्त विकल्पों के अनुरूप होते हैं। ये निर्देशांक में निम्नलिखित सामान्य रूप देने वाले आधार हैं:

\begin{aligned} Bilinear symmetric form in (pseudo-)orthonormal basis: φ (x, y) = & \pm ξ_{1} η_{1} \pm ξ_{2} η_{2} \pm \dots \pm ξ_{n} η_{n}, & (R) \\ Bilinear symmetric form in orthonormal basis: φ (x, y) = & ξ_{1} η_{1} + ξ_{2} η_{2} + \dots + ξ_{n} η_{n}, & (C) \\ Bilinear skew-symmetric in symplectic basis: φ (x, y) = & ξ_{1} η_{m + 1} + ξ_{2} η_{m + 2} + \dots + ξ_{m} η_{2 m = n} \\ - ξ_{m + 1} η_{1} - ξ_{m + 2} η_{2} - \dots - ξ_{2 m = n} η_{m}, & (R, C) \\ Sesquilinear Hermitian: φ (x, y) = & \pm \bar{ξ_{1}} η_{1} \pm \bar{ξ_{2}} η_{2} \pm \dots \pm \bar{ξ_{n}} η_{n}, & (C, H) \\ Sesquilinear skew-Hermitian: φ (x, y) = & \bar{ξ_{1}} j η_{1} + \end{aligned}

तिरछा-हर्मिटियन रूप में  $j$  ,  $H$  के लिए आधार  $(1, i, j, k)$  में तीसरा आधार तत्व है। इन आधारों के अस्तित्व का प्रमाण और सिल्वेस्टर का जड़त्व का नियम प्लस- और की संख्या की स्वतंत्रता माइनस-साइन,  $p$  और  $q$ , सममित और हर्मिटियन रूपों में साथ ही साथ प्रत्येक अभिव्यक्ति में क्षेत्रों की उपस्थिति या अनुपस्थिति रॉसमैन (2002) या गुडमैन एंड वैलाच (2009) में पाई जा सकती है। जोड़ी  $(p, q)$ , और कभी-कभी  $p - q$ , को प्रपत्र का हस्ताक्षर कहा जाता है।

क्षेत्र

R, C, H

की घटना की व्याख्या:

H

के ऊपर कोई गैर-तुच्छ द्विरेखीय रूप नहीं हैं। सममित द्विरेखीय स्थिति में केवल

R

के ऊपर के रूपों पर हस्ताक्षर होते हैं। दूसरे शब्दों में, "हस्ताक्षर" (

(p, q)

) के साथ एक जटिल द्विरेखीय रूप आधार के परिवर्तन से, एक ऐसे रूप में कम किया जा सकता है जहां उपरोक्त अभिव्यक्ति में सभी चिह्न "+" हैं, जबकि वास्तविक स्थिति में यह असंभव है , जिसमें

p - q

इस रूप में रखे जाने पर आधार से स्वतंत्र होता है। चूँकि हर्मिटियन रूपों में जटिल और चतुष्कोणीय स्थिति दोनों में आधार-स्वतंत्र हस्ताक्षर हैं। (वास्तविक स्थिति सममित स्थिति में कम हो जाता है।) एक जटिल सदिश स्थान पर एक तिरछा-हर्मिटियन रूप

i

द्वारा गुणा करके हर्मिटियन प्रदान किया जाता है इसलिए इस स्थिति में केवल

H

रौचक है।

ऑटोमोर्फिज्म समूह

प्रथम खंड सामान्य रूपरेखा प्रस्तुत करता है। अन्य खंड गुणात्मक रूप से अलग-अलग स्थिति को समाप्त करते हैं जो

R

,

C

और

H

. पर परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर और सेस्क्विलिनियर रूपों के ऑटोमोर्फिज़्म समूहों के रूप में उत्पन्न होते हैं।

ऑट (φ) - ऑटोमोर्फिज्म समूह

मान लें कि

R, C

या

H

पर परिमित-आयामी सदिश स्थान

V

पर

φ

एक गैर-पतित रूप है। स्थिति (1) के आधार पर ऑटोमोर्फिज़्म समूह को परिभाषित किया गया है, जैसा कि

\mathrm {Aut} (\varphi )=\{A\in \mathrm {GL} (V):\varphi (Ax,Ay)=\varphi (x,y),\quad \forall x,y\in V\}.

प्रत्येक

A \in M n (V)

में

φ

द्वारा परिभाषित एक संलग्न

A φ

होता है

\varphi (Ax,y)=\varphi (x,A^{\varphi }y),\qquad x,y\in V.

(2)

स्थिति में इस परिभाषा का उपयोग करना (1), ऑटोमोर्फिज्म समूह द्वारा दिया गया देखा जाता है

\operatorname {Aut} (\varphi )=\{A\in \operatorname {GL} (V):A^{\varphi }A=1\}.

^[10]

(3)

$V$ के लिए एक आधार तय करें। इस आधार के संदर्भ में

\varphi (x,y)=\sum \xi _{i}\varphi _{ij}\eta _{j}

जहां $ξ i, η j$ $x, y$ के घटक हैं। यह बिलिनियर रूपों के लिए उपयुक्त है। सेस्क्विलिनियर रूपों में समान भाव होते हैं और बाद में अलग से व्यवहार किया जाता है। आव्यूह नोटेशन में कोई पाता है

\varphi (x,y)=x^{\mathrm {T} }\Phi y

और

A^{\varphi }=\Phi ^{-1}A^{\mathrm {T} }\Phi

^[11]

(4)

(2) से जहां $Φ$ आव्यूह $(φ ij)$ है। गैर-अपकर्ष स्थिति का ठीक-ठीक अर्थ है कि $Φ$ व्युत्क्रमणीय है इसलिए संलग्न सदैव उपस्थित रहता है। $Aut(φ)$ इसके साथ व्यक्त हो जाता है

\operatorname {Aut} (\varphi )=\left\{A\in \operatorname {GL} (V):\Phi ^{-1}A^{\mathrm {T} }\Phi A=1\right\}.

ऑटोमोर्फिज्म समूहों के झूठ बीजगणित ऑट (φ) को तुरंत लिखा जा सकता है। संक्षेप में, $X \in aut (φ)$ यदि और केवल यदि

(e^{tX})^{\varphi }e^{tX}=1

सभी के लिए $t$ , में स्थिति के अनुरूप (3) झूठ बीजगणित के घातीय मानचित्र (झूठे सिद्धांत) के तहत, जिससे

{\mathfrak {aut}}(\varphi )=\left\{X\in M_{n}(V):X^{\varphi }=-X\right\},

या एक आधार में

{\mathfrak {aut}}(\varphi )=\left\{X\in M_{n}(V):\Phi ^{-1}X^{\mathrm {T} }\Phi =-X\right\}

(5)

जैसा कि एक्सपोनेंशियल मैपिंग की शक्ति श्रृंखला विस्तार और सम्मिलित संचालन की रैखिकता का उपयोग करके देखा जाता है। विलोमतः, मान लीजिए कि $X \in aut (φ)$ फिर, उपरोक्त परिणाम का उपयोग करते हुए, $φ (Xx, y) = φ(x, X φ y) = -φ(x, Xy)$ इस प्रकार झूठ बीजगणित को बिना किसी आधार, या आसन्न के संदर्भ में वर्णित किया जा सकता है

{\mathfrak {aut}}(\varphi )=\{X\in M_{n}(V):\varphi (Xx,y)=-\varphi (x,Xy),\quad \forall x,y\in V\}.

नीचे प्रत्येक मौलिक समूह के लिए $φ$ का सामान्य रूप दिया जाएगा। उस सामान्य रूप से आव्यूह Φ को सीधे पढ़ा जा सकता है। परिणाम स्वरुप सूत्र (4) और (5) का उपयोग करके आसन्न और झूठ बीजगणित के लिए अभिव्यक्ति प्राप्त की जा सकती है। यह अधिकांश गैर-तुच्छ स्थिति में नीचे प्रदर्शित किया गया है।

बिलिनियर केस

जब रूप सममित होता है, तो $Aut(φ)$ को $O(φ)$ कहा जाता है। जब यह तिरछा-सममित होता है तो $Aut(φ)$ को $Sp(φ)$ कहा जाता है। यह वास्तविक और जटिल स्थितियों पर प्रयुक्त होता है। क्वाटरनियोनिक केस खाली है क्योंकि क्वाटरनियोनिक वेक्टर रिक्त स्थान पर कोई शून्येतर बिलिनियर फॉर्म उपस्थित नहीं है।^[12]

असली मामला

वास्तविक स्थिति दो स्थिति में विभाजित होता है, सममित और विषम रूप जिन्हें अलग-अलग व्यवहार किया जाना चाहिए।

O(p, q) और O(n) - ऑर्थोगोनल समूह

यदि $φ$ सममित है और सदिश स्थान वास्तविक है, एक आधार चुना जा सकता है जिससे

\varphi (x,y)=\pm \xi _{1}\eta _{1}\pm \xi _{2}\eta _{2}\cdots \pm \xi _{n}\eta _{n}.

प्लस और माइनस-साइन की संख्या विशेष आधार से स्वतंत्र है।^[13] स्थिति में $V = R n$ , $O(φ) = O(p, q)$ लिखता है जहां $p$ प्लस संकेतों की संख्या है और $q$ ऋण-चिह्नों की संख्या है, $p + q = n$ यदि $q = 0$ संकेतन $O(n)$ है। इस स्थिति में आव्यूह $Φ$ है

\Phi =\left({\begin{matrix}I_{p}&0\\0&-I_{q}\end{matrix}}\right)\equiv I_{p,q}

यदि आवश्यक हो तो आधार को पुनर्व्यवस्थित करने के बाद आसन्न ऑपरेशन (4) तो बन जाता है

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),

जो $p$ या $q$ के 0 होने पर सामान्य स्थानान्तरण को कम कर देता है। झूठा बीजगणित समीकरण (5) और एक उपयुक्त अन्सत्ज़ का उपयोग करके पाया जाता है (यह नीचे $Sp(m, R)$ के स्थिति के लिए विस्तृत है)

{\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\},

और समूह के अनुसार (3) द्वारा दिया गया है

\mathrm {O} (p,q)=\{g\in \mathrm {GL} (n,\mathbb {R} )|I_{p,q}^{-1}g^{\mathrm {T} }I_{p,q}g=I\}.

समूह $O(p, q)$ और $O(q, p)$ मानचित्र के माध्यम से आइसोमॉर्फिक हैं

\mathrm {O} (p,q)\rightarrow \mathrm {O} (q,p),\quad g\rightarrow \sigma g\sigma ^{-1},\quad \sigma =\left[{\begin{smallmatrix}0&0&\cdots &1\\\vdots &\vdots &\ddots &\vdots \\0&1&\cdots &0\\1&0&\cdots &0\end{smallmatrix}}\right].

उदाहरण के लिए, लोरेंत्ज़ समूह के झूठ बीजगणित को इस रूप में लिखा जा सकता है

{\mathfrak {o}}(3,1)=\mathrm {span} \left\{\left({\begin{smallmatrix}0&1&0&0\\-1&0&0&0\\0&0&0&0\\0&0&0&0\end{smallmatrix}}\right),\left({\begin{smallmatrix}0&0&-1&0\\0&0&0&0\\1&0&0&0\\0&0&0&0\end{smallmatrix}}\right),\left({\begin{smallmatrix}0&0&0&0\\0&0&1&0\\0&-1&0&0\\0&0&0&0\end{smallmatrix}}\right),\left({\begin{smallmatrix}0&0&0&1\\0&0&0&0\\0&0&0&0\\1&0&0&0\end{smallmatrix}}\right),\left({\begin{smallmatrix}0&0&0&0\\0&0&0&1\\0&0&0&0\\0&1&0&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\}.

स्वाभाविक रूप से, पुनर्व्यवस्थित करना संभव है जिससे $q$ -ब्लॉक ऊपरी बाएँ (या कोई अन्य ब्लॉक) है। यहां समय घटक एक भौतिक व्याख्या में चौथे समन्वय के रूप में समाप्त होता है, न कि पहले जैसा कि अधिक सामान्य हो सकता है।

Sp(m, R) - वास्तविक सहानुभूतिपूर्ण समूह

यदि $φ$ तिरछा-सममित है और सदिश स्थान वास्तविक है, एक आधार दे रहा है

\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},

जहाँ $n = 2 m$ . के लिए $Aut(φ)$ कोई लिखता है $Sp(φ) = Sp(V)$ यदि $V = R n = R 2 m$ कोई लिखता है $Sp(m, R)$ या $Sp(2 m, R)$ . सामान्य रूप से कोई पढ़ता है

\Phi =\left({\begin{matrix}0_{m}&I_{m}\\-I_{m}&0_{m}\end{matrix}}\right)=J_{m}.

दृष्टिकोण बनाकर

V=\left({\begin{matrix}X&Y\\Z&W\end{matrix}}\right),

जहाँ $X, Y, Z, W$ हैं $m$ -आयामी आव्यूह और विचार (5),

\left({\begin{matrix}0_{m}&-I_{m}\\I_{m}&0_{m}\end{matrix}}\right)\left({\begin{matrix}X&Y\\Z&W\end{matrix}}\right)^{\mathrm {T} }\left({\begin{matrix}0_{m}&I_{m}\\-I_{m}&0_{m}\end{matrix}}\right)=-\left({\begin{matrix}X&Y\\Z&W\end{matrix}}\right)

$Sp(m, R)$ का झूठा बीजगणित मिलता है,

{\mathfrak {sp}}(m,\mathbb {R} )=\{X\in M_{n}(\mathbb {R} ):J_{m}X+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\},

और समूह द्वारा दिया गया है

\mathrm {Sp} (m,\mathbb {R} )=\{g\in M_{n}(\mathbb {R} )|g^{\mathrm {T} }J_{m}g=J_{m}\}.

जटिल मामला

वास्तविक स्थिति की तरह, दो स्थिति हैं सममित और एंटीसिमेट्रिक स्थिति है कि प्रत्येक मौलिक समूहों के एक वर्ग का उत्पादन करता है।

हे (एन, सी) - जटिल ओर्थोगोनल समूह

यदि स्थिति $φ$ सममित है और सदिश स्थान जटिल है एक आधार है

\varphi (x,y)=\xi _{1}\eta _{1}+\xi _{1}\eta _{1}\cdots +\xi _{n}\eta _{n}

केवल प्लस-साइन के साथ ही इस्तेमाल किया जा सकता है। ऑटोमोर्फिज्म समूह के स्थिति में है $V = C n$ बुलाया $O(n, C)$ . झूठ बीजगणित बस उसी का एक विशेष स्थिति है $o (p, q)$ ,

{\mathfrak {o}}(n,\mathbb {C} )={\mathfrak {so}}(n,\mathbb {C} )=\{X|X^{\mathrm {T} }=-X\},

और समूह द्वारा दिया गया है

\mathrm {O} (n,\mathbb {C} )=\{g|g^{\mathrm {T} }g=I_{n}\}.

रूट सिस्टम के संदर्भ में या डायनकिन डायग्राम द्वारा रूट सिस्टम का वर्गीकरण, $so (n)$ दो वर्गों में विभाजित हैं, जिनके साथ $n$ रूट सिस्टम के साथ विषम $B n$ और $n$ रूट सिस्टम के साथ भी $D n$ .

Sp(एम, सी) - जटिल सहानुभूतिपूर्ण समूह

के लिए $φ$ तिरछा-सममित और सदिश अंतरिक्ष परिसर, एक ही सूत्र,

\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},

वास्तविक स्थिति की तरह प्रयुक्त होता है। के लिए $Aut(φ)$ कोई लिखता है $Sp(φ) = Sp(V)$ . यदि $V=\mathbb {C} ^{n}=\mathbb {C} ^{2m}$ एक लिखता है $\mathbb {C}$ या $\mathbb {C}$ . झूठ बीजगणित के समानांतर है $\mathbb {R}$ ,

{\mathfrak {sp}}(m,\mathbb {C} )=\{X\in M_{n}(\mathbb {C} ):J_{m}X+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\},

और समूह द्वारा दिया गया है

\mathrm {Sp} (m,\mathbb {C} )=\{g\in M_{n}(\mathbb {C} )|g^{\mathrm {T} }J_{m}g=J_{m}\}.

सेस्क्विलिनियर केस

सेस्क्विलिनियर स्थिति में, एक आधार के रूप में फॉर्म के लिए थोड़ा अलग दृष्टिकोण बनाता है,

\varphi (x,y)=\sum {\bar {\xi }}_{i}\varphi _{ij}\eta _{j}.

संशोधित होने वाले अन्य भाव हैं

\varphi (x,y)=x^{*}\Phi y,\qquad A^{\varphi }=\Phi ^{-1}A^{*}\Phi ,

^[14]

\operatorname {Aut} (\varphi )=\{A\in \operatorname {GL} (V):\Phi ^{-1}A^{*}\Phi A=1\},

{\mathfrak {aut}}(\varphi )=\{X\in M_{n}(V):\Phi ^{-1}X^{*}\Phi =-X\}.

(6)

वास्तविक मामला, निश्चित रूप से, कुछ भी नया नहीं देता है। जटिल और चतुर्धातुक स्थिति पर नीचे विचार किया जाएगा।

जटिल मामला

गुणात्मक दृष्टिकोण से, तिरछा-हर्मिटियन रूपों (समरूपता तक) पर विचार कोई नया समूह प्रदान नहीं करता है; द्वारा गुणा करना $i$ तिरछा-हर्मिटियन रूप को हर्मिटियन, और इसके विपरीत प्रस्तुत करता है। इस प्रकार केवल हर्मिटियन स्थिति पर विचार करने की आवश्यकता है।

यू (पी, क्यू) और यू (एन) - एकात्मक समूह

एक गैर-पतित हेर्मिटियन रूप का सामान्य रूप है

\varphi (x,y)=\pm {\bar {\xi _{1}}}\eta _{1}\pm {\bar {\xi _{2}}}\eta _{2}\cdots \pm {\bar {\xi _{n}}}\eta _{n}.

बिलिनियर स्थिति में, हस्ताक्षर (पी, क्यू) आधार से स्वतंत्र है। ऑटोमोर्फिज्म समूह को निरूपित किया जाता है $U(V)$ , या, के स्थिति में $V = C n$ , $U(p, q)$ . यदि $q = 0$ अंकन है $U(n)$ . इस स्थिति में, $Φ$ रूप लेता है

\Phi =\left({\begin{matrix}1_{p}&0\\0&-1_{q}\end{matrix}}\right)=I_{p,q},

और झूठ बीजगणित द्वारा दिया गया है

{\mathfrak {u}}(p,q)=\left\{\left.\left({\begin{matrix}X_{p\times p}&Z_{p\times q}\\{\overline {Z_{p\times q}}}^{\mathrm {T} }&Y_{q\times q}\end{matrix}}\right)\right|{\overline {X}}^{\mathrm {T} }=-X,\quad {\overline {Y}}^{\mathrm {T} }=-Y\right\}.

समूह द्वारा दिया गया है

\mathrm {U} (p,q)=\{g|I_{p,q}^{-1}g^{*}I_{p,q}g=I\}.

जहाँ g एक सामान्य n x n जटिल आव्यूह है और

g^{*}

जी के संयुग्मी स्थानांतरण के रूप में परिभाषित किया गया है, जिसे भौतिक विज्ञानी कहते हैं

g^{\dagger }

.

तुलना के रूप में, एक एकात्मक आव्यूह U(n) को इस रूप में परिभाषित किया गया है

$\mathrm {U} (n)=\{g|g^{*}g=I\}.$ हमने ध्यान दिया कि $\mathrm {U} (n)$ वैसा ही है जैसा कि $\mathrm {U} (n,0)$

चतुर्धातुक मामला

अंतरिक्ष $H n$ को एक सही सदिश स्थान के रूप में माना जाता है $H$ . इस तरह, $A (vh) = (Av) h$ चतुष्कोण के लिए $h$ , एक चतुष्कोणीय स्तंभ वेक्टर $v$ और चतुष्कोणीय आव्यूह $A$ . यदि $H n$ बायाँ सदिश स्थान था $H$ , तो रैखिकता बनाए रखने के लिए दाईं ओर से पंक्ति सदिशों पर आव्यूह गुणन की आवश्यकता होगी। जब एक आधार दिया जाता है, जो कॉलम वैक्टर पर बाईं ओर से आव्यूह गुणन होता है, तो यह एक सदिश स्थान पर एक समूह के सामान्य रैखिक संचालन के अनुरूप नहीं होता है। इस प्रकार $V$ इसके बाद एक सही सदिश समष्टि है $H$ . फिर भी, गैर-विनिमेय प्रकृति के कारण सावधानी बरतनी चाहिए $H$ . (ज्यादातर स्पष्ट) विवरण छोड़ दिए जाते हैं क्योंकि जटिल अभ्यावेदन का उपयोग किया जाएगा।

चतुष्कोणीय समूहों के साथ व्यवहार करते समय जटिल का उपयोग करके चतुष्कोणों का प्रतिनिधित्व करना सुविधाजनक होता है 2×2-matrices,

q=a\mathrm {1} +b\mathrm {i} +c\mathrm {j} +d\mathrm {k} =\alpha +j\beta \leftrightarrow {\begin{bmatrix}\alpha &-{\overline {\beta }}\\\beta &{\overline {\alpha }}\end{bmatrix}}=Q,\quad q\in \mathbb {H} ,\quad a,b,c,d\in \mathbb {R} ,\quad \alpha ,\beta \in \mathbb {C} .

^[15]

(7)

इस प्रतिनिधित्व के साथ, चतुष्कोणीय गुणन आव्यूह गुणन बन जाता है और चतुष्कोणीय संयुग्मन हर्मिटियन आसन्न बन जाता है। इसके अलावा, एक चतुर्धातुक जटिल एन्कोडिंग के अनुसार $q = x + j y$ कॉलम वेक्टर के रूप में दिया गया है $(x, y) T$ , फिर बायीं ओर से क्वाटरनियन के आव्यूह प्रतिनिधित्व द्वारा गुणा करने से सही क्वाटरनियन का प्रतिनिधित्व करने वाला एक नया कॉलम वेक्टर उत्पन्न होता है। यह प्रतिनिधित्व चतुष्कोणीय लेख में पाए जाने वाले अधिक सामान्य प्रतिनिधित्व से थोड़ा अलग है। अधिक सामान्य सम्मेलन एक ही चीज़ को प्राप्त करने के लिए पंक्ति आव्यूह पर दाईं ओर से गुणन को बाध्य करेगा।

संयोग से, उपरोक्त प्रतिनिधित्व यह स्पष्ट करता है कि इकाई चतुष्कोणों का समूह ( $α α + β β = 1 = det Q$ ) आइसोमॉर्फिक है $SU(2)$ .

क्वाटरनियोनिक $n \times n$ -मैट्रिसेस, स्पष्ट विस्तार द्वारा, द्वारा प्रदर्शित किए जा सकते हैं $2 n \times2 n$ जटिल संख्याओं के ब्लॉक-मैट्रिसेस।^[16] यदि कोई क्वाटरनियोनिक का प्रतिनिधित्व करने के लिए सहमत है n×1 कॉलम वेक्टर ए द्वारा 2n×1 कॉलम वेक्टर जटिल संख्या के साथ ऊपर के एन्कोडिंग के अनुसार, ऊपरी के साथ $n$ संख्याएँ हैं $α i$ और निचला $n$ द $β i$ , फिर एक चतुष्कोणीय $n \times n$ -आव्यूह एक जटिल बन जाता है $2 n \times2 n$ -आव्यूह पूर्ण रूप से ऊपर दिए गए फॉर्म का, किंतु अब α और β के साथ $n \times n$ -मैट्रिसेस। अधिक औपचारिक रूप से

\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}.

(8)

एक आव्यूह $T \in GL(2 n, C)$ में प्रपत्र प्रदर्शित किया गया है (8) यदि और केवल यदि $J n T = TJ n$ . इन पहचानों से,

\mathbb {H} ^{n}\approx \mathbb {C} ^{2n},M_{n}(\mathbb {H} )\approx \left\{\left.T\in M_{2n}(\mathbb {C} )\right|J_{n}T={\overline {T}}J_{n},\quad J_{n}=\left({\begin{matrix}0&I_{n}\\-I_{n}&0\end{matrix}}\right)\right\}.

अंतरिक्ष $M n (H) \subset M 2 n (C)$ एक वास्तविक बीजगणित है, किंतु यह इसकी जटिल उपसमष्टि नहीं है $M 2 n (C)$ . गुणा (बाएं से) द्वारा $i$ में $M n (H)$ एंट्री-वार क्वाटरनियोनिक गुणन का उपयोग करना और फिर छवि में मैपिंग करना $M 2 n (C)$ द्वारा प्रवेश-वार गुणा करने से भिन्न परिणाम प्राप्त होता है $i$ सीधे अंदर $M 2 n (C)$ . चतुर्धातुक गुणन नियम देते हैं $i (X + j Y) = (i X) + j (- i Y)$ जहां नया $X$ और $Y$ कोष्ठक के अंदर हैं।

चतुष्कोणीय सदिशों पर चतुष्कोणीय आव्यूहों की क्रिया को अब जटिल मात्राओं द्वारा दर्शाया जाता है, किंतु अन्यथा यह सामान्य आव्यूहों और सदिशों के समान ही है। चतुर्धातुक समूह इस प्रकार अंतःस्थापित होते हैं $M 2 n (C)$ जहाँ $n$ क्वाटरनियोनिक मैट्रिसेस का आयाम है।

क्वाटरनियोनिक आव्यूह के निर्धारक को इस प्रतिनिधित्व में इसके प्रतिनिधि आव्यूह के सामान्य जटिल निर्धारक के रूप में परिभाषित किया गया है। क्वाटरनियोनिक गुणन की गैर-कम्यूटेटिव प्रकृति, मेट्रिसेस के क्वाटरनियोनिक प्रतिनिधित्व में अस्पष्ट होगी। रास्ता $M n (H)$ में सन्निहित है $M 2 n (C)$ अद्वितीय नहीं है, किंतु ऐसे सभी एम्बेडिंग संबंधित हैं $g \mapsto AgA -1, g \in GL(2 n, C)$ के लिए $A \in O(2 n, C)$ , निर्धारक को अप्रभावित छोड़कर।^[17] का नाम $SL(n, H)$ इस जटिल आड़ में है $SU * (2 n)$ .

के स्थिति में विरोध के रूप में $C$ , हर्मिटियन और तिरछा-हर्मिटियन केस दोनों ही जब कुछ नया लेकर आते हैं $H$ माना जाता है, इसलिए इन स्थिति पर अलग से विचार किया जाता है।

जीएल (एन, एच) और एसएल (एन, एच)

उपरोक्त पहचान के तहत,

\mathrm {GL} (n,\mathbb {H} )=\{g\in \mathrm {GL} (2n,\mathbb {C} )|Jg={\overline {g}}J,\mathrm {det} \quad g\neq 0\}\equiv \mathrm {U} ^{*}(2n).

यह झूठ बीजगणित है $gl (n, H)$ मैपिंग की छवि में सभी मैट्रिसेस का सेट है {{math|M_n(H) ↔ M_2n(C)}ऊपर का},

{\mathfrak {gl}}(n,\mathbb {H} )=\left\{\left.\left({\begin{matrix}X&-{\overline {Y}}\\Y&{\overline {X}}\end{matrix}}\right)\right|X,Y\in {\mathfrak {gl}}(n,\mathbb {C} )\right\}\equiv {\mathfrak {u}}^{*}(2n).

क्वाटरनियोनिक विशेष रैखिक समूह द्वारा दिया गया है

\mathrm {SL} (n,\mathbb {H} )=\{g\in \mathrm {GL} (n,\mathbb {H} )|\mathrm {det} \ g=1\}\equiv \mathrm {SU} ^{*}(2n),

जहां निर्धारक को मेट्रिसेस में लिया जाता है $C 2 n$ . वैकल्पिक रूप से, इसे डाययूडोने निर्धारक के कर्नेल के रूप में परिभाषित किया जा सकता है $\mathrm {GL} (n,\mathbb {H} )\rightarrow \mathbb {H} ^{*}/[\mathbb {H} ^{*},\mathbb {H} ^{*}]\simeq \mathbb {R} _{>0}^{*}$ . झूठ बीजगणित है

{\mathfrak {sl}}(n,\mathbb {H} )=\left\{\left.\left({\begin{matrix}X&-{\overline {Y}}\\Y&{\overline {X}}\end{matrix}}\right)\right|Re(\operatorname {Tr} X)=0\right\}\equiv {\mathfrak {su}}^{*}(2n).

Sp(p, q) - चतुष्कोणीय एकात्मक समूह

जैसा कि ऊपर जटिल स्थिति में, सामान्य रूप है

\varphi (x,y)=\pm {\bar {\xi _{1}}}\eta _{1}\pm {\bar {\xi _{2}}}\eta _{2}\cdots \pm {\bar {\xi _{n}}}\eta _{n}

और प्लस-साइन की संख्या आधार से स्वतंत्र है। कब $V = H n$ इस फॉर्म के साथ, $Sp(φ) = Sp(p, q)$ . संकेतन का कारण यह है कि उपसमूह के रूप में उपरोक्त नुस्खे का उपयोग करके समूह का प्रतिनिधित्व किया जा सकता है $Sp(n, C)$ हस्ताक्षर के एक जटिल-हर्मिटियन रूप को संरक्षित करना $(2 p, 2 q)$ ^[18] यदि $p$ या $q = 0$ समूह को दर्शाया गया है $U(n, H)$ . इसे कभी-कभी अतिसक्रिय समूह कहा जाता है।

चतुर्धातुक संकेतन में,

\Phi ={\begin{pmatrix}I_{p}&0\\0&-I_{q}\end{pmatrix}}=I_{p,q}

जिसका अर्थ है कि फॉर्म के क्वाटरनियोनिक मैट्रिसेस

{\mathcal {Q}}={\begin{pmatrix}{\mathcal {X}}_{p\times p}&{\mathcal {Z}}_{p\times q}\\{\mathcal {Z}}^{*}&{\mathcal {Y}}_{q\times q}\end{pmatrix}},\quad {\mathcal {X}}^{*}=-{\mathcal {X}},\quad {\mathcal {Y}}^{*}=-{\mathcal {Y}}

(9)

संतुष्ट करेगा

\Phi ^{-1}{\mathcal {Q}}^{*}\Phi =-{\mathcal {Q}},

के बारे में अनुभाग देखें $u (p, q)$ . चतुर्धातुक आव्यूह गुणन से निपटने के दौरान सावधानी बरतने की आवश्यकता है, किंतु केवल यहाँ $I$ और $- I$ सम्मिलित हैं और ये हर चतुष्कोणीय आव्यूह के साथ आवागमन करते हैं। अब नुस्खा प्रयुक्त करें (8) प्रत्येक ब्लॉक के लिए,

{\mathcal {X}}={\begin{pmatrix}X_{1(p\times p)}&-{\overline {X}}_{2}\\X_{2}&{\overline {X}}_{1}\end{pmatrix}},\quad {\mathcal {Y}}={\begin{pmatrix}Y_{1(q\times q)}&-{\overline {Y}}_{2}\\Y_{2}&{\overline {Y}}_{1}\end{pmatrix}},\quad {\mathcal {Z}}={\begin{pmatrix}Z_{1(p\times q)}&-{\overline {Z}}_{2}\\Z_{2}&{\overline {Z}}_{1}\end{pmatrix}},

और संबंधों में (9) संतुष्ट हो जाएगा यदि

X_{1}^{*}=-X_{1},\quad Y_{1}^{*}=-Y_{1}.

झूठ बीजगणित बन जाता है

{\mathfrak {sp}}(p,q)=\left\{\left.{\begin{pmatrix}{\begin{bmatrix}X_{1(p\times p)}&-{\overline {X}}_{2}\\X_{2}&{\overline {X}}_{1}\end{bmatrix}}&{\begin{bmatrix}Z_{1(p\times q)}&-{\overline {Z}}_{2}\\Z_{2}&{\overline {Z}}_{1}\end{bmatrix}}\\{\begin{bmatrix}Z_{1(p\times q)}&-{\overline {Z}}_{2}\\Z_{2}&{\overline {Z}}_{1}\end{bmatrix}}^{*}&{\begin{bmatrix}Y_{1(q\times q)}&-{\overline {Y}}_{2}\\Y_{2}&{\overline {Y}}_{1}\end{bmatrix}}\end{pmatrix}}\right|X_{1}^{*}=-X_{1},\quad Y_{1}^{*}=-Y_{1}\right\}.

समूह द्वारा दिया गया है

\mathrm {Sp} (p,q)=\left\{g\in \mathrm {GL} (n,\mathbb {H} )\mid I_{p,q}^{-1}g^{*}I_{p,q}g=I_{p+q}\right\}=\left\{g\in \mathrm {GL} (2n,\mathbb {C} )\mid K_{p,q}^{-1}g^{*}K_{p,q}g=I_{2(p+q)},\quad K=\operatorname {diag} \left(I_{p,q},I_{p,q}\right)\right\}.

के सामान्य रूप में लौट रहा है $φ (w, z)$ के लिए $Sp(p, q)$ , प्रतिस्थापन करें $w \to u + jv$ और $z \to x + jy$ साथ $u, v, x, y \in C n$ . तब

\varphi (w,z)={\begin{bmatrix}u^{*}&v^{*}\end{bmatrix}}K_{p,q}{\begin{bmatrix}x\\y\end{bmatrix}}+j{\begin{bmatrix}u&-v\end{bmatrix}}K_{p,q}{\begin{bmatrix}y\\x\end{bmatrix}}=\varphi _{1}(w,z)+\mathbf {j} \varphi _{2}(w,z),\quad K_{p,q}=\mathrm {diag} \left(I_{p,q},I_{p,q}\right)

एक के रूप में देखा गया $H$ -मूल्यवान रूप पर $C 2 n$ .^[19] इस प्रकार के तत्व $Sp(p, q)$ , के रैखिक परिवर्तनों के रूप में देखा गया $C 2 n$ , हर्मिटियन प्रकार के हस्ताक्षर दोनों को सुरक्षित रखें $(2 p, 2 q)$ और एक गैर-पतित तिरछा-सममित रूप। दोनों रूप विशुद्ध रूप से जटिल मान लेते हैं और के पूर्ववर्ती के कारण $j$ दूसरे रूप में, वे अलग से संरक्षित हैं। इस का मतलब है कि

\mathrm {Sp} (p,q)=\mathrm {U} \left(\mathbb {C} ^{2n},\varphi _{1}\right)\cap \mathrm {Sp} \left(\mathbb {C} ^{2n},\varphi _{2}\right)

और यह समूह के नाम और अंकन दोनों की व्याख्या करता है।

द^∗(2n) = O(n, H)- क्वाटरनियोनिक ऑर्थोगोनल ग्रुप

तिरछा-हर्मिटियन रूप के लिए सामान्य रूप किसके द्वारा दिया जाता है

\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},

जहाँ $j$ ऑर्डर की गई सूची में तीसरा आधार चतुर्धातुक है $(1, i, j, k)$ . इस स्थिति में, $Aut(φ) = O * (2 n)$ उपसमूह के रूप में ऊपर के जटिल आव्यूह एन्कोडिंग का उपयोग करके महसूस किया जा सकता है $O(2 n, C)$ जो हस्ताक्षर के एक गैर-पतित जटिल तिरछा-हर्मिटियन रूप को संरक्षित करता है $(n, n)$ .^[20] सामान्य रूप से कोई देखता है कि चतुष्कोणीय संकेतन में

\Phi =\left({\begin{smallmatrix}\mathbf {j} &0&\cdots &0\\0&\mathbf {j} &\cdots &\vdots \\\vdots &&\ddots &&\\0&\cdots &0&\mathbf {j} \end{smallmatrix}}\right)\equiv \mathrm {j} _{n}

और से (6) उसका अनुसरण करता है

-\Phi V^{*}\Phi =-V\Leftrightarrow V^{*}=\mathrm {j} _{n}V\mathrm {j} _{n}.

(9)

के लिए $V \in o (2 n)$ . अब डालो

V=X+\mathbf {j} Y\leftrightarrow \left({\begin{matrix}X&-{\overline {Y}}\\Y&{\overline {X}}\end{matrix}}\right)

नुस्खे के अनुसार (8). एक ही नुस्खे के लिए पैदावार $Φ$ ,

\Phi \leftrightarrow \left({\begin{matrix}0&-I_{n}\\I_{n}&0\end{matrix}}\right)\equiv J_{n}.

अब अंतिम नियम में (9) जटिल संकेतन में पढ़ता है

\left({\begin{matrix}X&-{\overline {Y}}\\Y&{\overline {X}}\end{matrix}}\right)^{*}=\left({\begin{matrix}0&-I_{n}\\I_{n}&0\end{matrix}}\right)\left({\begin{matrix}X&-{\overline {Y}}\\Y&{\overline {X}}\end{matrix}}\right)\left({\begin{matrix}0&-I_{n}\\I_{n}&0\end{matrix}}\right)\Leftrightarrow X^{\mathrm {T} }=-X,\quad {\overline {Y}}^{\mathrm {T} }=Y.

झूठ बीजगणित बन जाता है

{\mathfrak {o}}^{*}(2n)=\left\{\left.\left({\begin{matrix}X&-{\overline {Y}}\\Y&{\overline {X}}\end{matrix}}\right)\right|X^{\mathrm {T} }=-X,\quad {\overline {Y}}^{\mathrm {T} }=Y\right\},

और समूह द्वारा दिया गया है

\mathrm {O} ^{*}(2n)=\left\{g\in \mathrm {GL} (n,\mathbb {H} )\mid \mathrm {j} _{n}^{-1}g^{*}\mathrm {j} _{n}g=I_{n}\right\}=\left\{g\in \mathrm {GL} (2n,\mathbb {C} )\mid J_{n}^{-1}g^{*}J_{n}g=I_{2n}\right\}.

समूह $SO * (2 n)$ के रूप में वर्णित किया जा सकता है

\mathrm {O} ^{*}(2n)=\left\{g\in \mathrm {O} (2n,\mathbb {C} )\mid \theta \left({\overline {g}}\right)=g\right\},

^[21]

जहां नक्शा $θ : GL(2 n, C) \to GL(2 n, C)$ द्वारा परिभाषित किया गया है $g \mapsto - J 2 n gJ 2 n$ .

साथ ही, समूह का निर्धारण करने वाले फॉर्म को एक के रूप में देखा जा सकता है $H$ -मूल्यवान रूप पर $C 2 n$ .^[22] प्रतिस्थापन करें $x \to w 1 + iw 2$ और $y \to z 1 + iz 2$ प्रपत्र के लिए अभिव्यक्ति में। तब

\varphi (x,y)={\overline {w}}_{2}I_{n}z_{1}-{\overline {w}}_{1}I_{n}z_{2}+\mathbf {j} (w_{1}I_{n}z_{1}+w_{2}I_{n}z_{2})={\overline {\varphi _{1}(w,z)}}+\mathbf {j} \varphi _{2}(w,z).

फार्म

φ 1

हस्ताक्षर का हर्मिटियन है (जबकि बाईं ओर का पहला रूप तिरछा-हर्मिटियन है)।

(n, n)

. हस्ताक्षर से आधार के परिवर्तन से स्पष्ट किया जाता है

(e, f)

को

((e + i f)/ \sqrt 2, (e - i f)/ \sqrt 2)

जहाँ

e, f

प्रथम और अंतिम हैं

n

आधार वैक्टर क्रमशः। दूसरा रूप,

φ 2

सममित सकारात्मक निश्चित है। इस प्रकार, कारक के कारण

j

,

O * (2 n)

दोनों को अलग-अलग संरक्षित करता है और यह निष्कर्ष निकाला जा सकता है कि

\mathrm {O} ^{*}(2n)=\mathrm {O} (2n,\mathbb {C} )\cap \mathrm {U} \left(\mathbb {C} ^{2n},\varphi _{1}\right),

और अंकन ओ समझाया गया है।

सामान्य क्षेत्रों या बीजगणित पर मौलिक समूह

मौलिक समूह, अधिक व्यापक रूप से बीजगणित में माने जाते हैं, विशेष रूप से दिलचस्प आव्यूह समूह प्रदान करते हैं। जब आव्यूह समूह के गुणांकों का क्षेत्र (गणित) F या तो वास्तविक संख्या या सम्मिश्र संख्या है, तो ये समूह केवल मौलिक लाई समूह होते हैं। जब जमीनी क्षेत्र एक परिमित क्षेत्र होता है, तो मौलिक समूह लाई प्रकार के समूह होते हैं। ये समूह परिमित सरल समूहों के वर्गीकरण में महत्वपूर्ण भूमिका निभाते हैं। साथ ही, कोई मौलिक समूहों को एफ पर एकात्मक सहयोगी बीजगणित आर पर विचार कर सकता है; जहाँ R = quaternion|'H' (वास्तविकता पर एक बीजगणित) एक महत्वपूर्ण स्थिति का प्रतिनिधित्व करता है। व्यापकता के लिए लेख में R से ऊपर के समूहों का उल्लेख किया जाएगा, जहाँ R स्वयं ग्राउंड क्षेत्र F हो सकता है।

उनके अमूर्त समूह सिद्धांत को ध्यान में रखते हुए, कई रेखीय समूहों में एक 'विशेष' उपसमूह होता है, जिसमें आम तौर पर ग्राउंड फील्ड पर निर्धारक 1 के तत्व सम्मिलित होते हैं, और उनमें से अधिकतर 'प्रक्षेपी' भागफल से जुड़े होते हैं, जो समूह के केंद्र द्वारा भागफल होते हैं। . विशेषता 2 एस में ऑर्थोगोनल समूहों के लिए एक अलग अर्थ है।

समूह के नाम के सामने 'सामान्य' शब्द का सामान्यतः मतलब होता है कि समूह को स्थिर छोड़ने के बजाय किसी प्रकार के रूप को स्थिरांक से गुणा करने की अनुमति है। सबस्क्रिप्ट एन सामान्यतः मॉड्यूल (बीजगणित) के आयाम को इंगित करता है जिस पर समूह कार्य कर रहा है; यदि R = F है तो यह एक सदिश स्थान है। कैविएट: यह संकेतन Dynkin आरेखों के n के साथ कुछ हद तक टकराता है, जो रैंक है।

सामान्य और विशेष रैखिक समूह

सामान्य रैखिक समूह जीएल_n(आर) आर के सभी आर-रैखिक ऑटोमोर्फिज्म का समूह है^एन. एक उपसमूह है: विशेष रैखिक समूह एसएल_n(आर), और उनके भागफल: प्रक्षेपी सामान्य रैखिक समूह पीजीएल_n(र) = गल_n(आर) / जेड (जीएल_n(आर)) और प्रक्षेपी विशेष रैखिक समूह पीएसएल_n(आर) = एसएल_n(आर) / जेड (एसएल_n(आर))। प्रोजेक्टिव स्पेशल लीनियर ग्रुप PSL_n(एफ) एक क्षेत्र पर एफ एन ≥ 2 के लिए सरल है, दो स्थिति को छोड़कर जब एन = 2 और क्षेत्र में आदेश है^{[clarification needed]} 2 या 3।

एकात्मक समूह

एकात्मक समूह यू_n(आर) एक मॉड्यूल पर एक सेस्क्विलिनियर फॉर्म को संरक्षित करने वाला एक समूह है। एक उपसमूह है, विशेष एकात्मक समूह एसयू_n(आर) और उनके भागफल प्रक्षेपी एकात्मक समूह पीयू_n(आर) = यू_n(आर) / जेड (यू_n(आर)) और अनुमानित विशेष एकात्मक समूह पीएसयू_n(आर) = उसका_n(आर) / जेड (एसयू_n(आर))

सहानुभूतिपूर्ण समूह

सहानुभूति समूह सपा_2n(आर) एक मॉड्यूल पर तिरछा सममित रूप रखता है। इसका एक भागफल है, प्रक्षेपी सहानुभूतिपूर्ण समूह PSP_2n(आर)। सामान्य सहानुभूति समूह जीएसपी_2n(आर) कुछ उलटा स्केलर द्वारा एक तिरछा सममित रूप को गुणा करने वाले मॉड्यूल के ऑटोमोर्फिज्म होते हैं। प्रक्षेपी सहानुभूतिपूर्ण समूह PSP_2n(एफ_q) पीएसपी के स्थिति को छोड़कर, एक परिमित क्षेत्र पर एन ≥ 1 के लिए सरल है₂ दो और तीन तत्वों के क्षेत्र में।

ऑर्थोगोनल समूह

ऑर्थोगोनल ग्रुप ओ_n(आर) एक मॉड्यूल पर एक गैर-पतित द्विघात रूप को संरक्षित करता है। एक उपसमूह है, विशेष लांबिक समूह SO_n(आर) और भागफल, प्रक्षेपी ओर्थोगोनल समूह पीओ_n(आर), और प्रक्षेपी विशेष ओर्थोगोनल समूह पीएसओ_n(आर)। विशेषता 2 में निर्धारक हमेशा 1 होता है, इसलिए विशेष ऑर्थोगोनल समूह को अक्सर ऑर्थोगोनल समूह 1 के तत्वों के उपसमूह के रूप में परिभाषित किया जाता है।

एक अनाम समूह होता है जिसे अक्सर Ω द्वारा निरूपित किया जाता है_n(आर) स्पिनर मानदंड 1 के तत्वों के ऑर्थोगोनल समूह के तत्वों से मिलकर, इसी उपसमूह और भागफल समूहों SΩ के साथ_n(आर), पीओ_n(आर), पी.एस.ओ_n(आर)। (वास्तविक से अधिक सकारात्मक निश्चित द्विघात रूपों के लिए, समूह Ω ऑर्थोगोनल समूह के समान होता है, किंतु सामान्य तौर पर यह छोटा होता है।) Ω का दोहरा आवरण भी होता है_n(आर), पिन समूह पिन कहा जाता है_n(आर), और इसका एक उपसमूह है जिसे स्पिन समूह स्पिन कहा जाता है_n(आर)। सामान्य ओर्थोगोनल समूह GO_n(आर) कुछ उलटा स्केलर द्वारा द्विघात रूप को गुणा करने वाले मॉड्यूल के ऑटोमोर्फिज्म होते हैं।

सांकेतिक परंपराएं

असाधारण झूठ समूहों के साथ तुलना

मौलिक झूठ समूहों के विपरीत असाधारण झूठ समूह हैं, जी₂, एफ₄, और₆, और₇, और₈, जो अपने सार गुणों को साझा करते हैं, किंतु उनकी परिचितता को नहीं।^[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

[1] Here, special means the subgroup of the full automorphism group whose elements have determinant 1.

[2] Rossmann 2002 p. 94.

[3] Weyl 1939

[4] Rossmann 2002 p. 91.

[5] Rossmann 2002 p. 94

[6] Rossmann 2002 p. 103

[7] Goodman & Wallach 2009 See end of chapter 1

[8] Rossmann 2002p. 93.

[9] Rossmann 2002 p. 105

[10] Rossmann 2002 p. 91

[11] Rossmann 2002 p. 92

[12] Rossmann 2002 p. 105

[13] Rossmann 2002 p. 107.

[14] Rossmann 2002 p. 93

[15] Rossmann 2002 p. 95.

[16] Rossmann 2002 p. 94.

[17] Goodman & Wallach 2009 Exercise 14, Section 1.1.

[18] Rossmann 2002 p. 94.

[19] Goodman & Wallach 2009Exercise 11, Chapter 1.

[20] Rossmann 2002 p. 94.

[21] Goodman & Wallach 2009 p.11.

[22] Goodman & Wallach 2009 Exercise 12 Chapter 1.

[23] Wybourne, B. G. (1974). Classical Groups for Physicists, Wiley-Interscience. ISBN 0471965057.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

Anonymous

Search

चिरसम्मत समूह: Difference between revisions

Namespaces

More

Page actions

Revision as of 12:22, 31 May 2023

Contents

मौलिक समूह

बिलिनियर और सेस्क्विलिनियर फॉर्म

सममित, तिरछा-सममित, हर्मिटियन और तिरछा-हर्मिटियन रूप

ऑटोमोर्फिज्म समूह

ऑट (φ) - ऑटोमोर्फिज्म समूह

बिलिनियर केस

असली मामला

O(p, q) और O(n) - ऑर्थोगोनल समूह

Sp(m, R) - वास्तविक सहानुभूतिपूर्ण समूह

जटिल मामला

हे (एन, सी) - जटिल ओर्थोगोनल समूह

Sp(एम, सी) - जटिल सहानुभूतिपूर्ण समूह

सेस्क्विलिनियर केस

जटिल मामला

यू (पी, क्यू) और यू (एन) - एकात्मक समूह

चतुर्धातुक मामला

जीएल (एन, एच) और एसएल (एन, एच)

Sp(p, q) - चतुष्कोणीय एकात्मक समूह

द^∗(2n) = O(n, H)- क्वाटरनियोनिक ऑर्थोगोनल ग्रुप

सामान्य क्षेत्रों या बीजगणित पर मौलिक समूह

सामान्य और विशेष रैखिक समूह

एकात्मक समूह

सहानुभूतिपूर्ण समूह

ऑर्थोगोनल समूह

सांकेतिक परंपराएं

असाधारण झूठ समूहों के साथ तुलना

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 113: / Line 113: @@
 {{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|'''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|''F'' {{=}} '''R''', '''C'''}} या {{math|'''H'''}} पर कुछ परिमित-आयामी सही सदिश स्थान पर एक रूप {{math|''φ'': ''V'' × ''V'' → ''F''}} द्विरेखीय है यदि
@@ Line 121: / Line 121: @@
 :<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>
-'''इन सम्मेलनों को चुना जाता है क्योंकि वे सभी मामलों''' में काम करते हैं। का एक [[ automorphism | ऑटोमोर्फिज़्म]] {{math|''φ''}} एक नक्शा है {{math|''Α''}} पर रैखिक ऑपरेटरों के सेट में {{math|''V''}} ऐसा है कि
+इन सम्मेलनों को चुना जाता है क्योंकि वे सभी स्थिति में काम करते हैं। {{math|''φ''}} का एक ऑटोमोर्फिज्म {{math|''V''}} पर रैखिक ऑपरेटरों के सेट में एक नक्शा {{math|''Α''}} है जैसे कि
 {{NumBlk|:|<math>\varphi(Ax, Ay) = \varphi(x, y), \quad \forall x,y \in V.</math>|{{EquationRef|1}}}}
-के सभी ऑटोमोर्फिज्म का सेट {{math|''φ''}} एक समूह बनाते हैं, इसे का ऑटोमोर्फिज्म समूह कहा जाता है {{math|''φ''}}, निरूपित {{math|Aut(''φ'')}}. यह मौलिक समूह की प्रारंभिक परिभाषा की ओर जाता है:
-:''एक मौलिक समूह एक ऐसा समूह है जो परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर या सेस्क्विलिनियर फॉर्म को संरक्षित करता है'' {{math|'''R'''}}, {{math|'''C'''}} या {{math|'''H'''}}.
-इस परिभाषा में कुछ अतिरेक है। के स्थिति में {{math|''F'' {{=}} '''R'''}}, बिलिनियर सेस्क्विलिनियर के बराबर है। के स्थिति में {{math|''F'' {{=}} '''H'''}}, कोई गैर-शून्य द्विरेखीय रूप नहीं हैं।<ref>{{harvnb|Rossmann|2002}} p. 105</ref>
+φ के सभी ऑटोमोर्फिज़्म का सेट एक समूह बनाता है, इसे φ का ऑटोमोर्फिज़्म समूह कहा जाता है, जिसे ऑट (φ) कहा जाता है। यह मौलिक समूह की प्रारंभिक परिभाषा की ओर जाता है:
+:''मौलिक'' समूह एक ऐसा समूह है जो '''R''', '''C''' और '''H''' पर परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर या सेस्क्विलिनियर फॉर्म को संरक्षित करता है।
+इस परिभाषा में कुछ अतिरेक है। {{math|''F'' {{=}} '''R'''}} के स्थिति में बिलिनियर सेस्क्विलिनियर के समान है। {{math|''F'' {{=}} '''H'''}} के स्थिति में गैर-शून्य बिलिनियर रूप नहीं हैं।<ref>{{harvnb|Rossmann|2002}} p. 105</ref>
 === सममित, तिरछा-सममित, हर्मिटियन और तिरछा-हर्मिटियन रूप ===
-एक फॉर्म सममित है अगर
+एक फॉर्म सममित है यदि
 :<math>\varphi(x, y) = \varphi(y, x).</math>
 यह तिरछा-सममित है यदि
 :<math>\varphi(x, y) = -\varphi(y, x).</math>
-यह हर्मिटियन है अगर
+यह हर्मिटियन है यदि
 :<math>\varphi(x, y) = \overline{\varphi(y, x)}</math>
-अंत में, यह तिरछा-हर्मिटियन है अगर
+अंत में, यह तिरछा-हर्मिटियन है यदि
 :<math>\varphi(x, y) = -\overline{\varphi(y, x)}.</math>
-एक द्विरेखीय रूप {{math|''φ''}} विशिष्ट रूप से सममित रूप और तिरछा-सममित रूप का योग है। एक परिवर्तन संरक्षण {{math|''φ''}} दोनों भागों को अलग-अलग सुरक्षित रखता है। इस प्रकार सममित और तिरछा-सममित रूपों को संरक्षित करने वाले समूहों का अलग-अलग अध्ययन किया जा सकता है। वही लागू होता है, यथोचित परिवर्तनों सहित, हर्मिटियन और तिरछा-हर्मिटियन रूपों पर। इस कारण से, वर्गीकरण के प्रयोजनों के लिए, केवल विशुद्ध रूप से सममित, तिरछा-सममित, हर्मिटियन, या तिरछा-हर्मिटियन रूपों पर विचार किया जाता है। रूपों के सामान्य रूप आधारों के विशिष्ट उपयुक्त विकल्पों के अनुरूप होते हैं। ये निर्देशांक में निम्नलिखित सामान्य रूप देने वाले आधार हैं:
+एक द्विरेखीय रूप {{math|''φ''}} विशिष्ट रूप से सममित रूप और तिरछा-सममित रूप का योग है। एक परिवर्तन संरक्षण {{math|''φ''}} दोनों भागों को अलग-अलग सुरक्षित रखता है। इस प्रकार सममित और तिरछा-सममित रूपों को संरक्षित करने वाले समूहों का अलग-अलग अध्ययन किया जा सकता है। वही प्रयुक्त होता है, यथोचित परिवर्तनों सहित, हर्मिटियन और तिरछा-हर्मिटियन रूपों पर। इस कारण से वर्गीकरण के प्रयोजनों के लिए, केवल विशुद्ध रूप से सममित तिरछा-सममित, हर्मिटियन, या तिरछा-हर्मिटियन रूपों पर विचार किया जाता है। रूपों के सामान्य रूप आधारों के विशिष्ट उपयुक्त विकल्पों के अनुरूप होते हैं। ये निर्देशांक में निम्नलिखित सामान्य रूप देने वाले आधार हैं:
 :<math>\begin{align}
    \text{Bilinear symmetric form in (pseudo-)orthonormal basis:} \quad
@@ Line 152: / Line 153: @@
 \end{align}</math>
-  {{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|'''H'''}} के लिए आधार {{math|('''1''', '''i''', '''j''', '''k''')}} में तीसरा आधार तत्व है। इन आधारों के अस्तित्व का प्रमाण और सिल्वेस्टर का जड़त्व का नियम प्लस- और की संख्या की स्वतंत्रता माइनस-साइन, {{math|''p''}} और {{math|''q''}}, सममित और हर्मिटियन रूपों में साथ ही साथ प्रत्येक अभिव्यक्ति में क्षेत्रों की उपस्थिति या अनुपस्थिति रॉसमैन (2002) या गुडमैन एंड वैलाच (2009) में पाई जा सकती है। जोड़ी {{math|(''p'', ''q'')}}, और कभी-कभी {{math|''p'' − ''q''}}, को प्रपत्र का हस्ताक्षर कहा जाता है।
-खेतों की घटना की व्याख्या {{math|'''R''', '''C''', '''H'''}}: कोई गैर तुच्छ द्विरेखीय रूप नहीं हैं {{math|'''H'''}}. सममित बिलिनियर स्थिति में, केवल रूप बनता है {{math|'''R'''}} के हस्ताक्षर हैं। दूसरे शब्दों में, हस्ताक्षर के साथ एक जटिल द्विरेखीय रूप {{math|(''p'', ''q'')}}, आधार के परिवर्तन से, एक ऐसे रूप में घटाया जा सकता है जहां सभी संकेत हैं{{math|+}} उपरोक्त अभिव्यक्ति में, जबकि वास्तविक स्थिति में यह असंभव है, जिसमें {{math|''p'' − ''q''}} इस फॉर्म में रखे जाने पर आधार से स्वतंत्र होता है। चूँकि , हर्मिटियन रूपों में जटिल और चतुष्कोणीय स्थिति दोनों में आधार-स्वतंत्र हस्ताक्षर हैं। (वास्तविक मामला सममित स्थिति में कम हो जाता है।) एक जटिल सदिश स्थान पर एक तिरछा-हर्मिटियन रूप गुणा द्वारा हर्मिटियन प्रदान किया जाता है {{mvar|i}}, तो इस स्थिति में, केवल {{math|'''H'''}} दिलचस्प है।
+क्षेत्र {{math|'''R''', '''C''', '''H'''}} की घटना की व्याख्या: {{math|'''H'''}} के ऊपर कोई गैर-तुच्छ द्विरेखीय रूप नहीं हैं। सममित द्विरेखीय स्थिति में केवल {{math|'''R'''}} के ऊपर के रूपों पर हस्ताक्षर होते हैं। दूसरे शब्दों में, "हस्ताक्षर" ({{math|(''p'', ''q'')}}) के साथ एक जटिल द्विरेखीय रूप आधार के परिवर्तन से, एक ऐसे रूप में कम किया जा सकता है जहां उपरोक्त अभिव्यक्ति में सभी चिह्न "+" हैं, जबकि वास्तविक स्थिति में यह असंभव है , जिसमें {{math|''p'' − ''q''}} इस रूप में रखे जाने पर आधार से स्वतंत्र होता है। चूँकि हर्मिटियन रूपों में जटिल और चतुष्कोणीय स्थिति दोनों में आधार-स्वतंत्र हस्ताक्षर हैं। (वास्तविक स्थिति सममित स्थिति में कम हो जाता है।) एक जटिल सदिश स्थान पर एक तिरछा-हर्मिटियन रूप {{mvar|i}} द्वारा गुणा करके हर्मिटियन प्रदान किया जाता है इसलिए इस स्थिति में केवल {{math|'''H'''}} रौचक है।
 == ऑटोमोर्फिज्म समूह ==
-[[Image:Hermann Weyl ETH-Bib Portr 00890.jpg|220px|thumb|right|द क्लासिकल ग्रुप्स के लेखक हरमन वेइल। वेइल ने मौलिक समूहों के प्रतिनिधित्व सिद्धांत में महत्वपूर्ण योगदान दिया।]]प्रथम खंड सामान्य रूपरेखा प्रस्तुत करता है। अन्य खंड गुणात्मक रूप से अलग-अलग मामलों को समाप्त करते हैं जो परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर और सेस्क्विलिनियर रूपों के ऑटोमोर्फिज्म समूहों के रूप में उत्पन्न होते हैं। {{math|'''R'''}}, {{math|'''C'''}} और {{math|'''H'''}}.
+प्रथम खंड सामान्य रूपरेखा प्रस्तुत करता है। अन्य खंड गुणात्मक रूप से अलग-अलग स्थिति को समाप्त करते हैं जो  {{math|'''R'''}}, {{math|'''C'''}} और {{math|'''H'''}}. पर परिमित-आयामी वेक्टर रिक्त स्थान पर बिलिनियर और सेस्क्विलिनियर रूपों के ऑटोमोर्फिज़्म समूहों के रूप में उत्पन्न होते हैं।
 === ऑट (φ) - ऑटोमोर्फिज्म समूह ===
-ये मान लीजिए {{math|''φ''}} परिमित-आयामी सदिश स्थान पर एक गैर-पतित रूप है {{math|''V''}} ऊपर {{math|'''R''', '''C'''}} या {{math|'''H'''}}. स्थिति के आधार पर ऑटोमोर्फिज्म समूह को परिभाषित किया गया है ({{EquationNote|1}}), जैसा
+मान लें कि {{math|'''R''', '''C'''}} या {{math|'''H'''}} पर परिमित-आयामी सदिश स्थान {{math|''V''}} पर {{math|''φ''}} एक गैर-पतित रूप है। स्थिति ({{EquationNote|1}}) के आधार पर ऑटोमोर्फिज़्म समूह को परिभाषित किया गया है, जैसा कि
 :<math>\mathrm{Aut}(\varphi) = \{A \in \mathrm{GL}(V) : \varphi(Ax, Ay) = \varphi(x, y), \quad \forall x,y \in V\}.</math>
-प्रत्येक {{math|''A'' ∈ ''M''<sub>''n''</sub>(''V'')}} का एक जोड़ है {{math|''A''<sup>''φ''</sup>}} इसके संबंध में {{math|''φ''}} द्वारा परिभाषित
+:प्रत्येक {{math|''A'' ∈ ''M''<sub>''n''</sub>(''V'')}} में {{math|''φ''}} द्वारा परिभाषित एक संलग्न {{math|''A''<sup>''φ''</sup>}} होता है
 {{NumBlk|:|<math>\varphi(Ax, y) = \varphi(x, A^\varphi y), \qquad x, y \in V.</math>|{{EquationRef|2}}}}
@@ Line 168: / Line 170: @@
 {{NumBlk|:|<math>\operatorname{Aut}(\varphi) = \{A \in \operatorname{GL}(V): A^\varphi A = 1\}.</math><ref>{{harvnb|Rossmann|2002}} p. 91</ref>|{{EquationRef|3}}}}
-के लिए एक आधार तय करें {{math|''V''}}. इस आधार के संदर्भ में, रखो
+{{math|''V''}} के लिए एक आधार तय करें। इस आधार के संदर्भ में
 :<math>\varphi(x, y) = \sum \xi_i\varphi_{ij}\eta_j</math>
-कहाँ {{math|ξ<sub>''i''</sub>, η<sub>''j''</sub>}} के घटक हैं {{math|''x'', ''y''}}. यह बिलिनियर रूपों के लिए उपयुक्त है। Sesquilinear रूपों में समान भाव होते हैं और बाद में अलग से व्यवहार किया जाता है। मैट्रिक्स नोटेशन में कोई पाता है
+जहां {{math|ξ<sub>''i''</sub>, η<sub>''j''</sub>}} {{math|''x'', ''y''}} के घटक हैं। यह बिलिनियर रूपों के लिए उपयुक्त है। सेस्क्विलिनियर रूपों में समान भाव होते हैं और बाद में अलग से व्यवहार किया जाता है। आव्यूह नोटेशन में कोई पाता है
 :<math>\varphi(x, y) = x^{\mathrm T}\Phi y</math>
 और
 {{NumBlk|:|<math>A^\varphi = \Phi^{-1}A^{\mathrm T}\Phi</math><ref>{{harvnb|Rossmann|2002}} p. 92</ref>|{{EquationRef|4}}}}
-से ({{EquationNote|2}}) कहाँ {{math|Φ}} मैट्रिक्स है {{math|(''φ<sub>ij</sub>'')}}. गैर अध: पतन स्थिति ठीक यही मतलब है {{math|Φ}} व्युत्क्रमणीय है, इसलिए संलग्न हमेशा मौजूद रहता है। {{math|Aut(''φ'')}} इसके साथ व्यक्त हो जाता है
+({{EquationNote|2}}) से जहां {{math|Φ}} आव्यूह {{math|(''φ<sub>ij</sub>'')}} है। गैर-अपकर्ष स्थिति का ठीक-ठीक अर्थ है कि {{math|Φ}} व्युत्क्रमणीय है इसलिए संलग्न सदैव उपस्थित  रहता है। {{math|Aut(''φ'')}} इसके साथ व्यक्त हो जाता है
 :<math>\operatorname{Aut}(\varphi) = \left\{A \in \operatorname{GL}(V): \Phi^{-1}A^\mathrm{T}\Phi A = 1\right\}.</math>
-झूठ बीजगणित {{math|'''aut'''(''φ'')}ऑटोमोर्फिज्म समूहों के } को तुरंत लिखा जा सकता है। संक्षेप में, {{math|''X'' ∈ '''aut'''(''φ'')}} अगर और केवल अगर
+ऑटोमोर्फिज्म समूहों के झूठ बीजगणित ऑट (φ) को तुरंत लिखा जा सकता है। संक्षेप में, {{math|''X'' ∈ '''aut'''(''φ'')}} यदि और केवल यदि
 :<math>(e^{tX})^\varphi e^{tX} = 1</math>
-सभी के लिए {{math|''t''}}, में स्थिति के अनुरूप ({{EquationNote|3}}) झूठ बीजगणित के घातीय मानचित्र (झूठे सिद्धांत) के तहत, ताकि
+सभी के लिए {{math|''t''}}, में स्थिति के अनुरूप ({{EquationNote|3}}) झूठ बीजगणित के घातीय मानचित्र (झूठे सिद्धांत) के तहत, जिससे
 :<math>\mathfrak{aut}(\varphi) = \left\{X \in M_n(V): X^\varphi = -X\right\},</math>
 या एक आधार में
 {{NumBlk|:|<math>\mathfrak{aut}(\varphi) = \left\{X \in M_n(V): \Phi^{-1}X^\mathrm{T}\Phi = -X\right\}</math>|{{EquationRef|5}}}}
-जैसा कि एक्सपोनेंशियल मैपिंग की शक्ति श्रृंखला विस्तार और शामिल संचालन की रैखिकता का उपयोग करके देखा जाता है। इसके विपरीत मान लीजिए {{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|''φ''}} नीचे प्रत्येक मौलिक समूह के लिए दिया जाएगा। उस सामान्य रूप से, मैट्रिक्स {{math|Φ}} सीधे पढ़ा जा सकता है। नतीजतन, सूत्रों का उपयोग करके आसन्न और झूठ बीजगणित के लिए अभिव्यक्ति प्राप्त की जा सकती है ({{EquationNote|4}}) और ({{EquationNote|5}}). यह अधिकांश गैर-तुच्छ मामलों में नीचे प्रदर्शित किया गया है।
+नीचे प्रत्येक मौलिक समूह के लिए {{math|''φ''}} का सामान्य रूप दिया जाएगा। उस सामान्य रूप से आव्यूह Φ को सीधे पढ़ा जा सकता है। परिणाम स्वरुप  सूत्र ({{EquationNote|4}}) और ({{EquationNote|5}}) का उपयोग करके आसन्न और झूठ बीजगणित के लिए अभिव्यक्ति प्राप्त की जा सकती है। यह अधिकांश गैर-तुच्छ स्थिति में नीचे प्रदर्शित किया गया है।
 === बिलिनियर केस ===
-जब प्रपत्र सममित है, {{math|Aut(''φ'')}} कहा जाता है {{math|O(''φ'')}}. जब यह तिरछा-सममित होता है तब {{math|Aut(''φ'')}} कहा जाता है {{math|Sp(''φ'')}}. यह वास्तविक और जटिल मामलों पर लागू होता है। क्वाटरनियोनिक केस खाली है क्योंकि क्वाटरनियोनिक वेक्टर रिक्त स्थान पर कोई शून्येतर बिलिनियर फॉर्म मौजूद नहीं है।<ref>{{harvnb|Rossmann|2002}} p. 105</ref>
+जब रूप सममित होता है, तो {{math|Aut(''φ'')}} को {{math|O(''φ'')}} कहा जाता है। जब यह तिरछा-सममित होता है तो {{math|Aut(''φ'')}} को {{math|Sp(''φ'')}} कहा जाता है। यह वास्तविक और जटिल स्थितियों पर प्रयुक्त होता है। क्वाटरनियोनिक केस खाली है क्योंकि क्वाटरनियोनिक वेक्टर रिक्त स्थान पर कोई शून्येतर बिलिनियर फॉर्म उपस्थित नहीं है।<ref>{{harvnb|Rossmann|2002}} p. 105</ref>
+====असली मामला ====
+वास्तविक स्थिति दो स्थिति में विभाजित होता है, सममित और विषम रूप जिन्हें अलग-अलग व्यवहार किया जाना चाहिए।
-====असली मामला ====
+===== O(''p'', ''q'') और O(''n'') - ऑर्थोगोनल समूह =====
-वास्तविक मामला दो मामलों में विभाजित होता है, सममित और विषम रूप जिन्हें अलग-अलग व्यवहार किया जाना चाहिए।
+{{main|ऑर्थोगोनल समूह|अनिश्चितकालीन ऑर्थोगोनल समूह}}
-===== ओ (पी, क्यू) और ओ (एन) - ऑर्थोगोनल समूह =====
+यदि {{math|''φ''}} सममित है और सदिश स्थान वास्तविक है, एक आधार चुना जा सकता है जिससे
-{{main|Orthogonal group|Indefinite orthogonal group}}
-अगर {{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>
-यदि आवश्यक हो तो आधार को पुनर्व्यवस्थित करने के बाद। आसन्न ऑपरेशन ({{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|''p''}} या {{math|''q''}} 0 है। लाई बीजगणित समीकरण का उपयोग करके पाया जाता है ({{EquationNote|5}}) और एक उपयुक्त ansatz (यह के स्थिति के लिए विस्तृत है {{math|Sp(''m'', '''R''')}} नीचे),
+जो {{math|''p''}} या {{math|''q''}} के 0 होने पर सामान्य स्थानान्तरण को कम कर देता है। झूठा बीजगणित समीकरण ({{EquationNote|5}}) और एक उपयुक्त अन्सत्ज़ का उपयोग करके पाया जाता है (यह नीचे {{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>
 और समूह के अनुसार ({{EquationNote|3}}) द्वारा दिया गया है
@@ Line 218: / Line 225: @@
 स्वाभाविक रूप से, पुनर्व्यवस्थित करना संभव है जिससे {{math|''q''}}-ब्लॉक ऊपरी बाएँ (या कोई अन्य ब्लॉक) है। यहां समय घटक एक भौतिक व्याख्या में चौथे समन्वय के रूप में समाप्त होता है, न कि पहले जैसा कि अधिक सामान्य हो सकता है।
-== एसपी (एम, आर) - वास्तविक सहानुभूतिपूर्ण समूह ==
+== Sp(''m'', R) - वास्तविक सहानुभूतिपूर्ण समूह ==
-{{main|Symplectic group}}
+{{main|सहानुभूतिपूर्ण समूह}}
-अगर {{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|''n'' {{=}} 2''m''}}. के लिए {{math|Aut(''φ'')}} कोई लिखता है {{math|Sp(''φ'') {{=}} Sp(''V'')}} यदि {{math|''V'' {{=}} '''R'''<sup>''n''</sup> {{=}} '''R'''<sup>2''m''</sup>}} कोई लिखता है {{math|Sp(''m'', '''R''')}} या {{math|Sp(2''m'', '''R''')}}. सामान्य रूप से कोई पढ़ता है
+जहाँ {{math|''n'' {{=}} 2''m''}}. के लिए {{math|Aut(''φ'')}} कोई लिखता है {{math|Sp(''φ'') {{=}} Sp(''V'')}} यदि {{math|''V'' {{=}} '''R'''<sup>''n''</sup> {{=}} '''R'''<sup>2''m''</sup>}} कोई लिखता है {{math|Sp(''m'', '''R''')}} या {{math|Sp(2''m'', '''R''')}}. सामान्य रूप से कोई पढ़ता है
 :<math>\Phi = \left(\begin{matrix}0_m & I_m \\ -I_m & 0_m\end{matrix}\right) = J_m.</math>
 दृष्टिकोण बनाकर
 :<math>V = \left(\begin{matrix}X & Y \\ Z & W\end{matrix}\right),</math>
-कहाँ {{math|''X'', ''Y'', ''Z'', ''W''}} हैं {{math|''m''}}-आयामी मैट्रिक्स और विचार ({{EquationNote|5}}),
+जहाँ {{math|''X'', ''Y'', ''Z'', ''W''}} हैं {{math|''m''}}-आयामी आव्यूह और विचार ({{EquationNote|5}}),
 :<math>\left(\begin{matrix}0_m & -I_m \\ I_m & 0_m\end{matrix}\right)\left(\begin{matrix}X & Y \\ Z & W\end{matrix}\right)^{\mathrm T}\left(\begin{matrix}0_m & I_m \\ -I_m & 0_m\end{matrix}\right) = -\left(\begin{matrix}X & Y \\ Z & W\end{matrix}\right)</math>
-का झूठा बीजगणित पाता है {{math|Sp(''m'', '''R''')}},
+{{math|Sp(''m'', '''R''')}} का झूठा बीजगणित मिलता है,
 :<math>\mathfrak{sp}(m, \mathbb{R}) = \{X \in M_n(\mathbb{R}): 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 236: / Line 244: @@
 ==== जटिल मामला ====
-वास्तविक स्थिति की तरह, दो स्थिति हैं, सममित और एंटीसिमेट्रिक मामला है कि प्रत्येक मौलिक समूहों के एक परिवार का उत्पादन करता है।
+वास्तविक स्थिति की तरह, दो स्थिति हैं सममित और एंटीसिमेट्रिक स्थिति है कि प्रत्येक मौलिक समूहों के एक वर्ग का उत्पादन करता है।
 == हे (एन, सी) - जटिल ओर्थोगोनल समूह ==
-{{main|Complex orthogonal group}}
+{{main|जटिल ऑर्थोगोनल समूह}}
-अगर मामला {{math|''φ''}} सममित है और सदिश स्थान जटिल है, एक आधार है
+यदि स्थिति {{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|''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>
 और समूह द्वारा दिया गया है
@@ Line 252: / Line 261: @@
 के लिए {{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|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>
 और समूह द्वारा दिया गया है
@@ Line 275: / Line 284: @@
 एक गैर-पतित हेर्मिटियन रूप का सामान्य रूप है
 :<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|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>
 और झूठ बीजगणित द्वारा दिया गया है
@@ Line 281: / Line 290: @@
 समूह द्वारा दिया गया है
 :<math>\mathrm{U}(p, q) = \{g|I_{p,q}^{-1}g^*I_{p,q}g = I\}.</math>
-:जहाँ g एक सामान्य n x n जटिल मैट्रिक्स है और <math>g^{*}</math> जी के संयुग्मी स्थानांतरण के रूप में परिभाषित किया गया है, जिसे भौतिक विज्ञानी कहते हैं <math>g^{\dagger}</math>.
+:जहाँ g एक सामान्य n x n जटिल आव्यूह है और <math>g^{*}</math> जी के संयुग्मी स्थानांतरण के रूप में परिभाषित किया गया है, जिसे भौतिक विज्ञानी कहते हैं <math>g^{\dagger}</math>.
-तुलना के रूप में, एक एकात्मक मैट्रिक्स U(n) को इस रूप में परिभाषित किया गया है
+तुलना के रूप में, एक एकात्मक आव्यूह U(n) को इस रूप में परिभाषित किया गया है
 <math>\mathrm{U}(n) = \{g|g^*g = I\}.</math>
@@ Line 289: / Line 298: @@
 ==== चतुर्धातुक मामला ====
-अंतरिक्ष {{math|'''H'''<sup>''n''</sup>}} को एक सही सदिश स्थान के रूप में माना जाता है {{math|'''H'''}}. इस तरह, {{math|''A''(''vh'') {{=}} (''Av'')''h''}} चतुष्कोण के लिए {{math|''h''}}, एक चतुष्कोणीय स्तंभ वेक्टर {{math|''v''}} और चतुष्कोणीय मैट्रिक्स {{math|''A''}}. अगर {{math|'''H'''<sup>''n''</sup>}} बायाँ सदिश स्थान था {{math|'''H'''}}, तो रैखिकता बनाए रखने के लिए दाईं ओर से पंक्ति सदिशों पर मैट्रिक्स गुणन की आवश्यकता होगी। जब एक आधार दिया जाता है, जो कॉलम वैक्टर पर बाईं ओर से मैट्रिक्स गुणन होता है, तो यह एक सदिश स्थान पर एक समूह के सामान्य रैखिक संचालन के अनुरूप नहीं होता है। इस प्रकार {{math|''V''}} इसके बाद एक सही सदिश समष्टि है {{math|'''H'''}}. फिर भी, गैर-विनिमेय प्रकृति के कारण सावधानी बरतनी चाहिए {{math|'''H'''}}. (ज्यादातर स्पष्ट) विवरण छोड़ दिए जाते हैं क्योंकि जटिल अभ्यावेदन का उपयोग किया जाएगा।
+अंतरिक्ष {{math|'''H'''<sup>''n''</sup>}} को एक सही सदिश स्थान के रूप में माना जाता है {{math|'''H'''}}. इस तरह, {{math|''A''(''vh'') {{=}} (''Av'')''h''}} चतुष्कोण के लिए {{math|''h''}}, एक चतुष्कोणीय स्तंभ वेक्टर {{math|''v''}} और चतुष्कोणीय आव्यूह {{math|''A''}}. यदि {{math|'''H'''<sup>''n''</sup>}} बायाँ सदिश स्थान था {{math|'''H'''}}, तो रैखिकता बनाए रखने के लिए दाईं ओर से पंक्ति सदिशों पर आव्यूह गुणन की आवश्यकता होगी। जब एक आधार दिया जाता है, जो कॉलम वैक्टर पर बाईं ओर से आव्यूह गुणन होता है, तो यह एक सदिश स्थान पर एक समूह के सामान्य रैखिक संचालन के अनुरूप नहीं होता है। इस प्रकार {{math|''V''}} इसके बाद एक सही सदिश समष्टि है {{math|'''H'''}}. फिर भी, गैर-विनिमेय प्रकृति के कारण सावधानी बरतनी चाहिए {{math|'''H'''}}. (ज्यादातर स्पष्ट) विवरण छोड़ दिए जाते हैं क्योंकि जटिल अभ्यावेदन का उपयोग किया जाएगा।
 चतुष्कोणीय समूहों के साथ व्यवहार करते समय जटिल का उपयोग करके चतुष्कोणों का प्रतिनिधित्व करना सुविधाजनक होता है {{nowrap|2×2-matrices}},
 {{NumBlk|:|<math>q = a\mathrm{1} + b\mathrm{i} + c\mathrm{j} + d\mathrm{k} = \alpha + j\beta \leftrightarrow \begin{bmatrix}\alpha & -\overline \beta \\ \beta & \overline \alpha\end{bmatrix} = Q, \quad q \in \mathbb{H},\quad a,b,c,d \in \mathbb{R}, \quad \alpha, \beta \in \mathbb{C}.</math><ref>{{harvnb|Rossmann|2002}} p. 95.</ref>|{{EquationRef|7}}}}
-इस प्रतिनिधित्व के साथ, चतुष्कोणीय गुणन मैट्रिक्स गुणन बन जाता है और चतुष्कोणीय संयुग्मन हर्मिटियन आसन्न बन जाता है। इसके अलावा, एक चतुर्धातुक जटिल एन्कोडिंग के अनुसार {{math|''q'' {{=}} ''x'' + '''j'''''y''}} कॉलम वेक्टर के रूप में दिया गया है {{math|(''x'', ''y'')<sup>T</sup>}}, फिर बायीं ओर से क्वाटरनियन के मैट्रिक्स प्रतिनिधित्व द्वारा गुणा करने से सही क्वाटरनियन का प्रतिनिधित्व करने वाला एक नया कॉलम वेक्टर उत्पन्न होता है। यह प्रतिनिधित्व चतुष्कोणीय लेख में पाए जाने वाले अधिक सामान्य प्रतिनिधित्व से थोड़ा अलग है। अधिक सामान्य सम्मेलन एक ही चीज़ को प्राप्त करने के लिए पंक्ति मैट्रिक्स पर दाईं ओर से गुणन को बाध्य करेगा।
+इस प्रतिनिधित्व के साथ, चतुष्कोणीय गुणन आव्यूह गुणन बन जाता है और चतुष्कोणीय संयुग्मन हर्मिटियन आसन्न बन जाता है। इसके अलावा, एक चतुर्धातुक जटिल एन्कोडिंग के अनुसार {{math|''q'' {{=}} ''x'' + '''j'''''y''}} कॉलम वेक्टर के रूप में दिया गया है {{math|(''x'', ''y'')<sup>T</sup>}}, फिर बायीं ओर से क्वाटरनियन के आव्यूह प्रतिनिधित्व द्वारा गुणा करने से सही क्वाटरनियन का प्रतिनिधित्व करने वाला एक नया कॉलम वेक्टर उत्पन्न होता है। यह प्रतिनिधित्व चतुष्कोणीय लेख में पाए जाने वाले अधिक सामान्य प्रतिनिधित्व से थोड़ा अलग है। अधिक सामान्य सम्मेलन एक ही चीज़ को प्राप्त करने के लिए पंक्ति आव्यूह पर दाईं ओर से गुणन को बाध्य करेगा।
 संयोग से, उपरोक्त प्रतिनिधित्व यह स्पष्ट करता है कि इकाई चतुष्कोणों का समूह ({{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|''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}}}}
-एक मैट्रिक्स {{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|''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>2''n''</sub>(''C'')}} जहाँ {{math|''n''}} क्वाटरनियोनिक मैट्रिसेस का आयाम है।
-क्वाटरनियोनिक मैट्रिक्स के निर्धारक को इस प्रतिनिधित्व में इसके प्रतिनिधि मैट्रिक्स के सामान्य जटिल निर्धारक के रूप में परिभाषित किया गया है। क्वाटरनियोनिक गुणन की गैर-कम्यूटेटिव प्रकृति, मेट्रिसेस के क्वाटरनियोनिक प्रतिनिधित्व में अस्पष्ट होगी। रास्ता {{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|''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'''}} माना जाता है, इसलिए इन मामलों पर अलग से विचार किया जाता है।
+के स्थिति में विरोध के रूप में {{math|'''C'''}}, हर्मिटियन और तिरछा-हर्मिटियन केस दोनों ही जब कुछ नया लेकर आते हैं {{math|'''H'''}} माना जाता है, इसलिए इन स्थिति पर अलग से विचार किया जाता है।
 == जीएल (एन, एच) और एसएल (एन, एच) ==
@@ Line 324: / Line 333: @@
 जैसा कि ऊपर जटिल स्थिति में, सामान्य रूप है
 :<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 336: / Line 345: @@
 संतुष्ट करेगा
 :<math>\Phi^{-1}\mathcal{Q}^*\Phi = -\mathcal{Q},</math>
-के बारे में अनुभाग देखें {{math|'''u'''(''p'', ''q'')}}. चतुर्धातुक मैट्रिक्स गुणन से निपटने के दौरान सावधानी बरतने की आवश्यकता है, किंतु केवल यहाँ {{math|''I''}} और {{math|-''I''}} शामिल हैं और ये हर चतुष्कोणीय मैट्रिक्स के साथ आवागमन करते हैं। अब नुस्खा लागू करें ({{EquationNote|8}}) प्रत्येक ब्लॉक के लिए,
+के बारे में अनुभाग देखें {{math|'''u'''(''p'', ''q'')}}. चतुर्धातुक आव्यूह गुणन से निपटने के दौरान सावधानी बरतने की आवश्यकता है, किंतु केवल यहाँ {{math|''I''}} और {{math|-''I''}} सम्मिलित हैं और ये हर चतुष्कोणीय आव्यूह के साथ आवागमन करते हैं। अब नुस्खा प्रयुक्त करें ({{EquationNote|8}}) प्रत्येक ब्लॉक के लिए,
 :<math>
    \mathcal{X} = \begin{pmatrix} X_{1 (p \times p)} & -\overline{X}_2 \\ X_2 & \overline{X}_1 \end{pmatrix}, \quad
@@ Line 342: / Line 351: @@
    \mathcal{Z} = \begin{pmatrix} Z_{1 (p \times q)} & -\overline{Z}_2 \\ Z_2 & \overline{Z}_1 \end{pmatrix},
 </math>
-और संबंधों में ({{EquationNote|9}}) संतुष्ट हो जाएगा अगर
+और संबंधों में ({{EquationNote|9}}) संतुष्ट हो जाएगा यदि
 :<math>X_1^* = -X_1, \quad Y_1^* = -Y_1.</math>
 झूठ बीजगणित बन जाता है
@@ Line 379: / Line 388: @@
 तिरछा-हर्मिटियन रूप के लिए सामान्य रूप किसके द्वारा दिया जाता है
 :<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|Aut(''φ'') {{=}} O<sup>∗</sup>(2''n'')}} उपसमूह के रूप में ऊपर के जटिल मैट्रिक्स एन्कोडिंग का उपयोग करके महसूस किया जा सकता है {{math|O(2''n'', '''C''')}} जो हस्ताक्षर के एक गैर-पतित जटिल तिरछा-हर्मिटियन रूप को संरक्षित करता है {{math|(''n'', ''n'')}}.<ref>{{harvnb|Rossmann|2002}} p. 94.</ref> सामान्य रूप से कोई देखता है कि चतुष्कोणीय संकेतन में
+जहाँ {{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 =
    \left(\begin{smallmatrix}
@@ Line 414: / Line 423: @@
 साथ ही, समूह का निर्धारण करने वाले फॉर्म को एक के रूप में देखा जा सकता है {{math|'''H'''}}-मूल्यवान रूप पर {{math|'''C'''<sup>2''n''</sup>}}.<ref>{{harvnb|Goodman|Wallach|2009}} Exercise 12 Chapter 1.</ref> प्रतिस्थापन करें {{math|''x'' → ''w''<sub>1</sub> + ''iw''<sub>2</sub>}} और {{math|''y'' → ''z''<sub>1</sub> + ''iz''<sub>2</sub>}} प्रपत्र के लिए अभिव्यक्ति में। तब
-:<math>\varphi(x, y) = \overline{w}_2 I_n z_1 - \overline{w}_1 I_n z_2 + \mathbf{j}(w_1 I_n z_1 + w_2 I_n z_2) = \overline{\varphi_1(w, z)} + \mathbf{j}\varphi_2(w, z).</math> फार्म {{math|''φ''<sub>1</sub>}} हस्ताक्षर का हर्मिटियन है (जबकि बाईं ओर का पहला रूप तिरछा-हर्मिटियन है)। {{math|(''n'', ''n'')}}. हस्ताक्षर से आधार के परिवर्तन से स्पष्ट किया जाता है {{math|('''e''', '''f''')}} को {{math|(('''e''' + ''i'''''f''')/{{sqrt|2}}, ('''e''' − ''i'''''f''')/{{sqrt|2}})}} कहाँ {{math|'''e''', '''f'''}} प्रथम और अंतिम हैं {{math|''n''}} आधार वैक्टर क्रमशः। दूसरा रूप, {{math|''φ''<sub>2</sub>}} सममित सकारात्मक निश्चित है। इस प्रकार, कारक के कारण {{math|'''j'''}}, {{math|'''O'''<sup>∗</sup>(2''n'')}} दोनों को अलग-अलग संरक्षित करता है और यह निष्कर्ष निकाला जा सकता है कि
+:<math>\varphi(x, y) = \overline{w}_2 I_n z_1 - \overline{w}_1 I_n z_2 + \mathbf{j}(w_1 I_n z_1 + w_2 I_n z_2) = \overline{\varphi_1(w, z)} + \mathbf{j}\varphi_2(w, z).</math> फार्म {{math|''φ''<sub>1</sub>}} हस्ताक्षर का हर्मिटियन है (जबकि बाईं ओर का पहला रूप तिरछा-हर्मिटियन है)। {{math|(''n'', ''n'')}}. हस्ताक्षर से आधार के परिवर्तन से स्पष्ट किया जाता है {{math|('''e''', '''f''')}} को {{math|(('''e''' + ''i'''''f''')/{{sqrt|2}}, ('''e''' − ''i'''''f''')/{{sqrt|2}})}} जहाँ {{math|'''e''', '''f'''}} प्रथम और अंतिम हैं {{math|''n''}} आधार वैक्टर क्रमशः। दूसरा रूप, {{math|''φ''<sub>2</sub>}} सममित सकारात्मक निश्चित है। इस प्रकार, कारक के कारण {{math|'''j'''}}, {{math|'''O'''<sup>∗</sup>(2''n'')}} दोनों को अलग-अलग संरक्षित करता है और यह निष्कर्ष निकाला जा सकता है कि
 :<math>\mathrm{O}^*(2n) = \mathrm{O}(2n, \mathbb{C}) \cap \mathrm{U}\left(\mathbb{C}^{2n}, \varphi_1\right),</math>
 और अंकन ओ समझाया गया है।
@@ Line 420: / Line 429: @@
 == सामान्य क्षेत्रों या बीजगणित पर मौलिक समूह ==
-मौलिक समूह, अधिक व्यापक रूप से बीजगणित में माने जाते हैं, विशेष रूप से दिलचस्प [[मैट्रिक्स समूह]] प्रदान करते हैं। जब मैट्रिक्स समूह के गुणांकों का क्षेत्र (गणित) F या तो वास्तविक संख्या या सम्मिश्र संख्या है, तो ये समूह केवल मौलिक लाई समूह होते हैं। जब जमीनी क्षेत्र एक [[परिमित क्षेत्र]] होता है, तो मौलिक समूह लाई प्रकार के समूह होते हैं। ये समूह परिमित सरल समूहों के वर्गीकरण में महत्वपूर्ण भूमिका निभाते हैं। साथ ही, कोई मौलिक समूहों को एफ पर एकात्मक सहयोगी बीजगणित आर पर विचार कर सकता है; जहाँ R = quaternion|'H' (वास्तविकता पर एक बीजगणित) एक महत्वपूर्ण स्थिति का प्रतिनिधित्व करता है। व्यापकता के लिए लेख में R से ऊपर के समूहों का उल्लेख किया जाएगा, जहाँ R स्वयं ग्राउंड फ़ील्ड F हो सकता है।
+मौलिक समूह, अधिक व्यापक रूप से बीजगणित में माने जाते हैं, विशेष रूप से दिलचस्प [[मैट्रिक्स समूह|आव्यूह समूह]] प्रदान करते हैं। जब आव्यूह समूह के गुणांकों का क्षेत्र (गणित) F या तो वास्तविक संख्या या सम्मिश्र संख्या है, तो ये समूह केवल मौलिक लाई समूह होते हैं। जब जमीनी क्षेत्र एक [[परिमित क्षेत्र]] होता है, तो मौलिक समूह लाई प्रकार के समूह होते हैं। ये समूह परिमित सरल समूहों के वर्गीकरण में महत्वपूर्ण भूमिका निभाते हैं। साथ ही, कोई मौलिक समूहों को एफ पर एकात्मक सहयोगी बीजगणित आर पर विचार कर सकता है; जहाँ R = quaternion|'H' (वास्तविकता पर एक बीजगणित) एक महत्वपूर्ण स्थिति का प्रतिनिधित्व करता है। व्यापकता के लिए लेख में R से ऊपर के समूहों का उल्लेख किया जाएगा, जहाँ R स्वयं ग्राउंड क्षेत्र F हो सकता है।
-उनके अमूर्त समूह सिद्धांत को ध्यान में रखते हुए, कई रेखीय समूहों में एक 'विशेष' उपसमूह होता है, जिसमें आम तौर पर ग्राउंड फील्ड पर निर्धारक 1 के तत्व शामिल होते हैं, और उनमें से अधिकतर 'प्रक्षेपी' भागफल से जुड़े होते हैं, जो समूह के केंद्र द्वारा भागफल होते हैं। . विशेषता 2 एस में ऑर्थोगोनल समूहों के लिए एक अलग अर्थ है।
+उनके अमूर्त समूह सिद्धांत को ध्यान में रखते हुए, कई रेखीय समूहों में एक 'विशेष' उपसमूह होता है, जिसमें आम तौर पर ग्राउंड फील्ड पर निर्धारक 1 के तत्व सम्मिलित होते हैं, और उनमें से अधिकतर 'प्रक्षेपी' भागफल से जुड़े होते हैं, जो समूह के केंद्र द्वारा भागफल होते हैं। . विशेषता 2 एस में ऑर्थोगोनल समूहों के लिए एक अलग अर्थ है।
 समूह के नाम के सामने 'सामान्य' शब्द का सामान्यतः मतलब होता है कि समूह को स्थिर छोड़ने के बजाय किसी प्रकार के रूप को स्थिरांक से गुणा करने की अनुमति है। सबस्क्रिप्ट एन सामान्यतः [[मॉड्यूल (बीजगणित)]] के आयाम को इंगित करता है जिस पर समूह कार्य कर रहा है; यदि R = F है तो यह एक सदिश स्थान है। कैविएट: यह संकेतन Dynkin आरेखों के n के साथ कुछ हद तक टकराता है, जो रैंक है।
@@ Line 428: / Line 437: @@
 === सामान्य और विशेष रैखिक समूह ===
-सामान्य रैखिक समूह जीएल<sub>''n''</sub>(आर) आर के सभी आर-रैखिक ऑटोमोर्फिज्म का समूह है<sup>एन</sup>. एक उपसमूह है: विशेष रैखिक समूह एसएल<sub>''n''</sub>(आर), और उनके भागफल: [[प्रक्षेपी सामान्य रैखिक समूह]] पीजीएल<sub>''n''</sub>(र) = गल<sub>''n''</sub>(आर) / जेड (जीएल<sub>''n''</sub>(आर)) और [[प्रक्षेपी विशेष रैखिक समूह]] पीएसएल<sub>''n''</sub>(आर) = एसएल<sub>''n''</sub>(आर) / जेड (एसएल<sub>''n''</sub>(आर))। प्रोजेक्टिव स्पेशल लीनियर ग्रुप PSL<sub>''n''</sub>(एफ) एक फ़ील्ड पर एफ एन ≥ 2 के लिए सरल है, दो मामलों को छोड़कर जब एन = 2 और फ़ील्ड में आदेश है{{clarify|date=February 2014}} 2 या 3।
+सामान्य रैखिक समूह जीएल<sub>''n''</sub>(आर) आर के सभी आर-रैखिक ऑटोमोर्फिज्म का समूह है<sup>एन</sup>. एक उपसमूह है: विशेष रैखिक समूह एसएल<sub>''n''</sub>(आर), और उनके भागफल: [[प्रक्षेपी सामान्य रैखिक समूह]] पीजीएल<sub>''n''</sub>(र) = गल<sub>''n''</sub>(आर) / जेड (जीएल<sub>''n''</sub>(आर)) और [[प्रक्षेपी विशेष रैखिक समूह]] पीएसएल<sub>''n''</sub>(आर) = एसएल<sub>''n''</sub>(आर) / जेड (एसएल<sub>''n''</sub>(आर))। प्रोजेक्टिव स्पेशल लीनियर ग्रुप PSL<sub>''n''</sub>(एफ) एक क्षेत्र पर एफ एन ≥ 2 के लिए सरल है, दो स्थिति को छोड़कर जब एन = 2 और क्षेत्र में आदेश है{{clarify|date=February 2014}} 2 या 3।
 === [[एकात्मक समूह]] ===
@@ Line 436: / Line 445: @@
 === सहानुभूतिपूर्ण समूह ===
-सहानुभूति समूह सपा<sub>2''n''</sub>(आर) एक मॉड्यूल पर [[तिरछा सममित रूप]] रखता है। इसका एक भागफल है, [[प्रक्षेपी सहानुभूतिपूर्ण समूह]] PSP<sub>2''n''</sub>(आर)। सामान्य सहानुभूति समूह जीएसपी<sub>2''n''</sub>(आर) कुछ उलटा स्केलर द्वारा एक तिरछा सममित रूप को गुणा करने वाले मॉड्यूल के ऑटोमोर्फिज्म होते हैं। प्रक्षेपी सहानुभूतिपूर्ण समूह PSP<sub>2''n''</sub>(एफ<sub>''q''</sub>) पीएसपी के मामलों को छोड़कर, एक परिमित क्षेत्र पर एन ≥ 1 के लिए सरल है<sub>2</sub> दो और तीन तत्वों के क्षेत्र में।
+सहानुभूति समूह सपा<sub>2''n''</sub>(आर) एक मॉड्यूल पर [[तिरछा सममित रूप]] रखता है। इसका एक भागफल है, [[प्रक्षेपी सहानुभूतिपूर्ण समूह]] PSP<sub>2''n''</sub>(आर)। सामान्य सहानुभूति समूह जीएसपी<sub>2''n''</sub>(आर) कुछ उलटा स्केलर द्वारा एक तिरछा सममित रूप को गुणा करने वाले मॉड्यूल के ऑटोमोर्फिज्म होते हैं। प्रक्षेपी सहानुभूतिपूर्ण समूह PSP<sub>2''n''</sub>(एफ<sub>''q''</sub>) पीएसपी के स्थिति को छोड़कर, एक परिमित क्षेत्र पर एन ≥ 1 के लिए सरल है<sub>2</sub> दो और तीन तत्वों के क्षेत्र में।
 ===[[ऑर्थोगोनल समूह]] ===

Anonymous

Search

चिरसम्मत समूह: Difference between revisions

Revision as of 12:22, 31 May 2023

मौलिक समूह

बिलिनियर और सेस्क्विलिनियर फॉर्म

सममित, तिरछा-सममित, हर्मिटियन और तिरछा-हर्मिटियन रूप

ऑटोमोर्फिज्म समूह

ऑट (φ) - ऑटोमोर्फिज्म समूह

बिलिनियर केस

असली मामला

O(p, q) और O(n) - ऑर्थोगोनल समूह

Sp(m, R) - वास्तविक सहानुभूतिपूर्ण समूह

जटिल मामला

हे (एन, सी) - जटिल ओर्थोगोनल समूह

Sp(एम, सी) - जटिल सहानुभूतिपूर्ण समूह

सेस्क्विलिनियर केस

जटिल मामला

यू (पी, क्यू) और यू (एन) - एकात्मक समूह

चतुर्धातुक मामला

जीएल (एन, एच) और एसएल (एन, एच)

Sp(p, q) - चतुष्कोणीय एकात्मक समूह

द∗(2n) = O(n, H)- क्वाटरनियोनिक ऑर्थोगोनल ग्रुप

सामान्य क्षेत्रों या बीजगणित पर मौलिक समूह

सामान्य और विशेष रैखिक समूह

एकात्मक समूह

सहानुभूतिपूर्ण समूह

ऑर्थोगोनल समूह

सांकेतिक परंपराएं

असाधारण झूठ समूहों के साथ तुलना

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories

द^∗(2n) = O(n, H)- क्वाटरनियोनिक ऑर्थोगोनल ग्रुप