वेइल समूह: Difference between revisions

Latest revision as of 10:05, 4 May 2023

गणित में विशेष रूप से लाई बीजगणित का सिद्धांत, मूल प्रक्रिया Φ का वेइल समूह (हरमन वेइल के नाम पर) उस रूट प्रणाली के आइसोमेट्री समूह का एक उपसमूह है। विशेष रूप से यह उपसमूह है, जो जड़ों के लिए हाइपरप्लेन ओर्थोगोनल के माध्यम से प्रतिबिंबों द्वारा उत्पन्न होता है, और जैसे कि एक परिमित प्रतिबिंब समूह है। वस्तुतः यह जानकारी प्राप्त हुई है कि अधिकांशतः परिमित प्रतिबिंब समूह वेइल समूह होते हैं।^[1] संक्षेप में वेइल समूह परिमित कॉक्सेटर समूह हैं और इनके महत्वपूर्ण उदाहरण हैं।

अर्ध-सरल झूठ समूह का वेइल ग्रुप, सेमीसिम्पल लाई बीजगणित, सेमीसिंपल लीनियर बीजगणितीय ग्रुप आदि सेमी-सिंपल लाई बीजगणित के रूट प्रणाली का वेइल ग्रुप है। अर्ध-सरल लाई समूह का वेइल समूह, सेमीसिम्पल लाई बीजगणित, सेमीसिम्पल लीनियर बीजगणितीय समूह आदि उस समूह या सेमी-सिम्पल लाई बीजगणित की रूट प्रणाली का वेइल समूह है।

परिभाषा और उदाहरण

वेइल समूह का

A_{2}

मूल तंत्र एक समबाहु त्रिभुज का सममिति समूह है।

माना कि $\Phi$ यूक्लिडियन स्पेस में एक रूट प्रणाली $V$ हो। प्रत्येक रूट के लिए $\alpha \in \Phi$ , माना कि $s_{\alpha }$ हाइपरप्लेन के लंब के $\alpha$ में प्रतिबिंब को निरूपित करें। जो स्पष्ट रूप से दिया गया है-

s_{\alpha }(v)=v-2{\frac {(v,\alpha )}{(\alpha ,\alpha )}}\alpha

,

जहाँ $(\cdot ,\cdot )$ आंतरिक उत्पाद $V$ है। सभी $s_{\alpha }$ द्वारा उत्पन्न वेइल समूह $W$ का $\Phi$ ऑर्थोगोनल समूह का उपसमूह O(V) है। रूट प्रणाली की परिभाषा के अनुसार प्रत्येक $s_{\alpha }$ , $\Phi$ को संरक्षित रखता है। जिससे यह अनुसरण करता है कि $W$ एक फाइनाइट समूह है।

$A_{2}$ रूट प्रणाली की स्थिति में, उदाहरण के लिए, रूट्स के लंबवत हाइपरप्लेन केवल रेखाएं होती हैं और वेइल समूह एक समबाहु त्रिभुज का समरूपता समूह है। जैसा कि चित्र में दिखाया गया है। एक समूह के रूप में, $W$ तीन तत्वों पर क्रमचय समूह के लिए समरूपी है। जिसे त्रिभुज के शीर्ष के रूप में माना जा सकता हैं। ध्यान दें कि इस स्थिति में $W$ रूट प्रणाली का पूर्ण सिमिट्रिक समूह नहीं है। एक 60 डिग्री का रोटेशन $\Phi$ संरक्षित करता है। किन्तु $W$ का भाग नहीं है।

हम $A_{n}$ मूल प्रणाली पर विचार कर सकते हैं। इस स्थिति में, $V$ में सभी सदिशों $\mathbb {R} ^{n+1}$ का स्थान है। जिनकी प्रविष्टियों का योग शून्य है। रूट्स में फॉर्म के वैक्टर $e_{i}-e_{j},\,i\neq j$ होते हैं। जहाँ $e_{i}$ , $i$ वें मानक आधार तत्व के लिए $\mathbb {R} ^{n+1}$ है। ऐसी रूट से जुड़ा प्रतिबिंब का परिवर्तन $V$ है। जिसे $i$ और $j$ प्रत्येक सदिश की प्रविष्टियों के परिवर्तन बाद प्राप्त किया। $A_{n}$ वेइल समूह के लिए तब क्रमचय समूह $n+1$ तत्व प्रारम्भ है।

वेइल चेंबर्स

File:Weyl chambers for A2.png

छायांकित क्षेत्र आधार

\{\alpha _{1},\alpha _{2}\}

के लिए मौलिक वेइल कक्ष है।

यदि $\Phi \subset V$ एक रूट प्रणाली है। जिससे हम हाइपरप्लेन को प्रत्येक रूट $\alpha$ के लंबवत मान सकते हैं। याद रखें कि $s_{\alpha }$ हाइपरप्लेन के विषय में प्रतिबिंब को प्रदर्शित कर सकते हैं और सभी $s_{\alpha }$ द्वारा उत्पन्न वेइल समूह $V$ के परिवर्तनों का समूह है। हाइपरप्लेन के समूह का पूरक डिस्कनेक्ट हो जाता है और प्रत्येक जुड़े घटक को वेइल कक्ष कहते हैं। यदि हम सरल रूट्स का एक विशेष समुच्चय Δ निर्धारित करते हैं। जिससे हम Δ से जुड़े मुख्य वेइल कक्ष को बिंदुओं $v\in V$ के समुच्चय के रूप में परिभाषित कर सकते हैं। ऐसा है कि सभी वेइल समूह के लिए $(\alpha ,v)>0$ निर्धारित है।

प्रतिबिंब $s_{\alpha },\,\alpha \in \Phi$ के बाद से $\Phi$ को संरक्षित करना, वे रूट्स के लंबवत हाइपरप्लेन के समूहों को भी संरक्षित करते हैं। इस प्रकार प्रत्येक वेइल समूह तत्व वेइल कक्षों को अनुमति है।

यह फीगर A2 रूट प्रणाली के स्थिति को प्रदर्शित करता है। रूट्स के लिए हाइपरप्लेन (इस स्थिति में एक आयामी) ऑर्थोगोनल को डैस्ड रेखाओं के द्वारा निर्देशित किया जाता है। छह 60-डिग्री क्षेत्र वाले वेइल कक्ष हैं और छायांकित क्षेत्र संकेतित आधार से जुड़ा हुआ मौलिक वेइल कक्ष है।

वेइल चेम्बर्स के बारे में एक मूलभूत सामान्य प्रमेय यह है कि:^[2]

प्रमेय: वेइल समूह वेइल कक्षों पर स्वतंत्र रूप से और सक्रिय रूप से कार्य करता है। इस प्रकार वेइल समूह का क्रम वेइल कक्षों की संख्या के बराबर होता है।

एक संबंधित परिणाम यह है:^[3]

प्रमेय: एक वेइल कक्ष

C

को ठीक करें। फिर सभी

v\in V

के लिए

v

की वेइल-ऑर्बिट बंद होने में बिल्कुल एक बिंदु

{\bar {C}}

का

C

होता है।

कॉक्सेटर समूह संरचना

जनरेटिंग सेट-

वेइल समूह के बारे में एक महत्वपूर्ण परिणाम यह है:^[4]

प्रमेय: यदि

\Delta

के लिए आधार

\Phi

है, तब वेइल समूह

\alpha

साथ

\Delta

में प्रतिबिंबों

s_{\alpha }

द्वारा उत्पन्न होता है।

अर्थात् प्रतिबिम्बों $s_{\alpha },\,\alpha \in \Delta ,$ से उत्पन्न समूह प्रतिबिंबों $s_{\alpha },\,\alpha \in \Phi$ द्वारा उत्पन्न समूह के समान है।

संबंध

इस बीच यदि $\alpha$ और $\beta$ $\Delta$ में हैं। फिर डायनकिन आरेख के लिए $\Phi$ आधार के सापेक्ष $\Delta$ के बारे में हमें कुछ बताता है कि कैसे $\{s_{\alpha },s_{\beta }\}$ जोड़ी व्यवहार करता है। विशेष रूप से माना कि $v$ और $v'$ डायनकिन आरेख में संगत शीर्ष हैं। तब हमारे पास निम्नलिखित परिणाम होते हैं:

यदि $v$ और $v'$ के बीच में एक बंधन नहीं है। तब $s_{\alpha }$ और $s_{\beta }$ परिवर्तित करते हैं। तब $s_{\alpha }$ और $s_{\beta }$ प्रत्येक के पास दो क्रम हैं। तब हम कह सकते हैं कि दिया गया निम्न संबंध बराबर है- $(s_{\alpha }s_{\beta })^{2}=1$
यदि $v$ और $v'$ के बीच में एक बंधन है। तब $(s_{\alpha }s_{\beta })^{3}=1$ .
यदि $v$ और $v'$ के बीच में दो बंधन हैं। तब $(s_{\alpha }s_{\beta })^{4}=1$ .
यदि $v$ और $v'$ के बीच में तीन बंधन हैं। तब $(s_{\alpha }s_{\beta })^{6}=1$ .

पूर्ववर्ती प्रमाण को सत्यापित करना कठिन नहीं है। यदि हम याद रखें कि डायनकिन आरेख हमें रूट्स की प्रत्येक जोड़ी के बीच के कोण के विषय में क्या दर्शाता है। उदाहरण के लिए यदि दो शीर्षों के बीच कोई बंधन नहीं है। तब $\alpha$ और $\beta$ ऑर्थोगोनल हैं। जिससे यह सरलता से अनुसरण करता है कि संबंधित प्रतिबिंब कम्यूट करते हैं। सामान्यतः बांड की संख्या रूट्स के बीच कोण $\theta$ को निर्धारित करती है। दो प्रतिबिंबों का उत्पाद तब कोण $2\theta$ द्वारा फैलाए गए सतह में $\alpha$ और $\beta$ द्वारा घूर्णन होता है। जैसा कि पढने वाला यह सत्यापित कर सकते हैं, जिससे उपरोक्त प्रमाण का सरलता से अनुसरण हो सके।

