अपचायक समूह

गणित में, एक अपचायक समूह एक क्षेत्र (गणित) पर रैखिक बीजगणितीय समूह का एक प्रकार है। एक परिभाषा यह है कि एक पूर्ण क्षेत्र पर एक संयोजित रैखिक बीजगणितीय समूह G अपचायक है, यदि इसमें परिमित आधार (बीजगणित) के साथ एक समूह का निरूपण होता है जो अखंडनीय प्रस्तुतियों का प्रत्यक्ष योग है। अपचायक समूहों में गणित के कुछ सबसे महत्वपूर्ण समूह सम्मिलित हैं, जैसे सामान्य रैखिक समूह GL(n) व्युत्क्रम आव्यूह, विशेष लंब कोणीय समूह SO(n) , और सममिती समूह Sp(2n)। सरल बीजगणितीय समूह और (अधिक सामान्यतः) अर्धसरल बीजगणितीय समूह अपचायक होते हैं।

क्लाउड चेवेली ने दिखाया कि किसी भी बीजीय रूप से संवृत्त क्षेत्र पर अपचायक समूहों का वर्गीकरण समान है। विशेष रूप से, साधारण बीजगणितीय समूहों को डाइनकिन आरेखों द्वारा वर्गीकृत किया जाता है, जैसा कि संहत लाई समूहों के सिद्धांत या जटिल लाई बीजगणित अर्धसरल लाई बीजगणित में होता है। एक स्वेच्छ क्षेत्र पर अपचायक समूह वर्गीकृत करना जटिल होता है, परन्तु कई क्षेत्रों जैसे कि वास्तविक संख्या आर या एक संख्या क्षेत्र के लिए, वर्गीकरण ठीक रूप से समझा जाता है। परिमित सरल समूहों का वर्गीकरण कहता है कि अधिकांश परिमित सरल समूह k के समूह G(k) के रूप में उत्पन्न होते हैं - एक परिमित पर एक साधारण बीजीय समूह G के तर्कसंगत बिंदु क्षेत्र के, या उस निर्माण के लघु रूपों के रूप में है।

अपचायक समूहों के निकट विभिन्न संदर्भों में एक समृद्ध निरूपण सिद्धांत है। सबसे पहले, एक बीजगणितीय समूह के रूप में एक क्षेत्र k पर एक अपचायक समूह G के निरूपण का अध्ययन कर सकता है, जो k-सदिश रिक्त स्थान पर G की क्रियाएं हैं। परन्तु साथ ही, समूह G(k) के जटिल निरूपण का अध्ययन कर सकता है जब k एक परिमित क्षेत्र है, या एक वास्तविक अपचायक समूह का अनंत-आयामी एकात्मक निरूपण, या एक एडिलिक बीजगणितीय समूह के स्वसमाकृतिक निरूपण है। इन सभी क्षेत्रों में अपचायक समूहों के संरचना सिद्धांत का उपयोग किया जाता है।

परिभाषाएँ

Main article: रैखिक बीजगणितीय समूह

किसी क्षेत्र k पर एक रेखीय बीजगणितीय समूह को कुछ धनात्मक पूर्णांक n के लिए k पर GL(n) की एक समृणीकृत पद्धति संवृत्त समूह पद्धति के रूप में परिभाषित किया गया है। समतुल्य रूप से, k पर एक रेखीय बीजगणितीय समूह k के ऊपर एक समृणीकृत संबंध पद्धति समूह पद्धति है।

एकांगी मूलक के साथ

एक संयोजित समष्टि रैखिक बीजगणितीय समूह $G$ एक बीजगणितीय रूप से संवृत्त क्षेत्र को अर्द्धसरल कहा जाता है यदि प्रत्येक समृणीकृत रूप से संयोजित हल करने योग्य समूह का सामान्य उपसमूह $G$ नगण्य है। अधिक सामान्यतः, एक संयोजित रैखिक बीजगणितीय समूह $G$ एक बीजगणितीय रूप से संवृत्त क्षेत्र पर अपचायक कहा जाता है यदि $G$ के सबसे बड़े समृणीकृत रूप से संयोजित रैखिक बीजगणितीय समूह सामान्य उपसमूह नगण्य है। इस सामान्य उपसमूह को एकांगी मूलक कहा जाता है और इसे $R_{u}(G)$ के रूप में दर्शाया जाता है। (कुछ लेखकों को जोड़ने के लिए अपचायक समूहों की आवश्यकता नहीं होती है।) एक स्वेच्छ क्षेत्र k पर एक समूह $G$ को अर्द्धसरल या अपचायक कहा जाता है यदि पद्धतिओं के फाइबर उत्पाद $G_{\overline {k}}$ अर्द्धसरल या अपचायक है, जहां ${\overline {k}}$ k का बीजगणितीय संवरक है। (यह परिचय में अपचायक समूह की परिभाषा के बराबर है जब k उतम है।) k के ऊपर कोई भी रैखिक बीजगणितीय समूह, जैसे गुणक समूह G_m, अपचायक होता है।

निरूपण सिद्धांत के साथ

विशेषता शून्य के क्षेत्रों में एक अपचायक समूह की एक और समकक्ष परिभाषा एक संयोजित समूह $G$ है एक विश्वासपात्र अर्धसरल निरूपण को स्वीकार करता है जो इसके बीजगणितीय संवरक $k^{al}$ पर अर्धसरल रहता है ^{पृष्ठ 424}।

सरल अपचायक समूह

क्षेत्र k पर एक रेखीय बीजगणितीय समूह G को 'सरल' (या k-'सरल') कहा जाता है, यदि यह अर्धसूत्रीय, असतहीय है, और G से अधिक k का प्रत्येक समृणीकृत रूप से संयोजित सामान्य उपसमूह नगण्य या G के बराबर है। (कुछ लेखक इस गुण को लगभग सरल कहते हैं।) यह सार समूहों के लिए शब्दावली से थोड़ा अलग है, जिसमें एक साधारण बीजगणितीय समूह में असतहीय केंद्र (समूह सिद्धांत) हो सकता है (यद्यपि केंद्र परिमित होना चाहिए)। उदाहरण के लिए, किसी भी पूर्णांक n के लिए कम से कम 2 और किसी भी क्षेत्र k के लिए, k पर समूह SL(n) सरल है, और इसका केंद्र गुणक समूह एकता की nth मूलों की समूह पद्धति μ_n है।

अपचायक समूहों का एक 'केंद्रीय समरूपता' एक विशेषण समूह समरूपता है जिसमें आधार एक परिमित केंद्रीय उपसमूह पद्धति है। एक क्षेत्र पर प्रत्येक अपचायक समूह एक टोरस और कुछ सरल समूहों के उत्पाद से एक केंद्रीय समरूपता को स्वीकार करता है। उदाहरण के लिए, किसी भी क्षेत्र k पर,

$GL(n)\cong (G_{m}\times SL(n))/\mu _{n}.$

यह थोड़ा अजीब है कि एक क्षेत्र पर एक अपचायक समूह की परिभाषा में बीजगणितीय संवृत्त होने का मार्ग सम्मिलित है। एक पूर्ण क्षेत्र के लिए, जिसे टाला जा सकता है: एक रैखिक बीजगणितीय समूह G ओवर के अपचायक है यदि और केवल यदि G के प्रत्येक समृणीकृत जुड़े एकांगी सामान्य के-उपसमूह नगण्य हैं। एक मनमाने क्षेत्र के लिए, बाद की गुण एक छद्म-अपचायक समूह को परिभाषित करती है, जो कुछ अधिक सामान्य है।

स्प्लिट-अपचायक समूह

