सजातीय समूह: Difference between revisions

Revision as of 14:35, 6 May 2023

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

यह एक लाइ समूह है यदि $K$ वास्तविक या जटिल क्षेत्र या चतुष्कोण है।

सामान्य रैखिक समूह से संबंध

सामान्य रेखीय समूह से निर्माण

ठोस रूप से, एक सदिश स्थान $V$ दिया गया है, इसमें एक अंतर्निहित संबंध स्थान $A$ है, जो मूल को "भूल" कर प्राप्त किया गया है, जिसमें V अनुवाद द्वारा अभिनय करता है, और $A$ के सजातीय समूह को $GL(V)$ द्वारा $V$ के अर्ध-प्रत्यक्ष उत्पाद के रूप में ठोस रूप से वर्णित किया जा सकता है। V के सामान्य रैखिक समूह:

\operatorname {Aff} (V)=V\rtimes \operatorname {GL} (V)

$V$ पर $GL(V)$ की क्रिया प्राकृतिक है (रैखिक परिवर्तन स्वसमाकृतिकता हैं), इसलिए यह एक अर्ध-प्रत्यक्ष उत्पाद को परिभाषित करता है।

आव्यूह के संदर्भ में, कोई लिखता है:

\operatorname {Aff} (n,K)=K^{n}\rtimes \operatorname {GL} (n,K)

जहां $K n$ पर $GL(n, K)$ की प्राकृतिक क्रिया सदिश का आव्यूह गुणन है।

एक बिंदु का स्थिरक

एक सजातीय स्थल $A$ के सजातीय समूह को देखते हुए,एक बिंदु $p$ का स्थिरक समान आयाम के सामान्य रैखिक समूह के लिए समरूपी है इसलिए $Aff(2, R)$ में एक बिंदु का स्थिरक $GL(2, R)$ के लिए समरूपी है। औपचारिक रूप से, यह सदिश स्थान $(A, p)$ का सामान्य रैखिक समूह है : याद रखें कि यदि कोई एक बिंदु को ठीक करता है, तो एक सजातीय स्थान एक सदिश स्थान बन जाता है।

ये सभी उपसमूह संयुग्मी हैं, जहाँ से $p$ को $q$ अनुवाद द्वारा संयुग्मन दिया जाता है (जो विशिष्ट रूप से परिभाषित है), हालांकि, कोई विशेष उपसमूह एक प्राकृतिक विकल्प नहीं है, क्योंकि कोई बिंदु विशेष नहीं है - यह अनुप्रस्थ उपसमूह के कई विकल्पों से मेल खाता है, या निम्नलिखित लघु सटीक अनुक्रम का विभाजन से मेल खाता है

1\to V\to V\rtimes \operatorname {GL} (V)\to \operatorname {GL} (V)\to 1\,

इस स्तिथि में कि सजातीय समूह का निर्माण एक सदिश स्थान से प्रारम्भ करके किया गया था, वह उपसमूह जो उद्य (सदिश स्थान का) को स्थिर करता है, $GL(V)$ मूल है।

आव्यूह प्रतिनिधित्व

$GL(V)$ द्वारा $V$ के अर्ध-प्रत्यक्ष उत्पाद के रूप में सजातीय समूह का प्रतिनिधित्व किया जाता है, फिर अर्ध प्रत्यक्ष उत्पाद और समूह समरूपता, तत्व $(v, M)$ जोड़े जाते हैं, जहाँ $v$ में एक सदिश है $V$ और $M$ में एक रैखिक परिवर्तन $GL(V)$ है, और गुणन द्वारा निम्न दिया जाता है

(v,M)\cdot (w,N)=(v+Mw,MN)\,.

इसे $(n + 1) \times (n + 1)$ विभाग आव्यूह के रूप में दर्शाया जा सकता है

\left({\begin{array}{c|c}M&v\\\hline 0&1\end{array}}\right)

जहाँ M, K पर एक n × n आव्यूह है, v एक n × 1 स्तंभ सदिश है, 0 शून्य की 1 × n पंक्ति है, और 1 1 × 1 सर्वसमिका विभाग आव्यूह है।

औपचारिक रूप से, $Aff(V)$ के एक उपसमूह $GL(V \oplus K)$ के लिए स्वाभाविक रूप से समरूपी है, $V$ के साथ सजातीय तल के रूप में ${(v, 1) | v \in V}$ सन्निहित है, अर्थात् इस सजातीय तल का स्थिरक; उपरोक्त आव्यूह निरूपण इस (स्थानांतरण) की प्राप्ति है, इसके साथ $n \times n$ और $1 \times 1$ ) प्रत्यक्ष योग अपघटन के अनुरूप विभाग $V \oplus K$ है।

एक आव्यूह समानता प्रतिनिधित्व कोई भी $(n + 1) \times (n + 1)$ आव्यूह है जिसमें प्रत्येक पंक्ति में प्रविष्टियों का योग 1 होता है। ^[1] उपरोक्त प्रकार से इस तरह से गुजरने के लिए समानता P $(n + 1) \times (n + 1)$ तत्समक आव्यूह है जिसमें नीचे की पंक्ति को सभी की एक पंक्ति से बदल दिया गया है।

आव्यूह के इन दो वर्गों में से प्रत्येक आव्यूह गुणन के अंतर्गत बंद है।

सबसे सरल प्रतिमान अच्छी तरह से स्तिथि $n = 1$ हो सकता है, यानी ऊपरी त्रिकोणीय 2 × 2 आव्यूह एक आयाम में सजातीय समूह का प्रतिनिधित्व करते हैं। यह एक दो-पैरामीटर गैर-अबेलियन समूह|गैर-एबेलियन लाइ समूह है, इसलिए केवल दो जनरेटर (लाई बीजगणित तत्व) के साथ, $A$ और $B$ , ऐसा है कि $[A, B] = B$ , जहाँ