एक कॉक्सेटर समूह के रूप में

वेइल समूह परिमित प्रतिबिंब समूहों के उदाहरण को दर्शाते हैं क्योंकि वे प्रतिबिंबों द्वारा उत्पन्न होते हैं। एब्सट्रैक्ट समूह (एक रेखीय समूह के उपसमूह के रूप में नहीं माना जाता है) क्रमशः कॉक्सेटर समूह हैं। जो उन्हें उनके कॉक्सेटर-डाइनकिन आरेख द्वारा वर्गीकृत करने की अनुमति प्रदान करता है। एक कॉक्सेटर समूह होने का अर्थ यह है कि एक वेइल समूह में समूह की एक विशेष प्रकार की प्रस्तुति होती है। जिसमें प्रत्येक जनरेटर x_i क्रम दो का है और तब x_i²=1 के अतिरिक्त अन्य संबंध (x_ix_j)^m_ij=1 रूप के हैं। जनरेटर सरल रूट्स द्वारा दिए गए प्रतिबिंब हैं और m_ij is 2, 3, 4, या 6 है। जो इस विषय पर निर्भर करता है कि रूट्स i और j 90, 120, 135, या 150 डिग्री का कोण निर्मित करती हैं। अर्थात् क्या डायनकिन आरेख में वे असंबद्ध हैं, एक साधारण किनारे से जुड़े हुए हैं, एक डबल एज से जुड़े हुए हैं या ट्रिपल एज से जुड़ा हुआ है। इन संबंधों को हम पहले ही ऊपर बुलेट बिंदुओं में नोट कर चुके हैं। किन्तु हम कह सकते हैं कि $W$ एक कॉक्सेटर समूह है। हम जानते हैं कि वे ही $W$ में एकमात्र संबंध हैं।

इस प्रस्तुति के संदर्भ में वेइल समूहों में ब्रुहट ऑर्डर और लम्बाई का फलन है। वेइल समूह तत्व की लंबाई इन मानक जेनरेटर के संदर्भ में उस तत्व का प्रतिनिधित्व करने वाले सबसे छोटे शब्द की लंबाई है। कॉक्सेटर समूह का एक प्रमुख सबसे लंबा तत्व है। जो ब्रुहट क्रम में पहचानने के विपरीत है।

बीजगणितीय, समूह-सैद्धांतिक और ज्यामितीय सेटिंग्स में वेइल समूह

ऊपरोक्त, वेइल समूह को रूट प्रणाली के आइसोमेट्री समूह के उपसमूह के रूप में परिभाषित किया गया था। विभिन्न समूह-सैद्धांतिक और ज्यामितीय संदर्भों (लाई बीजगणित, लाइ समूह, सममित स्थान, आदि) के लिए विशिष्ट वेइल समूहों की विभिन्न परिभाषाएँ भी दी गयी हैं। वेइल समूहों को परिभाषित करने के इन प्रकारों में से प्रत्येक के लिए यह एक (सामान्यतः नॉन-ट्रिवियल) प्रमेय है कि यह इस आलेख के शीर्ष पर परिभाषा के अर्थ में एक वेइल समूह है। अर्थात् ऑब्जेक्ट से जुड़े कुछ रूट प्रणाली का वेइल समूह होते हैं। ऐसे वेइल समूह का एक ठोस अनुभूति सामान्यतः एक विकल्प पर निर्भर करता है। लाई बीजगणित के लिए यह सबलजेब्रा परीक्षण का लाई समूह के लिए अधिकतम टोरस का उदाहरण है।^[5]

कनेक्टेड कॉम्पैक्ट लाइ ग्रुप का वेइल समूह-

माना कि $K$ कनेक्टेड कॉम्पैक्ट लाइ ग्रुप हो और $T$ में एक अधिकतम टोरस $K$ हो। इसके बाद हम नॉर्मलाइज़र $T$ में $K$ का परिचय देते हैं। निरूपित $N(T)$ और निम्नलिखित रूप में परिभाषित किया गया है-

N(T)=\{x\in K|xtx^{-1}\in T,\,{\text{for all }}t\in T\}

.

निरूपित $Z(T)$ में हम $T$ में $K$ के केंद्रक को भी परिभाषित करते हैं और निम्नलिखित रूप में परिभाषित किया गया है।

Z(T)=\{x\in K|xtx^{-1}=t\,{\text{for all }}t\in T\}

.

वेइल समूह $W$ का $K$ (दिए गए अधिकतम टोरस के सापेक्ष $T$ ) है। जिसे प्रारंभ में परिभाषित किया गया है।

W=N(T)/T

.

अन्त में $Z(T)=T$ यह प्रमाणित होता है कि^[6] किस बिंदु पर वेइल समूह का एक वैकल्पिक विवरण उपस्थित है।

W=N(T)/Z(T)

.

अब कोई रूट प्रणाली $\Phi$ को परिभाषित कर सकते हैं। जो कि $(K,T)$ जोड़ी से जुड़ा हुआ है। रूट्स गैर-शून्य भार (प्रतिनिधित्व सिद्धांत) की $T$ लाई बीजगणित $K$ पर आसन्न क्रिया हैं। प्रत्येक $\alpha \in \Phi$ के लिए कोई एक तत्व $x_{\alpha }$ का $N(T)$ बना सकता है। जिसकी क्रिया निरंतर जारी है और $T$ प्रतिबिंब का रूप है।^[7] थोड़े और प्रयास के साथ यह प्रदर्शित कर सकता है कि ये प्रतिबिंब सभी $N(T)/Z(T)$ को उत्पन्न करते हैं।^[6] इस प्रकार अंत में वेइल समूह $N(T)/T$ या $N(T)/Z(T)$ के रूप में परिभाषित किया गया। जो कि रूट प्रणाली $\Phi$ के वेइल समूह के लिए आइसोमोर्फिक है।

अन्य सेटिंग्स में

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

कुछ लाई समूह G के नियमों को पूरा करने वाले ^{[note 1]} एक टोरस T < G (जो अधिकतम होने की आवश्यकता नहीं है), उस टोरस के संबंध में वेइल समूह को टोरस N = N(T) = N_G(T) के नॉर्मलाइज़र के भागफल के रूप में Z = Z(T) = Z_G(T) के केंद्रीकरण द्वारा परिभाषित किया गया है।

W(T,G):=N(T)/Z(T).\

समूह W परिमित है और Z, N में परिमित सूचकांक है। यदि T = T₀ एक अधिकतम टोरस है (इसलिए यह अपने स्वयं के केंद्रक $Z(T_{0})=T_{0}$ के बराबर है।) तब परिणामी भागफल N/Z = N/T को G का मैक्सिमल टोरस वेइल समूह कहा जाता है और W(G) के रूप में निरूपित किया जाता है। ध्यान रखें कि विशिष्ट भागफल समुच्चय अधिकतम टोरस की पसंद पर निर्भर करता है। किन्तु परिणामी समूह सभी आइसोमोर्फिक (G के एक आंतरिक ऑटोमोर्फिज्म द्वारा) होते हैं क्योंकि अधिकतम टोरी एक-दूसरे से संयुग्मित होते हैं।

यदि G कॉम्पैक्ट और जुड़ा हुआ है और T एक अधिकतम टोरस है। जिससे G का वेइल समूह अपने लाइ बीजगणित के वेइल ग्रुप के लिए आइसोमॉर्फिक है। जैसा कि ऊपर जानकारी की गई है।

उदाहरण के लिए सामान्य रैखिक समूह GL के लिए, एक अधिकतम टोरस व्युत्क्रमणीय विकर्ण आव्यूहों का उपसमूह D है। जिसका नॉर्मलाइज़र सामान्यीकृत क्रमचय मेट्रिसेस है (क्रमचय मैट्रिक्स के रूप में मैट्रिक्स, लेकिन '1' के स्थान पर किसी भी गैर-शून्य संख्या के साथ) और जिसका वेइल समूह सिमिट्रिक समूह है। इस स्थिति में भागफल मानचित्र N → N/T विभाजित होता है (क्रमपरिवर्तन मैट्रिसेस के माध्यम से), (क्रमपरिवर्तन मेट्रिसेस के माध्यम से)। इसलिए नॉर्मलाइज़र N टोरस और वेइल समूह का एक सेमी-डायरेक्ट उत्पाद है और वेइल समूह और वीइल समूह को G के उपसमूह के रूप में व्यक्त किया जा सकता है। सामान्यतः यह सदैव स्थिति नहीं होता है कि भागफल सदैव विभाजित नहीं होता है, सामान्य N सदैव W और Z का सेमी-डायरेक्ट प्रोडक्ट नहीं होता है और वेइल समूह को सदैव G के उपसमूह के रूप में रियलाइज नहीं किया जा सकता है।^[5]

ब्रुहत अपघटन

यदि B, G का एक बोरेल उपसमूह है। अर्थात् एक अधिकतम जुड़ा हुआ स्थान हल करने योग्य उपसमूह और एक अधिकतम टोरस T = T₀ को B में स्थित होने के लिए चुना जाता है। जिससे हमें ब्रुहत अपघटन प्राप्त होता है।

G=\bigcup _{w\in W}BwB

जो फ्लैग वैराइटी G/B के 'शुबर्ट कोशिकाओं' में अपघटन को उत्पन्न करता है (ग्रासमानियन देखें)।

समूह के हैसे आरेख की संरचना ज्यामितीय रूप से कई गुना (बल्कि समूह के यथार्थ और जटिल रूपों) के कोहोलॉजी से संबंधित है। जो पोंकारे द्वैत से निर्मित है। इस प्रकार वेइल समूह के बीजगणितीय गुण मैनिफोल्ड्स के सामान्य टोपोलॉजिकल गुणों के समान हैं। उदाहरण के लिए पोंकारे द्वैत आयाम k और आयाम n-k में कोशिकाओं के बीच एक युग्मन प्रदान करता है (जहाँ n कई गुना का आयाम है): निचला (0) आयामी सेल वेइल समूह के आइडेन्टिटी एलीमेंन्ट से मिलता है और दोहरी शीर्ष-आयामी कोशिका कॉक्सेटर समूह के सबसे लंबे तत्व से मिलती है।

