G2 (गणित)

गणित में ,G2 तीन सरल झूठ समूहों (एक जटिल रूप, एक कॉम्पैक्ट वास्तविक रूप और एक विभाजित वास्तविक रूप) का नाम है, उनके झूठे बीजगणित $$\mathfrak{g}_2,$$ साथ ही साथ कुछ बीजगणितीय समूह है। वे पाँच असाधारण सरल झूठ समूहों में से सबसे छोटे हैं। G2 का रैंक 2 और आयाम 14 है। इसके दो मौलिक प्रतिनिधित्व हैं, जिसमें आयाम 7 और 14 है।

G2 का संक्षिप्त रूप को ऑक्टोनियन बीजगणितक े ऑटोमोर्फिज्म समूह के रूप में वर्णित किया जा सकता है या, समतुल्य रूप से, SO(7) के उपसमूह के रूप में जो किसी भी चुने हुए विशेष वेक्टर को उसके 8-आयामी वास्तविक प्रतिनिधित्व spinor समूह प्रतिनिधित्व (एक स्पिन प्रतिनिधित्व) में  संरक्षित करता है।

इतिहास
झूठ बीजगणित $$\mathfrak{g}_2$$, सबसे छोटा असाधारण साधारण झूठ बीजगणित होने के नाते, इनमें से सबसे पहले साधारण झूठ बीजगणित को वर्गीकृत करने के प्रयास में खोजा गया था। 23 मई, 1887 को, विल्हेम हत्या  ने फ्रेडरिक एंगेल (गणितज्ञ) को एक पत्र लिखा था जिसमें कहा गया था कि उन्होंने एक 14-आयामी साधारण झूठ बीजगणित पाया है, जिसे अब हम कहते हैं $$\mathfrak{g}_2$$. 1893 में, एली कार्टन ने एक खुले सेट का वर्णन करते हुए एक नोट प्रकाशित किया । $$\mathbb{C}^5$$ एक 2-आयामी वितरण (डिफरेंशियल ज्योमेट्री) से सुसज्जित है - अर्थात्, जो स्पर्शरेखा स्थान के 2-आयामी उप-स्थानों का सुचारू रूप से भिन्न क्षेत्र है - जिसके लिए लाई बीजगणित $$\mathfrak{g}_2$$ अतिसूक्ष्म सममिति के रूप में प्रकट होता है। उसी वर्ष, उसी पत्रिका में, एंगेल ने भी इसी बात पर ध्यान दिया। बाद में यह पता चला कि 2-आयामी वितरण एक गेंद को दूसरी गेंद पर लुढ़कने से निकटता से संबंधित है। रोलिंग बॉल के विन्यास का स्थान 5-आयामी है, जिसमें 2-आयामी वितरण के साथ जो गेंद की गति का वर्णन करता है जहां यह फिसले या मुड़े बिना लुढ़कता है। 1900 में, एंगेल ने पाया कि 7-आयामी जटिल सदिश स्थान पर एक सामान्य एंटीसिमेट्रिक ट्रिलिनियर फॉर्म (या 3-फॉर्म) G2 के जटिल रूप के लिए एक समूह आइसोमोर्फिक द्वारा संरक्षित है। 1908 में कार्टन ने उल्लेख किया कि ऑक्टोनियंस का ऑटोमोर्फिज़्म समूह एक 14-आ*यामी सरल झूठ समूह है। 1914 में उन्होंने कहा कि यह G2का सघन वास्तविक रूप है। पुरानी किताबों और पत्रों में, G2 को कभी-कभी E2 द्वारा निरूपित किया जाता है।

वास्तविक रूप
इस रूट प्रणाली से जुड़े 3 सरल वास्तविक लाई बीजगणित हैं:


 * जटिल लाई बीजगणित G2 के अंतर्निहित वास्तविक लाई बीजगणित काआयाम 28 है। इसमें बाहरी ऑटोमोर्फिज्म के रूप में जटिल संयुग्मन है और यह बस जुड़ा हुआ है। इसके संबंधित समूह का अधिकतम कॉम्पैक्ट उपसमूह G2 का कॉम्पैक्ट रूप है।
 * सघन रूप का झूठ बीजगणित 14-आयामी है। संबद्ध लाई समूह का कोई बाहरी ऑटोमोर्फिज्म नहीं है, कोई केंद्र नहीं है, और यह केवल जुड़ा हुआ है और कॉम्पैक्ट है।
 * गैर-कॉम्पैक्ट (विभाजित) रूप के लाई बीजगणित का आयाम 14 है। संबद्ध सरल लाई समूह में क्रम 2 का मौलिक समूह है और इसका बाहरी ऑटोमोर्फिज्म समूह तुच्छ समूह है। इसका अधिकतम कॉम्पैक्ट उपसमूह है SU(2) × SU(2)/(−1,−1) है। इसमें एक गैर-बीजीय दोहरा आवरण है जो कि केवल जुड़ा हुआ है।