A=\left({\begin{array}{cc}1&0\\0&0\end{array}}\right),\qquad B=\left({\begin{array}{cc}0&1\\0&0\end{array}}\right)\,,

ताकि

e^{aA+bB}=\left({\begin{array}{cc}e^{a}&{\tfrac {b}{a}}(e^{a}-1)\\0&1\end{array}}\right)\,.

की चरित्र तालिका $Aff(F p)$

$Aff(F p)$ का आदेश है $p (p - 1)$ . तब से

{\begin{pmatrix}c&d\\0&1\end{pmatrix}}{\begin{pmatrix}a&b\\0&1\end{pmatrix}}{\begin{pmatrix}c&d\\0&1\end{pmatrix}}^{-1}={\begin{pmatrix}a&(1-a)d+bc\\0&1\end{pmatrix}}\,,

हम जानते हैं $Aff(F p)$ है $p$ संयुग्मन वर्ग, अर्थात्

{\begin{aligned}C_{id}&=\left\{{\begin{pmatrix}1&0\\0&1\end{pmatrix}}\right\}\,,\\[6pt]C_{1}&=\left\{{\begin{pmatrix}1&b\\0&1\end{pmatrix}}{\Bigg |}b\in \mathbf {F} _{p}^{*}\right\}\,,\\[6pt]{\Bigg \{}C_{a}&=\left\{{\begin{pmatrix}a&b\\0&1\end{pmatrix}}{\Bigg |}b\in \mathbf {F} _{p}\right\}{\Bigg |}a\in \mathbf {F} _{p}\setminus \{0,1\}{\Bigg \}}\,.\end{aligned}}

तब हम जानते हैं $Aff(F p)$ है $p$ अलघुकरणीय अभ्यावेदन। उपरोक्त पैराग्राफ द्वारा (§ Matrix representation), वहां है $p - 1$ एक आयामी अभ्यावेदन, समरूपता द्वारा तय किया गया

\rho _{k}:\operatorname {Aff} (\mathbf {F} _{p})\to \mathbb {C} ^{*}

के लिए $k = 1, 2,\dots p - 1$ , जहाँ

\rho _{k}{\begin{pmatrix}a&b\\0&1\end{pmatrix}}=\exp \left({\frac {2ikj\pi }{p-1}}\right)

और $i 2 = -1$ , $a = g j$ , $g$ समूह का जनरेटर है $F * p$ . फिर के क्रम से तुलना करें $F p$ , अपने पास

p(p-1)=p-1+\chi _{p}^{2}\,,

इस तरह $χ p = p - 1$ अंतिम अलघुकरणीय प्रतिनिधित्व का आयाम है। अंत में अलघुकरणीय अभ्यावेदन की ओर्थोगोनैलिटी का उपयोग करके, हम वर्ण तालिका को पूरा कर सकते हैं $Aff(F p)$ :

{\begin{array}{c|cccccc}&{\color {Blue}C_{id}}&{\color {Blue}C_{1}}&{\color {Blue}C_{g}}&{\color {Blue}C_{g^{2}}}&{\color {Gray}\dots }&{\color {Blue}C_{g^{p-2}}}\\\hline {\color {Blue}\chi _{1}}&{\color {Gray}1}&{\color {Gray}1}&{\color {Blue}e^{\frac {2\pi i}{p-1}}}&{\color {Blue}e^{\frac {4\pi i}{p-1}}}&{\color {Gray}\dots }&{\color {Blue}e^{\frac {2\pi (p-2)i}{p-1}}}\\{\color {Blue}\chi _{2}}&{\color {Gray}1}&{\color {Gray}1}&{\color {Blue}e^{\frac {4\pi i}{p-1}}}&{\color {Blue}e^{\frac {8\pi i}{p-1}}}&{\color {Gray}\dots }&{\color {Blue}e^{\frac {4\pi (p-2)i}{p-1}}}\\{\color {Blue}\chi _{3}}&{\color {Gray}1}&{\color {Gray}1}&{\color {Blue}e^{\frac {6\pi i}{p-1}}}&{\color {Blue}e^{\frac {12\pi i}{p-1}}}&{\color {Gray}\dots }&{\color {Blue}e^{\frac {6\pi (p-2)i}{p-1}}}\\{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }\\{\color {Blue}\chi _{p-1}}&{\color {Gray}1}&{\color {Gray}1}&{\color {Gray}1}&{\color {Gray}1}&{\color {Gray}\dots }&{\color {Gray}1}\\{\color {Blue}\chi _{p}}&{\color {Gray}p-1}&{\color {Gray}-1}&{\color {Gray}0}&{\color {Gray}0}&{\color {Gray}\dots }&{\color {Gray}0}\end{array}}

रीयल्स पर प्लानर सजातीय समूह

के तत्व $\operatorname {Aff} (2,\mathbb {R} )$ एक अच्छी तरह से चुनी गई सजातीय समन्वय प्रणाली पर एक सरल रूप ले सकता है। अधिक सटीक रूप से, वास्तविक संख्या पर एक सजातीय विमान के एक सजातीय परिवर्तन को देखते हुए, एक सजातीय समन्वय प्रणाली मौजूद होती है जिस पर इसका निम्न में से एक रूप होता है, जहां $a$ , $b$ , और $t$ वास्तविक संख्याएँ हैं (दिए गए नियम यह सुनिश्चित करते हैं कि परिवर्तन व्युत्क्रमणीय हैं, लेकिन वर्गों को विशिष्ट बनाने के लिए नहीं; उदाहरण के लिए, पहचान सभी वर्गों से संबंधित है)।