बीजगणितीय समूहों के साथ सादृश्य

बीजगणितीय समूहों और वेइल समूहों के बीच कई समानताएँ हैं। उदाहरण के लिए सिमिट्रिक समूह के तत्वों की संख्या n! है और एक परिमित क्षेत्र पर सामान्य रैखिक समूह के तत्वों की संख्या q-फैक्टोरियल $[n]_{q}!$ से संबंधित है। इस प्रकार सिमिट्रिक समूह व्यवहार करता है। जैसे कि यह एक तत्व के साथ क्षेत्र पर एक रैखिक समूह था। यह क्षेत्र द्वारा एक तत्व के साथ औपचारिक रूप दिया गया है, जो वेइल समूहों को एक तत्व के साथ क्षेत्र पर सरल बीजगणितीय समूह का निर्माण करता है।

कोहोलॉजी

एक गैर-अबेलियन कनेक्टेड कॉम्पैक्ट लाई ग्रुप G के लिए वेइल ग्रुप W का पहला समूह कॉहोलॉजी अधिकतम टोरस T में गुणांक के साथ इसे परिभाषित करता था^{[note 2]} और यह नॉर्मलाइज़र $N=N_{G}(T),$ के बाहरी ऑटोमोर्फिज़्म समूह से संबंधित है। जैसे:^[8]

\operatorname {Out} (N)\cong H^{1}(W;T)\rtimes \operatorname {Out} (G).

समूह Out(G) के बाहरी ऑटोमोर्फिज़्म अनिवार्य रूप से डायनकिन आरेख के आरेख ऑटोमोर्फिज़्म हैं। जबकि समूह कोहोलॉजी की गणना हैमरली, मैथे और सटर 2004 में की गई है और एक परिमित प्राथमिक एबेलियन 2-समूह $(\mathbf {Z} /2)^{k}$ है। साधारण लाई समूहों के लिए इसका क्रम 1, 2, या 4 है। 0वें और दूसरे समूह के कोहोलॉजी भी नॉर्मलाइज़र से निकटता से संबंधित हैं।^[8]

यह भी देखें

अफीन वेइल समूह
सेमीसिंपल लाई बीजगणित कार्टन सबलजेब्रस और रूट प्रणाली
अधिकतम टोरस
एक सेमी-सिम्पल बीजगणित की रूट प्रणाली
हैसे आरेख

फुटनोट्स

↑ Different conditions are sufficient – most simply if G is connected and either compact, or an affine algebraic group. The definition is simpler for a semisimple (or more generally reductive) Lie group over an algebraically closed field, but a relative Weyl group can be defined for a split Lie group.
↑ W acts on T – that is how it is defined – and the group $H^{1}(W;T)$ means "with respect to this action".

उद्धरण

↑ Humphreys 1992, p. 6.
↑ Hall 2015 Propositions 8.23 and 8.27
↑ Hall 2015 Proposition 8.29
↑ Hall 2015 Propositions 8.24
↑ ^5.0 ^5.1 Popov & Fedenko 2001
↑ ^6.0 ^6.1 Hall 2015 Theorem 11.36
↑ Hall 2015 Propositions 11.35
↑ ^8.0 ^8.1 Hämmerli, Matthey & Suter 2004

संदर्भ

Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3-319-13466-6
Knapp, Anthony W. (2002), Lie Groups: Beyond an Introduction, Progress in Mathematics, vol. 140 (2nd ed.), Birkhaeuser, ISBN 978-0-8176-4259-4
Popov, V.L.; Fedenko, A.S. (2001) [1994], "Weyl group", Encyclopedia of Mathematics, EMS Press
Hämmerli, J.-F.; Matthey, M.; Suter, U. (2004), "Automorphisms of Normalizers of Maximal Tori and First Cohomology of Weyl Groups" (PDF), Journal of Lie Theory, Heldermann Verlag, 14: 583–617, Zbl 1092.22004

अग्रिम पठन

Bourbaki, Nicolas (2002), Lie Groups and Lie Algebras: Chapters 4-6, Elements of Mathematics, Springer, ISBN 978-3-540-42650-9, Zbl 0983.17001
Björner, Anders; Brenti, Francesco (2005), Combinatorics of Coxeter Groups, Graduate Texts in Mathematics, vol. 231, Springer, ISBN 978-3-540-27596-1, Zbl 1110.05001
Coxeter, H. S. M. (1934), "Discrete groups generated by reflections", Ann. of Math., 35 (3): 588–621, CiteSeerX 10.1.1.128.471, doi:10.2307/1968753, JSTOR 1968753
Coxeter, H. S. M. (1935), "The complete enumeration of finite groups of the form $r_{i}^{2}=(r_{i}r_{j})^{k_{ij}}=1$ ", J. London Math. Soc., 1, 10 (1): 21–25, doi:10.1112/jlms/s1-10.37.21
Davis, Michael W. (2007), The Geometry and Topology of Coxeter Groups (PDF), ISBN 978-0-691-13138-2, Zbl 1142.20020
Grove, Larry C.; Benson, Clark T. (1985), Finite Reflection Groups, Graduate texts in mathematics, vol. 99, Springer, ISBN 978-0-387-96082-1
Hiller, Howard (1982), Geometry of Coxeter groups, Research Notes in Mathematics, vol. 54, Pitman, ISBN 978-0-273-08517-1, Zbl 0483.57002
Howlett, Robert B. (1988), "On the Schur Multipliers of Coxeter Groups", J. London Math. Soc., 2, 38 (2): 263–276, doi:10.1112/jlms/s2-38.2.263, Zbl 0627.20019
Humphreys, James E. (1992) [1990], Reflection Groups and Coxeter Groups, Cambridge Studies in Advanced Mathematics, vol. 29, Cambridge University Press, ISBN 978-0-521-43613-7, Zbl 0725.20028
Ihara, S.; Yokonuma, Takeo (1965), "On the second cohomology groups (Schur-multipliers) of finite reflection groups" (PDF), J. Fac. Sci. Univ. Tokyo, Sect. 1, 11: 155–171, Zbl 0136.28802
Kane, Richard (2001), Reflection Groups and Invariant Theory, CMS Books in Mathematics, Springer, ISBN 978-0-387-98979-2, Zbl 0986.20038
Vinberg, E. B. (1984), "Absence of crystallographic groups of reflections in Lobachevski spaces of large dimension", Trudy Moskov. Mat. Obshch., 47
Yokonuma, Takeo (1965), "On the second cohomology groups (Schur-multipliers) of infinite discrete reflection groups", J. Fac. Sci. Univ. Tokyo, Sect. 1, 11: 173–186, hdl:2261/6049, Zbl 0136.28803

बाहरी संबंध

[8] Different conditions are sufficient – most simply if G is connected and either compact, or an affine algebraic group. The definition is simpler for a semisimple (or more generally reductive) Lie group over an algebraically closed field, but a relative Weyl group can be defined for a split Lie group.

[9] W acts on T – that is how it is defined – and the group $H^{1}(W;T)$ means "with respect to this action".

[FOOTNOTEHumphreys19926-1] Humphreys 1992, p. 6.

[2] Hall 2015 Propositions 8.23 and 8.27

[3] Hall 2015 Proposition 8.29

[4] Hall 2015 Propositions 8.24

[springer-5] 5.0 ^5.1 Popov & Fedenko 2001

[Hall_2015-6] 6.0 ^6.1 Hall 2015 Theorem 11.36

[7] Hall 2015 Propositions 11.35

[hms-10] 8.0 ^8.1 Hämmerli, Matthey & Suter 2004

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[note 1]

[note 2]

[8]

@@ Line 2: / Line 2: @@
 {{Lie groups |Semi-simple}}
-गणित में विशेष रूप से लाई बीजगणित का सिद्धांत, [[ मूल प्रक्रिया |मूल प्रक्रिया]] Φ का '''वेइल समूह''' ([[हरमन वेइल]] के नाम पर) उस रूट  प्रणाली के [[आइसोमेट्री समूह]] का एक [[उपसमूह]] है। विशेष रूप से यह उपसमूह है, जो जड़ों के लिए [[ hyperplane |हाइपरप्लेन]] [[ ओर्थोगोनल |ओर्थोगोनल]] के माध्यम से प्रतिबिंबों द्वारा उत्पन्न होता है, और जैसे कि एक [[परिमित प्रतिबिंब समूह]] है। वस्तुतः यह जानकारी प्राप्त हुई है कि अधिकांशतः परिमित प्रतिबिंब समूह '''वेइल समूह''' होते हैं।{{sfn|Humphreys|1992|p=6}} संक्षेप में '''वेइल समूह''' [[परिमित कॉक्सेटर समूह]] हैं और इनके महत्वपूर्ण उदाहरण हैं।
+गणित में विशेष रूप से लाई बीजगणित का सिद्धांत, [[ मूल प्रक्रिया |मूल प्रक्रिया]] Φ का '''वेइल समूह''' ([[हरमन वेइल]] के नाम पर) उस रूट प्रणाली के [[आइसोमेट्री समूह]] का एक [[उपसमूह]] है। विशेष रूप से यह उपसमूह है, जो जड़ों के लिए [[ hyperplane |हाइपरप्लेन]] [[ ओर्थोगोनल |ओर्थोगोनल]] के माध्यम से प्रतिबिंबों द्वारा उत्पन्न होता है, और जैसे कि एक [[परिमित प्रतिबिंब समूह]] है। वस्तुतः यह जानकारी प्राप्त हुई है कि अधिकांशतः परिमित प्रतिबिंब समूह '''वेइल समूह''' होते हैं।{{sfn|Humphreys|1992|p=6}} संक्षेप में '''वेइल समूह''' [[परिमित कॉक्सेटर समूह]] हैं और इनके महत्वपूर्ण उदाहरण हैं।
-[[अर्ध-सरल झूठ समूह]] का वेइल ग्रुप, सेमीसिम्पल लाई बीजगणित, सेमीसिंपल लीनियर बीजगणितीय ग्रुप आदि सेमी-सिंपल लाई बीजगणित के रूट  प्रणाली का वेइल ग्रुप है। [[अर्ध-सरल झूठ समूह|अर्ध-सरल लाई समूह]] का वेइल समूह, सेमीसिम्पल लाई बीजगणित, सेमीसिम्पल लीनियर बीजगणितीय समूह आदि उस समूह या सेमी-सिम्पल लाई बीजगणित की रूट प्रणाली का वेइल समूह है।
+[[अर्ध-सरल झूठ समूह]] का वेइल ग्रुप, सेमीसिम्पल लाई बीजगणित, सेमीसिंपल लीनियर बीजगणितीय ग्रुप आदि सेमी-सिंपल लाई बीजगणित के रूट प्रणाली का वेइल ग्रुप है। [[अर्ध-सरल झूठ समूह|अर्ध-सरल लाई समूह]] का वेइल समूह, सेमीसिम्पल लाई बीजगणित, सेमीसिम्पल लीनियर बीजगणितीय समूह आदि उस समूह या सेमी-सिम्पल लाई बीजगणित की रूट प्रणाली का वेइल समूह है।
 == परिभाषा और उदाहरण ==