क्षेत्र k पर एक अपचायक समूह G को 'स्प्लिट' कहा जाता है, यदि इसमें k के ऊपर एक स्प्लिट मैक्सिमम टोरस T होता है (यानी, G में एक रैखिक बीजगणितीय समूह#Tori जिसका आधार बदल जाता है) ${\overline {k}}$ में एक अधिकतम टोरस है $G_{\overline {k}}$)। यह कहने के बराबर है कि टी G में विभाजित टोरस है जो कि G में सभी के-टोरी के बीच अधिकतम है। इस प्रकार के समूह उपयोगी होते हैं क्योंकि उनके वर्गीकरण को संयोजी डेटा के माध्यम से वर्णित किया जा सकता है जिसे रूट डेटा कहा जाता है।

उदाहरण

GL_n और एसएल_n

अपचायक समूह का एक मूलभूत उदाहरण सामान्य रैखिक समूह है ${\text{GL}}_{n}$ प्राकृतिक संख्या n के लिए क्षेत्र k पर व्युत्क्रमणीय n × n मैट्रिसेस। विशेष रूप से, 'गुणक समूह' जी_m समूह GL (1) है, और इसलिए इसका समूह G है_m(k) k-रेशनल पॉइंट्स गुणन के तहत k के गैर-शून्य तत्वों का समूह k* है। एक अन्य अपचायक समूह क्षेत्र k पर विशेष रैखिक समूह SL(n) है, निर्धारक 1 के साथ आव्यूहों का उपसमूह। वास्तव में, SL(n) कम से कम 2 n के लिए एक सरल बीजगणितीय समूह है।

ओ (n), SO (n), और एसपी (n)

एक महत्वपूर्ण सरल समूह क्षेत्र k पर सममिती समूह Sp(2n) है, GL(2n) का उपसमूह जो सदिश स्थान k पर एक गैर-अपघटित वैकल्पिक द्विरेखीय रूप को संरक्षित करता है।²ⁿ। इसी तरह, ओर्थोगोनल समूह O(q) सामान्य रैखिक समूह का उपसमूह है जो क्षेत्र k पर सदिश स्थान पर एक अविकृत द्विघात रूप q को संरक्षित करता है। बीजगणितीय समूह O(q) में दो जुड़े घटक (टोपोलॉजी) हैं, और इसकी पहचान घटक SO(q) अपचायक है, वास्तव में कम से कम आयाम n के q के लिए सरल है। (विशेषता 2 और n विषम के k के लिए, समूह पद्धति O(q) वास्तव में जुड़ी हुई है, परन्तु k पर समृणीकृत नहीं है। सरल समूह SO(q) को हमेशा O(q) के अधिक से अधिक समृणीकृत रूप से जुड़े उपसमूह के रूप में परिभाषित किया जा सकता है।) जब k बीजगणितीय रूप से संवृत्त होता है, तो कोई भी दो ( nondegenerate) एक ही आयाम के द्विघात रूप आइसोमोर्फिक हैं, और इसलिए इस समूह को SO(n) कहना उचित है। एक सामान्य क्षेत्र k के लिए, आयाम n के विभिन्न द्विघात रूपों से k के ऊपर गैर-समरूपी सरल समूह SO(q) प्राप्त हो सकते हैं, यद्यपि उन सभी में बीजगणितीय संवरक में समान आधार परिवर्तन होता है। ${\overline {k}}$।

तोरी

समूह $\mathbb {G} _{m}$ और इसके उत्पादों को बीजगणितीय टोरस कहा जाता है। वे एम्बेड करने के बाद से अपचायक समूहों के उदाहरण हैं ${\text{GL}}_{n}$ विकर्ण के माध्यम से, और इस निरूपण से, उनका एकरूप मूलक नगण्य है। उदाहरण के लिए, $\mathbb {G} _{m}\times \mathbb {G} _{m}$ एम्बेड करता है ${\text{GL}}_{2}$ मानचित्र से <ब्लॉककोट>$(a_{1},a_{2})\mapsto {\begin{bmatrix}a_{1}&0\\0&a_{2}\end{bmatrix}}.$</ब्लॉककोट>

गैर-उदाहरण

• कोई भी शक्तिहीन समूह अपचायक नहीं है क्योंकि उसका अनइपोटेंट रेडिकल खुद है। इसमें योजक समूह सम्मिलित है $\mathbb {G} _{a}$।
• बोरेल समूह $B_{n}$ का ${\text{GL}}_{n}$ एक असतहीय unpotent कट्टरपंथी है $\mathbb {U} _{n}$ ऊपरी-त्रिकोणीय मैट्रिसेस के साथ $1$ विकर्ण पर। यह एक गैर-अपचायक समूह का एक उदाहरण है जो एक-शक्तिशाली नहीं है।

एसोसिएटेड अपचायक समूह

ध्यान दें कि एकांगी मूलक की सामान्यता $R_{u}(G)$ तात्पर्य है कि भागफल समूह $G/R_{u}(G)$ अपचायक है। उदाहरण के लिए, <ब्लॉककोट>$B_{n}/(R_{u}(B_{n}))\cong \prod _{i=1}^{n}\mathbb {G} _{m}.$</ब्लॉककोट>

अपचायक समूहों के अन्य लक्षण

प्रत्येक संहत संयोजित लाई समूह में एक जटिलता (लाई समूह) होती है, जो एक जटिल अपचायक बीजगणितीय समूह है। वास्तव में, यह निर्माण समरूपता तक संहत संयोजित लाइ समूहों और जटिल अपचायक समूहों के बीच एक-से-एक पत्राचार देता है। जटिलता G के साथ एक संहत लाई समूह के लिए, G ('सी') पर शास्त्रीय टोपोलॉजी के संबंध में, के से जटिल अपचायक समूह G ('सी') में सम्मिलित होना एक होमोटॉपी समकक्ष है। उदाहरण के लिए, एकात्मक समूह U(n) से GL(n,'C') में समावेश एक होमोटॉपी तुल्यता है।

एक क्षेत्र शून्य की विशेषता के क्षेत्र में एक अपचायक समूह G के लिए, G के सभी परिमित-आयामी निरूपण (एक बीजगणितीय समूह के रूप में) अर्धसूत्रीय निरूपण हैं, अर्थात, वे अलघुकरणीय अभ्यावेदन के प्रत्यक्ष योग हैं। यह नाम अपचायक का स्रोत है। ध्यान दें, यद्यपि, पूर्ण न्यूनीकरण सकारात्मक विशेषता (टोरी के अलावा) में अपचायक समूहों के लिए विफल रहता है। अधिक विवरण में: स्कीम थ्योरी की ग्लोसरी की एक एफ़िन समूह स्कीम G # परिमित प्रकार (स्थानीय रूप से) क्षेत्र k पर 'रैखिक रूप से अपचायक' कहलाती है यदि इसके परिमित-आयामी निरूपण पूरी तरह से कम हो जाते हैं। विशेषता शून्य के k के लिए, G रैखिक रूप से अपचायक है यदि और केवल यदि पहचान घटक G^{G का o} अपचायक है। विशेषता p>0 के k के लिए, यद्यपि, न्यायमूर्ति नगाटा ने दिखाया कि G रैखिक रूप से अपचायक है यदि और केवल यदि G^o समूह स्कीम # कंस्ट्रक्शन और G/G का है^o के निकट p से अभाज्य क्रम है।

मूल

अपचायक बीजगणितीय समूहों का वर्गीकरण संबद्ध मूल प्रणाली के संदर्भ में है, जैसा कि जटिल अर्ध-सरल लाई बीजगणित या संहत लाई समूहों के सिद्धांतों में है। यहाँ जिस तरह से मूल अपचायक समूहों के लिए दिखाई देती हैं।

G को एक क्षेत्र k पर एक स्प्लिट अपचायक समूह होने दें, और T को G में एक स्प्लिट मैक्सिमम टोरस होने दें; इसलिए टी आइसोमोर्फिक है (जी_m)ⁿ कुछ n के लिए, n को G का 'रैंक' कहा जाता है। T का प्रत्येक निरूपण (एक बीजगणितीय समूह के रूप में) 1-आयामी निरूपण का प्रत्यक्ष योग है। G के लिए भार का अर्थ है टी के 1-आयामी निरूपण का एक समरूपता वर्ग, या समतुल्य समरूपता टी → जी_m। निरूपण के टेंसर गुणनफल के अंतर्गत भार एक समूह X(T) बनाते हैं, जिसमें X(T) पूर्णांकों की n प्रतियों के गुणनफल 'Z' के समरूपी होते हैं।ⁿ।

संलग्न निरूपण इसके रैखिक बीजगणितीय समूह पर संयुग्मन द्वारा G की क्रिया है#बीजगणितीय समूह का झूठा बीजगणित ${\mathfrak {g}}$। G की एक मूल का अर्थ है एक गैर-शून्य वजन जो टी ⊂ G की क्रिया में होता है ${\mathfrak {g}}$। का उपक्षेत्र ${\mathfrak {g}}$ प्रत्येक मूल के अनुरूप एक आयामी है, और की उप-समष्टि है ${\mathfrak {g}}$ T द्वारा निश्चित किया गया बिल्कुल झूठ बीजगणित है ${\mathfrak {t}}$ टी का इसलिए, G का झूठा बीजगणित विघटित हो जाता है ${\mathfrak {t}}$ मूलों के सेट Φ द्वारा अनुक्रमित 1-आयामी उप-स्थानों के साथ:

${\mathfrak {g}}={\mathfrak {t}}\oplus \bigoplus _{\alpha \in \Phi }{\mathfrak {g}}_{\alpha }.$

उदाहरण के लिए, जब G समूह GL(n) है, तो इसका लाई बीजगणित है ${{\mathfrak {g}}l}(n)$ k पर सभी n × n आव्यूहों का सदिश स्थान है। मान लीजिए कि T, G में विकर्ण मैट्रिसेस का उपसमूह है। फिर रूट-स्पेस अपघटन व्यक्त करता है ${{\mathfrak {g}}l}(n)$ विकर्ण मैट्रिसेस के प्रत्यक्ष योग और ऑफ-डायगोनल पोजीशन (i, j) द्वारा अनुक्रमित 1-आयामी उप-स्थान के रूप में। लेखन एल₁,..., एल_n भार जालक X(T) ≅ 'Z' के मानक आधार के लिएⁿ, मूल तत्व L हैं_i - एल_j सभी के लिए i ≠ j 1 से n तक।

एक अर्धसरल समूह की मूल एक 'रूट सिस्टम' बनाती हैं; यह एक मिश्रित संरचना है जिसे पूरी तरह से वर्गीकृत किया जा सकता है। अधिक सामान्यतः, एक अपचायक समूह की मूल रूट तिथि बनाती हैं, एक मामूली भिन्नता। अपचायक समूह G के वेइल समूह का अर्थ है टोरस द्वारा मैक्सिमल टॉरस के नॉर्मलाइज़र का भागफल समूह, डब्ल्यू = n_G(टी) / टी। वेइल समूह वास्तव में परावर्तनों द्वारा उत्पन्न परिमित समूह है। उदाहरण के लिए, समूह GL(n) (या SL(n)) के लिए, Weyl समूह सममित समूह S है_n।

बहुत से रेखीय बीजगणितीय समूह#बोरेल उपसमूह हैं जिनमें दिए गए अधिकतम टोरस होते हैं, और वे वेइल समूह द्वारा केवल सकर्मक रूप से अनुमत होते हैं (उपसमूहों और सामान्य उपसमुच्चयों के संयुग्मन वर्ग#संयुग्मता द्वारा अभिनय)। बोरेल उपसमूह का एक विकल्प सकारात्मक मूलों का एक सेट निर्धारित करता है⁺ ⊂ Φ, गुण के साथ कि Φ Φ का असम्बद्ध संघ है⁺ और −Φ⁺। स्पष्ट रूप से, B का लाई बीजगणित T के लाई बीजगणित और धनात्मक मूल स्थानों का प्रत्यक्ष योग है:

${\mathfrak {b}}={\mathfrak {t}}\oplus \bigoplus _{\alpha \in \Phi ^{+}}{\mathfrak {g}}_{\alpha }.$

उदाहरण के लिए, यदि बी GL (n) में ऊपरी-त्रिकोणीय मैट्रिक्स का बोरेल उपसमूह है, तो यह उप-स्थान का स्पष्ट अपघटन है ${\mathfrak {b}}$ ऊपरी-त्रिकोणीय आव्यूह में ${{\mathfrak {g}}l}(n)$। सकारात्मक मूल एल हैं_i - एल_j 1 ≤ i <j ≤ n के लिए।

एक 'सरल मूल' का मतलब एक सकारात्मक मूल है जो दो अन्य सकारात्मक मूलों का योग नहीं है। सरल मूलों के समुच्चय के लिए Δ लिखिए। सरल मूलों की संख्या आर G के कम्यूटेटर उपसमूह के रैंक के बराबर है, जिसे G के 'अर्धसरल रैंक' कहा जाता है (जो कि G के अर्धसरल होने पर केवल G का रैंक है)। उदाहरण के लिए, GL(n) (या SL(n)) के सरल मूल L हैं_i - एल_i+1 1 ≤ i ≤ n − 1 के लिए।

रूट सिस्टम को संबंधित डायनकिन आरेख द्वारा वर्गीकृत किया जाता है, जो एक परिमित ग्राफ (असतत गणित) है (कुछ किनारों को निर्देशित या एकाधिक के साथ)। डायनकिन आरेख के शीर्षों का समुच्चय सरल मूलों का समुच्चय है। संक्षेप में, डायनकिन आरेख वजन जाली पर एक वेइल समूह-इनवेरिएंट आंतरिक उत्पाद के संबंध में सरल मूलों और उनकी सापेक्ष लंबाई के बीच के कोणों का वर्णन करता है। जुड़े हुए डायकिन आरेख (सरल समूहों के अनुरूप) नीचे चित्रित किए गए हैं।

एक क्षेत्र k पर विभाजित अपचायक समूह G के लिए, एक महत्वपूर्ण बिंदु यह है कि एक रूट α न केवल G के लाई बीजगणित के 1-आयामी उप-स्थान को निर्धारित करता है, बल्कि योगात्मक समूह G की एक प्रति भी निर्धारित करता है।_a G में दिए गए लाई बीजगणित के साथ, जिसे 'मूल उपसमूह' U कहा जाता है_α। मूल उपसमूह G में योज्य समूह की अनूठी प्रति है जो T द्वारा सामान्य है और जिसमें दिया गया बीजगणित है।पूरे समूह G को T और मूल उपसमूहों द्वारा (एक बीजगणितीय समूह के रूप में) उत्पन्न किया जाता है, जबकि बोरेल उपसमूह B को T और धनात्मक मूल उपसमूहों द्वारा उत्पन्न किया जाता है। वास्तव में, एक विभाजित अर्धसरल समूह G अकेले रूट उपसमूहों द्वारा उत्पन्न होता है।

परवलयिक उपसमूह

एक क्षेत्र k पर स्प्लिट अपचायक समूह G के लिए, G के समृणीकृत संयोजित सबसमूह जिनमें G का दिया गया बोरेल सबसमूह B होता है, सरल मूलों के सेट Δ के सबसेट के साथ एक-से-एक पत्राचार में होते हैं (या समतुल्य, सबसेट) डायकिन आरेख के शीर्षों के सेट का)। मान लीजिए r Δ की कोटि है, G का अर्धसरल कोटि है। G का प्रत्येक 'परवलयिक उपसमूह' संयुग्मी वर्ग है#G(k) के कुछ तत्वों द्वारा B युक्त उपसमूह के लिए उपसमूहों और सामान्य उपसमुच्चयों का संयुग्मन वर्ग है। नतीजतन, ठीक 2 हैं^r k के ऊपर G में परवलयिक उपसमूहों की संयुग्मी कक्षाएं। स्पष्ट रूप से, Δ के दिए गए उपसमुच्चय S के संगत परवलयिक उपसमूह मूल उपसमूहों U के साथ मिलकर B द्वारा उत्पन्न समूह है_−α उदाहरण के लिए, एस में α के लिए। उदाहरण के लिए, GL (n) के परवलयिक उपसमूहों में उपरोक्त बोरेल उपसमूह बी होते हैं, व्युत्क्रम आव्यूह के समूह होते हैं, जो विकर्ण के साथ वर्गों के दिए गए सेट के नीचे शून्य प्रविष्टियों के साथ होते हैं, जैसे:

$\left\{{\begin{bmatrix}*&*&*&*\\*&*&*&*\\0&0&*&*\\0&0&0&*\end{bmatrix}}\right\}$

परिभाषा के अनुसार, एक क्षेत्र k पर अपचायक समूह G का एक परवलयिक उपसमूह P एक स्मूथ k-सबसमूह है, जैसे कि भागफल किस्म G/' 'पी' 'के' पर उचित पद्धति है, या 'के' पर समकक्ष प्रक्षेपी विविधता है। इस प्रकार परवलयिक उपसमूहों का वर्गीकरण 'जी' के लिए सामान्यीकृत ध्वज विविधता के वर्गीकरण के बराबर है (समृणीकृत स्टेबलाइज़र समूह के साथ; यह विशेषता शून्य के के के लिए कोई प्रतिबंध नहीं है)। GL(n) के लिए, ये ध्वज किस्में हैं, दिए गए आयामों के रैखिक उप-स्थानों के पैरामीट्रिजिंग अनुक्रम ए₁,...,ए_i आयाम n के एक निश्चित सदिश स्थान V में समाहित है:

$0\subset S_{a_{1}}\subset \cdots \subset S_{a_{i}}\subset V.$

लंब कोणीय समूह या सममिती समूह के लिए, प्रक्षेप्य सजातीय किस्मों का एक समान विवरण होता है, जैसे किसी दिए गए द्विघात रूप या सममिती रूप के संबंध में आइसोट्रोपिक उप-समष्टि झंडे की किस्में। बोरेल उपसमूह बी के साथ किसी भी अपचायक समूह G के लिए, G / बी को 'फ्लैग वैरायटी' या 'फ्लैग मैनिफोल्ड' कहा जाता है।

स्प्लिट अपचायक समूह का वर्गीकरण

जुड़े हुए डायनकिन आरेख