{\begin{aligned}{\text{1.}}&&(x,y)&\mapsto (x+a,y+b),\\[3pt]{\text{2.}}&&(x,y)&\mapsto (ax,by),&\qquad {\text{where }}ab\neq 0,\\[3pt]{\text{3.}}&&(x,y)&\mapsto (ax,y+b),&\qquad {\text{where }}a\neq 0,\\[3pt]{\text{4.}}&&(x,y)&\mapsto (ax+y,ay),&\qquad {\text{where }}a\neq 0,\\[3pt]{\text{5.}}&&(x,y)&\mapsto (x+y,y+a)\\[3pt]{\text{6.}}&&(x,y)&\mapsto (a(x\cos t+y\sin t),a(-x\sin t+y\cos t)),&\qquad {\text{where }}a\neq 0.\end{aligned}}

केस 1 अनुवाद (गणित) से मेल खाता है।

केस 2 स्केलिंग (ज्यामिति) से मेल खाता है जो दो अलग-अलग दिशाओं में भिन्न हो सकता है। यूक्लिडियन विमान के साथ काम करते समय इन दिशाओं को लंबवत नहीं होना चाहिए, क्योंकि निर्देशांक अक्षों को लंबवत नहीं होना चाहिए।

केस 3 एक दिशा में स्केलिंग और दूसरे में अनुवाद से मेल खाता है।

प्रकरण 4 एक फैलाव के साथ संयुक्त कतरनी मानचित्रण से मेल खाती है।

प्रकरण 5 एक फैलाव के साथ संयुक्त कतरनी मानचित्रण से मेल खाती है।

केस 6 समानता (ज्यामिति) से मेल खाता है जब समन्वय अक्ष लंबवत होते हैं।

बिना किसी निश्चित बिंदु (गणित) के संबंध परिवर्तन 1, 3 और 5 के मामलों से संबंधित हैं। परिवर्तन जो विमान के उन्मुखीकरण को संरक्षित नहीं करते हैं, वे स्तिथि 2 से संबंधित हैं (के साथ) $ab < 0$ ) या 3 (के साथ $a < 0$ ).

सबूत पहले टिप्पणी करके किया जा सकता है कि यदि एक सजातीय परिवर्तन का कोई निश्चित बिंदु नहीं है, तो संबंधित रैखिक मानचित्र के आव्यूह में एक के बराबर एक eigenvalue है, और फिर जॉर्डन सामान्य रूप # रीयल मैट्रिसेस का उपयोग कर रहा है।

अन्य सजातीय समूह

सामान्य स्तिथि

किसी भी उपसमूह को देखते हुए $G < GL(V)$ सामान्य रेखीय समूह का, कोई कभी-कभी निरूपित समूह का निर्माण कर सकता है $Aff(G)$ समान रूप से $Aff(G) := V ⋊ G$ .

अधिक आम तौर पर और संक्षेप में, किसी भी समूह को देखते हुए $G$ और समूह का प्रतिनिधित्व $G$ सदिश स्थान पर $V$ ,

\rho :G\to \operatorname {GL} (V)

एक मिलता है^{[note 1]} एक संबद्ध सजातीय समूह $V ⋊ ρ G$ : कोई कह सकता है कि प्राप्त किया गया सजातीय समूह एक सदिश प्रतिनिधित्व द्वारा एक समूह विस्तार है, और ऊपर के रूप में, किसी के पास कम सटीक अनुक्रम है:

1\to V\to V\rtimes _{\rho }G\to G\to 1\,.

विशेष सजातीय समूह

एक निश्चित आयतन रूप को संरक्षित करने वाले सभी व्युत्क्रमणीय सजातीय परिवर्तनों के उपसमुच्चय को विशेष सजातीय समूह कहा जाता है। यह समूह विशेष रेखीय समूह का सजातीय एनालॉग है। अर्ध-प्रत्यक्ष उत्पाद के संदर्भ में, विशेष सजातीय समूह में सभी जोड़े होते हैं $(M, v)$ साथ $M$ का निर्धारक 1, यानी, सजातीय परिवर्तन

x\mapsto Mx+v

जहाँ

M

निर्धारक 1 और का एक रैखिक परिवर्तन है

v

कोई निश्चित अनुवाद सदिश है।

प्रक्षेपी उपसमूह

प्रोजेक्टिविटी के ज्ञान और प्रक्षेपी ज्यामिति के प्रोजेक्टिव ग्रुप को मानते हुए, सजातीय ग्रुप को आसानी से निर्दिष्ट किया जा सकता है। उदाहरण के लिए, गुंटर एवाल्ड ने लिखा:^[2]

सेट

{\mathfrak {P}}

के सभी प्रक्षेप्य collineations की

P n

एक समूह है जिसे हम प्रक्षेपी समूह कह सकते हैं

P n

. अगर हम से आगे बढ़ें

P n

सजातीय आधार के लिए

A n

hyperplane घोषित करके

ω

अनंत पर एक हाइपरप्लेन होने के लिए, हम सजातीय समूह प्राप्त करते हैं

{\mathfrak {A}}

का

A n

के उपसमूह के रूप में

{\mathfrak {P}}

के सभी तत्वों से मिलकर बनता है

{\mathfrak {P}}

वह छुट्टी

ω

हल किया गया।

{\mathfrak {A}}\subset {\mathfrak {P}}

पोंकारे समूह

पोंकारे समूह लोरेंत्ज़ समूह का संबधित समूह है $O(1,3)$ :

\mathbf {R} ^{1,3}\rtimes \operatorname {O} (1,3)

सापेक्षता के सिद्धांत में यह उदाहरण बहुत महत्वपूर्ण है।

यह भी देखें

सजातीय Coxeter समूह - एक यूक्लिडियन आधार पर सजातीय समूह के कुछ असतत उपसमूह जो एक जाली (समूह) को संरक्षित करते हैं
होलोमॉर्फ (गणित)

संदर्भ