-[[File:A2_Weyl_group_(revised).png|thumb|right|वेइल समूह का <math>A_2</math> मूल तंत्र एक समबाहु त्रिभुज का सममिति समूह है]]माना कि <math>\Phi</math> यूक्लिडियन स्पेस में एक रूट प्रणाली <math>V</math> हो। प्रत्येक रूट के लिए <math>\alpha\in\Phi</math>, माना कि <math>s_\alpha</math> हाइपरप्लेन के लंब के <math>\alpha</math> में प्रतिबिंब को निरूपित करें। जो स्पष्ट रूप से दिया गया है-
+[[File:A2_Weyl_group_(revised).png|thumb|right|वेइल समूह का <math>A_2</math> मूल तंत्र एक समबाहु त्रिभुज का सममिति समूह है।]]माना कि <math>\Phi</math> यूक्लिडियन स्पेस में एक रूट प्रणाली <math>V</math> हो। प्रत्येक रूट के लिए <math>\alpha\in\Phi</math>, माना कि <math>s_\alpha</math> हाइपरप्लेन के लंब के <math>\alpha</math> में प्रतिबिंब को निरूपित करें। जो स्पष्ट रूप से दिया गया है-
 :<math>s_\alpha(v)=v-2\frac{(v,\alpha)}{(\alpha,\alpha)}\alpha</math>,
 जहाँ <math>(\cdot,\cdot)</math> आंतरिक उत्पाद <math>V</math> है। सभी <math>s_\alpha</math> द्वारा उत्पन्न वेइल समूह <math>W</math> का <math>\Phi</math> ऑर्थोगोनल समूह का उपसमूह O(V) है। रूट प्रणाली की परिभाषा के अनुसार प्रत्येक <math>s_\alpha</math>, <math>\Phi</math> को संरक्षित रखता है। जिससे यह अनुसरण करता है कि <math>W</math> एक फाइनाइट समूह है।
-<math>A_2</math> रूट प्रणाली की स्थिति में, उदाहरण के लिए, रूट्स के लंबवत हाइपरप्लेन केवल रेखाएं होती हैं और वेइल समूह एक समबाहु त्रिभुज का समरूपता समूह है। जैसा कि चित्र में दिखाया गया है। एक समूह के रूप में, <math>W</math> तीन तत्वों पर क्रमचय समूह के लिए समरूपी है। जिसे त्रिभुज के शीर्ष के रूप में माना जा सकता हैं। ध्यान दें कि इस स्थिति में <math>W</math> रूट  प्रणाली का पूर्ण सिमिट्रिक समूह नहीं है। एक 60 डिग्री का रोटेशन <math>\Phi</math> संरक्षित करता है। किन्तु <math>W</math> का भाग नहीं है।
+<math>A_2</math> रूट प्रणाली की स्थिति में, उदाहरण के लिए, रूट्स के लंबवत हाइपरप्लेन केवल रेखाएं होती हैं और वेइल समूह एक समबाहु त्रिभुज का समरूपता समूह है। जैसा कि चित्र में दिखाया गया है। एक समूह के रूप में, <math>W</math> तीन तत्वों पर क्रमचय समूह के लिए समरूपी है। जिसे त्रिभुज के शीर्ष के रूप में माना जा सकता हैं। ध्यान दें कि इस स्थिति में <math>W</math> रूट प्रणाली का पूर्ण सिमिट्रिक समूह नहीं है। एक 60 डिग्री का रोटेशन <math>\Phi</math> संरक्षित करता है। किन्तु <math>W</math> का भाग नहीं है।
-हम <math>A_n</math> मूल प्रणाली पर विचार कर सकते हैं। इस स्थिति में, <math>V</math> में सभी सदिशों  <math>\mathbb R^{n+1}</math> का स्थान है। जिनकी प्रविष्टियों का योग शून्य है। रूट्स में फॉर्म के वैक्टर <math>e_i-e_j,\,i\neq j</math> होते हैं। जहाँ <math>e_i</math>, <math>i</math>वें मानक आधार तत्व के लिए <math>\mathbb R^{n+1}</math> है। ऐसी रूट से जुड़ा प्रतिबिंब का परिवर्तन <math>V</math> है। जिसे <math>i</math> और <math>j</math> प्रत्येक सदिश की प्रविष्टियों के परिवर्तन बाद प्राप्त किया। <math>A_n</math> वेइल समूह के लिए तब क्रमचय समूह <math>n+1</math> तत्व प्रारम्भ है।
+हम <math>A_n</math> मूल प्रणाली पर विचार कर सकते हैं। इस स्थिति में, <math>V</math> में सभी सदिशों <math>\mathbb R^{n+1}</math> का स्थान है। जिनकी प्रविष्टियों का योग शून्य है। रूट्स में फॉर्म के वैक्टर <math>e_i-e_j,\,i\neq j</math> होते हैं। जहाँ <math>e_i</math>, <math>i</math>वें मानक आधार तत्व के लिए <math>\mathbb R^{n+1}</math> है। ऐसी रूट से जुड़ा प्रतिबिंब का परिवर्तन <math>V</math> है। जिसे <math>i</math> और <math>j</math> प्रत्येक सदिश की प्रविष्टियों के परिवर्तन बाद प्राप्त किया। <math>A_n</math> वेइल समूह के लिए तब क्रमचय समूह <math>n+1</math> तत्व प्रारम्भ है।
-== वीइल चेंबर्स ==
+== वेइल चेंबर्स ==
 {{see also|कॉक्सेटर समूह एफीन कॉक्सेटर समूह}}
-[[File:Weyl_chambers_for_A2.png|thumb|right|छायांकित क्षेत्र आधार के लिए मौलिक वेइल कक्ष है <math>\{\alpha_1,\alpha_2\}</math>]]यदि <math>\Phi\subset V</math> एक रूट  प्रणाली है। जिससे हम हाइपरप्लेन को प्रत्येक रूट <math>\alpha</math> के लंबवत मान सकते हैं। याद रखें कि <math>s_\alpha</math> हाइपरप्लेन के विषय में प्रतिबिंब को  है और सभी <math>s_\alpha</math> द्वारा उत्पन्न  वेइल समूह <math>V</math> के परिवर्तनों का समूह है। हाइपरप्लेन के समूह का पूरक डिस्कनेक्ट हो जाता है और प्रत्येक जुड़े घटक को वेइल कक्ष   है। यदि हम सरल रूट्स का एक विशेष समुच्चय Δ निर्धारित करते हैं। जिससे हम Δ से जुड़े मुख्य वेइल कक्ष को बिंदुओं  <math>v\in V</math> के समुच्चय के रूप में परिभाषित कर सकते हैं। ऐसा है कि <math>(\alpha,v)>0</math> .
+[[File:Weyl_chambers_for_A2.png|thumb|right|छायांकित क्षेत्र आधार <math>\{\alpha_1,\alpha_2\}</math> के लिए मौलिक वेइल कक्ष है। ]]यदि <math>\Phi\subset V</math> एक रूट प्रणाली है। जिससे हम हाइपरप्लेन को प्रत्येक रूट <math>\alpha</math> के लंबवत मान सकते हैं। याद रखें कि <math>s_\alpha</math> हाइपरप्लेन के विषय में प्रतिबिंब को प्रदर्शित कर सकते हैं और सभी <math>s_\alpha</math> द्वारा उत्पन्न वेइल समूह <math>V</math> के परिवर्तनों का समूह है। हाइपरप्लेन के समूह का पूरक डिस्कनेक्ट हो जाता है और प्रत्येक जुड़े घटक को वेइल कक्ष कहते हैं। यदि हम सरल रूट्स का एक विशेष समुच्चय Δ निर्धारित करते हैं। जिससे हम Δ से जुड़े मुख्य वेइल कक्ष को बिंदुओं <math>v\in V</math> के समुच्चय के रूप में परिभाषित कर सकते हैं। ऐसा है कि सभी वेइल समूह के लिए <math>(\alpha,v)>0</math> निर्धारित है।
-प्रतिबिंब के बाद से <math>s_\alpha,\,\alpha\in\Phi</math> संरक्षित करना <math>\Phi</math>, वे जड़ों के लंबवत हाइपरप्लेन के सेट को भी संरक्षित करते हैं। इस प्रकार, प्रत्येक वीइल समूह तत्व वीइल कक्षों को अनुमति देता है।
+प्रतिबिंब <math>s_\alpha,\,\alpha\in\Phi</math> के बाद से <math>\Phi</math> को संरक्षित करना, वे रूट्स के लंबवत हाइपरप्लेन के समूहों को भी संरक्षित करते हैं। इस प्रकार प्रत्येक वेइल समूह तत्व वेइल कक्षों को अनुमति है।
-यह आंकड़ा A2 रूट  प्रणाली के स्थिति को दिखाता है। जड़ों के लिए हाइपरप्लेन (इस स्थिति में, एक आयामी) ऑर्थोगोनल को धराशायी रेखाओं द्वारा इंगित किया जाता है। छह 60-डिग्री क्षेत्र वीइल कक्ष हैं और छायांकित क्षेत्र संकेतित आधार से जुड़ा मौलिक वीइल कक्ष है।
+यह फीगर A2 रूट प्रणाली के स्थिति को प्रदर्शित करता है। रूट्स के लिए हाइपरप्लेन (इस स्थिति में एक आयामी) ऑर्थोगोनल को डैस्ड रेखाओं के द्वारा निर्देशित किया जाता है। छह 60-डिग्री क्षेत्र वाले वेइल कक्ष हैं और छायांकित क्षेत्र संकेतित आधार से जुड़ा हुआ मौलिक वेइल कक्ष है।
-वेइल चेम्बर्स के बारे में एक बुनियादी सामान्य प्रमेय यह है:<ref>{{harvnb|Hall|2015}} Propositions 8.23 and 8.27</ref>
+वेइल चेम्बर्स के बारे में एक मूलभूत सामान्य प्रमेय यह है कि:<ref>{{harvnb|Hall|2015}} Propositions 8.23 and 8.27</ref>
-: प्रमेय: वीइल समूह वीइल कक्षों पर स्वतंत्र रूप से और सकर्मक रूप से कार्य करता है। इस प्रकार, वेइल समूह का क्रम वीइल कक्षों की संख्या के बराबर है।
+: प्रमेय: वेइल समूह वेइल कक्षों पर स्वतंत्र रूप से और सक्रिय रूप से कार्य करता है। इस प्रकार वेइल समूह का क्रम वेइल कक्षों की संख्या के बराबर होता है।
 एक संबंधित परिणाम यह है:<ref>{{harvnb|Hall|2015}} Proposition 8.29</ref>