शेवाली ने 1958 में दिखाया कि किसी भी बीजगणितीय रूप से संवृत्त क्षेत्र पर अपचायक समूहों को रूट डेटा द्वारा आइसोमोर्फिज्म तक वर्गीकृत किया जाता है। विशेष रूप से, एक बीजगणितीय रूप से संवृत्त क्षेत्र पर अर्ध-सरल समूहों को उनके डायनकिन आरेख द्वारा केंद्रीय समरूपता तक वर्गीकृत किया जाता है, और सरल समूह जुड़े आरेखों के अनुरूप होते हैं। इस प्रकार A प्रकार के सरल समूह हैं_n, बी_n, सी_n, डी_n, और₆, और₇, और₈, एफ₄, जी₂। यह परिणाम अनिवार्य रूप से 1880 और 1890 के दशक में विल्हेम हत्या और एली कार्टन द्वारा संहत लाइ समूहों या जटिल अर्ध-सरल ले बीजगणित के वर्गीकरण के समान है। विशेष रूप से, साधारण बीजगणितीय समूहों के आयाम, केंद्र और अन्य गुणों को सरल लाई समूहों की सूची से पढ़ा जा सकता है। यह उल्लेखनीय है कि अपचायक समूहों का वर्गीकरण विशेषता से स्वतंत्र है। तुलना के लिए, अभिलक्षणिक शून्य की तुलना में धनात्मक अभिलक्षण में बहुत अधिक सरल लाई बीजगणित हैं।

G प्रकार के असाधारण समूह G₂ और ई₆ लियोनार्ड यूजीन डिक्सन | एल द्वारा कम से कम सार समूह G (के) के रूप में पहले बनाया गया था। ई। डिक्सन। उदाहरण के लिए, समूह जी₂ k पर एक ऑक्टोनियन बीजगणित का ऑटोमोर्फिज्म समूह है। इसके विपरीत, टाइप एफ के शेवेलली समूह₄, और₇, और₈ सकारात्मक विशेषताओं के क्षेत्र में पूरी तरह से नए थे।

अधिक सामान्यतः, विभाजित अपचायक समूहों का वर्गीकरण किसी भी क्षेत्र में समान होता है। एक क्षेत्र k पर एक अर्द्धसरल समूह G को 'सिम्पली संयोजित' कहा जाता है, यदि अर्द्धसरल समूह से G तक प्रत्येक सेंट्रल आइसोजिनी एक आइसोमोर्फिज्म है। (जटिल संख्याओं पर G अर्धसरल के लिए, इस अर्थ में बस संयोजित है G ('सी') के बराबर है जो शास्त्रीय टोपोलॉजी में बस संयोजित है।) चेवेली का वर्गीकरण देता है कि, किसी भी क्षेत्र के ऊपर, एक अद्वितीय बस संयोजित विभाजन है एक दिए गए डायनकिन आरेख के साथ अर्धसरल समूह जी, जुड़े आरेखों के अनुरूप सरल समूहों के साथ। दूसरे चरम पर, एक अर्धसरल समूह 'संलग्न प्रकार' का होता है यदि इसका केंद्र नगण्य होता है। दिए गए डायनकिन आरेख के साथ k पर विभाजित अर्धसरल समूह वास्तव में समूह G/A हैं, जहाँ G सरल रूप से संयोजित समूह है और A, G के केंद्र की एक k-उपसमूह पद्धति है।

उदाहरण के लिए, क्लासिकल डायनकिन आरेखों के संगत क्षेत्र k पर सरलता से जुड़े विभाजित सरल समूह इस प्रकार हैं:

• ए_n: एसएल(n+1) ओवर के;
• बी_n: स्पिन समूह स्पिन (2n+1) Witt इंडेक्स n के साथ आयाम 2n+1 ओवर k के द्विघात रूप से संयोजित है, उदाहरण के लिए फॉर्म

$q(x_{1},\ldots ,x_{2n+1})=x_{1}x_{2}+x_{3}x_{4}+\cdots +x_{2n-1}x_{2n}+x_{2n+1}^{2};$

• सी_n: सममिती समूह Sp(2n) over k;
• डी_n: स्पिन समूह स्पिन (2n) Witt इंडेक्स n के साथ आयाम 2n ओवर k के द्विघात रूप से जुड़ा है, जिसे इस प्रकार लिखा जा सकता है:

$q(x_{1},\ldots ,x_{2n})=x_{1}x_{2}+x_{3}x_{4}+\cdots +x_{2n-1}x_{2n}.$

एक क्षेत्र k पर स्प्लिट अपचायक समूह G का बाहरी ऑटोमोर्फिज़्म समूह, G के रूट डेटम के ऑटोमोर्फिज़्म समूह के लिए आइसोमोर्फिक है। इसके अलावा, G का ऑटोमोर्फिज़्म समूह एक अर्ध-प्रत्यक्ष उत्पाद के रूप में विभाजित होता है:

$\operatorname {Aut} (G)\cong \operatorname {Out} (G)\ltimes (G/Z)(k),$

जहाँ Z, G का केंद्र है। एक विभाजित अर्ध-सरल के लिए एक क्षेत्र पर बस जुड़े समूह G के लिए, G के बाहरी ऑटोमोर्फिज़्म समूह का एक सरल विवरण है: यह G के डायनकिन आरेख का ऑटोमोर्फिज़्म समूह है।

अपचायक समूह स्कीम्स

एक पद्धति S पर एक समूह पद्धति G को 'अपचायक' कहा जाता है यदि आकारिकी G → S समृणीकृत आकारिकी और संकरण है, और प्रत्येक ज्यामितीय फाइबर $G_{\overline {k}}$ अपचायक है। (एस में एक बिंदु पी के लिए, संबंधित ज्यामितीय फाइबर का अर्थ है बीजगणितीय संवृत्त करने के लिए G का आधार परिवर्तन ${\overline {k}}$ पी के अवशेष क्षेत्र का।) शेवेले के काम का विस्तार करते हुए, मिशेल डेमाज़र और ग्रोथेंडिक ने दिखाया कि किसी भी गैर-खाली पद्धति एस पर विभाजित अपचायक समूह पद्धतिओं को रूट डेटा द्वारा वर्गीकृत किया गया है। इस कथन में ज़ेड से अधिक समूह पद्धतिओं के रूप में चेवेली समूहों का अस्तित्व सम्मिलित है, और यह कहता है कि एक पद्धति 'एस' पर प्रत्येक विभाजित अपचायक समूह ज़ेड से 'एस' तक एक चेवली समूह के आधार परिवर्तन के लिए आइसोमोर्फिक है।

वास्तविक अपचायक समूह

बीजगणितीय समूहों के बजाय झूठ समूहों के संदर्भ में, एक वास्तविक अपचायक समूह एक झूठ समूह G है, जैसे कि आर के ऊपर एक रैखिक बीजीय समूह एल है जिसका पहचान घटक (जरिस्की टोपोलॉजी में) अपचायक है , और एक समरूपता G → L(R) जिसका आधार परिमित है और जिसकी छवि L(R) (शास्त्रीय टोपोलॉजी में) में खुली है। यह मानने के लिए भी मानक है कि आसन्न निरूपण Ad(G) की छवि Int(g में निहित है_C) = विज्ञापन (एल⁰(C)) (जो G संयोजित के लिए स्वचालित है)। विशेष रूप से, प्रत्येक संयोजित अर्ध-सरल लाई समूह (जिसका अर्थ है कि इसका लाई बीजगणित अर्ध-सरल है) अपचायक है। इसके अलावा, लाई समूह आर इस अर्थ में अपचायक है, क्योंकि इसे GL (1, आर) ≅ आर * के पहचान घटक के रूप में देखा जा सकता है। वास्तविक अपचायक समूहों को वर्गीकृत करने की समस्या काफी हद तक साधारण झूठ समूहों को वर्गीकृत करने के लिए कम हो जाती है। इन्हें उनके सैटेक आरेख द्वारा वर्गीकृत किया गया है; या कोई साधारण झूठ समूहों (परिमित आवरण तक) की सूची का उल्लेख कर सकता है।

इस व्यापकता में वास्तविक अपचायक समूहों के लिए स्वीकार्य निरूपण और एकात्मक निरूपण के उपयोगी सिद्धांत विकसित किए गए हैं। इस परिभाषा और एक अपचायक बीजगणितीय समूह की परिभाषा के बीच मुख्य अंतर इस तथ्य के साथ है कि एक बीजगणितीय समूह G R के ऊपर एक बीजगणितीय समूह के रूप में जुड़ा हो सकता है जबकि झूठ समूह G(R) जुड़ा नहीं है, और इसी तरह केवल जुड़े हुए समूहों के लिए।