↑ Poole, David G. (November 1995). "स्टोकेस्टिक समूह". American Mathematical Monthly. 102 (9): 798–801.
↑ Ewald, Günter (1971). Geometry: An Introduction. Belmont: Wadsworth. p. 241. ISBN 9780534000349.

Lyndon, Roger (1985). "Section VI.1". Groups and Geometry. Cambridge University Press. ISBN 0-521-31694-4.

[2] Since $GL(V) < Aut(V)$ . Note that this containment is in general proper, since by "automorphisms" one means group automorphisms, i.e., they preserve the group structure on $V$ (the addition and origin), but not necessarily scalar multiplication, and these groups differ if working over $R$ .

[1] Poole, David G. (November 1995). "स्टोकेस्टिक समूह". American Mathematical Monthly. 102 (9): 798–801.

[3] Ewald, Günter (1971). Geometry: An Introduction. Belmont: Wadsworth. p. 241. ISBN 9780534000349.

[1]

[note 1]

[2]

@@ Line 1: / Line 1: @@
 {{short description|Group of all affine transformations of an affine space}}
-गणित में, एक [[क्षेत्र (गणित)]] पर किसी भी संबधित स्थान का संबंध समूह या सामान्य संबंध समूह {{mvar|K}} अंतरिक्ष से अपने आप में सभी उलटा संबंध परिवर्तनों का [[समूह (गणित)]] है।
+गणित में, एक [[क्षेत्र (गणित)]] पर किसी भी संबधित स्थान का सजातीय समूह या सामान्य सजातीय समूह {{mvar|K}} आधार से अपने आप में सभी उल्टे संबंध परिवर्तनों का [[समूह (गणित)]] है।
-यह एक [[झूठ समूह]] है अगर {{mvar|K}} वास्तविक या जटिल क्षेत्र या चतुष्कोण है।
+यह एक [[झूठ समूह|लाइ समूह]] है यदि {{mvar|K}} वास्तविक या जटिल क्षेत्र या चतुष्कोण है।
 == सामान्य रैखिक समूह से संबंध ==
 === सामान्य रेखीय समूह से निर्माण ===
-ठोस रूप से, एक सदिश स्थान दिया गया है {{mvar|V}}, इसमें एक अंतर्निहित सजातीय स्थान है {{mvar|A}} मूल को भूलकर प्राप्त किया, साथ {{mvar|V}} अनुवादों द्वारा अभिनय, और के affine समूह {{mvar|A}} के अर्धप्रत्यक्ष उत्पाद के रूप में ठोस रूप से वर्णित किया जा सकता है {{mvar|V}} द्वारा {{math|GL(''V'')}}, का [[सामान्य रैखिक समूह]] {{mvar|V}}:
+ठोस रूप से, एक सदिश स्थान {{mvar|V}} दिया गया है, इसमें एक अंतर्निहित संबंध स्थान {{mvar|A}} है, जो मूल को "भूल" कर प्राप्त किया गया है, जिसमें V अनुवाद द्वारा अभिनय करता है, और {{mvar|A}} के सजातीय समूह को {{math|GL(''V'')}} द्वारा {{mvar|V}} के अर्ध-प्रत्यक्ष उत्पाद के रूप में ठोस रूप से वर्णित किया जा सकता है। V के सामान्य रैखिक समूह:
 :<math>\operatorname{Aff}(V) = V \rtimes \operatorname{GL}(V)</math>
-की क्रिया {{math|GL(''V'')}} पर {{mvar|V}} प्राकृतिक है (रैखिक परिवर्तन ऑटोमोर्फिज्म हैं), इसलिए यह एक अर्ध-प्रत्यक्ष उत्पाद को परिभाषित करता है।
+{{mvar|V}} पर {{math|GL(''V'')}} की क्रिया प्राकृतिक है (रैखिक परिवर्तन स्वसमाकृतिकता हैं), इसलिए यह एक अर्ध-प्रत्यक्ष उत्पाद को परिभाषित करता है।
-मेट्रिसेस के संदर्भ में, कोई लिखता है:
+आव्यूह के संदर्भ में, कोई लिखता है:
 :<math>\operatorname{Aff}(n,K) = K^n \rtimes \operatorname{GL}(n,K)</math>