डाइकिन आरेख और कार्टन मैट्रिक्स
जी के लिए डायनकिन आरेख2 is given by.

इसका कार्टन मैट्रिक्स है:



\left [\begin{array}{rr} 2 & -3 \\ -1 & 2 \end{array}\right] $$

जी की जड़ें2
के लिए सरल जड़ों का एक सेट ऊपर कार्टन मैट्रिक्स से सीधे पढ़ा जा सकता है। ये (2,−3) और (−1, 2) हैं, हालांकि उनके द्वारा फैलाए गए पूर्णांक जाली ऊपर चित्रित नहीं हैं (स्पष्ट कारण से: विमान पर हेक्सागोनल जाली पूर्णांक वैक्टर द्वारा उत्पन्न नहीं की जा सकती)। उपरोक्त आरेख एक अलग जोड़ी जड़ों से प्राप्त किया गया है: $$\alpha = \left( \sqrt{2}, 0 \right)$$ और $\beta = \left(\sqrt{2}\cos{\frac{5\pi}{6}},\sin{\frac{5\pi}{6}}\right) = \frac{1}{2}\left(\sqrt{6},1 \right)$. शेष धनात्मक जड़ें | (सकारात्मक) जड़ें A = α + β, B = 3α + β, α + A = 2α + β, और A + B = 3α + 2β हैं। यद्यपि वे एक 2-आयामी स्थान को रैखिक रूप से फैलाते हैं, जैसा कि खींचा गया है, यह तीन-आयामी अंतरिक्ष के 2-आयामी उप-स्थान में सदिश स्थल के रूप में विचार करने के लिए अधिक सममित है। इस पहचान में α e₁−e₂, β से −e₁ + 2e₂−e₃, A से e₂−e₃ और इसी तरह से मेल खाता है। यूक्लिडियन निर्देशांक में ये वैक्टर इस प्रकार दिखते हैं: सरल जड़ों का संगत सेट है:
 * e₁−e₂ = (1,−1,0), और −e₁+2e₂−e₃ = (−1,2,−1)

नोट: α और A मिलकर Root_system#An|A₂ के लिए रूट सिस्टम समान बनाते हैं, जबकि β और B द्वारा गठित सिस्टम Root_system#An|A₂ के लिए आइसोमॉर्फिक है।

वेइल/कॉक्सेटर समूह
इसका वेइल समूह / कॉक्सेटर समूह समूह $$G = W(G_2)$$ डायहेड्रल समूह है $$D_6$$ Coxeter group#Properties 12. इसमें न्यूनतम वफादार डिग्री है $$\mu(G) = 5$$.

विशेष पवित्रता
जी2 संभावित विशेष समूहों में से एक है जो एक रिमेंनियन मीट्रिक के holonomi  समूह के रूप में प्रकट हो सकता है। जी के कई गुना2 होलोनॉमी को G2 मैनिफोल्ड भी कहा जाता है|G2-कई गुना।

बहुपद अपरिवर्तनीय
जी2 7 गैर-विनिमेय चरों में निम्नलिखित दो बहुपदों का ऑटोमोर्फिज्म समूह है।


 * $$C_1 = t^2+u^2+v^2+w^2+x^2+y^2+z^2$$
 * $$C_2 = tuv + wtx + ywu + zyt + vzw + xvy  + uxz  $$ (± क्रमपरिवर्तन)

जो ऑक्टोनियन बीजगणित से आता है। चर गैर-कम्यूटेटिव होना चाहिए अन्यथा दूसरा बहुपद समान रूप से शून्य होगा।

जेनरेटर
गुणांक ए, ..., एन के साथ 14 जेनरेटर का प्रतिनिधित्व जोड़ना मैट्रिक्स देता है:


 * $$A\lambda_1+\cdots+N\lambda_{14}=