-: प्रमेय: एक वेइल कक्ष को ठीक करें <math>C</math>. फिर सभी के लिए <math>v\in V</math>, की वेइल-ऑर्बिट <math>v</math> बंद होने में बिल्कुल एक बिंदु होता है <math>\bar C</math> का <math>C</math>.
+: प्रमेय: एक वेइल कक्ष <math>C</math> को ठीक करें। फिर सभी <math>v\in V</math> के लिए <math>v</math> की वेइल-ऑर्बिट बंद होने में बिल्कुल एक बिंदु <math>\bar C</math> का <math>C</math> होता है।
+:
-== कॉक्सेटर समूह संरचना ==
+=== '''<u><big>कॉक्सेटर समूह संरचना</big></u>''' ===
+=== <u>जनरेटिंग सेट-</u> ===
-=== जनरेटिंग सेट ===
 वेइल समूह के बारे में एक महत्वपूर्ण परिणाम यह है:<ref>{{harvnb|Hall|2015}} Propositions 8.24</ref>
-: प्रमेय: यदि <math>\Delta</math> के लिए आधार है <math>\Phi</math>, तब वेइल समूह प्रतिबिंबों द्वारा उत्पन्न होता है <math>s_\alpha</math> साथ <math>\alpha</math> में <math>\Delta</math>.
+: प्रमेय: यदि <math>\Delta</math> के लिए आधार <math>\Phi</math> है, तब वेइल समूह <math>\alpha</math> साथ <math>\Delta</math> में प्रतिबिंबों <math>s_\alpha</math> द्वारा उत्पन्न होता है।
-अर्थात् प्रतिबिम्बों से उत्पन्न समूह <math>s_\alpha,\,\alpha\in\Delta,</math> प्रतिबिंबों द्वारा उत्पन्न समूह के समान है <math>s_\alpha,\,\alpha\in\Phi</math>.
+अर्थात् प्रतिबिम्बों <math>s_\alpha,\,\alpha\in\Delta,</math> से उत्पन्न समूह प्रतिबिंबों <math>s_\alpha,\,\alpha\in\Phi</math> द्वारा उत्पन्न समूह के समान है।
 === संबंध ===
-इस बीच यदि <math>\alpha</math> और <math>\beta</math> में हैं <math>\Delta</math>, फिर [[डायनकिन आरेख]] के लिए <math>\Phi</math> आधार के सापेक्ष <math>\Delta</math> कैसे जोड़ी के बारे में हमें कुछ बताता है <math>\{s_\alpha,s_\beta\}</math> व्यवहार करता है। विशेष रूप से, मान लीजिए <math>v</math> और <math>v'</math> डायनकिन आरेख में संगत शीर्ष हैं। तब हमारे पास निम्नलिखित परिणाम होते हैं:
+इस बीच यदि <math>\alpha</math> और <math>\beta</math> <math>\Delta</math> में हैं। फिर [[डायनकिन आरेख]] के लिए <math>\Phi</math> आधार के सापेक्ष <math>\Delta</math> के बारे में हमें कुछ बताता है कि कैसे <math>\{s_\alpha,s_\beta\}</math> जोड़ी व्यवहार करता है। विशेष रूप से माना कि <math>v</math> और <math>v'</math> डायनकिन आरेख में संगत शीर्ष हैं। तब हमारे पास निम्नलिखित परिणाम होते हैं:
-*यदि बीच में कोई बंधन नहीं है <math>v</math> और <math>v'</math>, तब <math>s_\alpha</math> और <math>s_\beta</math> आना-जाना। तब से <math>s_\alpha</math> और <math>s_\beta</math> प्रत्येक के पास क्रम दो है, यह कहने के बराबर है <math>(s_\alpha s_\beta)^2=1</math>.
+*यदि <math>v</math> और <math>v'</math> के बीच में एक बंधन नहीं है। तब <math>s_\alpha</math> और <math>s_\beta</math> परिवर्तित करते हैं। तब <math>s_\alpha</math> और <math>s_\beta</math> प्रत्येक के पास दो क्रम हैं। तब हम कह सकते हैं कि दिया गया निम्न संबंध बराबर है- <math>(s_\alpha s_\beta)^2=1</math>
-*यदि बीच में एक बंधन है <math>v</math> और <math>v'</math>, तब <math>(s_\alpha s_\beta)^3=1</math>.
+*यदि <math>v</math> और <math>v'</math> के बीच में एक बंधन है। तब <math>(s_\alpha s_\beta)^3=1</math>.
-*यदि बीच में दो बंधन हैं <math>v</math> और <math>v'</math>, तब <math>(s_\alpha s_\beta)^4=1</math>.
+*यदि <math>v</math> और <math>v'</math> के बीच में दो बंधन हैं। तब <math>(s_\alpha s_\beta)^4=1</math>.
-*यदि बीच में तीन बंधन हैं <math>v</math> और <math>v'</math>, तब <math>(s_\alpha s_\beta)^6=1</math>.
+*यदि <math>v</math> और <math>v'</math> के बीच में तीन बंधन हैं। तब <math>(s_\alpha s_\beta)^6=1</math>.
-पूर्ववर्ती दावे को सत्यापित करना मुश्किल नहीं है, यदि हम बस याद रखें कि डायनकिन आरेख हमें जड़ों की प्रत्येक जोड़ी के बीच के कोण के बारे में क्या बताता है। यदि, उदाहरण के लिए, दो शीर्षों के बीच कोई बंधन नहीं है, तब <math>\alpha</math> और <math>\beta</math> ऑर्थोगोनल हैं, जिससे यह आसानी से अनुसरण करता है कि संबंधित प्रतिबिंब कम्यूट करते हैं। अधिक सामान्यतः, बांड की संख्या कोण को निर्धारित करती है <math>\theta</math> जड़ों के बीच। दो प्रतिबिंबों का उत्पाद तब कोण द्वारा घूर्णन होता है <math>2\theta</math> द्वारा फैलाए गए विमान में <math>\alpha</math> और <math>\beta</math>, जैसा कि पाठक सत्यापित कर सकते हैं, जिससे उपरोक्त दावा आसानी से हो जाता है।
+पूर्ववर्ती प्रमाण को सत्यापित करना कठिन नहीं है। यदि हम याद रखें कि डायनकिन आरेख हमें रूट्स की प्रत्येक जोड़ी के बीच के कोण के विषय में क्या दर्शाता है। उदाहरण के लिए यदि दो शीर्षों के बीच कोई बंधन नहीं है। तब <math>\alpha</math> और <math>\beta</math> ऑर्थोगोनल हैं। जिससे यह सरलता से अनुसरण करता है कि संबंधित प्रतिबिंब कम्यूट करते हैं। सामान्यतः बांड की संख्या रूट्स के बीच कोण <math>\theta</math> को निर्धारित करती है। दो प्रतिबिंबों का उत्पाद तब कोण <math>2\theta</math> द्वारा फैलाए गए सतह में <math>\alpha</math> और <math>\beta</math> द्वारा घूर्णन होता है। जैसा कि पढने वाला यह सत्यापित कर सकते हैं, जिससे उपरोक्त प्रमाण का सरलता से अनुसरण हो सके।
 === एक कॉक्सेटर समूह के रूप में ===