-जहां की स्वाभाविक क्रिया है {{math|GL(''n'', ''K'')}} पर {{mvar|K<sup>n</sup>}} सदिश का आव्यूह गुणन है।
+जहां {{mvar|K<sup>n</sup>}} पर {{math|GL(''n'', ''K'')}} की प्राकृतिक क्रिया सदिश का आव्यूह गुणन है।
-=== एक बिंदु का स्टेबलाइजर ===
+=== एक बिंदु का स्थिरक ===
-एक एफ़िन स्पेस के एफ़िन समूह को देखते हुए {{mvar|A}}, समूह क्रिया (गणित)#कक्षाएं और एक बिंदु के स्टेबलाइजर्स {{mvar|p}} समान आयाम के सामान्य रेखीय समूह के लिए आइसोमोर्फिक है (इसलिए एक बिंदु का स्टेबलाइजर {{math|Aff(2, '''R''')}} के लिए आइसोमोर्फिक है {{math|GL(2, '''R''')}}); औपचारिक रूप से, यह सदिश स्थान का सामान्य रैखिक समूह है {{math|(''A'', ''p'')}}: याद रखें कि यदि कोई एक बिंदु को ठीक करता है, तो एक सजातीय स्थान एक सदिश स्थान बन जाता है।
+एक सजातीय स्थल {{mvar|A}} के सजातीय समूह को देखते हुए,एक बिंदु {{mvar|p}} का स्थिरक समान आयाम के सामान्य रैखिक समूह के लिए समरूपी है इसलिए {{math|Aff(2, '''R''')}} में एक बिंदु का स्थिरक {{math|GL(2, '''R''')}} के लिए समरूपी है। औपचारिक रूप से, यह सदिश स्थान {{math|(''A'', ''p'')}} का सामान्य रैखिक समूह है : याद रखें कि यदि कोई एक बिंदु को ठीक करता है, तो एक सजातीय स्थान एक सदिश स्थान बन जाता है।
-ये सभी उपसमूह संयुग्मी हैं, जहाँ से अनुवाद द्वारा संयुग्मन दिया जाता है {{mvar|p}} को {{mvar|q}} (जो विशिष्ट रूप से परिभाषित है), हालांकि, कोई विशेष उपसमूह एक प्राकृतिक विकल्प नहीं है, क्योंकि कोई बिंदु विशेष नहीं है - यह अनुप्रस्थ उपसमूह के कई विकल्पों से मेल खाता है, या [[लघु सटीक अनुक्रम]] का विभाजन
+ये सभी उपसमूह संयुग्मी हैं, जहाँ से {{mvar|p}} को {{mvar|q}} अनुवाद द्वारा संयुग्मन दिया जाता है (जो विशिष्ट रूप से परिभाषित है), हालांकि, कोई विशेष उपसमूह एक प्राकृतिक विकल्प नहीं है, क्योंकि कोई बिंदु विशेष नहीं है - यह अनुप्रस्थ उपसमूह के कई विकल्पों से मेल खाता है, या निम्नलिखित [[लघु सटीक अनुक्रम]] का विभाजन से मेल खाता है
-:<math>1 \to V \to V \rtimes \operatorname{GL}(V) \to \operatorname{GL}(V) \to 1\,.</math>
+:<math>1 \to V \to V \rtimes \operatorname{GL}(V) \to \operatorname{GL}(V) \to 1\,</math>
-इस मामले में कि affine समूह का निर्माण एक सदिश स्थान से शुरू करके किया गया था, वह उपसमूह जो मूल (वेक्टर स्थान का) को स्थिर करता है, मूल है {{math|GL(''V'')}}.
+इस स्तिथि में कि सजातीय समूह का निर्माण एक सदिश स्थान से प्रारम्भ करके किया गया था, वह उपसमूह जो उद्य (सदिश स्थान का) को स्थिर करता है, {{math|GL(''V'')}} मूल है।
-== मैट्रिक्स प्रतिनिधित्व ==
+== आव्यूह प्रतिनिधित्व ==
-affine समूह का अर्धप्रत्यक्ष उत्पाद के रूप में प्रतिनिधित्व करना {{mvar|V}} द्वारा {{math|GL(''V'')}}, फिर सेमीडायरेक्ट उत्पाद#सेमीडायरेक्ट उत्पाद और समूह समरूपता, तत्व जोड़े हैं {{math|(''v'', ''M'')}}, कहाँ {{mvar|v}} में एक वेक्टर है {{mvar|V}} और {{mvar|M}} में एक रैखिक परिवर्तन है {{math|GL(''V'')}}, और गुणा द्वारा दिया जाता है
+{{math|GL(''V'')}} द्वारा {{mvar|V}} के अर्ध-प्रत्यक्ष उत्पाद के रूप में  सजातीय समूह का प्रतिनिधित्व किया जाता है, फिर अर्ध प्रत्यक्ष उत्पाद और समूह समरूपता, तत्व {{math|(''v'', ''M'')}} जोड़े जाते हैं, जहाँ {{mvar|v}} में एक सदिश है {{mvar|V}} और {{mvar|M}} में एक रैखिक परिवर्तन {{math|GL(''V'')}} है, और गुणन द्वारा निम्न दिया जाता है
 :<math>(v, M) \cdot (w, N) = (v+Mw, MN)\,.</math>
-इसे के रूप में दर्शाया जा सकता है {{math|(''n'' + 1) × (''n'' + 1)}} [[ब्लॉक मैट्रिक्स]]
+इसे {{math|(''n'' + 1) × (''n'' + 1)}} [[ब्लॉक मैट्रिक्स|विभाग आव्यूह]] के रूप में दर्शाया जा सकता है
 :<math>\left( \begin{array}{c|c} M & v\\ \hline 0 & 1 \end{array}\right) </math>