उदाहरण के लिए, प्रक्षेपी रैखिक समूह पीGL(2) किसी भी क्षेत्र पर एक बीजगणितीय समूह के रूप में संयोजित है, परन्तु इसके वास्तविक बिंदुओं के समूह पीGL(2,आर) में दो जुड़े हुए घटक हैं। पीGL(2,आर) (कभी-कभी पीएसएल(2,आर) कहा जाता है) का पहचान घटक एक वास्तविक अपचायक समूह है जिसे बीजगणितीय समूह के रूप में नहीं देखा जा सकता है। इसी तरह, SL(2) किसी भी क्षेत्र पर एक बीजगणितीय समूह के रूप में बस संयोजित है, परन्तु झूठ समूह SL(2,R) में पूर्णांक Z के लिए मूलभूत समूह आइसोमोर्फिक है, और इसलिए SL' '(2, आर) में नॉनट्रिविअल समष्टि को कवर करना हैं। परिभाषा के अनुसार, SL(2,R) के सभी परिमित आवरण (जैसे कि मेटाप्लेक्टिक समूह) वास्तविक अपचायक समूह हैं। दूसरी ओर, SL(2,R) का सार्वभौमिक आवरण एक वास्तविक अपचायक समूह नहीं है, भले ही इसका लाई बीजगणित अपचायक लाई बीजगणित है, जो कि अर्द्धसरल लाई बीजगणित और एक एबेलियन लाई का उत्पाद है। बीजगणित।

एक जुड़े हुए वास्तविक अपचायक समूह G के लिए, अधिकतम संहत उपसमूह के द्वारा G का भागफल कई गुना जी/के गैर-संहत का एक सममित स्थान है प्रकार। वास्तव में, गैर-संहत प्रकार का प्रत्येक सममित स्थान इस तरह से उत्पन्न होता है। ये गैर-सकारात्मक अनुभागीय वक्रता के साथ मैनिफोल्ड्स के रीमैनियन ज्यामिति में केंद्रीय उदाहरण हैं। उदाहरण के लिए, SL(2,R)/SO(2) अतिशयोक्तिपूर्ण विमान है, और SL(2,C)/SU(2) हाइपरबोलिक 3 है -समष्टि।

अपचायक समूह G के लिए एक क्षेत्र k पर जो असतत मूल्यांकन के संबंध में पूर्ण है (जैसे p-adic नंबर Q_p), इमारत (गणित) G का एक्स सममित स्थान की भूमिका निभाता है। अर्थात, X G(k) की क्रिया के साथ एक साधारण परिसर है, और G(k) 'पर CAT(0) मीट्रिक को संरक्षित करता है। 'X', गैर-सकारात्मक वक्रता वाले मीट्रिक का nालॉग। एफ़िन बिल्डिंग का आयाम G का के-रैंक है। उदाहरण के लिए, एसएल (2, क्यू_p) एक पेड़ (ग्राफ सिद्धांत) है।

अपचायक समूहों का निरूपण

एक क्षेत्र k पर एक स्प्लिट अपचायक समूह G के लिए, G (बीजगणितीय समूह के रूप में) के अलघुकरणीय निरूपण को प्रमुख भार द्वारा पैरामीट्रिज किया जाता है, जिसे भार जालक X(T) ≅ 'Z' के प्रतिच्छेदन के रूप में परिभाषित किया जाता है।ⁿ 'आर' में एक उत्तल शंकु (एक वेइल कक्ष) के साथⁿ। विशेष रूप से, यह पैरामीट्रिजेशन k की विशेषता से स्वतंत्र है। अधिक विस्तार से, एक स्प्लिट मैक्सिमल टोरस और एक बोरेल सबसमूह, टी ⊂ बी ⊂ G को ठीक करें। फिर बी एक समृणीकृत जुड़े एकांगी सबसमूह यू के साथ टी का सेमीडायरेक्ट उत्पाद है। G ओवर के निरूपण वी में 'उच्चतम वजन सदिश' परिभाषित करें k एक गैर-शून्य सदिश v होना चाहिए जैसे कि B स्वयं में v द्वारा फैलाई गई रेखा को मैप करता है। फिर बी उस रेखा पर अपने भागफल समूह टी के माध्यम से भार जालक एक्स (टी) के कुछ तत्व λ द्वारा कार्य करता है। शेवाली ने दिखाया कि G के प्रत्येक इर्रिडिएबल निरूपण में स्केलर तक एक अद्वितीय उच्चतम वजन सदिश होता है; संबंधित उच्चतम वजन λ प्रमुख है; और प्रत्येक प्रमुख भार λ, समरूपता तक G के एक अद्वितीय इरेड्यूसबल निरूपण L(λ) का उच्चतम भार है। दिए गए उच्चतम भार के साथ अलघुकरणीय निरूपण का वर्णन करने की समस्या बनी हुई है। विशेषता शून्य के k के लिए, अनिवार्य रूप से पूर्ण उत्तर हैं। एक प्रमुख वजन λ के लिए, 'शूर मॉड्यूल' को परिभाषित करें ∇(λ) जी-इक्विवेरिएंट व्युत्क्रम शीफ के वर्गों के के-सदिश स्पेस के रूप में फ्लैग मैनिफोल्ड जी/बी पर λ से संयोजित है; यह G का एक निरूपण है। विशेषता शून्य के k के लिए, बोरेल-वील प्रमेय का कहना है कि अलघुकरणीय निरूपण L(λ) शूर मॉड्यूल ∇(λ) के लिए आइसोमॉर्फिक है। इसके अलावा, वेइल चरित्र सूत्र इस निरूपण के चरित्र सिद्धांत (और विशेष रूप से आयाम) देता है।

सकारात्मक विशेषता के क्षेत्र k पर विभाजित अपचायक समूह G के लिए, स्थिति कहीं अधिक सूक्ष्म है, क्योंकि G का निरूपण सामान्यतः अखंडनीय्स का प्रत्यक्ष योग नहीं है। एक प्रमुख वजन λ के लिए, अखंडनीय निरूपण एल (λ) शूर मॉड्यूल ∇ (λ) का अद्वितीय सरल सबमॉड्यूल (सोकल (गणित)) है, परन्तु यह शूर मॉड्यूल के बराबर नहीं होना चाहिए। शूर मॉड्यूल का आयाम और चरित्र जॉर्ज केम्फ द्वारा वेइल वर्ण सूत्र (विशेषता शून्य के रूप में) द्वारा दिया गया है। अलघुकरणीय अभ्यावेदन L(λ) के आयाम और लक्षण सामान्य रूप से अज्ञात हैं, यद्यपि इन निरूपणों का विश्लेषण करने के लिए सिद्धांत का एक बड़ा निकाय विकसित किया गया है। एक महत्वपूर्ण परिणाम यह है कि एल (λ) के आयाम और चरित्र को तब जाना जाता है जब हेनिंग हाहर एंडरसन, जेन्स कार्स्टन जैंटजेन, और वोल्फगैंग सॉर्जेल द्वारा G के कॉक्सेटर संख्या की तुलना में के की विशेषता पी बहुत बड़ी है (जॉर्ज लुसिग के अनुमान को साबित करना) उस मामले में)। पी लार्ज के लिए उनका वर्ण सूत्र कज़्दान-लुज़्ज़टिग बहुपदों पर आधारित है, जो मिश्रित रूप से जटिल हैं। किसी भी प्राइम पी के लिए, साइमन रिचे और जिओर्डी विलियमसन ने पी-कज़्दान-लुज़्ज़टिग बहुपदों के संदर्भ में एक अपचायक समूह के इरेड्यूसबल वर्णों का अनुमान लगाया, जो कि और भी जटिल हैं, परन्तु कम से कम संगणनीय हैं।

गैर-विभाजित अपचायक समूह

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

• एक क्षेत्र k पर प्रत्येक अविकृत द्विघात रूप q एक अपचायक समूह G = SO(q) निर्धारित करता है। यहाँ G सरल है यदि q का आयाम n कम से कम 3 है, क्योंकि $G_{\overline {k}}$ एक बीजगणितीय संवृत्त होने पर SO(n) के लिए आइसोमोर्फिक है ${\overline {k}}$। G का के-रैंक क्यू के 'विट इंडेक्स' के बराबर है (के पर एक आइसोटोपिक सबस्पेस का अधिकतम आयाम)। तो साधारण समूह G को k पर विभाजित किया जाता है यदि और केवल यदि q में अधिकतम संभव विट इंडेक्स है, $\lfloor n/2\rfloor$।
• प्रत्येक केंद्रीय सरल बीजगणित ए ओवर के एक अपचायक समूह G = एसएल (1, ए) निर्धारित करता है, यूनिट ए * के समूह पर कम मानदंड का आधार (के से अधिक बीजगणितीय समूह के रूप में)। ए की 'डिग्री' का अर्थ ए के आयाम के वर्ग रूट को के-सदिश स्पेस के रूप में दर्शाता है। यहाँ G सरल है यदि A के निकट डिग्री n कम से कम 2 है, क्योंकि $G_{\overline {k}}$ SL(n) ओवर के लिए तुल्याकारी है ${\overline {k}}$। यदि ए में इंडेक्स आर है (जिसका अर्थ है कि ए मैट्रिक्स बीजगणित एम के लिए आइसोमोर्फिक है_n/r(डी) डिग्री आर ओवर के के विभाजन बीजगणित डी के लिए), तो G का के-रैंक (n / आर) - 1 है। तो साधारण समूह G को k पर विभाजित किया जाता है यदि और केवल यदि A, k के ऊपर एक मैट्रिक्स बीजगणित है।