\begin{bmatrix} 0 & C &-B & E &-D &-G &F-M \\ -C & 0 & A & F &-G+N&D-K&-E-L \\ B &-A & 0 &-N & M & L & -K \\ -E &-F & N & 0 &-A+H&-B+I&C-J\\ D &G-N &-M &A-H& 0 & J &I \\ G &K-D& -L&B-I&-J & 0 & -H \\ -F+M&E+L& K &-C+J& -I & H & 0 \end{bmatrix}$$ यह बिल्कुल समूह का झूठ बीजगणित है


 * $$G_2=\{g\in SO(7):g^*\varphi=\varphi, \varphi = \omega^{123} + \omega^{145} + \omega^{167} + \omega^{246} - \omega^{257} - \omega^{347} - \omega^{356}\}$$

प्रतिनिधित्व
वास्तविक और जटिल लाई बीजगणित और लाई समूहों के परिमित-आयामी अभ्यावेदन के वर्ण वेइल वर्ण सूत्र द्वारा दिए गए हैं। सबसे छोटे अलघुकरणीय अभ्यावेदन के आयाम हैं :


 * 1, 7, 14, 27, 64, 77 (दो बार), 182, 189, 273, 286, 378, 448, 714, 729, 748, 896, 924, 1254, 1547, 1728, 1729, 2079 (दो बार), 2261, 2926, 3003, 3289, 3542, 4096, 4914, 4928 (दो बार), 5005, 5103, 6630, 7293, 7371, 7722, 8372, 9177, 9660, 10206, 10556, 1156, 11648.

14-आयामी प्रतिनिधित्व झूठ बीजगणित का आसन्न प्रतिनिधित्व है, और 7-आयामी एक जी की क्रिया है2 काल्पनिक ऑक्टोनियंस पर।

आयाम 77, 2079, 4928, 30107, आदि के दो गैर-आइसोमॉर्फिक इर्रेड्यूबल निरूपण हैं। मौलिक प्रतिनिधित्व वे हैं जो आयाम 14 और 7 के साथ हैं (#Dynkin आरेख में दो नोड्स के अनुरूप इस क्रम में कि ट्रिपल तीर बिंदु पहले से दूसरे तक)।

जी के विभाजित वास्तविक रूप के (अनंत-आयामी) एकात्मक इरेड्यूसबल निरूपण का वर्णन किया2.

परिमित समूह
समूह जी2(q) बीजगणितीय समूह G के बिंदु हैं2 परिमित क्षेत्र F परq. इन परिमित समूहों को पहली बार लियोनार्ड यूजीन डिक्सन द्वारा 1990 में पेश किया गया था विषम क्ष और के लिए  भी क्यू के लिए। जी. का आदेश2(क्यू) है q6(q6 − 1)(q2 − 1). कब q ≠ 2, समूह सरल समूह है, और कब q = 2, इसमें उपसमूह 2 आइसोमोर्फिक के सूचकांक का एक साधारण उपसमूह है 2ए2(3 2), और ऑक्टोनियंस के अधिकतम क्रम का ऑटोमोर्फिज्म समूह है। जांको समूह जांको समूह जे1|जे1जी के एक उपसमूह के रूप में पहली बार बनाया गया था2(11). ने ट्विस्टेड री समूह  पेश किए 2जी2(क्यू) आदेश q 3(q3 + 1)(q − 1) के लिए q = 32n+1, 3 की एक विषम शक्ति।

यह भी देखें

 * कार्टन मैट्रिक्स
 * डनकिन आरेख
 * असाधारण जॉर्डन बीजगणित
 * मौलिक प्रतिनिधित्व
 * जी2-संरचना|जी2-संरचना
 * झूठ समूह
 * सात आयामी क्रॉस उत्पाद
 * सरल झूठ समूह

संदर्भ

 * See section 4.1: G2; an online HTML version of which is available at http://math.ucr.edu/home/baez/octonions/node14.html.
 * See section 4.1: G2; an online HTML version of which is available at http://math.ucr.edu/home/baez/octonions/node14.html.
 * See section 4.1: G2; an online HTML version of which is available at http://math.ucr.edu/home/baez/octonions/node14.html.


 * Leonard E. Dickson reported groups of type G2 in fields of odd characteristic.
 * Leonard E. Dickson reported groups of type G2 in fields of even characteristic.
 * Leonard E. Dickson reported groups of type G2 in fields of even characteristic.