-कहाँ {{mvar|M}} एक {{math|''n'' × ''n''}} मैट्रिक्स ओवर {{mvar|K}}, {{mvar|v}} एक {{math|''n'' × 1}} कॉलम वेक्टर, 0 एक है {{math|1 × ''n''}} शून्य की पंक्ति, और 1 है {{nowrap|1 × 1}} पहचान ब्लॉक मैट्रिक्स।
+जहाँ M, K पर एक n × n आव्यूह है, v एक n × 1 स्तंभ सदिश है, 0 शून्य की 1 × n पंक्ति है, और 1 1 × 1 सर्वसमिका विभाग आव्यूह है।
-औपचारिक रूप से, {{math|Aff(''V'')}} के एक उपसमूह के लिए स्वाभाविक रूप से आइसोमोर्फिक है {{math|GL(''V'' ⊕ ''K'')}}, साथ {{mvar|V}} affine तल के रूप में सन्निहित है {{math|{(''v'', 1) {{!}} ''v'' ∈ ''V''<nowiki>}</nowiki>}}, अर्थात् इस सजातीय तल का स्टेबलाइज़र; उपरोक्त मैट्रिक्स फॉर्मूलेशन इस की प्राप्ति (स्थानांतरण) है, इसके साथ {{math|''n'' × ''n''}} और {{math|1 × 1}}) प्रत्यक्ष योग अपघटन के अनुरूप ब्लॉक {{math|''V'' ⊕ ''K''}}.
+औपचारिक रूप से, {{math|Aff(''V'')}} के एक उपसमूह {{math|GL(''V'' ⊕ ''K'')}} के लिए स्वाभाविक रूप से समरूपी है, {{mvar|V}} के साथ सजातीय तल के रूप में {{math|{(''v'', 1) {{!}} ''v'' ∈ ''V''<nowiki>}</nowiki>}} सन्निहित है, अर्थात् इस सजातीय तल का स्थिरक; उपरोक्त आव्यूह निरूपण इस (स्थानांतरण) की प्राप्ति है, इसके साथ {{math|''n'' × ''n''}} और {{math|1 × 1}}) प्रत्यक्ष योग अपघटन के अनुरूप विभाग {{math|''V'' ⊕ ''K''}} है।
-एक [[मैट्रिक्स समानता]] प्रतिनिधित्व कोई भी है {{math|(''n'' + 1) × (''n'' + 1)}} मैट्रिक्स जिसमें प्रत्येक कॉलम में प्रविष्टियों का योग 1 होता है।<ref>{{cite journal|first=David G.|last=Poole|title=स्टोकेस्टिक समूह|journal=[[American Mathematical Monthly]]|volume=102|issue=9|date=November 1995|pages=798–801}}</ref> मैट्रिक्स समानता {{mvar|P}उपरोक्त प्रकार से इस प्रकार में जाने के लिए } है {{math|(''n'' + 1) × (''n'' + 1)}} पहचान मैट्रिक्स नीचे की पंक्ति के साथ सभी की एक पंक्ति द्वारा प्रतिस्थापित किया गया।
+एक [[मैट्रिक्स समानता|आव्यूह समानता]] प्रतिनिधित्व कोई भी {{math|(''n'' + 1) × (''n'' + 1)}} आव्यूह है जिसमें प्रत्येक पंक्ति में प्रविष्टियों का योग 1 होता है। <ref>{{cite journal|first=David G.|last=Poole|title=स्टोकेस्टिक समूह|journal=[[American Mathematical Monthly]]|volume=102|issue=9|date=November 1995|pages=798–801}}</ref> उपरोक्त प्रकार से इस तरह से गुजरने के लिए समानता P {{math|(''n'' + 1) × (''n'' + 1)}} तत्समक आव्यूह है जिसमें नीचे की पंक्ति को सभी की एक पंक्ति से बदल दिया गया है।
-मैट्रिक्स के इन दो वर्गों में से प्रत्येक मैट्रिक्स गुणन के तहत बंद है।
+आव्यूह के इन दो वर्गों में से प्रत्येक आव्यूह गुणन के अंतर्गत बंद है।
-सबसे सरल प्रतिमान अच्छी तरह से मामला हो सकता है {{math|''n'' {{=}} 1}}, यानी ऊपरी त्रिकोणीय {{nowrap|2 × 2}} मैट्रिक्स एक आयाम में affine समूह का प्रतिनिधित्व करते हैं। यह एक दो-पैरामीटर [[गैर-अबेलियन समूह]]|गैर-एबेलियन लाइ समूह है, इसलिए केवल दो जनरेटर (लाई बीजगणित तत्व) के साथ, {{mvar|A}} और {{mvar|B}}, ऐसा है कि {{math|[''A'', ''B''] {{=}} ''B''}}, कहाँ
+सबसे सरल प्रतिमान अच्छी तरह से स्तिथि {{math|''n'' {{=}} 1}} हो सकता है, यानी ऊपरी त्रिकोणीय {{nowrap|2 × 2}} आव्यूह एक आयाम में सजातीय समूह का प्रतिनिधित्व करते हैं। यह एक दो-पैरामीटर [[गैर-अबेलियन समूह]]|गैर-एबेलियन लाइ समूह है, इसलिए केवल दो जनरेटर (लाई बीजगणित तत्व) के साथ, {{mvar|A}} और {{mvar|B}}, ऐसा है कि {{math|[''A'', ''B''] {{=}} ''B''}}, जहाँ
 :<math> A= \left( \begin{array}{cc} 1 & 0\\ 0 & 0 \end{array}\right), \qquad B=   \left( \begin{array}{cc} 0 & 1\\ 0 & 0 \end{array}\right)\,,</math>
 ताकि
@@ Line 56: / Line 56: @@
 :<math>\rho_k:\operatorname{Aff}(\mathbf{F}_p)\to\Complex^*</math>
-के लिए {{math|''k'' {{=}} 1, 2,… ''p'' − 1}}, कहाँ
+के लिए {{math|''k'' {{=}} 1, 2,… ''p'' − 1}}, जहाँ
 :<math>\rho_k\begin{pmatrix} a & b \\ 0 & 1 \end{pmatrix}=\exp\left(\frac{2i kj\pi}{p-1}\right)</math>
@@ Line 123: / Line 123: @@
-== रीयल्स पर प्लानर एफ़िन समूह ==
+== रीयल्स पर प्लानर सजातीय समूह ==
-के तत्व <math>\operatorname{Aff}(2,\mathbb R)</math> एक अच्छी तरह से चुनी गई [[एफ़िन समन्वय प्रणाली]] पर एक सरल रूप ले सकता है। अधिक सटीक रूप से, [[वास्तविक संख्या]] पर एक एफ़िन विमान के एक एफ़िन परिवर्तन को देखते हुए, एक एफ़िन समन्वय प्रणाली मौजूद होती है जिस पर इसका निम्न में से एक रूप होता है, जहां {{mvar|a}}, {{mvar|b}}, और {{mvar|t}} वास्तविक संख्याएँ हैं (दिए गए नियम यह सुनिश्चित करते हैं कि परिवर्तन व्युत्क्रमणीय हैं, लेकिन वर्गों को विशिष्ट बनाने के लिए नहीं; उदाहरण के लिए, पहचान सभी वर्गों से संबंधित है)।
+के तत्व <math>\operatorname{Aff}(2,\mathbb R)</math> एक अच्छी तरह से चुनी गई [[एफ़िन समन्वय प्रणाली|सजातीय समन्वय प्रणाली]] पर एक सरल रूप ले सकता है। अधिक सटीक रूप से, [[वास्तविक संख्या]] पर एक सजातीय विमान के एक सजातीय परिवर्तन को देखते हुए, एक सजातीय समन्वय प्रणाली मौजूद होती है जिस पर इसका निम्न में से एक रूप होता है, जहां {{mvar|a}}, {{mvar|b}}, और {{mvar|t}} वास्तविक संख्याएँ हैं (दिए गए नियम यह सुनिश्चित करते हैं कि परिवर्तन व्युत्क्रमणीय हैं, लेकिन वर्गों को विशिष्ट बनाने के लिए नहीं; उदाहरण के लिए, पहचान सभी वर्गों से संबंधित है)।
 :<math>\begin{align}
 \text{1.}&& (x, y) &\mapsto (x +a,y+b),\\[3pt]