परिणामस्वरूप, k पर अपचायक समूहों को वर्गीकृत करने की समस्या में अनिवार्य रूप से k पर सभी द्विघात रूपों को वर्गीकृत करने की समस्या या k पर सभी केंद्रीय सरल बीजगणित सम्मिलित हैं। बीजगणितीय रूप से संवृत्त k के लिए ये समस्याएँ आसान हैं, और उन्हें कुछ अन्य क्षेत्रों जैसे संख्या क्षेत्रों के लिए समझा जाता है, परन्तु मनमाने क्षेत्रों के लिए कई खुले प्रश्न हैं।

किसी क्षेत्र k पर एक अपचायक समूह को 'आइसोट्रोपिक' कहा जाता है, यदि इसमें k-रैंक 0 से अधिक होता है (अर्थात, यदि इसमें एक नॉनट्रिविअल स्प्लिट टॉरस होता है), और अन्यथा 'अनिसोट्रोपिक'। क्षेत्र k पर अर्धसरल समूह G के लिए, निम्न स्थितियाँ समतुल्य हैं:

• जी आइसोट्रोपिक है (यानी, G में गुणक समूह G की एक प्रति है_m ओवर के);
• G में k के ऊपर एक परवलयिक उपसमूह है जो G के बराबर नहीं है;
• जी में योगात्मक समूह G की एक प्रति है_a कश्मीर से अधिक

के परिपूर्ण के लिए, यह कहने के बराबर भी है कि G (के) में 1 के अलावा एक रैखिक बीजगणितीय समूह#सेमिसिम्पल और एकांगी तत्व तत्व सम्मिलित हैं। विशेषता शून्य (जैसे वास्तविक संख्या) के एक स्थानीय क्षेत्र k पर जुड़े रैखिक बीजगणितीय समूह G के लिए, समूह G(k) शास्त्रीय टोपोलॉजी में संहत जगह है (k की टोपोलॉजी पर आधारित) यदि और केवल यदि G है अपचायक और अनिसोट्रोपिक। उदाहरण: लंब कोणीय समूह अनिश्चितकालीन लंब कोणीय समूह | SO(p,q) over 'R' का वास्तविक रैंक min(p,q) है, और इसलिए यह अनिसोट्रोपिक है यदि और केवल यदि p या q शून्य है।

एक क्षेत्र k पर अपचायक समूह G को 'क्वैसी-स्प्लिट' कहा जाता है, यदि इसमें k के ऊपर एक बोरेल सबसमूह होता है। एक स्प्लिट अपचायक समूह क्वासी-स्प्लिट है। यदि G कश्मीर पर अर्ध-विभाजित है, तो G के किसी भी दो बोरेल उपसमूह G (के) के कुछ तत्व से संयुग्मित होते हैं। उदाहरण: ओर्थोगोनल समूह SO(p,q) ओवर 'R' विभाजित है यदि और केवल यदि |p−q| ≤ 1, और यह अर्ध-विभाजित है यदि और केवल यदि |p−q| ≤ 2।

अमूर्त समूहों के रूप में अर्धसरल समूहों की संरचना

क्षेत्र k पर सरल रूप से जुड़े विभाजित अर्धसरल समूह G के लिए, रॉबर्ट स्टाइनबर्ग ने अमूर्त समूह G(k) के एक समूह की एक स्पष्ट प्रस्तुति दी। यह G के डायनकिन आरेख द्वारा निर्धारित संबंधों के साथ G (रूट उपसमूह) की मूलों द्वारा अनुक्रमित के योगात्मक समूह की प्रतियों द्वारा उत्पन्न होता है।

एक पूर्ण क्षेत्र k पर सरल रूप से जुड़े विभाजित अर्धसरल समूह G के लिए, स्टाइनबर्ग ने अमूर्त समूह G(k) के ऑटोमोर्फिज्म समूह का भी निर्धारण किया। प्रत्येक ऑटोमोर्फिज्म एक आंतरिक ऑटोमोर्फिज्म का उत्पाद है, एक विकर्ण ऑटोमोर्फिज्म (अर्थात् एक उपयुक्त द्वारा संयुग्मन ${\overline {k}}$-एक अधिकतम टोरस का बिंदु), एक ग्राफ ऑटोमोर्फिज्म (डाइनकिन आरेख के एक ऑटोमोर्फिज्म के अनुरूप), और एक क्षेत्र ऑटोमोर्फिज्म (क्षेत्र के एक ऑटोमोर्फिज्म से आ रहा है)। एक के-सरल बीजगणितीय समूह G के लिए, 'स्तन की सरलता प्रमेय' कहती है कि सार समूह G (के) सरल होने के करीब है, हल्के अनुमानों के तहत। अर्थात्, मान लीजिए कि G, k पर समदैशिक है, और मान लीजिए कि क्षेत्र k में कम से कम 4 अवयव हैं। चलो G (के)⁺ योगात्मक समूह G की प्रतियों के k-बिंदुओं द्वारा उत्पन्न अमूर्त समूह G(k) का उपसमूह हो_a G में समाहित k से अधिक। (यह मानकर कि G k पर समदैशिक है, समूह G(k)⁺ असतहीय है, और यदि k अनंत है तो G में ज़रिस्की सघन भी है।) फिर G(k) का भागफल समूह⁺ इसके केंद्र द्वारा सरल है (एक सार समूह के रूप में)। सबूत जैक्स स्तन की बीn-जोड़े की मशीनरी का उपयोग करता है।

क्रम 2 या 3 के क्षेत्रों के अपवादों को ठीक रूप से समझा गया है। के = 'एफ' के लिए₂, स्तन की सरलता प्रमेय मान्य रहता है सिवाय इसके कि जब G प्रकार A का विभाजन हो₁, बी₂, या जी₂, या नॉन-स्प्लिट (यानी एकात्मक) टाइप ए₂। के = 'एफ' के लिए₃, प्रमेय प्रकार A के G को छोड़कर धारण करता है₁। एक के-सरल समूह G के लिए, पूरे समूह G (के) को समझने के लिए, कोई 'व्हाइटहेड समूह' डब्ल्यू (के, जी) = G (के)/जी (के) पर विचार कर सकता है।⁺। G के लिए बस संयोजित है और अर्ध-विभाजित है, व्हाइटहेड समूह छोटा है, और इसलिए पूरा समूह G (के) सरल मोडुलो इसका केंद्र है। अधिक सामान्यतः, केनेसर-टीट्स समस्या पूछती है कि व्हाइटहेड समूह कौन सा आइसोटोपिक के-सरल समूह नगण्य है। सभी ज्ञात उदाहरणों में, W(k, G) आबेली है।

अनिसोट्रोपिक के-सरल समूह G के लिए, अमूर्त समूह G (के) सरल से बहुत दूर हो सकता है। उदाहरण के लिए, मान लीजिए कि D एक विभाजन बीजगणित है जिसका केंद्र a p-adic क्षेत्र k है। मान लीजिए कि k पर D का आयाम परिमित है और 1 से अधिक है। फिर G = SL(1,D) एक अनिसोट्रोपिक k-सरल समूह है। जैसा ऊपर बताया गया है, G (के) शास्त्रीय टोपोलॉजी में संहत है। चूंकि यह पूरी तरह से डिस्कनेक्ट भी है, G (के) एक असीमित समूह है (परन्तु सीमित नहीं है)। नतीजतन, G (के) में उपसमूह के परिमित सूचकांक के असीम रूप से कई सामान्य उपसमूह होते हैं।

जाली और अंकगणितीय समूह

मान लीजिए G परिमेय संख्याओं 'Q' पर एक रैखिक बीजगणितीय समूह है। फिर G को 'जेड' पर एक एफ़िन समूह पद्धति G तक बढ़ाया जा सकता है, और यह एक अमूर्त समूह G ('जेड') निर्धारित करता है। एक 'अंकगणितीय समूह' का अर्थ G('Q') का कोई भी उपसमूह है जो G('Z') के साथ समानता (समूह सिद्धांत) है। (G('Q') के एक उपसमूह की अंकगणितीयता 'Z'-संरचना की पसंद से स्वतंत्र है।) उदाहरण के लिए, SL(n,'Z') SL(n,'Q') का एक अंकगणितीय उपसमूह है।