-वेइल समूह परिमित प्रतिबिंब समूहों के उदाहरण हैं, क्योंकि वे प्रतिबिंबों द्वारा उत्पन्न होते हैं; अमूर्त समूह (एक रेखीय समूह के उपसमूह के रूप में नहीं माना जाता है) क्रमशः कॉक्सेटर समूह हैं, जो उन्हें उनके कॉक्सेटर-डाइनकिन आरेख द्वारा वर्गीकृत करने की अनुमति देता है। एक कॉक्सेटर समूह होने का मतलब है कि एक वेइल समूह में समूह की एक विशेष प्रकार की प्रस्तुति होती है जिसमें प्रत्येक जनरेटर x<sub>i</sub>क्रम दो का है, और x के अलावा अन्य संबंध<sub>i</sub><sup>2</sup>=1 रूप के हैं (x<sub>''i''</sub>x<sub>''j''</sub>)<sup>m<sub>''ij''</sub></सुप>=1। जनरेटर सरल जड़ों द्वारा दिए गए प्रतिबिंब हैं, और मी<sub>ij</sub>2, 3, 4, या 6 है जो इस बात पर निर्भर करता है कि जड़ें i और j 90, 120, 135, या 150 डिग्री का कोण बनाती हैं, यानी, क्या डायनकिन आरेख में वे असंबद्ध हैं, एक साधारण किनारे से जुड़े हुए हैं, एक से जुड़े हुए हैं डबल एज, या ट्रिपल एज से जुड़ा हुआ। इन संबंधों को हम पहले ही ऊपर बुलेट बिंदुओं में नोट कर चुके हैं, किन्तु कहने के लिए <math>W</math> एक कॉक्सेटर समूह है, हम कह रहे हैं कि वे ही एकमात्र संबंध हैं <math>W</math>.
+वेइल समूह परिमित प्रतिबिंब समूहों के उदाहरण को दर्शाते हैं क्योंकि वे प्रतिबिंबों द्वारा उत्पन्न होते हैं। एब्सट्रैक्ट समूह (एक रेखीय समूह के उपसमूह के रूप में नहीं माना जाता है) क्रमशः कॉक्सेटर समूह हैं। जो उन्हें उनके कॉक्सेटर-डाइनकिन आरेख द्वारा वर्गीकृत करने की अनुमति प्रदान करता है। एक कॉक्सेटर समूह होने का अर्थ यह है कि एक वेइल समूह में समूह की एक विशेष प्रकार की प्रस्तुति होती है। जिसमें प्रत्येक जनरेटर x<sub>i</sub> क्रम दो का है और तब ''x<sub>i</sub><sup>2</sup>=1'' के अतिरिक्त अन्य संबंध (''x<sub>i</sub>x<sub>j</sub>'')<sup>''m<sub>ij</sub>''</sup>=1 रूप के हैं। जनरेटर सरल रूट्स द्वारा दिए गए प्रतिबिंब हैं और ''m<sub>ij</sub>'' is 2, 3, 4, या 6 है। जो इस विषय पर निर्भर करता है कि रूट्स i और j 90, 120, 135, या 150 डिग्री का कोण निर्मित करती हैं। अर्थात् क्या डायनकिन आरेख में वे असंबद्ध हैं, एक साधारण किनारे से जुड़े हुए हैं, एक डबल एज से जुड़े हुए हैं या ट्रिपल एज से जुड़ा हुआ है। इन संबंधों को हम पहले ही ऊपर बुलेट बिंदुओं में नोट कर चुके हैं। किन्तु हम कह सकते हैं कि <math>W</math> एक कॉक्सेटर समूह है। हम जानते हैं कि वे ही <math>W</math> में एकमात्र संबंध हैं।
+इस प्रस्तुति के संदर्भ में वेइल समूहों में ब्रुहट ऑर्डर और लम्बाई का फलन है। [[वेइल समूह तत्व की लंबाई]] इन मानक जेनरेटर के संदर्भ में उस तत्व का प्रतिनिधित्व करने वाले सबसे छोटे शब्द की लंबाई है। कॉक्सेटर समूह का एक प्रमुख सबसे लंबा तत्व है। जो ब्रुहट क्रम में पहचानने के विपरीत है।
+== बीजगणितीय, समूह-सैद्धांतिक और ज्यामितीय सेटिंग्स में वेइल समूह ==
+ऊपरोक्त, वेइल समूह को रूट प्रणाली के आइसोमेट्री समूह के उपसमूह के रूप में परिभाषित किया गया था। विभिन्न समूह-सैद्धांतिक और ज्यामितीय संदर्भों (लाई बीजगणित, लाइ समूह, [[सममित स्थान]], आदि) के लिए विशिष्ट वेइल समूहों की विभिन्न परिभाषाएँ भी दी गयी हैं। वेइल समूहों को परिभाषित करने के इन प्रकारों में से प्रत्येक के लिए यह एक (सामान्यतः नॉन-ट्रिवियल) प्रमेय है कि यह इस आलेख के शीर्ष पर परिभाषा के अर्थ में एक वेइल समूह है। अर्थात् ऑब्जेक्ट से जुड़े कुछ रूट प्रणाली का वेइल समूह होते हैं। ऐसे वेइल समूह का एक ठोस अनुभूति सामान्यतः एक विकल्प पर निर्भर करता है। लाई बीजगणित के लिए [[यह सबलजेब्रा परीक्षण]] का लाई समूह के लिए [[अधिकतम टोरस]] का उदाहरण है।<ref name="springer">{{Harvnb|Popov|Fedenko|2001}}</ref>
-इस प्रस्तुति के संदर्भ में वेइल समूहों में ब्रुहट ऑर्डर और लम्बाई फ़ंक्शन है: वेइल समूह तत्व के [[वेइल समूह तत्व की लंबाई]] इन मानक जेनरेटर के संदर्भ में उस तत्व का प्रतिनिधित्व करने वाले सबसे छोटे शब्द की लंबाई है। कॉक्सेटर समूह का एक अनूठा सबसे लंबा तत्व है, जो ब्रुहट क्रम में पहचान के विपरीत है।
-== बीजगणितीय, समूह-सैद्धांतिक, और ज्यामितीय सेटिंग्स में वेइल समूह ==
-ऊपर, वेइल समूह को रूट  प्रणाली के आइसोमेट्री समूह के उपसमूह के रूप में परिभाषित किया गया था। विभिन्न समूह-सैद्धांतिक और ज्यामितीय संदर्भों (ली बीजगणित, लाइ समूह, [[सममित स्थान]], आदि) के लिए विशिष्ट वेइल समूहों की विभिन्न परिभाषाएँ भी हैं। Weyl समूहों को परिभाषित करने के इन तरीकों में से प्रत्येक के लिए, यह एक (आमतौर पर nontrivial) प्रमेय है कि यह इस आलेख के शीर्ष पर परिभाषा के अर्थ में एक Weyl समूह है, अर्थात् ऑब्जेक्ट से जुड़े कुछ रूट  प्रणाली का Weyl समूह। ऐसे वेइल समूह का एक ठोस अहसास आमतौर पर एक विकल्प पर निर्भर करता है - उदा। लाई बीजगणित के लिए [[यह सबलजेब्रा परीक्षण]] का, लाई समूह के लिए [[अधिकतम टोरस]] का।<ref name="springer">{{Harvnb|Popov|Fedenko|2001}}</ref>
+'''<u><big>कनेक्टेड कॉम्पैक्ट लाइ ग्रुप का वेइल समूह-</big></u>'''
-=== कनेक्टेड कॉम्पैक्ट लाइ ग्रुप === का वेइल समूह
+माना कि <math>K</math> कनेक्टेड कॉम्पैक्ट लाइ ग्रुप हो और <math>T</math> में एक अधिकतम टोरस <math>K</math> हो। इसके बाद हम नॉर्मलाइज़र <math>T</math> में <math>K</math> का परिचय देते हैं। निरूपित <math>N(T)</math> और निम्नलिखित रूप में परिभाषित किया गया है-
-होने देना <math>K</math> कनेक्टेड कॉम्पैक्ट लाइ ग्रुप बनें और दें <math>T</math> में एक अधिकतम टोरस हो <math>K</math>. इसके बाद हम नॉर्मलाइज़र का परिचय देते हैं <math>T</math> में <math>K</math>, निरूपित <math>N(T)</math> और के रूप में परिभाषित किया गया है
 :<math>N(T)=\{x\in K|xtx^{-1}\in T,\,\text{for all }t\in T\}</math>.
-हम के केंद्रक को भी परिभाषित करते हैं <math>T</math> में <math>K</math>, निरूपित <math>Z(T)</math> और के रूप में परिभाषित किया गया है
+निरूपित <math>Z(T)</math> में हम <math>T</math> में <math>K</math> के केंद्रक को भी परिभाषित करते हैं और निम्नलिखित रूप में परिभाषित किया गया है।
 :<math>Z(T)=\{x\in K|xtx^{-1}=t\,\text{for all }t\in T\}</math>.
-वेइल समूह <math>W</math> का <math>K</math> (दिए गए अधिकतम टोरस के सापेक्ष <math>T</math>) तो प्रारंभ में परिभाषित किया गया है
+वेइल समूह <math>W</math> का <math>K</math> (दिए गए अधिकतम टोरस के सापेक्ष <math>T</math>) है। जिसे प्रारंभ में परिभाषित किया गया है।
 :<math>W=N(T)/T</math>.
-आखिरकार, यह साबित होता है <math>Z(T)=T</math>,<ref name="Hall 2015">{{harvnb|Hall|2015}} Theorem 11.36</ref> किस बिंदु पर वेइल समूह का एक वैकल्पिक विवरण है
+अन्त में <math>Z(T)=T</math> यह प्रमाणित होता है कि<ref name="Hall 2015">{{harvnb|Hall|2015}} Theorem 11.36</ref> किस बिंदु पर वेइल समूह का एक वैकल्पिक विवरण उपस्थित है।
 :<math>W=N(T)/Z(T)</math>.