@@ Line 145: / Line 145: @@
 केस 6 [[समानता (ज्यामिति)]] से मेल खाता है जब समन्वय अक्ष लंबवत होते हैं।
-बिना किसी [[निश्चित बिंदु (गणित)]] के संबंध परिवर्तन 1, 3 और 5 के मामलों से संबंधित हैं। परिवर्तन जो विमान के उन्मुखीकरण को संरक्षित नहीं करते हैं, वे मामले 2 से संबंधित हैं (के साथ) {{math|''ab'' < 0}}) या 3 (के साथ {{math|''a'' < 0}}).
+बिना किसी [[निश्चित बिंदु (गणित)]] के संबंध परिवर्तन 1, 3 और 5 के मामलों से संबंधित हैं। परिवर्तन जो विमान के उन्मुखीकरण को संरक्षित नहीं करते हैं, वे स्तिथि 2 से संबंधित हैं (के साथ) {{math|''ab'' < 0}}) या 3 (के साथ {{math|''a'' < 0}}).
-सबूत पहले टिप्पणी करके किया जा सकता है कि यदि एक एफ़िन परिवर्तन का कोई निश्चित बिंदु नहीं है, तो संबंधित रैखिक मानचित्र के मैट्रिक्स में एक के बराबर एक [[eigenvalue]] है, और फिर जॉर्डन सामान्य रूप # रीयल मैट्रिसेस का उपयोग कर रहा है।
+सबूत पहले टिप्पणी करके किया जा सकता है कि यदि एक सजातीय परिवर्तन का कोई निश्चित बिंदु नहीं है, तो संबंधित रैखिक मानचित्र के आव्यूह में एक के बराबर एक [[eigenvalue]] है, और फिर जॉर्डन सामान्य रूप # रीयल मैट्रिसेस का उपयोग कर रहा है।
-== अन्य संबंध समूह ==
+== अन्य सजातीय समूह ==
-=== सामान्य मामला ===
+=== सामान्य स्तिथि ===
 किसी भी उपसमूह को देखते हुए {{math|''G'' < GL(''V'')}} सामान्य रेखीय समूह का, कोई कभी-कभी निरूपित समूह का निर्माण कर सकता है {{math|Aff(''G'')}} समान रूप से {{math|Aff(''G'') :{{=}} ''V'' ⋊ ''G''}}.
 अधिक आम तौर पर और संक्षेप में, किसी भी समूह को देखते हुए {{mvar|G}} और समूह का प्रतिनिधित्व {{mvar|G}} सदिश स्थान पर {{mvar|V}},
 :<math>\rho : G \to \operatorname{GL}(V)</math>
-एक मिलता है<ref group="note">Since {{math|GL(''V'') < Aut(''V'')}}. Note that this containment is in general proper, since by "automorphisms" one means ''group'' automorphisms, i.e., they preserve the group structure on {{mvar|V}} (the addition and origin), but not necessarily scalar multiplication, and these groups differ if working over {{math|'''R'''}}.</ref> एक संबद्ध एफ़िन समूह {{math|''V'' ⋊<sub>''ρ''</sub> ''G''}}: कोई कह सकता है कि प्राप्त किया गया affine समूह एक सदिश प्रतिनिधित्व द्वारा एक [[समूह विस्तार]] है, और ऊपर के रूप में, किसी के पास कम सटीक अनुक्रम है:
+एक मिलता है<ref group="note">Since {{math|GL(''V'') < Aut(''V'')}}. Note that this containment is in general proper, since by "automorphisms" one means ''group'' automorphisms, i.e., they preserve the group structure on {{mvar|V}} (the addition and origin), but not necessarily scalar multiplication, and these groups differ if working over {{math|'''R'''}}.</ref> एक संबद्ध सजातीय समूह {{math|''V'' ⋊<sub>''ρ''</sub> ''G''}}: कोई कह सकता है कि प्राप्त किया गया सजातीय समूह एक सदिश प्रतिनिधित्व द्वारा एक [[समूह विस्तार]] है, और ऊपर के रूप में, किसी के पास कम सटीक अनुक्रम है:
 :<math>1 \to V \to V \rtimes_\rho G \to G \to 1\,.</math>
-=== विशेष संबंध समूह ===
+=== विशेष सजातीय समूह ===
 {{unreferenced|section|date=January 2022}}