एक लाई समूह G के लिए, G में एक 'जाली (असतत उपसमूह)' का अर्थ है G का एक असतत उपसमूह Γ जैसे कि कई गुना G/Γ में परिमित आयतन (G-invariant माप के संबंध में) है। उदाहरण के लिए, एक असतत उपसमूह Γ एक जाली है यदि G/Γ संहत है। अंकगणित समूह # मार्गुलिस अंकगणितीय प्रमेय विशेष रूप से कहता है: कम से कम 2 वास्तविक रैंक के एक साधारण झूठ समूह G के लिए, G में प्रत्येक जाली एक अंकगणितीय समूह है।

डाइनकिन डायग्राम पर गैलोज क्रिया

Main article: Tits index

अपचायक समूहों को वर्गीकृत करने की मांग में, जिन्हें विभाजित करने की आवश्यकता नहीं है, एक कदम स्तन सूचकांक है, जो अनिसोट्रोपिक समूहों के मामले में समस्या को कम करता है। यह कमी बीजगणित में कई मूलभूत प्रमेयों का सामान्यीकरण करती है। उदाहरण के लिए, विट के अपघटन प्रमेय का कहना है कि एक क्षेत्र पर एक गैर-अपघटित द्विघात रूप को इसके अनिसोट्रोपिक आधार के साथ मिलकर इसके विट इंडेक्स द्वारा आइसोमोर्फिज्म तक निर्धारित किया जाता है। इसी तरह, आर्टिन-वेडरबर्न प्रमेय विभाजन बीजगणित के मामले में एक क्षेत्र पर केंद्रीय सरल बीजगणित के वर्गीकरण को कम करता है। इन परिणामों को सामान्य करते हुए, टिट्स ने दिखाया कि क्षेत्र k पर एक अपचायक समूह आइसोमोर्फिज्म तक इसके टिट्स इंडेक्स द्वारा इसके अनिसोट्रोपिक आधार, एक संबद्ध अनिसोट्रोपिक अर्द्धसरल k-समूह के साथ निर्धारित किया जाता है।

एक क्षेत्र k पर अपचायक समूह G के लिए, पूर्ण गैलोज़ समूह Gal(k_s/k) G के पूर्ण डायनकिन आरेख पर (निरंतर) कार्य करता है, अर्थात, एक वियोज्य क्लोजर k पर G का डायनकिन आरेख_s (जो एक बीजगणितीय संवृत्त होने पर G का डायकिन आरेख भी है ${\overline {k}}$)। G के ब्रेस्ट इंडेक्स में G का रूट डेटम होता है_ks, इसके डायनकिन डायग्राम पर गैलोज़ एक्शन, और डाइकिन डायग्राम के शीर्षों का एक गैलोज़-इनवेरिएंट उपसमुच्चय। परंपरागत रूप से, दिए गए उपसमुच्चय में गैलोज़ कक्षाओं के चक्कर लगाकर टिट्स इंडेक्स तैयार किया जाता है।

इन शर्तों में अर्ध-विभाजित समूहों का पूर्ण वर्गीकरण है। अर्थात्, डायनकिन आरेख पर एक क्षेत्र k के निरपेक्ष गैलोज़ समूह की प्रत्येक क्रिया के लिए, दिए गए क्रिया के साथ एक अद्वितीय अर्ध-विभाजित अर्ध-विभाजित समूह H ओवर k है। (अर्ध-विभाजित समूह के लिए, डायनकिन आरेख में प्रत्येक गैलोज़ कक्षा परिक्रमा की जाती है।) इसके अलावा, दी गई क्रिया के साथ कोई अन्य सरल रूप से संयोजित अर्ध-सरल समूह G, अर्ध-विभाजित समूह H का एक आंतरिक रूप है, जिसका अर्थ है कि G है गैलोइस कोहोलॉजी सेट एच के एक तत्व से जुड़ा समूह¹(k,H/Z), जहां Z, H का केंद्र है। दूसरे शब्दों में, G कुछ H/Z-torsor over k से जुड़ा H का ट्विस्ट है, जैसा कि अगले भाग में चर्चा की गई है।

उदाहरण: मान लीजिए कि n ≥ 5 के साथ 2 नहीं विशेषता वाले क्षेत्र k पर सम आयाम 2n का गैर-डीजेनरेट द्विघात रूप है। (इन प्रतिबंधों से बचा जा सकता है।) G को k पर साधारण समूह SO(q) होने दें। G का पूर्ण डायनकिन आरेख प्रकार डी का है_n, और इसलिए इसका ऑटोमोर्फिज्म समूह क्रम 2 का है, डी के दो पैरों को बदल रहा है_n आरेख। डायनकिन आरेख पर के के पूर्ण गैलोज़ समूह की कार्रवाई मामूली है यदि और केवल यदि क्यू में क्यू के द्विघात रूप डी के हस्ताक्षर किए गए भेदभाव के */(के *)² नगण्य है। यदि d असतहीय है, तो यह डायनकिन आरेख पर गाल्वा क्रिया में n्कोड किया गया है: पहचान के रूप में कार्य करने वाले गाल्वा समूह का सूचकांक -2 उपसमूह है $\operatorname {Gal} (k_{s}/k({\sqrt {d}}))\subset \operatorname {Gal} (k_{s}/k)$। समूह G को विभाजित किया जाता है यदि और केवल यदि q का Witt सूचकांक n है, जो अधिकतम संभव है, और G अर्ध-विभाजित है यदि और केवल यदि q का Witt सूचकांक कम से कम n − 1 है।

धड़ ्स और हस्से सिद्धांत

एक क्षेत्र k पर एक affine समूह पद्धति G के लिए एक टॉर्सर का अर्थ है k के ऊपर एक affine पद्धति X G की एक समूह कार्रवाई (गणित) के साथ जैसे कि $X_{\overline {k}}$ के लिए आइसोमोर्फिक है $G_{\overline {k}}$ की क्रिया के साथ $G_{\overline {k}}$ बाएँ अनुवाद द्वारा स्वयं पर। एक टॉर्सर को k पर fppf टोपोलॉजी के संबंध में k पर एक प्रमुख G-बंडल के रूप में भी देखा जा सकता है, या étale टोपोलॉजी यदि G k पर स्मूथ है। K पर G-torsors के समरूपता वर्गों के नुकीले सेट को H कहा जाता है¹(k,G), गाल्वा कोहोलॉजी की भाषा में।

जब भी कोई दिए गए बीजगणितीय वस्तु Y के 'रूपों' को एक क्षेत्र k पर वर्गीकृत करने का प्रयास करता है, तो टॉर्स उत्पन्न होते हैं, जिसका अर्थ है कि x से अधिक k पर वस्तुएँ जो k के बीजगणितीय संवृत्त होने पर Y के लिए आइसोमोर्फिक बन जाती हैं। अर्थात्, इस तरह के रूप (समरूपता तक) सेट एच के साथ एक-से-एक पत्राचार में हैं¹(के, ऑट (वाई))। उदाहरण के लिए, (nondegenerate) k पर आयाम n के द्विघात रूपों को H द्वारा वर्गीकृत किया गया है¹(k,O(n)), और डिग्री n से अधिक k के केंद्रीय सरल बीजगणित को H द्वारा वर्गीकृत किया गया है¹(के,पीGL(n))। साथ ही, दिए गए बीजगणितीय समूह G के k-रूपों (जिन्हें कभी-कभी G का घुमाव कहा जाता है) को H द्वारा वर्गीकृत किया जाता है¹(के, ऑट (जी))। ये समस्याएँ G-torsors के व्यवस्थित अध्ययन को प्रेरित करती हैं, विशेष रूप से अपचायक समूह G के लिए।

जब संभव हो, तो कोहोलॉजिकल इनवेरिएंट ्स का उपयोग करके जी-टॉर्सर्स को वर्गीकृत करने की उम्मीद है, जो एबेलियन गुणांक समूहों एम, एच के साथ गैलोइस कोहोलॉजी में मान लेने वाले अपरिवर्तनीय हैं।^ए(के, एम)। इस दिशा में, स्टाइनबर्ग ने जीन पियरे सेरे के अनुमान I को सिद्ध किया: एक जुड़े हुए रैखिक बीजीय समूह G के लिए अधिकतम 1, H क्षेत्र के कोहोलॉजिकल आयाम के एक आदर्श क्षेत्र पर¹(के, जी) = 1। (परिमित क्षेत्र के मामले को पहले लैंग के प्रमेय के रूप में जाना जाता था।) उदाहरण के लिए, यह इस प्रकार है कि परिमित क्षेत्र पर प्रत्येक अपचायक समूह अर्ध-विभाजित है।