-अब, कोई रूट  प्रणाली को परिभाषित कर सकता है <math>\Phi</math> जोड़ी से जुड़ा हुआ है <math>(K,T)</math>; जड़ें गैर-शून्य [[वजन (प्रतिनिधित्व सिद्धांत)]] की आसन्न क्रिया हैं <math>T</math> झूठ बीजगणित पर <math>K</math>. प्रत्येक के लिए <math>\alpha\in\Phi</math>, कोई एक तत्व बना सकता है <math>x_\alpha</math> का <math>N(T)</math> जिसकी कार्रवाई चल रही है <math>T</math> प्रतिबिंब का रूप है।<ref>{{harvnb|Hall|2015}} Propositions 11.35</ref> थोड़े और प्रयास से कोई यह दिखा सकता है कि ये प्रतिबिंब सभी को उत्पन्न करते हैं <math>N(T)/Z(T)</math>.<ref name="Hall 2015"/>इस प्रकार, अंत में, वेइल समूह के रूप में परिभाषित किया गया <math>N(T)/T</math> या <math>N(T)/Z(T)</math> रूट  प्रणाली के वेइल समूह के लिए आइसोमोर्फिक है <math>\Phi</math>.
+अब कोई रूट प्रणाली <math>\Phi</math> को परिभाषित कर सकते हैं। जो कि <math>(K,T)</math> जोड़ी से जुड़ा हुआ है। रूट्स गैर-शून्य [[वजन (प्रतिनिधित्व सिद्धांत)|भार (प्रतिनिधित्व सिद्धांत)]] की <math>T</math> लाई बीजगणित <math>K</math> पर आसन्न क्रिया हैं। प्रत्येक <math>\alpha\in\Phi</math> के लिए कोई एक तत्व <math>x_\alpha</math> का <math>N(T)</math> बना सकता है। जिसकी क्रिया निरंतर जारी है और <math>T</math> प्रतिबिंब का रूप है।<ref>{{harvnb|Hall|2015}} Propositions 11.35</ref> थोड़े और प्रयास के साथ यह प्रदर्शित कर सकता है कि ये प्रतिबिंब सभी <math>N(T)/Z(T)</math> को उत्पन्न करते हैं।<ref name="Hall 2015" /> इस प्रकार अंत में वेइल समूह <math>N(T)/T</math> या <math>N(T)/Z(T)</math> के रूप में परिभाषित किया गया। जो कि रूट प्रणाली <math>\Phi</math> के वेइल समूह के लिए आइसोमोर्फिक है।
 === अन्य सेटिंग्स में ===
-एक जटिल अर्ध-सरल लाई बीजगणित के लिए, वेइल समूह को केवल जड़ों में प्रतिबिंबों द्वारा उत्पन्न प्रतिबिंब समूह के रूप में परिभाषित किया जाता है - मूल प्रणाली का विशिष्ट अहसास सेमीसिंपल लाई बीजगणित#कार्टन सबलजेब्रस और रूट  प्रणाली की पसंद पर निर्भर करता है।
+एक जटिल सेमी-सिम्पल लाई बीजगणित के लिए वेइल समूह को केवल रूट्स में प्रतिबिंबों द्वारा उत्पन्न प्रतिबिंब समूह के रूप में परिभाषित किया जाता है। मूल प्रणाली का विशिष्ट अनुभव सेमीसिंपल लाई बीजगणित कार्टन सबलजेब्रस और रूट प्रणाली के संबंध पर निर्भर करता है।
-कुछ शर्तों को पूरा करने वाले झूठ समूह G के लिए,<ref group="note">Different conditions are sufficient – most simply if ''G'' is connected and either compact, or an affine algebraic group. The definition is simpler for a semisimple (or more generally reductive) Lie group over an [[algebraically closed field]], but a ''relative'' Weyl group can be defined for a [[split Lie group|''split'' Lie group]].</ref> एक टोरस टी <जी (जो अधिकतम होने की आवश्यकता नहीं है), उस टोरस के संबंध में वेइल समूह को टोरस एन = एन (टी) = एन के [[नॉर्मलाइज़र]] के भागफल के रूप में परिभाषित किया गया है<sub>G</sub>(टी) टोरस जेड = जेड (टी) = जेड के केंद्रीकरण द्वारा<sub>G</sub>(टी),
+कुछ लाई समूह G के नियमों को पूरा करने वाले <ref group="note">Different conditions are sufficient – most simply if ''G'' is connected and either compact, or an affine algebraic group. The definition is simpler for a semisimple (or more generally reductive) Lie group over an [[algebraically closed field]], but a ''relative'' Weyl group can be defined for a [[split Lie group|''split'' Lie group]].</ref> एक टोरस ''T'' < ''G'' (जो अधिकतम होने की आवश्यकता नहीं है), उस टोरस के संबंध में वेइल समूह को टोरस ''N'' = ''N''(''T'') = ''N<sub>G</sub>''(''T'') के [[नॉर्मलाइज़र]] के भागफल के रूप में ''Z'' = ''Z''(''T'') = ''Z<sub>G</sub>''(''T'') के केंद्रीकरण द्वारा परिभाषित किया गया है।
 :<math>W(T,G) := N(T)/Z(T).\ </math>
