अपचायक समूह

गणित में, एक अपचायक समूह एक क्षेत्र (गणित) पर रैखिक बीजगणितीय समूह का एक प्रकार है। एक परिभाषा यह है कि एक पूर्ण क्षेत्र पर एक संयोजित रैखिक बीजगणितीय समूह 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}$ पर।

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

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

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

उदाहरण

GL_n और SL_n

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

O(n), SO(n), और SP(n)

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

टोरी

समूह $\mathbb {G} _{m}$ और इसके उत्पादों को बीजगणितीय टोरस कहा जाता है। वे अपचायक समूहों के उदाहरण हैं क्योंकि वे विकर्ण के माध्यम से ${\text{GL}}_{n}$ में अंतःस्थापित होते हैं, और इस निरूपण से, उनका एकरूप मूलक नगण्य है। उदाहरण के लिए, $\mathbb {G} _{m}\times \mathbb {G} _{m}$ प्रतिचित्र

$(a_{1},a_{2})\mapsto {\begin{bmatrix}a_{1}&0\\0&a_{2}\end{bmatrix}}$ से ${\text{GL}}_{2}$ में अंतःस्थापित होता है।

गैर-उदाहरण

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

संबद्ध अपचायक समूह

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

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

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

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

मूल

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

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

संलग्न निरूपण G की क्रिया है जो इसके लाई बीजगणित ${\mathfrak {g}}$ पर संयुग्मन द्वारा होता है। G के एक मूल का अर्थ है एक गैर-शून्य भार जो ${\mathfrak {g}}$पर T ⊂ G की क्रिया में होता है। प्रत्येक मूल के अनुरूप ${\mathfrak {g}}$ की उप-समष्टि उपक्षेत्र 1-विमीय है, और T द्वारा निश्चित की गई ${\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 आव्यूहों की सदिश समष्टि है। मान लीजिए कि G में विकर्ण आव्यूहों का उपसमूह T है। फिर मूल-समष्टि अपघटन ${{\mathfrak {g}}l}(n)$ को विकर्ण आव्यूह के प्रत्यक्ष योग और संवृत्त-विकर्ण पदों (i, j) द्वारा अनुक्रमित 1-विमीय उप-समष्टि के रूप में व्यक्त करता है। भार जालक X(T) ≅ 'Z ⁿ' के मानक आधार के लिए L₁,..., L_n लिखते हुए, 1 से n तक सभी i ≠ j के लिए मूल अवयव Li - Lj हैं।

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

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

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

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

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

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

एक क्षेत्र k पर विभाजित अपचायक समूह G के लिए, एक महत्वपूर्ण बिंदु यह है कि एक मूल α न मात्र G के लाई बीजगणित के 1-विमीय उप-समष्टि को निर्धारित करता है, बल्कि दिए गए लाई बीजगणित के साथ G में योज्य समूह G_a की एक प्रति भी है, जिसे 'मूल उपसमूह' 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 के दशक में विल्हेम हत्या और Lी कार्टन द्वारा संहत लाइ समूहों या जटिल अर्ध-सरल ले बीजगणित के वर्गीकरण के समान है। विशेष रूप से, साधारण बीजगणितीय समूहों के विमा, केंद्र और अन्य गुणों को सरल लाई समूहों की सूची से पढ़ा जा सकता है। यह उल्लेखनीय है कि अपचायक समूहों का वर्गीकरण विशेषता से स्वतंत्र है। तुलना के लिए, अभिलक्षणिक शून्य की तुलना में धनात्मक अभिलक्षण में बहुत अधिक सरल लाई बीजगणित हैं।

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

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

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

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

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

उदाहरण के लिए, प्रक्षेपी रैखिक समूह पीGL(2) किसी भी क्षेत्र पर एक बीजगणितीय समूह के रूप में संयोजित है, परन्तु इसके वास्तविक बिंदुओं के समूह पीGL(2,आर) में दो संयोजित घटक हैं। पीGL(2,आर) (कभी-कभी पीSL(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 का के-पद है। उदाहरण के लिए, SL (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 (λ) शूर मॉड्यूल ∇ (λ) का अद्वितीय सरल सबमॉड्यूल (सोकल (गणित)) है, परन्तु यह शूर मॉड्यूल के बराबर नहीं होना चाहिए। शूर मॉड्यूल का विमा और चरित्र जॉर्ज केम्फ द्वारा वेइल वर्ण सूत्र (विशेषता शून्य के रूप में) द्वारा दिया गया है। अलघुकरणीय अभ्यावेदन L(λ) के विमा और लक्षण सामान्य रूप से अज्ञात हैं, यद्यपि इन निरूपणों का विश्लेषण करने के लिए सिद्धांत का एक बड़ा निकाय विकसित किया गया है। एक महत्वपूर्ण परिणाम यह है कि 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 = SL (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.