सेरे का अनुमान II (बीजगणित) | सेरे का अनुमान II भविष्यवाणी करता है कि अधिक से अधिक 2, एच पर कोहोलॉजिकल आयाम के एक क्षेत्र पर बस जुड़े अर्ध-सरल समूह G के लिए¹(k,G) = 1। अनुमान पूरी तरह से काल्पनिक संख्या क्षेत्र के लिए जाना जाता है (जिसमें कोहोलॉजिकल आयाम 2 है)। अधिक सामान्यतः, किसी भी संख्या क्षेत्र k के लिए, मार्टिन केनेसर, गुंटर हार्डर और व्लादिमीर चेरनौसोव (1989) ने हासे सिद्धांत को साबित किया: एक साधारण रूप से जुड़े अर्धसरल समूह G के लिए k, मानचित्र

$H^{1}(k,G)\to \prod _{v}H^{1}(k_{v},G)$

विशेषण है। यहाँ v k, और k के सभी स्थानों (गणित) पर चलता है_v संबंधित स्थानीय क्षेत्र है (संभवतः आर या सी)। इसके अलावा, नुकीला सेट H¹(के_v, G) प्रत्येक गैर-अर्चिमिडियन स्थानीय क्षेत्र k के लिए नगण्य है_v, और इसलिए केवल k के वास्तविक स्थान मायने रखते हैं। सकारात्मक विशेषता के एक वैश्विक क्षेत्र k के लिए अनुरूप परिणाम पहले हार्डर (1975) द्वारा सिद्ध किया गया था: प्रत्येक सरलता से जुड़े अर्द्धसरल समूह G के ऊपर k, H के लिए¹(k,G) नगण्य है (क्योंकि k का कोई वास्तविक स्थान नहीं है)। एक संख्या क्षेत्र k पर एक निकटवर्ती समूह G के थोड़े अलग मामले में, हासे सिद्धांत एक कमजोर रूप में है: प्राकृतिक मानचित्र

$H^{1}(k,G)\to \prod _{v}H^{1}(k_{v},G)$

इंजेक्शन है। G = पीGL (n) के लिए, यह अल्बर्ट-ब्रुएर-हस्से-नोथेर प्रमेय की मात्रा है, यह कहते हुए कि एक संख्या क्षेत्र पर एक केंद्रीय सरल बीजगणित अपने स्थानीय आक्रमणकारियों द्वारा निर्धारित किया जाता है।

हस्से सिद्धांत पर निर्माण, संख्या क्षेत्रों पर अर्ध-सरल समूहों का वर्गीकरण ठीक रूप से समझा जाता है। उदाहरण के लिए, असाधारण समूह E8 (गणित)|E के ठीक तीन 'Q'-रूप हैं₈, ई के तीन वास्तविक रूपों के अनुरूप₈।

यह भी देखें

• झूठ प्रकार का समूह परिमित क्षेत्रों पर सरल बीजगणितीय समूहों से निर्मित परिमित सरल समूह हैं।
• सामान्यीकृत ध्वज किस्म, ब्रुहट अपघटन, शुबर्ट किस्म, शुबर्ट कैलकुलस
• शूर बीजगणित, डेलिग्ने-लुज़्ज़टिग सिद्धांत
• वास्तविक रूप (झूठ सिद्धांत)
• तमागावा संख्या पर वील का अनुमान
• लैंगलैंड्स वर्गीकरण, लैंगलैंड्स दोहरे समूह , लैंगलैंड्स प्रोग्राम, [[ ज्यामितीय लैंगलैंड्स कार्यक्रम ]]
• विशेष समूह (बीजगणितीय समूह सिद्धांत), आवश्यक आयाम
• ज्यामितीय अपरिवर्तनीय सिद्धांत, लूना का टुकड़ा प्रमेय, हबश का प्रमेय
• एक बीजगणितीय समूह का मूलांक

संदर्भ

• Borel, Armand (1991) [1969], Linear Algebraic Groups, Graduate Texts in Mathematics, vol. 126 (2nd ed.), New York: Springer Nature, doi:10.1007/978-1-4612-0941-6, ISBN 0-387-97370-2, MR 1102012
• Borel, Armand; Tits, Jacques (1971), "Éléments unipotents et sous-groupes paraboliques de groupes réductifs. I.", Inventiones Mathematicae, 12: 95–104, Bibcode:1971InMat..12...95B, doi:10.1007/BF01404653, MR 0294349
• Chevalley, Claude (2005) [1958], Cartier, P. (ed.), Classification des groupes algébriques semi-simples, Collected Works, Vol. 3, Springer Nature, ISBN 3-540-23031-9, MR 2124841
• Conrad, Brian (2014), "Reductive group schemes" (PDF), Autour des schémas en groupes, vol. 1, Paris: Société Mathématique de France, pp. 93–444, ISBN 978-2-85629-794-0, MR 3309122
• Demazure, Michel; Gabriel, Pierre (1970), Groupes algébriques. Tome I: Géométrie algébrique, généralités, groupes commutatifs, Paris: Masson, ISBN 978-2225616662, MR 0302656
• Demazure, M.; Grothendieck, A. (2011) [1970]. Gille, P.; Polo, P. (eds.). Schémas en groupes (SGA 3), I: Propriétés générales des schémas en groupes. Société Mathématique de France. ISBN 978-2-85629-323-2. MR 2867621. Revised and annotated edition of the 1970 original.
• Demazure, M.; Grothendieck, A. (1970). Schémas en groupes (SGA 3), II: Groupes de type multiplicatif, et structure des schémas en groupes généraux. Lecture Notes in Mathematics. Vol. 152. Berlin; New York: Springer-Verlag. doi:10.1007/BFb0059005. ISBN 978-3540051800. MR 0274459.
• Demazure, M.; Grothendieck, A. (2011) [1970]. Gille, P.; Polo, P. (eds.). Schémas en groupes (SGA 3), III: Structure des schémas en groupes réductifs. Société Mathématique de France. ISBN 978-2-85629-324-9. MR 2867622. Revised and annotated edition of the 1970 original.
• Gille, Philippe (2009), "Le problème de Kneser–Tits" (PDF), Séminaire Bourbaki. Vol. 2007/2008, Astérisque, vol. 326, Société Mathématique de France, pp. 39–81, ISBN 978-285629-269-3, MR 2605318
• Jantzen, Jens Carsten (2003) [1987], Representations of Algebraic Groups (2nd ed.), American Mathematical Society, ISBN 978-0-8218-3527-2, MR 2015057
• Milne, J. S. (2017), Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field, Cambridge University Press, doi:10.1017/9781316711736, ISBN 978-1107167483, MR 3729270
• Platonov, Vladimir; Rapinchuk, Andrei (1994), Algebraic Groups and Number Theory, Academic Press, ISBN 0-12-558180-7, MR 1278263
• V.L. Popov (2001) [1994], "Reductive group", Encyclopedia of Mathematics, EMS Press
• Riche, Simon; Williamson, Geordie (2018), Tilting Modules and the p-Canonical Basis, Astérisque, vol. 397, Société Mathématique de France, arXiv:1512.08296, Bibcode:2015arXiv151208296R, ISBN 978-2-85629-880-0
• Springer, Tonny A. (1979), "Reductive groups", Automorphic Forms, Representations, and L-functions, vol. 1, American Mathematical Society, pp. 3–27, ISBN 0-8218-3347-2, MR 0546587
• Springer, Tonny A. (1998), Linear Algebraic Groups, Progress in Mathematics, vol. 9 (2nd ed.), Boston, MA: Birkhäuser Boston, doi:10.1007/978-0-8176-4840-4, ISBN 978-0-8176-4021-7, MR 1642713
• Steinberg, Robert (1965), "Regular elements of semisimple algebraic groups", Publications Mathématiques de l'IHÉS, 25: 49–80, doi:10.1007/bf02684397, MR 0180554
• Steinberg, Robert (2016) [1968], Lectures on Chevalley Groups, University Lecture Series, vol. 66, American Mathematical Society, doi:10.1090/ulect/066, ISBN 978-1-4704-3105-1, MR 3616493
• Tits, Jacques (1964), "Algebraic and abstract simple groups", Annals of Mathematics, 80 (2): 313–329, doi:10.2307/1970394, JSTOR 1970394, MR 0164968

बाहरी संबंध

• Demazure, M.; Grothendieck, A., Gille, P.; Polo, P. (eds.), Schémas en groupes (SGA 3), II: Groupes de type multiplicatif, et structure des schémas en groupes généraux Revised and annotated edition of the 1970 original.