-समूह W परिमित है - Z, N में एक उपसमूह के परिमित सूचकांक का है। यदि T = T है<sub>0</sub> एक अधिकतम टोरस है (इसलिए यह अपने स्वयं के केंद्रक के बराबर है: <math>Z(T_0) = T_0</math>) तब परिणामी भागफल N/Z = N/T को G का मैक्सिमल [[ टोरस्र्स ]]#Weyl समूह कहा जाता है, और W(G) को निरूपित किया जाता है। ध्यान दें कि विशिष्ट भागफल सेट अधिकतम टोरस की पसंद पर निर्भर करता है, किन्तु परिणामी समूह सभी आइसोमोर्फिक (जी के एक आंतरिक ऑटोमोर्फिज्म द्वारा) होते हैं, क्योंकि अधिकतम टोरी संयुग्मित होते हैं।
+समूह W परिमित है और Z, N में परिमित सूचकांक है। यदि ''T'' = ''T''<sub>0</sub> एक अधिकतम टोरस है (इसलिए यह अपने स्वयं के केंद्रक <math>Z(T_0) = T_0</math> के बराबर है।) तब परिणामी भागफल N/Z = N/T को G का मैक्सिमल [[ टोरस्र्स |टोरस]] वेइल समूह कहा जाता है और W(G) के रूप में निरूपित किया जाता है। ध्यान रखें कि विशिष्ट भागफल समुच्चय अधिकतम टोरस की पसंद पर निर्भर करता है। किन्तु परिणामी समूह सभी आइसोमोर्फिक (''G'' के एक आंतरिक ऑटोमोर्फिज्म द्वारा) होते हैं क्योंकि अधिकतम टोरी एक-दूसरे से संयुग्मित होते हैं।
-यदि जी कॉम्पैक्ट और जुड़ा हुआ है, और टी एक अधिकतम टोरस है, तो जी का वेइल समूह अपने लाइ बीजगणित के वेइल ग्रुप के लिए आइसोमॉर्फिक है, जैसा कि ऊपर चर्चा की गई है।
+यदि ''G'' कॉम्पैक्ट और जुड़ा हुआ है और ''T'' एक अधिकतम टोरस है। जिससे ''G'' का वेइल समूह अपने लाइ बीजगणित के वेइल ग्रुप के लिए आइसोमॉर्फिक है। जैसा कि ऊपर जानकारी की गई है।
-उदाहरण के लिए, सामान्य रैखिक समूह जीएल के लिए, एक अधिकतम टोरस व्युत्क्रमणीय विकर्ण आव्यूहों का उपसमूह डी है, जिसका सामान्यकारक सामान्यीकृत क्रमपरिवर्तन आव्यूह है (क्रमपरिवर्तन आव्यूहों के रूप में आव्यूह, किन्तु 'के स्थान पर किसी भी गैर-शून्य संख्या के साथ) 1s), और जिसका वेइल समूह [[सममित समूह]] है। इस स्थिति में भागफल मानचित्र N → N/T विभाजित होता है (क्रमपरिवर्तन मेट्रिसेस के माध्यम से), इसलिए नॉर्मलाइज़र N टोरस और वेइल समूह का एक [[अर्ध-प्रत्यक्ष उत्पाद]] है, और वीइल समूह को G के उपसमूह के रूप में व्यक्त किया जा सकता है। सामान्य तौर पर यह हमेशा स्थिति नहीं होता है - भागफल हमेशा विभाजित नहीं होता है, सामान्य एन हमेशा डब्ल्यू और जेड का अर्ध-प्रत्यक्ष उत्पाद नहीं होता है, और वेइल समूह को हमेशा जी के उपसमूह के रूप में महसूस नहीं किया जा सकता है।<ref name="springer"/>
+उदाहरण के लिए सामान्य रैखिक समूह ''GL'' के लिए, एक अधिकतम टोरस व्युत्क्रमणीय विकर्ण आव्यूहों का उपसमूह ''D'' है। जिसका नॉर्मलाइज़र सामान्यीकृत क्रमचय मेट्रिसेस है (क्रमचय मैट्रिक्स के रूप में मैट्रिक्स, लेकिन '1' के स्थान पर किसी भी गैर-शून्य संख्या के साथ) और जिसका वेइल समूह [[सममित समूह|सिमिट्रिक समूह]] है। इस स्थिति में भागफल मानचित्र N → N/T विभाजित होता है (क्रमपरिवर्तन मैट्रिसेस के माध्यम से), (क्रमपरिवर्तन मेट्रिसेस के माध्यम से)। इसलिए नॉर्मलाइज़र N टोरस और वेइल समूह का एक [[अर्ध-प्रत्यक्ष उत्पाद|सेमी-डायरेक्ट उत्पाद]] है और वेइल समूह और वीइल समूह को G के उपसमूह के रूप में व्यक्त किया जा सकता है। सामान्यतः यह सदैव स्थिति नहीं होता है कि भागफल सदैव विभाजित नहीं होता है, सामान्य ''N'' सदैव ''W'' और ''Z'' का सेमी-डायरेक्ट प्रोडक्ट नहीं होता है और वेइल समूह को सदैव ''G'' के उपसमूह के रूप में रियलाइज नहीं किया जा सकता है।<ref name="springer"/>
 ==ब्रुहत अपघटन==
-{{Further|Bruhat decomposition}}
+{{Further|ब्रुहत अपघटन}}
-यदि B, G का एक [[बोरेल उपसमूह]] है, यानी, एक अधिकतम [[जुड़ा हुआ स्थान]] [[हल करने योग्य समूह]] उपसमूह और एक अधिकतम टोरस T = T<sub>0</sub> को B में स्थित होने के लिए चुना जाता है, तो हमें Bruhat अपघटन प्राप्त होता है
+यदि B, G का एक [[बोरेल उपसमूह]] है। अर्थात् एक अधिकतम [[जुड़ा हुआ स्थान]] [[हल करने योग्य समूह|हल करने योग्य]] उपसमूह और एक अधिकतम टोरस T = T<sub>0</sub> को B में स्थित होने के लिए चुना जाता है। जिससे हमें ब्रुहत अपघटन प्राप्त होता है।
 :<math>G = \bigcup_{w\in W} BwB</math>
-जो फ्लैग किस्म जी/बी के 'शुबर्ट कोशिकाओं' में अपघटन को जन्म देता है ([[ग्रासमानियन]] देखें)।
+जो फ्लैग वैराइटी ''G''/''B'' के 'शुबर्ट कोशिकाओं' में अपघटन को उत्पन्न करता है ([[ग्रासमानियन]] देखें)।
-समूह के [[हस्से आरेख]] की संरचना ज्यामितीय रूप से कई गुना (बल्कि, समूह के वास्तविक और जटिल रूपों) के कोहोलॉजी से संबंधित है, जो पोंकारे द्वंद्व से विवश है। इस प्रकार वेइल समूह के बीजगणितीय गुण मैनिफोल्ड्स के सामान्य सामयिक गुणों के अनुरूप हैं। उदाहरण के लिए, पोंकारे द्वैत आयाम k और आयाम n-k में कोशिकाओं के बीच एक युग्मन देता है (जहाँ n कई गुना का आयाम है): निचला (0) आयामी सेल वेइल समूह के पहचान तत्व से मेल खाता है, और दोहरी शीर्ष-आयामी कोशिका कॉक्सेटर समूह के सबसे लंबे तत्व से मेल खाती है।
+समूह के [[हस्से आरेख|हैसे आरेख]] की संरचना ज्यामितीय रूप से कई गुना (बल्कि समूह के यथार्थ और जटिल रूपों) के कोहोलॉजी से संबंधित है। जो पोंकारे द्वैत से निर्मित है। इस प्रकार वेइल समूह के बीजगणितीय गुण मैनिफोल्ड्स के सामान्य टोपोलॉजिकल गुणों के समान हैं। उदाहरण के लिए पोंकारे द्वैत आयाम k और आयाम n-k में कोशिकाओं के बीच एक युग्मन प्रदान करता है (जहाँ n कई गुना का आयाम है): निचला (0) आयामी सेल वेइल समूह के आइडेन्टिटी एलीमेंन्ट से मिलता है और दोहरी शीर्ष-आयामी कोशिका कॉक्सेटर समूह के सबसे लंबे तत्व से मिलती है।
 == बीजगणितीय समूहों के साथ सादृश्य ==
-{{Main|q-analog}}
+{{Main|q-एनालॉग}}
-{{See also|Field with one element}}
+{{See also|एक तत्व वाला क्षेत्र}}
-[[बीजगणितीय समूह]]ों और वेइल समूहों के बीच कई समानताएँ हैं - उदाहरण के लिए, सममित समूह के तत्वों की संख्या n! है, और एक परिमित क्षेत्र पर सामान्य रैखिक समूह के तत्वों की संख्या q-फैक्टोरियल से संबंधित है। क्यू-फैक्टोरियल <math>[n]_q!</math>; इस प्रकार सममित समूह व्यवहार करता है जैसे कि यह [[एक तत्व के साथ क्षेत्र]] पर एक रैखिक समूह था। यह क्षेत्र द्वारा एक तत्व के साथ औपचारिक रूप दिया गया है, जो वेइल समूहों को एक तत्व के साथ क्षेत्र पर सरल बीजगणितीय समूह मानता है।
+[[बीजगणितीय समूह|बीजगणितीय समूहों]] और वेइल समूहों के बीच कई समानताएँ हैं। उदाहरण के लिए सिमिट्रिक समूह के तत्वों की संख्या n! है और एक परिमित क्षेत्र पर सामान्य रैखिक समूह के तत्वों की संख्या q-फैक्टोरियल <math>[n]_q!</math> से संबंधित है। इस प्रकार सिमिट्रिक समूह व्यवहार करता है। जैसे कि यह [[एक तत्व के साथ क्षेत्र]] पर एक रैखिक समूह था। यह क्षेत्र द्वारा एक तत्व के साथ औपचारिक रूप दिया गया है, जो वेइल समूहों को एक तत्व के साथ क्षेत्र पर सरल बीजगणितीय समूह का निर्माण करता है।
 == कोहोलॉजी ==
-एक गैर-अबेलियन कनेक्टेड कॉम्पैक्ट लाई ग्रुप जी के लिए, वेइल ग्रुप डब्ल्यू का पहला समूह कॉहोलॉजी अधिकतम टोरस टी में गुणांक के साथ इसे परिभाषित करता था,<ref group="note">''W'' acts on ''T'' – that is how it is defined – and the group <math>H^1(W; T)</math> means "with respect to this action".</ref> नॉर्मलाइज़र के बाहरी ऑटोमोर्फिज़्म समूह से संबंधित है <math>N = N_G(T),</math> जैसा:<ref name="hms">{{Harvnb|Hämmerli|Matthey|Suter|2004}}</ref>
+एक गैर-अबेलियन कनेक्टेड कॉम्पैक्ट लाई ग्रुप ''G'' के लिए वेइल ग्रुप ''W'' का पहला समूह कॉहोलॉजी अधिकतम टोरस ''T'' में गुणांक के साथ इसे परिभाषित करता था<ref group="note">''W'' acts on ''T'' – that is how it is defined – and the group <math>H^1(W; T)</math> means "with respect to this action".</ref> और यह नॉर्मलाइज़र <math>N = N_G(T),</math> के बाहरी ऑटोमोर्फिज़्म समूह से संबंधित है। जैसे:<ref name="hms">{{Harvnb|Hämmerli|Matthey|Suter|2004}}</ref>
 :<math>\operatorname{Out}(N) \cong H^1(W; T) \rtimes \operatorname{Out}(G).</math>
-समूह आउट (जी) के बाहरी ऑटोमोर्फिज़्म अनिवार्य रूप से डायनकिन आरेख के आरेख ऑटोमोर्फिज़्म हैं, जबकि समूह कोहोलॉजी की गणना की जाती है {{Harvnb|Hämmerli|Matthey|Suter|2004}} और एक परिमित प्राथमिक एबेलियन 2-समूह है (<math>(\mathbf{Z}/2)^k</math>); साधारण झूठ समूहों के लिए इसका क्रम 1, 2, या 4 है। 0वें और दूसरे समूह के कोहोलॉजी भी नॉर्मलाइज़र से निकटता से संबंधित हैं।<ref name="hms"/>
+समूह Out(''G'') के बाहरी ऑटोमोर्फिज़्म अनिवार्य रूप से डायनकिन आरेख के आरेख ऑटोमोर्फिज़्म हैं। जबकि समूह कोहोलॉजी की गणना हैमरली, मैथे और सटर 2004 में की गई है और एक परिमित प्राथमिक एबेलियन 2-समूह <math>(\mathbf{Z}/2)^k</math> है। साधारण लाई समूहों के लिए इसका क्रम 1, 2, या 4 है। 0वें और दूसरे समूह के कोहोलॉजी भी नॉर्मलाइज़र से निकटता से संबंधित हैं।<ref name="hms"/>
 == यह भी देखें ==
-* अफिन वेइल समूह
+* अफीन वेइल समूह
-*अर्धसरल झूठ बीजगणित#Cartan subalgebras और रूट  प्रणाली
+*सेमीसिंपल लाई बीजगणित कार्टन सबलजेब्रस और रूट प्रणाली
+*
 * अधिकतम टोरस
-* एक अर्ध-सरल झूठ बीजगणित की जड़ प्रणाली
+* एक सेमी-सिम्पल बीजगणित की रूट प्रणाली
-* हस्से आरेख
+*हैसे आरेख
 == फुटनोट्स ==
@@ Line 149: / Line 151: @@
 * {{Citation|url=http://www.jenn3d.org/index.html|title= Jenn software for visualizing the Cayley graphs of finite Coxeter groups on up to four generators}}
-{{DEFAULTSORT:Weyl Group}}[[Category: परिमित प्रतिबिंब समूह]] [[Category: बीजगणित झूठ बोलो]] [[Category: झूठ बोलने वाले समूह]]
+{{DEFAULTSORT:Weyl Group}}
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page|Weyl Group]]
-[[Category:Created On 26/04/2023]]
+[[Category:Created On 26/04/2023|Weyl Group]]
+[[Category:Lua-based templates|Weyl Group]]
+[[Category:Machine Translated Page|Weyl Group]]
+[[Category:Pages with maths render errors|Weyl Group]]
+[[Category:Pages with script errors|Weyl Group]]
+[[Category:Templates Translated in Hindi|Weyl Group]]
+[[Category:Templates Vigyan Ready|Weyl Group]]
+[[Category:Templates that add a tracking category|Weyl Group]]
+[[Category:Templates that generate short descriptions|Weyl Group]]
+[[Category:Templates using TemplateData|Weyl Group]]
+[[Category:झूठ बोलने वाले समूह|Weyl Group]]
+[[Category:परिमित प्रतिबिंब समूह|Weyl Group]]
+[[Category:बीजगणित झूठ बोलो|Weyl Group]]

Anonymous

Search

वेइल समूह: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 10:05, 4 May 2023

Contents

परिभाषा और उदाहरण