-एक निश्चित आयतन रूप को संरक्षित करने वाले सभी व्युत्क्रमणीय affine परिवर्तनों के उपसमुच्चय को विशेष affine समूह कहा जाता है। यह समूह विशेष रेखीय समूह का एफ़िन एनालॉग है। अर्ध-प्रत्यक्ष उत्पाद के संदर्भ में, विशेष संबंध समूह में सभी जोड़े होते हैं {{math|(''M'', ''v'')}} साथ {{mvar|M}} का निर्धारक 1, यानी, affine परिवर्तन
+एक निश्चित आयतन रूप को संरक्षित करने वाले सभी व्युत्क्रमणीय सजातीय परिवर्तनों के उपसमुच्चय को विशेष सजातीय समूह कहा जाता है। यह समूह विशेष रेखीय समूह का सजातीय एनालॉग है। अर्ध-प्रत्यक्ष उत्पाद के संदर्भ में, विशेष सजातीय समूह में सभी जोड़े होते हैं {{math|(''M'', ''v'')}} साथ {{mvar|M}} का निर्धारक 1, यानी, सजातीय परिवर्तन
 <math display="block">x \mapsto Mx + v</math>
-कहाँ {{mvar|M}} निर्धारक 1 और का एक रैखिक परिवर्तन है {{mvar|v}} कोई निश्चित अनुवाद वेक्टर है।
+जहाँ {{mvar|M}} निर्धारक 1 और का एक रैखिक परिवर्तन है {{mvar|v}} कोई निश्चित अनुवाद सदिश है।
 === प्रक्षेपी उपसमूह ===
-[[प्रोजेक्टिविटी]] के ज्ञान और [[ प्रक्षेपी ज्यामिति ]] के प्रोजेक्टिव ग्रुप को मानते हुए, एफ़िन ग्रुप को आसानी से निर्दिष्ट किया जा सकता है। उदाहरण के लिए, गुंटर एवाल्ड ने लिखा:<ref>{{cite book|first=Günter|last=Ewald|date=1971|title=Geometry: An Introduction|page=241|location=Belmont|publisher=Wadsworth|ISBN=9780534000349}}</ref>
+[[प्रोजेक्टिविटी]] के ज्ञान और [[ प्रक्षेपी ज्यामिति ]] के प्रोजेक्टिव ग्रुप को मानते हुए, सजातीय ग्रुप को आसानी से निर्दिष्ट किया जा सकता है। उदाहरण के लिए, गुंटर एवाल्ड ने लिखा:<ref>{{cite book|first=Günter|last=Ewald|date=1971|title=Geometry: An Introduction|page=241|location=Belmont|publisher=Wadsworth|ISBN=9780534000349}}</ref>
-:सेट <math>\mathfrak{P}</math> के सभी प्रक्षेप्य collineations की {{math|''P''{{isup|''n''}}}} एक समूह है जिसे हम प्रक्षेपी समूह कह सकते हैं {{math|''P''{{isup|''n''}}}}. अगर हम से आगे बढ़ें {{math|''P''{{isup|''n''}}}} affine अंतरिक्ष के लिए {{math|''A''{{isup|''n''}}}} [[ hyperplane ]] घोषित करके {{mvar|ω}} अनंत पर एक हाइपरप्लेन होने के लिए, हम affine समूह प्राप्त करते हैं <math>\mathfrak{A}</math> का {{math|''A''{{isup|''n''}}}} के [[उपसमूह]] के रूप में <math>\mathfrak{P}</math> के सभी तत्वों से मिलकर बनता है <math>\mathfrak{P}</math> वह छुट्टी {{mvar|ω}} हल किया गया।
+:सेट <math>\mathfrak{P}</math> के सभी प्रक्षेप्य collineations की {{math|''P''{{isup|''n''}}}} एक समूह है जिसे हम प्रक्षेपी समूह कह सकते हैं {{math|''P''{{isup|''n''}}}}. अगर हम से आगे बढ़ें {{math|''P''{{isup|''n''}}}} सजातीय आधार के लिए {{math|''A''{{isup|''n''}}}} [[ hyperplane ]] घोषित करके {{mvar|ω}} अनंत पर एक हाइपरप्लेन होने के लिए, हम सजातीय समूह प्राप्त करते हैं <math>\mathfrak{A}</math> का {{math|''A''{{isup|''n''}}}} के [[उपसमूह]] के रूप में <math>\mathfrak{P}</math> के सभी तत्वों से मिलकर बनता है <math>\mathfrak{P}</math> वह छुट्टी {{mvar|ω}} हल किया गया।
 ::<math>\mathfrak{A} \subset \mathfrak{P}</math>
@@ Line 179: / Line 179: @@
 == यह भी देखें ==
-* Affine Coxeter समूह - एक [[यूक्लिडियन अंतरिक्ष]] पर affine समूह के कुछ असतत उपसमूह जो एक [[जाली (समूह)]] को संरक्षित करते हैं
+* सजातीय Coxeter समूह - एक [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन आधार]] पर सजातीय समूह के कुछ असतत उपसमूह जो एक [[जाली (समूह)]] को संरक्षित करते हैं
 * [[होलोमॉर्फ (गणित)]]

Anonymous

Search

सजातीय समूह: Difference between revisions

Namespaces

More

Page actions

Revision as of 14:35, 6 May 2023

Contents

सामान्य रैखिक समूह से संबंध

सामान्य रेखीय समूह से निर्माण

एक बिंदु का स्थिरक

आव्यूह प्रतिनिधित्व

की चरित्र तालिका $Aff(F p)$

रीयल्स पर प्लानर सजातीय समूह

अन्य सजातीय समूह

सामान्य स्तिथि

विशेष सजातीय समूह

प्रक्षेपी उपसमूह

पोंकारे समूह

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

सजातीय समूह: Difference between revisions

Revision as of 14:35, 6 May 2023

सामान्य रैखिक समूह से संबंध

सामान्य रेखीय समूह से निर्माण

एक बिंदु का स्थिरक

आव्यूह प्रतिनिधित्व

की चरित्र तालिका Aff(Fp)

रीयल्स पर प्लानर सजातीय समूह

अन्य सजातीय समूह

सामान्य स्तिथि

विशेष सजातीय समूह

प्रक्षेपी उपसमूह

पोंकारे समूह

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories

की चरित्र तालिका $Aff(F p)$