अपचायक समूह: Difference between revisions

From Vigyanwiki
(Created page with "{{Group theory sidebar|Algebraic}} गणित में, एक रिडक्टिव ग्रुप एक क्षेत्र (गणित) पर एक प...")
 
No edit summary
 
(23 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Group theory sidebar|Algebraic}}
{{Group theory sidebar|Algebraic}}


गणित में, एक रिडक्टिव ग्रुप एक [[क्षेत्र (गणित)]] पर एक प्रकार का [[रैखिक बीजगणितीय समूह]] है। एक परिभाषा यह है कि एक पूर्ण क्षेत्र पर एक जुड़ा हुआ रैखिक बीजगणितीय समूह ''जी'' रिडक्टिव है, अगर इसमें परिमित कर्नेल (बीजगणित) के साथ एक समूह का प्रतिनिधित्व होता है जो इरेड्यूसिबल प्रस्तुतियों का [[प्रत्यक्ष योग]] है। रिडक्टिव समूहों में गणित के कुछ सबसे महत्वपूर्ण समूह शामिल हैं, जैसे [[सामान्य रैखिक समूह]] ''जीएल''(''एन'') उलटा मेट्रिसेस, [[विशेष ऑर्थोगोनल समूह]] ''एसओ''(''एन'') , और [[सहानुभूतिपूर्ण समूह]] ''Sp''(2''n'')। सरल बीजगणितीय समूह और (अधिक सामान्यतः) अर्धसरल बीजगणितीय समूह रिडक्टिव होते हैं।
गणित में, अपचायक समूह एक [[क्षेत्र (गणित)|क्षेत्र (गणित]]) पर [[रैखिक बीजगणितीय समूह]] का एक प्रकार है। एक परिभाषा यह है कि एक पूर्ण क्षेत्र पर एक संयोजित रैखिक बीजगणितीय समूह G अपचायक है, यदि इसमें परिमित आधार (बीजगणित) के साथ एक समूह का निरूपण होता है जो अखंडनीय प्रस्तुतियों का [[प्रत्यक्ष योग]] है। अपचायक समूहों में गणित के कुछ सबसे महत्वपूर्ण समूह सम्मिलित हैं, जैसे [[सामान्य रैखिक समूह]] ''G''l(''n'') व्युत्क्रम आव्यूह, [[विशेष ऑर्थोगोनल समूह|विशेष लंब कोणीय समूह]] ''S''o(''n''), और [[सहानुभूतिपूर्ण समूह|सममिती समूह]] ''S''p(2''n'')। सरल बीजगणितीय समूह और (अधिक सामान्यतः) अर्धसरल बीजगणितीय समूह अपचायक होते हैं।


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


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


== परिभाषाएँ ==
== परिभाषाएँ ==
{{main|Linear algebraic group}}
{{main|रैखिक बीजगणितीय समूह}}
किसी क्षेत्र k पर एक रेखीय बीजगणितीय समूह को कुछ धनात्मक पूर्णांक n के लिए k पर GL(n) की एक [[चिकनी योजना]] बंद [[समूह योजना]] के रूप में परिभाषित किया गया है। समतुल्य रूप से, k पर एक रेखीय बीजगणितीय समूह k के ऊपर एक चिकनी संबंध योजना समूह योजना है।
किसी क्षेत्र k पर एक रेखीय बीजगणितीय समूह को कुछ धनात्मक पूर्णांक n के लिए k पर Gl(n) की एक [[चिकनी योजना|समृणीकृत पद्धति]] संवृत [[समूह योजना|समूह पद्धति]] के रूप में परिभाषित किया गया है। समतुल्य रूप से, k पर एक रेखीय बीजगणितीय समूह k पर एक समृणीकृत संबंध पद्धति समूह पद्धति है।


=== एकांगी मूलक के साथ ===
=== एकांगी मूलक के साथ ===
एक जुड़ा हुआ अंतरिक्ष रैखिक बीजगणितीय समूह <math>G</math> एक बीजगणितीय रूप से बंद क्षेत्र को सेमीसिम्पल कहा जाता है यदि हर सुचारू रूप से जुड़ा हुआ [[हल करने योग्य समूह]] का [[सामान्य उपसमूह]] <math>G</math> तुच्छ है। अधिक आम तौर पर, एक जुड़ा हुआ रैखिक बीजगणितीय समूह <math>G</math> एक बीजगणितीय रूप से बंद क्षेत्र पर रिडक्टिव कहा जाता है यदि सबसे बड़ा सुचारू रूप से जुड़ा हुआ रैखिक बीजगणितीय समूह # यूनिपोटेंट समूह का सामान्य उपसमूह <math>G</math> तुच्छ है।<ref>SGA 3 (2011), v. 3, Définition XIX.1.6.1.</ref> इस सामान्य उपसमूह को यूनिपोटेंट रेडिकल कहा जाता है और इसे निरूपित किया जाता है <math>R_u(G)</math>. (कुछ लेखकों को जोड़ने के लिए रिडक्टिव समूहों की आवश्यकता नहीं होती है।) एक समूह <math>G</math> एक मनमाना क्षेत्र पर k को [[योजनाओं के फाइबर उत्पाद]] होने पर सेमीसिम्पल या रिडक्टिव कहा जाता है <math>G_{\overline k}</math> सेमीसिंपल या रिडक्टिव है, जहां <math>\overline k</math> k का [[बीजगणितीय समापन]] है। (यह परिचय में रिडक्टिव ग्रुप्स की परिभाषा के बराबर है जब k एकदम सही है।<ref>Milne (2017), Proposition 21.60.</ref>) कोई भी रैखिक बीजगणितीय समूह#टोरी ओवर k, जैसे कि रैखिक बीजगणितीय समूह#उदाहरण G<sub>''m''</sub>, रिडक्टिव है।
एक संयोजित समष्टि रैखिक बीजगणितीय समूह <math>G</math> एक बीजगणितीय रूप से संवृत क्षेत्र को अर्द्धसरल कहा जाता है यदि प्रत्येक समृणीकृत रूप से संयोजित [[हल करने योग्य समूह]] का [[सामान्य उपसमूह]] <math>G</math> नगण्य है। अधिक सामान्यतः, एक संयोजित रैखिक बीजगणितीय समूह <math>G</math> एक बीजगणितीय रूप से संवृत क्षेत्र पर अपचायक कहा जाता है यदि <math>G</math> के सबसे बड़े समृणीकृत रूप से संयोजित रैखिक बीजगणितीय समूह सामान्य उपसमूह नगण्य है।<ref>SGA 3 (2011), v. 3, Définition XIX.1.6.1.</ref> इस सामान्य उपसमूह को एकांगी मूलक कहा जाता है और इसे <math>R_u(G)</math> के रूप में दर्शाया जाता है। (कुछ लेखकों को जोड़ने के लिए अपचायक समूहों की आवश्यकता नहीं होती है।) एक स्वेच्छ क्षेत्र k पर एक समूह <math>G</math> को अर्द्धसरल या अपचायक कहा जाता है यदि [[योजनाओं के फाइबर उत्पाद|पद्धतिओं के तन्तु उत्पाद]] <math>G_{\overline k}</math> अर्द्धसरल या अपचायक है, जहां <math>\overline k</math> k का [[बीजगणितीय समापन|बीजगणितीय संवरक]] है। (यह परिचय में अपचायक समूह की परिभाषा के बराबर है जब k उतम है। <ref>Milne (2017), Proposition 21.60.</ref>) k पर कोई भी रैखिक बीजगणितीय समूह, जैसे गुणक समूह G<sub>''m''</sub>, अपचायक होता है।  


=== प्रतिनिधित्व सिद्धांत के साथ ===
=== निरूपण सिद्धांत के साथ ===
विशेषता शून्य के क्षेत्रों में एक रिडक्टिव समूह की एक और समकक्ष परिभाषा एक जुड़ा हुआ समूह है <math>G</math> एक विश्वासपात्र अर्धसरल निरूपण को स्वीकार करना जो इसके बीजगणितीय समापन पर अर्धसरल बना रहता है <math>k^{al}</math><ref>{{Cite book|last=Milne|url=https://www.jmilne.org/math/CourseNotes/iAG200.pdf|title=रैखिक बीजगणितीय समूह|pages=381-394}}</ref> <sup>पेज 424</sup>.
विशेषता शून्य के क्षेत्रों में अपचायक समूह की एक और समकक्ष परिभाषा एक संयोजित समूह <math>G</math> है एक विश्वासपात्र अर्धसरल निरूपण को स्वीकार करता है जो इसके बीजगणितीय संवरक <math>k^{al}</math> पर अर्धसरल रहता है <ref>{{Cite book|last=Milne|url=https://www.jmilne.org/math/CourseNotes/iAG200.pdf|title=रैखिक बीजगणितीय समूह|pages=381-394}}</ref> <sup>पृष्ठ 424</sup>


=== सरल रिडक्टिव समूह ===
=== सरल अपचायक समूह ===
फ़ील्ड k पर एक रेखीय बीजगणितीय समूह G को 'सरल' (या k-'सरल') कहा जाता है, यदि यह अर्धसूत्रीय, गैर-तुच्छ है, और G से अधिक k का हर सुचारू रूप से जुड़ा हुआ सामान्य उपसमूह तुच्छ या G के बराबर है।<ref>Conrad (2014), after Proposition 5.1.17.</ref> (कुछ लेखक इस संपत्ति को लगभग सरल कहते हैं।) यह सार समूहों के लिए शब्दावली से थोड़ा अलग है, जिसमें एक साधारण बीजगणितीय समूह में गैर-तुच्छ [[केंद्र (समूह सिद्धांत)]] हो सकता है (हालांकि केंद्र परिमित होना चाहिए)। उदाहरण के लिए, किसी भी पूर्णांक n के लिए कम से कम 2 और किसी भी फ़ील्ड k के लिए, k पर समूह SL(n) सरल है, और इसका केंद्र गुणक समूह#एकता की जड़ों की समूह योजना है। समूह योजना μ<sub>''n''</sub>एकता की nth जड़ों की।
क्षेत्र k पर एक रेखीय बीजगणितीय समूह G को 'सरल' (या k-'सरल') कहा जाता है, यदि यह अर्धसूत्रीय, असतहीय है, और G से अधिक k का प्रत्येक समृणीकृत रूप से संयोजित सामान्य उपसमूह नगण्य या G के बराबर है।<ref>Conrad (2014), after Proposition 5.1.17.</ref> (कुछ लेखक इस गुण को लगभग सरल कहते हैं।) यह अमूर्त समूहों के लिए शब्दावली से किंचित अलग है, जिसमें एक साधारण बीजगणितीय समूह में असतहीय [[केंद्र (समूह सिद्धांत)|केंद्र (समूह सिद्धांत]]) हो सकता है (यद्यपि केंद्र परिमित होना चाहिए)। उदाहरण के लिए, किसी भी पूर्णांक n के लिए कम से कम 2 और किसी भी क्षेत्र k के लिए, k पर समूह Sl(n) सरल है, और इसका केंद्र गुणक समूह एकता की nth मूलों की समूह पद्धति μ<sub>''n''</sub> है।


रिडक्टिव समूहों का एक 'केंद्रीय समरूपता' एक विशेषण [[समूह समरूपता]] है जिसमें कर्नेल एक परिमित [[केंद्रीय उपसमूह]] योजना है। एक क्षेत्र पर प्रत्येक रिडक्टिव समूह एक टोरस और कुछ सरल समूहों के उत्पाद से एक केंद्रीय समरूपता को स्वीकार करता है। उदाहरण के लिए, किसी भी फ़ील्ड k पर,
अपचायक समूहों के 'केंद्रीय समरूपता' विशेषण [[समूह समरूपता]] है जिसमें आधार एक परिमित [[केंद्रीय उपसमूह]] पद्धति है। एक क्षेत्र पर प्रत्येक अपचायक समूह एक टोरस और कुछ सरल समूहों के उत्पाद से केंद्रीय समरूपता को स्वीकार करते है। उदाहरण के लिए, किसी भी क्षेत्र k,
:<math>GL(n)\cong (G_m\times SL(n))/\mu_n.</math>
:<math>GL(n)\cong (G_m\times SL(n))/\mu_n</math> पर।
यह थोड़ा अजीब है कि एक क्षेत्र पर एक रिडक्टिव ग्रुप की परिभाषा में बीजगणितीय बंद होने का मार्ग शामिल है। एक पूर्ण क्षेत्र के लिए, जिसे टाला जा सकता है: एक रैखिक बीजगणितीय समूह जी ओवर के रिडक्टिव है अगर और केवल अगर जी के प्रत्येक चिकनी जुड़े यूनिपोटेंट सामान्य के-उपसमूह तुच्छ हैं। एक मनमाने क्षेत्र के लिए, बाद की संपत्ति एक [[छद्म-रिडक्टिव समूह]] को परिभाषित करती है, जो कुछ अधिक सामान्य है।
यह किंचित अनुपयुक्त है कि एक क्षेत्र पर अपचायक समूह की परिभाषा में बीजगणितीय संवरक को पारित करना सम्मिलित है। पूर्ण क्षेत्र k के लिए, इससे बचा जा सकता है: k पर एक रैखिक बीजगणितीय समूह G अपचायक है यदि और मात्र यदि G के प्रत्येक समृणीकृत संयोजित एकांगी सामान्य k-उपसमूह नगण्य हैं। स्वेच्छ क्षेत्र के लिए, बाद की गुण एक [[छद्म-रिडक्टिव समूह|छद्म-अपचायक समूह]] को परिभाषित करती है, जो कुछ अधिक सामान्य है।


=== स्प्लिट-रिडक्टिव समूह ===
=== विभाजित-अपचायक समूह ===
फ़ील्ड k पर एक रिडक्टिव ग्रुप G को 'स्प्लिट' कहा जाता है, अगर इसमें k के ऊपर एक स्प्लिट मैक्सिमम टोरस T होता है (यानी, G में एक रैखिक बीजगणितीय समूह#Tori जिसका आधार बदल जाता है) <math>\overline k</math> में एक अधिकतम टोरस है <math>G_{\overline k}</math>). यह कहने के बराबर है कि टी जी में विभाजित टोरस है जो कि जी में सभी के-टोरी के बीच अधिकतम है।<ref>Borel (1991), 18.2(i).</ref> इस प्रकार के समूह उपयोगी होते हैं क्योंकि उनके वर्गीकरण को संयोजी डेटा के माध्यम से वर्णित किया जा सकता है जिसे रूट डेटा कहा जाता है।
क्षेत्र k पर अपचायक समूह G को 'विभाजित' कहा जाता है, यदि इसमें k पर एक विभाजित अधिकतम टोरस T होता है (अर्थात, G में रैखिक बीजगणितीय समूह जिसका आधार बदल जाता है) <math>\overline k</math> में एक अधिकतम टोरस है <math>G_{\overline k}</math>)यह कहने के बराबर है कि टी G में विभाजित टोरस है जो कि G में सभी k-टोरी के बीच अधिकतम है।<ref>Borel (1991), 18.2(i).</ref> इस प्रकार के समूह उपयोगी होते हैं क्योंकि उनके वर्गीकरण को संयोजी आंकड़ों के माध्यम से वर्णित किया जा सकता है जिसे मूल आंकड़ें कहा जाता है।


== उदाहरण ==
== उदाहरण ==


=== जीएल<sub>''n''</sub> और एसएल<sub>''n''</sub> ===
=== GL<sub>''n''</sub> और SL<sub>''n''</sub> ===
रिडक्टिव ग्रुप का एक मूलभूत उदाहरण सामान्य रैखिक समूह है <math>\text{GL}_n</math> प्राकृतिक संख्या n के लिए फ़ील्ड k पर व्युत्क्रमणीय n × n मैट्रिसेस। विशेष रूप से, 'गुणक समूह' जी<sub>''m''</sub> समूह जीएल (1) है, और इसलिए इसका समूह जी है<sub>''m''</sub>(k) k-रेशनल पॉइंट्स गुणन के तहत k के गैर-शून्य तत्वों का समूह k* है। एक अन्य रिडक्टिव समूह क्षेत्र k पर [[विशेष रैखिक समूह]] SL(n) है, निर्धारक 1 के साथ आव्यूहों का उपसमूह। वास्तव में, SL(n) कम से कम 2 n के लिए एक सरल बीजगणितीय समूह है।
अपचायक समूह का मूलभूत उदाहरण प्राकृतिक संख्या n के लिए क्षेत्र k पर व्युत्क्रमणीय n × n आव्यूह सामान्य रैखिक समूह <math>\text{GL}_n</math> है। विशेष रूप से, 'गुणक समूह' G<sub>''m''</sub> समूह Gl(1) है, और इसलिए k-तर्कसंगत बिंदुओं का इसका समूह Gm(k) गुणन के अंतर्गत k के शून्येतर अवयवों का समूह k* है। अन्य अपचायक समूह [[विशेष रैखिक समूह]] Sl(n) एक क्षेत्र k पर, निर्धारक 1 के साथ आव्यूहों का उपसमूह है। वस्तुतः, Sl(n) कम से कम 2 n के लिए सरल बीजगणितीय समूह है।


=== (एन), एसओ (एन), और एसपी (एन) ===
=== o(n), So(n), और Sp(n) ===
एक महत्वपूर्ण सरल समूह क्षेत्र k पर सहानुभूतिपूर्ण समूह Sp(2n) है, GL(2n) का उपसमूह जो सदिश स्थान k पर एक गैर-अपघटित वैकल्पिक [[द्विरेखीय रूप]] को संरक्षित करता है।<sup>2एन</sup>. इसी तरह, ओर्थोगोनल समूह 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) प्राप्त हो सकते हैं, हालांकि उन सभी में बीजगणितीय समापन में समान आधार परिवर्तन होता है। <math>\overline k</math>.
महत्वपूर्ण सरल समूह क्षेत्र k पर सममिती समूह Sp(2n) है, Gl(2n) का उपसमूह जो सदिश समष्टि k<sup>2n</sup> पर गैर-अपघटित वैकल्पिक [[द्विरेखीय रूप]] को संरक्षित करता है। इसी प्रकार, लांबिक समूह 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) प्राप्त हो सकते हैं, यद्यपि उन सभी में बीजगणितीय संवरक <math>\overline k</math> में समान आधार परिवर्तन होता है।


=== तोरी ===
=== टोरी ===
समूह <math>\mathbb{G}_m</math> और इसके उत्पादों को [[बीजगणितीय टोरस]] कहा जाता है। वे एम्बेड करने के बाद से रिडक्टिव समूहों के उदाहरण हैं <math>\text{GL}_n</math> विकर्ण के माध्यम से, और इस प्रतिनिधित्व से, उनका एकरूप मूलक तुच्छ है। उदाहरण के लिए, <math>\mathbb{G}_m\times \mathbb {G}_m</math> एम्बेड करता है <math>\text{GL}_2</math> मानचित्र से <ब्लॉककोट><math>(a_1,a_2) \mapsto \begin{bmatrix}
समूह <math>\mathbb{G}_m</math> और इसके उत्पादों को [[बीजगणितीय टोरस]] कहा जाता है। वे अपचायक समूहों के उदाहरण हैं क्योंकि वे विकर्ण के माध्यम से <math>\text{GL}_n</math> में अंतःस्थापित होते हैं, और इस निरूपण से, उनका एकरूप मूलक नगण्य है। उदाहरण के लिए, <math>\mathbb{G}_m\times \mathbb {G}_m</math> प्रतिचित्र
 
<math>(a_1,a_2) \mapsto \begin{bmatrix}
a_1 & 0 \\
a_1 & 0 \\
0 & a_2
0 & a_2
\end{bmatrix}.</math></ब्लॉककोट>
\end{bmatrix}</math> से <math>\text{GL}_2</math> में अंतःस्थापित होता है।


=== गैर-उदाहरण ===
=== गैर-उदाहरण ===


* कोई भी [[शक्तिहीन समूह]] रिडक्टिव नहीं है क्योंकि उसका अनइपोटेंट रेडिकल खुद है। इसमें योजक समूह शामिल है <math>\mathbb{G}_a</math>.
* कोई भी [[शक्तिहीन समूह|एकांगी समूह]] अपचायक नहीं है क्योंकि उसका एकांगी मूलक स्वयं है। इसमें योजक समूह <math>\mathbb{G}_a</math> सम्मिलित है।
* [[बोरेल समूह]] <math>B_n</math> का <math>\text{GL}_n</math> एक गैर तुच्छ unpotent कट्टरपंथी है <math>\mathbb{U}_n</math> ऊपरी-त्रिकोणीय मैट्रिसेस के साथ <math>1</math> विकर्ण पर। यह एक गैर-अपचायक समूह का एक उदाहरण है जो एक-शक्तिशाली नहीं है।
* <math>\text{GL}_n</math> के [[बोरेल समूह]] <math>B_n</math> में विकर्ण पर <math>1</math> के साथ ऊपरी-त्रिकोणीय आव्यूह का असतहीय एकांगी मूलक <math>\mathbb{U}_n</math> है। यह एक गैर-अपचायक समूह का उदाहरण है जो एक-एकांगी नहीं है।


==== एसोसिएटेड रिडक्टिव ग्रुप ====
==== संबद्ध अपचायक समूह ====
ध्यान दें कि यूनिपोटेंट रेडिकल की सामान्यता <math>R_u(G)</math> तात्पर्य है कि भागफल समूह <math>G/R_u(G)</math> रिडक्टिव है। उदाहरण के लिए, <ब्लॉककोट><math>B_n/(R_u(B_n)) \cong \prod^n_{i=1} \mathbb{G}_m.</math></ब्लॉककोट>
ध्यान दें कि एकांगी मूलक <math>R_u(G)</math> की सामान्यता का तात्पर्य है कि भागफल समूह <math>G/R_u(G)</math> अपचायक है। उदाहरण के लिए,<math>B_n/(R_u(B_n)) \cong \prod^n_{i=1} \mathbb{G}_m.</math>


== रिडक्टिव समूहों के अन्य लक्षण ==
== अपचायक समूहों के अन्य लक्षण ==
प्रत्येक कॉम्पैक्ट कनेक्टेड लाई समूह में एक जटिलता (लाई समूह) होती है, जो एक जटिल रिडक्टिव बीजगणितीय समूह है। वास्तव में, यह निर्माण समरूपता तक कॉम्पैक्ट कनेक्टेड लाइ समूहों और जटिल रिडक्टिव समूहों के बीच एक-से-एक पत्राचार देता है। जटिलता जी के साथ एक कॉम्पैक्ट लाई ग्रुप के लिए, जी ('सी') पर शास्त्रीय टोपोलॉजी के संबंध में, के से जटिल रिडक्टिव ग्रुप जी ('सी') में शामिल होना एक होमोटॉपी समकक्ष है। उदाहरण के लिए, [[एकात्मक समूह]] U(n) से GL(n,'C') में समावेश एक [[होमोटॉपी तुल्यता]] है।
प्रत्येक संहत संयोजित लाई समूह में जटिलता (लाई समूह) होती है, जो जटिल अपचायक बीजगणितीय समूह है। वस्तुतः, यह निर्माण समरूपता तक संहत संयोजित लाई समूहों और जटिल अपचायक समूहों के बीच एक-से-एक संगति देता है। जटिलता G के साथ एक संहत लाई समूह k के लिए, k से जटिल अपचायक समूह g('<nowiki/>'''C'''<nowiki/>') में सम्मिलित होना, g(''''C'''<nowiki/>') पर शास्त्रीय सांस्थिति के संबंध में समस्थेयता समतुल्यता है। उदाहरण के लिए, [[एकात्मक समूह]] u(n) से Gl(n,'C') में समावेश एक [[होमोटॉपी तुल्यता|समस्थेयता तुल्यता]] है।


एक क्षेत्र शून्य की विशेषता के क्षेत्र में एक रिडक्टिव ग्रुप जी के लिए, जी के सभी परिमित-आयामी प्रतिनिधित्व (एक बीजगणितीय समूह के रूप में) अर्धसूत्रीय प्रतिनिधित्व हैं, अर्थात, वे अलघुकरणीय अभ्यावेदन के प्रत्यक्ष योग हैं।<ref>Milne (2017), Theorem 22.42.</ref> यह नाम रिडक्टिव का स्रोत है। ध्यान दें, हालांकि, पूर्ण न्यूनीकरण सकारात्मक विशेषता (टोरी के अलावा) में रिडक्टिव समूहों के लिए विफल रहता है। अधिक विवरण में: स्कीम थ्योरी की ग्लोसरी की एक एफ़िन ग्रुप स्कीम जी # परिमित प्रकार (स्थानीय रूप से) फ़ील्ड k पर 'रैखिक रूप से रिडक्टिव' कहलाती है यदि इसके परिमित-आयामी प्रतिनिधित्व पूरी तरह से कम हो जाते हैं। विशेषता शून्य के k के लिए, G रैखिक रूप से अपचायक है यदि और केवल यदि पहचान घटक G<sup>G का o</sup> रिडक्टिव है।<ref>Milne (2017), Corollary 22.43.</ref> विशेषता p>0 के k के लिए, हालांकि, [[न्यायमूर्ति नगाटा]] ने दिखाया कि G रैखिक रूप से अपचायक है यदि और केवल यदि G<sup>o</sup> ग्रुप स्कीम # कंस्ट्रक्शन और G/G का है<sup>o</sup> के पास p से अभाज्य क्रम है।<ref>Demazure & Gabriel (1970), Théorème IV.3.3.6.</ref>
एक क्षेत्र शून्य की विशेषता के क्षेत्र में अपचायक समूह G के लिए, G के सभी परिमित-विमीय निरूपण (एक बीजगणितीय समूह के रूप में) अर्धसूत्रीय निरूपण हैं, अर्थात, वे अखंडनीय निरूपण के प्रत्यक्ष योग हैं।<ref>Milne (2017), Theorem 22.42.</ref> यह नाम अपचायक का स्रोत है। ध्यान दें, यद्यपि, पूर्ण न्यूनीकरण धनात्मक विशेषता (टोरी के अतिरिक्त) में अपचायक समूहों के लिए विफल रहता है। अधिक विवरण में: एक क्षेत्र k पर परिमित प्रकार की एक सजातीय समूह पद्धति G को रैखिक रूप से अपचायक' कहा जाता है यदि इसके परिमित-विमीय निरूपण पूर्ण रूप से कम हो जाते हैं। विशेषता शून्य के k के लिए, G रैखिक रूप से अपचायक है यदि और मात्र यदि G का तत्समक घटक G<sup>o</sup> अपचायक है।<ref>Milne (2017), Corollary 22.43.</ref> विशेषता p>0 के k के लिए, यद्यपि, [[न्यायमूर्ति नगाटा|मासायोशी नागाटा]] ने दिखाया कि G रैखिक रूप से अपचायक है यदि और मात्र यदि G<sup>o</sup> गुणक प्रकार का है और G/G<sup>o</sup> के निकट p से क्रम अभाज्य है।<ref>Demazure & Gabriel (1970), Théorème IV.3.3.6.</ref>




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


G को एक फ़ील्ड k पर एक स्प्लिट रिडक्टिव ग्रुप होने दें, और T को G में एक स्प्लिट मैक्सिमम टोरस होने दें; इसलिए टी आइसोमोर्फिक है (जी<sub>''m''</sub>)<sup>n</sup> कुछ n के लिए, n को G का 'रैंक' कहा जाता है। T का प्रत्येक प्रतिनिधित्व (एक बीजगणितीय समूह के रूप में) 1-आयामी प्रतिनिधित्व का प्रत्यक्ष योग है।<ref>Milne (2017), Theorem 12.12.</ref> ''जी'' के लिए भार का अर्थ है ''टी'' के 1-आयामी निरूपण का एक समरूपता वर्ग, या समतुल्य समरूपता ''टी'' → ''जी''<sub>''m''</sub>. प्रतिनिधित्व के टेंसर गुणनफल के अंतर्गत भार एक समूह X(T) बनाते हैं, जिसमें X(T) [[पूर्णांक]]ों की n प्रतियों के गुणनफल 'Z' के समरूपी होते हैं।<sup>एन</sup>.
G को एक क्षेत्र k पर विभाजित अपचायक समूह होने दें, और T को G में विभाजित अधिकतम टोरस होने दें; इसलिए T कुछ n के लिए (G<sub>''m''</sub>) <sup>n</sup> के लिए समरूपी है, जिसमें n को G का पद कहा जाता है। T का प्रत्येक निरूपण (एक बीजगणितीय समूह के रूप में) 1-विमीय निरूपण का प्रत्यक्ष योग है।<ref>Milne (2017), Theorem 12.12.</ref> G के लिए भार का अर्थ है ''T'' के 1-विमीय निरूपण का एक समरूपता वर्ग, या समतुल्य समरूपता ''T''→ ''G''<sub>''m''</sub>[[पूर्णांक]] 'Z<sup>n</sup>' की n प्रतियों के उत्पाद के लिए x(T) समरूपता के साथ निरूपण के टेंसर गुणनफल के अंतर्गत भार एक समूह x(T) बनाते हैं।


संलग्न निरूपण इसके रैखिक बीजगणितीय समूह पर संयुग्मन द्वारा G की क्रिया है#बीजगणितीय समूह का झूठा बीजगणित <math>\mathfrak g</math>. ''जी'' की एक जड़ का अर्थ है एक गैर-शून्य वजन जो ''टी'' ⊂ ''जी'' की क्रिया में होता है <math>\mathfrak g</math>. का उपक्षेत्र <math>\mathfrak g</math> प्रत्येक जड़ के अनुरूप एक आयामी है, और की उप-समष्टि है <math>\mathfrak g</math> T द्वारा निश्चित किया गया बिल्कुल झूठ बीजगणित है <math>\mathfrak t</math> टी का<ref name="M2111">Milne (2017), Theorem 21.11.</ref> इसलिए, G का झूठा बीजगणित विघटित हो जाता है <math>\mathfrak t</math> जड़ों के सेट Φ द्वारा अनुक्रमित 1-आयामी उप-स्थानों के साथ:
संलग्न निरूपण G की क्रिया है जो इसके लाई बीजगणित <math>\mathfrak g</math> पर संयुग्मन द्वारा होते है। G के एक मूल का अर्थ है गैर-शून्य भार जो <math>\mathfrak g</math>पर ''T'' ⊂ G की क्रिया में होते है। प्रत्येक मूल के अनुरूप <math>\mathfrak g</math> की उप-समष्टि उपक्षेत्र 1-विमीय है, और T द्वारा निश्चित की गई <math>\mathfrak g</math> की उपसमष्टि यथार्थ T की लाई बीजगणित <math>\mathfrak t</math> है।<ref name="M2111">Milne (2017), Theorem 21.11.</ref> इसलिए, G का लाई बीजगणित <math>\mathfrak t</math> में मूलों के सम्मुचय Φ द्वारा अनुक्रमित 1-आयामी उप-स्थानों के साथ विघटित होते है:
:<math>{\mathfrak g} = {\mathfrak t}\oplus \bigoplus_{\alpha\in\Phi} {\mathfrak g}_{\alpha}.</math>
:<math>{\mathfrak g} = {\mathfrak t}\oplus \bigoplus_{\alpha\in\Phi} {\mathfrak g}_{\alpha}.</math>
उदाहरण के लिए, जब G समूह GL(n) है, तो इसका लाई बीजगणित है <math>{\mathfrak gl}(n)</math> k पर सभी n × n आव्यूहों का सदिश स्थान है। मान लीजिए कि T, G में विकर्ण मैट्रिसेस का उपसमूह है। फिर रूट-स्पेस अपघटन व्यक्त करता है <math>{\mathfrak gl}(n)</math> विकर्ण मैट्रिसेस के प्रत्यक्ष योग और ऑफ-डायगोनल पोजीशन (i, j) द्वारा अनुक्रमित 1-आयामी उप-स्थान के रूप में। लेखन एल<sub>1</sub>,..., एल<sub>''n''</sub> भार जालक X(T) ≅ 'Z' के मानक आधार के लिए<sup>n</sup>, मूल तत्व L हैं<sub>''i''</sub> - एल<sub>''j''</sub> सभी के लिए i ≠ j 1 से n तक।
उदाहरण के लिए, जब G समूह Gl(n) है, तो इसका लाई बीजगणित <math>{\mathfrak gl}(n)</math>, k पर सभी n × n आव्यूहों की सदिश समष्टि है। मान लीजिए कि G में विकर्ण आव्यूहों का उपसमूह T है। फिर मूल-समष्टि अपघटन <math>{\mathfrak gl}(n)</math> को विकर्ण आव्यूह के प्रत्यक्ष योग और संवृत-विकर्ण पदों (i, j) द्वारा अनुक्रमित 1-विमीय उप-समष्टि के रूप में व्यक्त करते है। भार जालक x(T) ≅ 'Z <sup>n</sup>' के मानक आधार के लिए L<sub>1</sub>,..., L<sub>''n''</sub> लिखते हुए, 1 से n तक सभी i ≠ j के लिए मूल अवयव Li - Lj हैं।


एक अर्धसरल समूह की जड़ें एक 'रूट सिस्टम' बनाती हैं; यह एक मिश्रित संरचना है जिसे पूरी तरह से वर्गीकृत किया जा सकता है। अधिक आम तौर पर, एक रिडक्टिव ग्रुप की जड़ें [[ रूट तिथि ]] बनाती हैं, एक मामूली भिन्नता।<ref>Milne (2017), Corollary 21.12.</ref> रिडक्टिव ग्रुप ''जी'' के [[वेइल समूह]] का अर्थ है टोरस द्वारा मैक्सिमल टॉरस के [[ नॉर्मलाइज़र ]] का [[भागफल समूह]], ''डब्ल्यू'' = ''एन''<sub>''G''</sub>(टी) / टी। वेइल समूह वास्तव में परावर्तनों द्वारा उत्पन्न परिमित समूह है। उदाहरण के लिए, समूह GL(n) (या SL(n)) के लिए, Weyl समूह [[सममित समूह]] S है<sub>''n''</sub>.
एक अर्धसरल समूह की मूल 'मूल पद्धति' बनाती हैं; यह एक मिश्रित संरचना है जिसे पूर्ण रूप से वर्गीकृत किया जा सकता है। अधिक सामान्यतः, अपचायक समूह की मूल [[ रूट तिथि |मूल आधार]] बनाती हैं, एक सधारण भिन्नता।<ref>Milne (2017), Corollary 21.12.</ref> अपचायक समूह G के [[वेइल समूह]] का अर्थ है टोरस द्वारा अधिकतम टोरस के [[ नॉर्मलाइज़र |प्रसामान्यक]] का [[भागफल समूह]], ''W'' = ''n''g(T) / T। वेइल समूह वस्तुतः परावर्तनों द्वारा उत्पन्न परिमित समूह है। उदाहरण के लिए, समूह Gl(n) (या Sl(n)) के लिए, वेइल समूह [[सममित समूह]] S<sub>''n''</sub> है।


बहुत से रेखीय बीजगणितीय समूह#बोरेल उपसमूह हैं जिनमें दिए गए अधिकतम टोरस होते हैं, और वे वेइल समूह द्वारा केवल सकर्मक रूप से अनुमत होते हैं (उपसमूहों और सामान्य उपसमुच्चयों के संयुग्मन वर्ग#संयुग्मता द्वारा अभिनय)।<ref>Milne (2017), Proposition 17.53.</ref> बोरेल उपसमूह का एक विकल्प सकारात्मक जड़ों का एक सेट निर्धारित करता है<sup>+</sup> ⊂ Φ, संपत्ति के साथ कि Φ Φ का असम्बद्ध संघ है<sup>+</sup> और −Φ<sup>+</sup>. स्पष्ट रूप से, B का लाई बीजगणित T के लाई बीजगणित और धनात्मक मूल स्थानों का प्रत्यक्ष योग है:
एक दिए गए अधिकतम टोरस वाले बहुत से बोरेल उपसमूह हैं, और वे वेइल समूह (संयुग्मन द्वारा अभिनय) द्वारा केवल सकर्मक रूप से अनुमत हैं।<ref>Milne (2017), Proposition 17.53.</ref> बोरेल उपसमूह का एक विकल्प धनात्मक मूलों का एक सम्मुचय निर्धारित करता है Φ<sup>+</sup> ⊂ Φ, इस गुण के साथ कि Φ Φ<sup>+</sup> और −Φ<sup>+</sup> का असंयुक्त सम्मिलन है। स्पष्ट रूप से, B का लाई बीजगणित T के लाई बीजगणित और धनात्मक मूल स्थानों का प्रत्यक्ष योग है:
:<math>{\mathfrak b}={\mathfrak t}\oplus \bigoplus_{\alpha\in\Phi^{+}} {\mathfrak g}_{\alpha}.</math>
:<math>{\mathfrak b}={\mathfrak t}\oplus \bigoplus_{\alpha\in\Phi^{+}} {\mathfrak g}_{\alpha}.</math>
उदाहरण के लिए, यदि बी जीएल (एन) में ऊपरी-त्रिकोणीय मैट्रिक्स का बोरेल उपसमूह है, तो यह उप-स्थान का स्पष्ट अपघटन है <math>\mathfrak b</math> ऊपरी-त्रिकोणीय मेट्रिसेस में <math>{\mathfrak gl}(n)</math>. सकारात्मक जड़ें एल हैं<sub>''i''</sub> - एल<sub>''j''</sub> 1 ≤ i <j ≤ n के लिए।
उदाहरण के लिए, यदि B, Gl(n) में ऊपरी-त्रिकोणीय आव्यूहों का बोरेल उपसमूह है, तो यह <math>{\mathfrak gl}(n)</math> में ऊपरी-त्रिकोणीय आव्यूहों के उप-समष्टि <math>\mathfrak b</math> का स्पष्ट अपघटन है। 1 ≤ i <j ≤ n के लिए धनात्मक मूल L<sub>''i''</sub> - L<sub>''j''</sub> हैं।


एक 'सरल जड़' का मतलब एक सकारात्मक जड़ है जो दो अन्य सकारात्मक जड़ों का योग नहीं है। सरल मूलों के समुच्चय के लिए Δ लिखिए। सरल जड़ों की संख्या आर जी के [[कम्यूटेटर उपसमूह]] के रैंक के बराबर है, जिसे जी के 'अर्धसरल रैंक' कहा जाता है (जो कि जी के अर्धसरल होने पर केवल जी का रैंक है)। उदाहरण के लिए, GL(n) (या SL(n)) के सरल मूल L हैं<sub>''i''</sub> - एल<sub>''i''+1</sub> 1 ≤ i ≤ n − 1 के लिए।
एक 'सरल मूल' का अर्थ एक धनात्मक मूल है जो दो अन्य धनात्मक मूलों का योग नहीं है। सरल मूलों के समुच्चय के लिए Δ लिखिए। सरल मूलों की संख्या R G के [[कम्यूटेटर उपसमूह|क्रमविनिमेयक उपसमूह]] के पद के बराबर है, जिसे G के 'अर्धसरल पद' कहा जाता है (जो कि G के अर्धसरल होने पर मात्र G का पद है)। उदाहरण के लिए, Gl(n) (या Sl(n)) के लिए सरल मूल 1 ≤ i ≤ n − 1 के लिए L<sub>''i''</sub> - L<sub>''i''+1</sub> हैं।


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


एक फ़ील्ड k पर विभाजित रिडक्टिव ग्रुप G के लिए, एक महत्वपूर्ण बिंदु यह है कि एक रूट α न केवल G के लाई बीजगणित के 1-आयामी उप-स्थान को निर्धारित करता है, बल्कि योगात्मक समूह G की एक प्रति भी निर्धारित करता है।<sub>a</sub> G में दिए गए लाई बीजगणित के साथ, जिसे 'मूल उपसमूह' U कहा जाता है<sub>α</sub>. जड़ उपसमूह G में योज्य समूह की अनूठी प्रति है जो T द्वारा सामान्य है और जिसमें दिया गया बीजगणित है।<ref name = "M2111" />पूरे समूह G को T और मूल उपसमूहों द्वारा (एक बीजगणितीय समूह के रूप में) उत्पन्न किया जाता है, जबकि बोरेल उपसमूह B को T और धनात्मक मूल उपसमूहों द्वारा उत्पन्न किया जाता है। वास्तव में, एक विभाजित अर्धसरल समूह G अकेले रूट उपसमूहों द्वारा उत्पन्न होता है।
एक क्षेत्र k पर विभाजित अपचायक समूह G के लिए, एक महत्वपूर्ण बिंदु यह है कि एक मूल α न मात्र G के लाई बीजगणित के 1-विमीय उप-समष्टि को निर्धारित करते है, बल्कि दिए गए लाई बीजगणित के साथ G में योज्य समूह G<sub>a</sub> की एक प्रति भी है, जिसे 'मूल उपसमूह' U<sub>α</sub> कहा जाता है। मूल उपसमूह G में योज्य समूह की अद्वितीय प्रति है जो T द्वारा सामान्य है और जिसमें दिया गया बीजगणित है।<ref name = "M2111" /> पूर्ण समूह G को T और मूल उपसमूहों द्वारा (एक बीजगणितीय समूह के रूप में) उत्पन्न किया जाता है, जबकि बोरेल उपसमूह B को T और धनात्मक मूल उपसमूहों द्वारा उत्पन्न किया जाता है। वस्तुतः, एक विभाजित अर्धसरल समूह G अकेले मूल उपसमूहों द्वारा उत्पन्न होते है।


== [[परवलयिक उपसमूह]] ==
== [[परवलयिक उपसमूह]] ==
एक फ़ील्ड k पर स्प्लिट रिडक्टिव ग्रुप G के लिए, G के चिकने कनेक्टेड सबग्रुप्स जिनमें G का दिया गया बोरेल सबग्रुप B होता है, सरल जड़ों के सेट Δ के सबसेट के साथ एक-से-एक पत्राचार में होते हैं (या समतुल्य, सबसेट) डायकिन आरेख के शीर्षों के सेट का)। मान लीजिए r Δ की कोटि है, G का अर्धसरल कोटि है। G का प्रत्येक 'परवलयिक उपसमूह' संयुग्मी वर्ग है#G(k) के कुछ तत्वों द्वारा B युक्त उपसमूह के लिए उपसमूहों और सामान्य उपसमुच्चयों का संयुग्मन वर्ग है। नतीजतन, ठीक 2 हैं<sup>r</sup> k के ऊपर G में परवलयिक उपसमूहों की संयुग्मी कक्षाएं।<ref>Borel (1991), Proposition 21.12.</ref> स्पष्ट रूप से, Δ के दिए गए उपसमुच्चय S के संगत परवलयिक उपसमूह मूल उपसमूहों U के साथ मिलकर B द्वारा उत्पन्न समूह है<sub>−α</sub> उदाहरण के लिए, एस में α के लिए। उदाहरण के लिए, जीएल (एन) के परवलयिक उपसमूहों में उपरोक्त बोरेल उपसमूह बी होते हैं, उलटा मेट्रिसेस के समूह होते हैं, जो विकर्ण के साथ वर्गों के दिए गए सेट के नीचे शून्य प्रविष्टियों के साथ होते हैं, जैसे:
एक क्षेत्र k पर विभाजित अपचायक समूह G के लिए, G के समृणीकृत संयोजित उपसमूह जिनमें G का दिया गया बोरेल उपसमूह B होता है, सरल मूलों के सम्मुचय Δ के उपसम्मुचय के साथ एक-से-एक संगति में होते हैं (या समतुल्य, उपसम्मुचय) डायकिन आरेख के शीर्षों के सम्मुचय का)। मान लीजिए r Δ की कोटि है, जो G का अर्धसरल कोटि है। G का प्रत्येक 'परवलयिक उपसमूह' g(k) के किसी अवयव द्वारा B युक्त उपसमूह से संयुग्मित होते है। फलस्वरूप, k पर G में परवलयिक उपसमूहों के वस्तुतः 2<sup>r</sup> संयुग्मन वर्ग हैं।<ref>Borel (1991), Proposition 21.12.</ref> स्पष्ट रूप से, Δ के दिए गए उपसमुच्चय S के संगत परवलयिक उपसमूह, S में α के लिए मूल उपसमूहों U<sub>−α</sub> के साथ मिलकर B द्वारा उत्पन्न समूह है। उदाहरण के लिए, एस में α के लिए। उदाहरण के लिए, Gl(n) के परवलयिक उपसमूहों में उपरोक्त बोरेल उपसमूह B होते हैं, विकर्ण के साथ वर्गों के दिए गए सम्मुचय के नीचे शून्य प्रविष्टियों के साथ व्युत्क्रम आव्यूह के समूह होते हैं, जैसे:
:<math>\left \{ \begin{bmatrix}
:<math>\left \{ \begin{bmatrix}
  * & * & * & *\\
  * & * & * & *\\
Line 84: Line 86:
  0 & 0 & 0 & *
  0 & 0 & 0 & *
\end{bmatrix} \right \}</math>
\end{bmatrix} \right \}</math>
परिभाषा के अनुसार, एक फील्ड ''k'' पर रिडक्टिव ग्रुप ''G'' का एक परवलयिक उपसमूह ''P'' एक स्मूथ ''k''-सबग्रुप है, जैसे कि भागफल किस्म ''G''/' 'पी' 'के' पर [[उचित योजना]] है, या 'के' पर समकक्ष प्रक्षेपी विविधता है। इस प्रकार परवलयिक उपसमूहों का वर्गीकरण 'जी' के लिए [[सामान्यीकृत ध्वज विविधता]] के वर्गीकरण के बराबर है (चिकनी स्टेबलाइज़र समूह के साथ; यह विशेषता शून्य के ''के'' के लिए कोई प्रतिबंध नहीं है)। ''जीएल''(''एन'') के लिए, ये ध्वज किस्में हैं, दिए गए आयामों के रैखिक उप-स्थानों के पैरामीट्रिजिंग अनुक्रम ''''<sub>1</sub>,...,<sub>''i''</sub> आयाम n के एक निश्चित सदिश स्थान V में समाहित है:
परिभाषा के अनुसार, एक क्षेत्र ''k'' पर अपचायक समूह ''G'' का एक परवलयिक उपसमूह ''P'' एक समृणीकृत ''k''-उपसमूह है, जैसे कि भागफल प्रकार ''G''/P 'K' पर [[उचित योजना|उचित पद्धति]] है, या 'K' पर समकक्ष प्रक्षेपी विविधता है। इस प्रकार परवलयिक उपसमूहों का वर्गीकरण 'G' के लिए [[सामान्यीकृत ध्वज विविधता|सामान्यीकृत चिह्‍नक विविधता]] के वर्गीकरण के बराबर है (समृणीकृत स्थिरक समूह के साथ; यह विशेषता शून्य के ''K'' के लिए कोई प्रतिबंध नहीं है)। ''G''l(''n'') के लिए, ये चिह्‍नक प्रकार हैं, दिए गए विमाओं ''a''<sub>1</sub>,...,a<sub>''i''</sub> के रैखिक उप-स्थानों के प्राचलीकरण अनुक्रम विमा n:
:<math>0\subset S_{a_1}\subset \cdots \subset S_{a_i}\subset V.</math>
:<math>0\subset S_{a_1}\subset \cdots \subset S_{a_i}\subset V</math> के एक निश्चित सदिश समष्टि V में समाहित है
ऑर्थोगोनल समूह या सहानुभूतिपूर्ण समूह के लिए, प्रक्षेप्य सजातीय किस्मों का एक समान विवरण होता है, जैसे किसी दिए गए द्विघात रूप या सहानुभूतिपूर्ण रूप के संबंध में आइसोट्रोपिक उप-अंतरिक्ष झंडे की किस्में। बोरेल उपसमूह बी के साथ किसी भी रिडक्टिव ग्रुप जी के लिए, जी / बी को 'फ्लैग वैरायटी' या 'फ्लैग मैनिफोल्ड' कहा जाता है।
लंब कोणीय समूह या सममिती समूह के लिए, प्रक्षेप्य सजातीय प्रकारों का एक समान विवरण होता है, जो किसी दिए गए द्विघात रूप या सममिती रूप के संबंध में समानुवर्ती उप-समष्टि चिह्‍नक की प्रकार के रूप में होते है। बोरेल उपसमूह B के साथ किसी भी अपचायक समूह G के लिए, G/B को 'चिह्‍नक प्रकार' या 'चिह्‍नक कई गुना' कहा जाता है।


== स्प्लिट रिडक्टिव ग्रुप्स का वर्गीकरण ==
== विभाजित अपचायक समूह का वर्गीकरण ==
[[File:Finite Dynkin diagrams.svg|480px|thumb|जुड़े हुए डायनकिन आरेख]]शेवाली ने 1958 में दिखाया कि किसी भी बीजगणितीय रूप से बंद क्षेत्र पर रिडक्टिव समूहों को रूट डेटा द्वारा आइसोमोर्फिज्म तक वर्गीकृत किया जाता है।<ref>Chevalley (2005); Springer (1998), 9.6.2 and 10.1.1.</ref> विशेष रूप से, एक बीजगणितीय रूप से बंद क्षेत्र पर अर्ध-सरल समूहों को उनके डायनकिन आरेख द्वारा केंद्रीय समरूपता तक वर्गीकृत किया जाता है, और सरल समूह जुड़े आरेखों के अनुरूप होते हैं। इस प्रकार A प्रकार के सरल समूह हैं<sub>''n''</sub>, बी<sub>''n''</sub>, सी<sub>''n''</sub>, डी<sub>''n''</sub>, और<sub>6</sub>, और<sub>7</sub>, और<sub>8</sub>, एफ<sub>4</sub>, जी<sub>2</sub>. यह परिणाम अनिवार्य रूप से 1880 और 1890 के दशक में [[ विल्हेम हत्या ]] और एली कार्टन द्वारा कॉम्पैक्ट लाइ समूहों या जटिल अर्ध-सरल ले बीजगणित के वर्गीकरण के समान है। विशेष रूप से, साधारण बीजगणितीय समूहों के आयाम, केंद्र और अन्य गुणों को सरल लाई समूहों की सूची से पढ़ा जा सकता है। यह उल्लेखनीय है कि रिडक्टिव समूहों का वर्गीकरण विशेषता से स्वतंत्र है। तुलना के लिए, अभिलक्षणिक शून्य की तुलना में धनात्मक अभिलक्षण में बहुत अधिक सरल लाई बीजगणित हैं।
[[File:Finite Dynkin diagrams.svg|480px|thumb|संयोजित डायनकिन आरेख]]चेवेली ने 1958 में दिखाया कि किसी भी बीजगणितीय रूप से संवृत क्षेत्र पर अपचायक समूहों को मूल आंकड़ों द्वारा समरूपता तक वर्गीकृत किया जाता है।<ref>Chevalley (2005); Springer (1998), 9.6.2 and 10.1.1.</ref> विशेष रूप से, एक बीजगणितीय रूप से संवृत क्षेत्र पर अर्ध-सरल समूहों को उनके डायनकिन आरेख द्वारा केंद्रीय समरूपता तक वर्गीकृत किया जाता है, और सरल समूह संयोजित आरेखों के अनुरूप होते हैं। इस प्रकार A<sub>''n''</sub>, B<sub>''n''</sub>, C<sub>''n''</sub>, D<sub>''n''</sub>, E<sub>6</sub>, E<sub>7</sub>, E<sub>8</sub>, F<sub>4</sub>, G<sub>2</sub> के सरल समूह हैं। यह परिणाम अनिवार्य रूप से 1880 और 1890 के दशक में [[ विल्हेम हत्या |विल्हेम किलिंग]] और एली कार्टन द्वारा संहत लाई समूहों या जटिल अर्ध-सरल लाई बीजगणित के वर्गीकरण के समान है। विशेष रूप से, साधारण बीजगणितीय समूहों के विमा, केंद्र और अन्य गुणों को सरल लाई समूहों की सूची से पढ़ा जा सकता है। यह उल्लेखनीय है कि अपचायक समूहों का वर्गीकरण विशेषता से स्वतंत्र है। तुलना के लिए, अभिलक्षणिक शून्य की तुलना में धनात्मक अभिलक्षण में बहुत अधिक सरल लाई बीजगणित हैं।


G प्रकार के [[असाधारण समूह]] G<sub>2</sub> और <sub>6</sub> लियोनार्ड यूजीन डिक्सन | एल द्वारा कम से कम सार समूह जी (के) के रूप में पहले बनाया गया था। ई। डिक्सन। उदाहरण के लिए, समूह जी<sub>2</sub> k पर एक [[ऑक्टोनियन बीजगणित]] का [[ऑटोमोर्फिज्म समूह]] है। इसके विपरीत, टाइप एफ के शेवेलली समूह<sub>4</sub>, और<sub>7</sub>, और<sub>8</sub> सकारात्मक विशेषताओं के क्षेत्र में पूरी तरह से नए थे।
प्रकार G<sub>2</sub> और E<sub>6</sub> के [[असाधारण समूह]] G का निर्माण कम से कम अमूर्त समूह g(K) के रूप में लियोनार्ड यूजीन डिक्सन द्वारा किया गया था। उदाहरण के लिए, समूह G<sub>2</sub> k पर एक [[ऑक्टोनियन बीजगणित|अष्टकैक बीजगणित]] का [[ऑटोमोर्फिज्म समूह|स्वसमाकृतिकता समूह]] है। इसके विपरीत, धनात्मक विशेषताओं के क्षेत्र में F<sub>4</sub>, E<sub>7</sub>, E<sub>8</sub> प्रकार के शेवाले समूह पूर्ण रूप से नवीन थे।


अधिक आम तौर पर, विभाजित रिडक्टिव समूहों का वर्गीकरण किसी भी क्षेत्र में समान होता है।<ref>Milne (2017), Theorems 23.25 and 23.55.</ref> एक फ़ील्ड k पर एक सेमीसिंपल ग्रुप G को 'सिम्पली कनेक्टेड' कहा जाता है, अगर सेमीसिंपल ग्रुप से G तक हर सेंट्रल आइसोजिनी एक आइसोमोर्फिज्म है। (जटिल संख्याओं पर जी अर्धसरल के लिए, इस अर्थ में [[बस जुड़ा हुआ है]] जी ('सी') के बराबर है जो शास्त्रीय टोपोलॉजी में बस जुड़ा हुआ है।) चेवेली का वर्गीकरण देता है कि, किसी भी क्षेत्र के ऊपर, एक अद्वितीय बस जुड़ा हुआ विभाजन है एक दिए गए डायनकिन आरेख के साथ अर्धसरल समूह जी, जुड़े आरेखों के अनुरूप सरल समूहों के साथ। दूसरे चरम पर, एक अर्धसरल समूह 'संलग्न प्रकार' का होता है यदि इसका केंद्र तुच्छ होता है। दिए गए डायनकिन आरेख के साथ k पर विभाजित अर्धसरल समूह वास्तव में समूह G/A हैं, जहाँ G सरल रूप से जुड़ा हुआ समूह है और A, G के केंद्र की एक k-उपसमूह योजना है।
अधिक सामान्यतः, विभाजित अपचायक समूहों का वर्गीकरण किसी भी क्षेत्र में समान होता है।<ref>Milne (2017), Theorems 23.25 and 23.55.</ref> एक क्षेत्र k पर एक अर्द्धसरल समूह G को ' पूर्णतः संयोजित' कहा जाता है, यदि अर्द्धसरल समूह से G तक प्रत्येक केंद्रीय समरूपता एक समरूपता है। (जटिल संख्याओं पर G अर्धसरल के लिए, इस अर्थ में [[बस जुड़ा हुआ है|पूर्णतः संयोजित]] g('C') के बराबर है जो शास्त्रीय सांस्थिति में पूर्णतः संयोजित है।) चेवेली का वर्गीकरण देता है कि, किसी भी क्षेत्र पर, एक दिए गए डायनकिन आरेख के साथ एक अद्वितीय सरलता से संयोजित विभाजित अर्धसरल समूह G है, जिसमें संयोजित आरेखों के अनुरूप सरल समूह हैं। दूसरे परम पर, एक अर्धसरल समूह 'संलग्न प्रकार' का होता है यदि इसका केंद्र नगण्य होता है। दिए गए डायनकिन आरेख के साथ k पर विभाजित अर्धसरल समूह वस्तुतः समूह G/A हैं, जहाँ G सरल रूप से संयोजित समूह है और A, G के केंद्र की एक k-उपसमूह पद्धति है।


उदाहरण के लिए, क्लासिकल डायनकिन आरेखों के संगत फ़ील्ड k पर सरलता से जुड़े विभाजित सरल समूह इस प्रकार हैं:
उदाहरण के लिए, शास्त्रीय डायनकिन आरेखों के संगत क्षेत्र k पर सरलता से संयोजित विभाजित सरल समूह इस प्रकार हैं:
*<sub>''n''</sub>: एसएल(एन+1) ओवर के;
*A<sub>''n''</sub>: Sl(n+1) पर K;
*बी<sub>''n''</sub>: [[स्पिन समूह]] स्पिन (2n+1) Witt इंडेक्स n के साथ आयाम 2n+1 ओवर k के द्विघात रूप से जुड़ा हुआ है, उदाहरण के लिए फॉर्म
*B<sub>''n''</sub>: [[स्पिन समूह|चक्रण समूह]] चक्रण (2n+1) विट सूचकांक n के साथ विमा 2n+1 पर k के द्विघात रूप से संयोजित है, उदाहरण के लिए रूप
::<math>q(x_1,\ldots,x_{2n+1})=x_1x_2+x_3x_4+\cdots+x_{2n-1}x_{2n}+x_{2n+1}^2;</math>
::<math>q(x_1,\ldots,x_{2n+1})=x_1x_2+x_3x_4+\cdots+x_{2n-1}x_{2n}+x_{2n+1}^2;</math>
*सी<sub>''n''</sub>: सहानुभूतिपूर्ण समूह Sp(2n) over k;
*C<sub>''n''</sub>: सममिती समूह Sp(2n) k पर ;
*डी<sub>''n''</sub>: स्पिन समूह स्पिन (2n) Witt इंडेक्स n के साथ आयाम 2n ओवर k के द्विघात रूप से जुड़ा है, जिसे इस प्रकार लिखा जा सकता है:
*D<sub>''n''</sub>: चक्रण समूह चक्रण (2n) विट सूचकांक n के साथ विमा 2n पर k के द्विघात रूप से सम्बद्ध है, जिसे इस प्रकार लिखा जा सकता है:
::<math>q(x_1,\ldots,x_{2n})=x_1x_2+x_3x_4+\cdots+x_{2n-1}x_{2n}.</math>
::<math>q(x_1,\ldots,x_{2n})=x_1x_2+x_3x_4+\cdots+x_{2n-1}x_{2n}.</math>
एक फ़ील्ड k पर स्प्लिट रिडक्टिव ग्रुप G का बाहरी ऑटोमोर्फिज़्म समूह, G के रूट डेटम के ऑटोमोर्फिज़्म समूह के लिए आइसोमोर्फिक है। इसके अलावा, G का ऑटोमोर्फिज़्म समूह एक [[अर्ध-प्रत्यक्ष उत्पाद]] के रूप में विभाजित होता है:
एक क्षेत्र k पर विभाजित अपचायक समूह G का बाहरी स्वसमाकृतिकता समूह, G के मूल आधार के स्वसमाकृतिकता समूह के लिए समरूपी है। इसके अतिरिक्त, G का स्वसमाकृतिकता समूह एक [[अर्ध-प्रत्यक्ष उत्पाद]] के रूप में विभाजित होते है:
:<math>\operatorname{Aut}(G)\cong \operatorname{Out}(G)\ltimes (G/Z)(k),</math>
:<math>\operatorname{Aut}(G)\cong \operatorname{Out}(G)\ltimes (G/Z)(k),</math>
जहाँ Z, G का केंद्र है।<ref>Milne (2017), Corollary 23.47.</ref> एक विभाजित अर्ध-सरल के लिए एक क्षेत्र पर बस जुड़े समूह G के लिए, G के बाहरी ऑटोमोर्फिज़्म समूह का एक सरल विवरण है: यह G के डायनकिन आरेख का ऑटोमोर्फिज़्म समूह है।
जहाँ Z, G का केंद्र है।<ref>Milne (2017), Corollary 23.47.</ref> एक विभाजित अर्ध-सरल के लिए एक क्षेत्र पर पूर्णतः संयोजित समूह G के लिए, G के बाहरी स्वसमाकृतिकता समूह का एक सरल विवरण है: यह G के डायनकिन आरेख का स्वसमाकृतिकता समूह है।
 
== अपचायक समूह पद्धति ==
एक पद्धति S पर एक समूह पद्धति G को 'अपचायक' कहा जाता है यदि आकारिकी G → S [[चिकनी आकारिकी|समृणीकृत आकारिकी]] और संकरण है, और प्रत्येक ज्यामितीय तन्तु <math>G_{\overline k}</math> अपचायक है। (S में एक बिंदु p के लिए, संबंधित ज्यामितीय तन्तु का अर्थ है बीजगणितीय संवृत करने के लिए G का आधार परिवर्तन <math>\overline k</math> p के अवशेष क्षेत्र का।) चेवेली के काम का विस्तार करते हुए, [[मिशेल डेमाज़र]] और ग्रोथेंडिक ने दिखाया कि किसी भी गैर-रिक्त पद्धति S पर विभाजित अपचायक समूह पद्धतिओं को मूल आंकड़ों द्वारा वर्गीकृत किया गया है।<ref>SGA 3 (2011), v. 3, Théorème XXV.1.1; Conrad (2014), Theorems 6.1.16 and 6.1.17.</ref> इस कथन में Z से अधिक समूह पद्धतिओं के रूप में चेवेली समूहों का अस्तित्व सम्मिलित है, और यह कहता है कि एक पद्धति 'S' पर प्रत्येक विभाजित अपचायक समूह Z से 'S' तक एक चेवली समूह के आधार परिवर्तन के लिए समरूपी है।
 
== वास्तविक अपचायक समूह ==
बीजगणितीय समूहों के अतिरिक्त [[झूठ समूह|लाई समूहों]] के संदर्भ में, एक वास्तविक अपचायक समूह एक लाई समूह G है, जैसे कि R पर एक रैखिक बीजीय समूह ''L'' है जिसका तत्समक घटक ([[जरिस्की टोपोलॉजी|जरिस्की सांस्थिति]] में) अपचायक है, और एक समरूपता ''G'' → l(R) जिसका आधार परिमित है और जिसका प्रतिरूप l(R) (शास्त्रीय सांस्थिति में) में विवृत है। यह मानने के लिए भी मानक है कि आसन्न निरूपण Ad(''G'') का प्रतिरूप Int(''g''<sub>'''C'''</sub> = Ad(L<sup>0</sup> (C)) में निहित है (जो ''G'' संयोजित के लिए स्वचालित है)।<ref>Springer (1979), section 5.1.</ref>


== रिडक्टिव ग्रुप स्कीम्स ==
विशेष रूप से, प्रत्येक संयोजित अर्ध-सरल लाई समूह (जिसका अर्थ है कि इसका लाई बीजगणित अर्ध-सरल है) अपचायक है। इसके अतिरिक्त, लाई समूह R इस अर्थ में अपचायक है, क्योंकि इसे ''G''l(1, R) ≅ R * के तत्समक घटक के रूप में देखा जा सकता है। वास्तविक अपचायक समूहों को वर्गीकृत करने की समस्या व्यापक रूप से साधारण लाई समूहों को वर्गीकृत करने के लिए कम हो जाती है। इन्हें उनके सैटेक आरेख द्वारा वर्गीकृत किया गया है; या कोई साधारण लाई समूहों (परिमित आवरण तक) की सूची का उल्लेख कर सकता है।
एक योजना S पर एक समूह योजना G को 'रिडक्टिव' कहा जाता है यदि आकारिकी G → S [[चिकनी आकारिकी]] और संकरण है, और प्रत्येक ज्यामितीय फाइबर <math>G_{\overline k}</math> रिडक्टिव है। (एस में एक बिंदु पी के लिए, संबंधित ज्यामितीय फाइबर का अर्थ है बीजगणितीय बंद करने के लिए जी का आधार परिवर्तन <math>\overline k</math> पी के अवशेष क्षेत्र का।) शेवेले के काम का विस्तार करते हुए, [[मिशेल डेमाज़र]] और ग्रोथेंडिक ने दिखाया कि किसी भी गैर-खाली योजना एस पर विभाजित रिडक्टिव समूह योजनाओं को रूट डेटा द्वारा वर्गीकृत किया गया है।<ref>SGA 3 (2011), v. 3, Théorème XXV.1.1; Conrad (2014), Theorems 6.1.16 and 6.1.17.</ref> इस कथन में ज़ेड से अधिक समूह योजनाओं के रूप में चेवेली समूहों का अस्तित्व शामिल है, और यह कहता है कि एक योजना 'एस' पर प्रत्येक विभाजित रिडक्टिव समूह ज़ेड से 'एस' तक एक चेवली समूह के आधार परिवर्तन के लिए आइसोमोर्फिक है।


== वास्तविक रिडक्टिव समूह ==
इस व्यापकता में वास्तविक अपचायक समूहों के लिए [[स्वीकार्य प्रतिनिधित्व|स्वीकार्य निरूपण]] और एकात्मक निरूपण के उपयोगी सिद्धांत विकसित किए गए हैं। इस परिभाषा और अपचायक बीजगणितीय समूह की परिभाषा के बीच मुख्य अंतर इस तथ्य के साथ है कि एक बीजगणितीय समूह ''G'' R पर एक बीजगणितीय समूह के रूप में सम्बद्ध हो सकता है जबकि लाई समूह g(R) सम्बद्ध नहीं है, और इसी प्रकार मात्र संयोजित समूहों के लिए।
बीजगणितीय समूहों के बजाय [[झूठ समूह]]ों के संदर्भ में, एक वास्तविक रिडक्टिव समूह एक झूठ समूह ''जी'' है, जैसे कि आर के ऊपर एक रैखिक बीजीय समूह ''एल'' है जिसका पहचान घटक ([[जरिस्की टोपोलॉजी]] में) रिडक्टिव है , और एक समरूपता ''G'' → ''L''(R) जिसका कर्नेल परिमित है और जिसकी छवि ''L''(R) (शास्त्रीय टोपोलॉजी में) में खुली है। यह मानने के लिए भी मानक है कि आसन्न प्रतिनिधित्व Ad(''G'') की छवि Int(''g'' में निहित है<sub>'''C'''</sub>) = विज्ञापन (एल<sup>0</sup>(C)) (जो ''G'' कनेक्टेड के लिए स्वचालित है)।<ref>Springer (1979), section 5.1.</ref>
विशेष रूप से, प्रत्येक जुड़ा हुआ अर्ध-सरल लाई समूह (जिसका अर्थ है कि इसका लाई बीजगणित अर्ध-सरल है) रिडक्टिव है। इसके अलावा, लाई ग्रुप आर इस अर्थ में रिडक्टिव है, क्योंकि इसे '' जीएल '' (1, आर) ≅ आर * के पहचान घटक के रूप में देखा जा सकता है। वास्तविक रिडक्टिव समूहों को वर्गीकृत करने की समस्या काफी हद तक साधारण झूठ समूहों को वर्गीकृत करने के लिए कम हो जाती है। इन्हें उनके सैटेक आरेख द्वारा वर्गीकृत किया गया है; या कोई साधारण झूठ समूहों (परिमित आवरण तक) की सूची का उल्लेख कर सकता है।


इस व्यापकता में वास्तविक रिडक्टिव समूहों के लिए [[स्वीकार्य प्रतिनिधित्व]] और एकात्मक प्रतिनिधित्व के उपयोगी सिद्धांत विकसित किए गए हैं। इस परिभाषा और एक रिडक्टिव बीजगणितीय समूह की परिभाषा के बीच मुख्य अंतर इस तथ्य के साथ है कि एक बीजगणितीय समूह ''G'' R के ऊपर एक बीजगणितीय समूह के रूप में जुड़ा हो सकता है जबकि झूठ समूह ''G''(R) जुड़ा नहीं है, और इसी तरह केवल जुड़े हुए समूहों के लिए।
उदाहरण के लिए, [[प्रक्षेपी रैखिक समूह]] ''PG''l(2) किसी भी क्षेत्र पर एक बीजगणितीय समूह के रूप में संयोजित है, परन्तु इसके वास्तविक बिंदुओं के समूह ''PG''l(2,R) में दो संयोजित घटक हैं। ''PG''l(2,R) (कभी-कभी ''PS''l(2,R) कहा जाता है) का तत्समक घटक एक वास्तविक अपचायक समूह है जिसे बीजगणितीय समूह के रूप में नहीं देखा जा सकता है। इसी प्रकार, ''S''l(2) किसी भी क्षेत्र पर एक बीजगणितीय समूह के रूप में पूर्णतः संयोजित है, परन्तु लाई समूह ''S''l(2,R) में पूर्णांक Z के लिए मूलभूत समूह समरूपी है, और इसलिए ''SL' ' (2, R) में असतहीय [[ अंतरिक्ष को कवर करना |समष्टि को आच्छादित करना]] हैं। परिभाषा के अनुसार, ''Sl(''2,R) के सभी परिमित आवरण (जैसे कि [[मेटाप्लेक्टिक समूह]]) वास्तविक अपचायक समूह हैं। दूसरी ओर, ''Sl(''2,R) का [[सार्वभौमिक आवरण]] एक वास्तविक अपचायक समूह नहीं है, यद्यपि इसका लाई बीजगणित अपचायक लाई बीजगणित है, जो कि अर्द्धसरल लाई बीजगणित और एक एबेलियन लाई बीजगणित का उत्पाद है।''


उदाहरण के लिए, [[प्रक्षेपी रैखिक समूह]] ''पीजीएल''(2) किसी भी क्षेत्र पर एक बीजगणितीय समूह के रूप में जुड़ा हुआ है, लेकिन इसके वास्तविक बिंदुओं के समूह ''पीजीएल''(2,आर) में दो जुड़े हुए घटक हैं। ''पीजीएल''(2,आर) (कभी-कभी ''पीएसएल''(2,आर) कहा जाता है) का पहचान घटक एक वास्तविक रिडक्टिव समूह है जिसे बीजगणितीय समूह के रूप में नहीं देखा जा सकता है। इसी तरह, ''SL''(2) किसी भी क्षेत्र पर एक बीजगणितीय समूह के रूप में बस जुड़ा हुआ है, लेकिन झूठ समूह ''SL''(2,R) में पूर्णांक Z के लिए मूलभूत समूह आइसोमोर्फिक है, और इसलिए ''SL' '(2, आर) में नॉनट्रिविअल [[ अंतरिक्ष को कवर करना ]] हैं। परिभाषा के अनुसार, ''SL''(2,R) के सभी परिमित आवरण (जैसे कि [[मेटाप्लेक्टिक समूह]]) वास्तविक रिडक्टिव समूह हैं। दूसरी ओर, ''SL''(2,R) का [[सार्वभौमिक आवरण]] एक वास्तविक रिडक्टिव समूह नहीं है, भले ही इसका लाई बीजगणित रिडक्टिव लाई बीजगणित है, जो कि सेमीसिंपल लाई बीजगणित और एक एबेलियन लाई का उत्पाद है। बीजगणित।
एक संयोजित वास्तविक अपचायक समूह G के लिए, [[अधिकतम कॉम्पैक्ट उपसमूह|अधिकतम संहत उपसमूह]] ''K'' द्वारा G का भागफल कई गुना ''G''/''K'' गैर-संहत प्रकार का एक [[सममित स्थान|सममित]] समष्टि है। वस्तुतः, गैर-संहत प्रकार का प्रत्येक सममित समष्टि इस प्रकार से उत्पन्न होता है। ये गैर-धनात्मक [[अनुभागीय वक्रता]] के साथ कई गुना के रीमैनियन ज्यामिति में केंद्रीय उदाहरण हैं। उदाहरण के लिए, ''S''l(2,R) /''S''o(2) [[ अतिशयोक्तिपूर्ण विमान |अतिपरवलयिक तल]] है, और ''S''l(2,C) /''S''u(2) अतिपरवलयिक 3-समष्टि है।


एक जुड़े हुए वास्तविक रिडक्टिव समूह ''जी'' के लिए, [[अधिकतम कॉम्पैक्ट उपसमूह]] ''के'' द्वारा ''जी'' का भागफल कई गुना ''जी''/''के'' गैर-कॉम्पैक्ट का एक [[सममित स्थान]] है प्रकार। वास्तव में, गैर-कॉम्पैक्ट प्रकार का प्रत्येक सममित स्थान इस तरह से उत्पन्न होता है। ये गैर-सकारात्मक [[अनुभागीय वक्रता]] के साथ मैनिफोल्ड्स के रीमैनियन ज्यामिति में केंद्रीय उदाहरण हैं। उदाहरण के लिए, ''SL''(2,R)/''SO''(2) [[ अतिशयोक्तिपूर्ण विमान ]] है, और ''SL''(2,C)/''SU''(2) हाइपरबोलिक 3 है -अंतरिक्ष।
एक क्षेत्र ''k'' पर अपचायक समूह ''G'' के लिए जो [[असतत मूल्यांकन]] (जैसे p-एडिक संख्या Q<sub>''p''</sub>) के संबंध में पूर्ण है, G का सजातीय निर्माण X सममित स्थान की भूमिका निभाता है। अर्थात, ''X'' g(''k'') की क्रिया के साथ एक साधारण परिसर है, और g(''k'') गैर-धनात्मक वक्रता वाले मापीय का रेखीय सजातीय 'X' पर [[CAT(0)|CAt(0]]) मापीय को संरक्षित करते है। सजातीय निर्माण की विमा G का ''K''-पद है। उदाहरण के लिए, ''S''l(2, Q<sub>''p''</sub>) एक [[पेड़ (ग्राफ सिद्धांत)|ट्री (आरेख सिद्धांत]]) है।


रिडक्टिव ग्रुप ''G'' के लिए एक फ़ील्ड ''k'' पर जो [[असतत मूल्यांकन]] के संबंध में पूर्ण है (जैसे p-adic नंबर Q<sub>''p''</sub>), इमारत (गणित) '' जी '' का '' एक्स '' सममित स्थान की भूमिका निभाता है। अर्थात, ''X'' ''G''(''k'') की क्रिया के साथ एक साधारण परिसर है, और ''G''(''k'') 'पर [[CAT(0)]] मीट्रिक को संरक्षित करता है। 'X', गैर-सकारात्मक वक्रता वाले मीट्रिक का एनालॉग। एफ़िन बिल्डिंग का आयाम ''जी'' का ''के''-रैंक है। उदाहरण के लिए, '' एसएल '' (2, क्यू<sub>''p''</sub>) एक [[पेड़ (ग्राफ सिद्धांत)]] है।
== अपचायक समूहों का निरूपण ==
एक क्षेत्र k पर एक विभाजित अपचायक समूह G के लिए, g(बीजगणितीय समूह के रूप में) के अखंडनीय निरूपण को प्रमुख भार द्वारा प्राचलीकरण किया जाता है, जिसे R<sup>n</sup> में एक उत्तल शंकु (एक [[वेइल कक्ष]]) के साथ भार जालक x(T) ≅ 'Z<sup>n</sup>' के प्रतिच्छेदन के रूप में परिभाषित किया जाता है। विशेष रूप से, यह प्राचलीकरण k की विशेषता से स्वतंत्र है। अधिक विस्तार से, एक विभाजित अधिकतम टोरस और एक बोरेल उपसमूह, T ⊂ B ⊂ G को ठीक करें। फिर B एक समृणीकृत संयोजित एकांगी उपसमूह U के साथ T का अर्ध प्रत्यक्ष उत्पाद है। G पर के निरूपण V में 'उच्चतम भार सदिश' परिभाषित करें k एक गैर-शून्य सदिश v होना चाहिए जैसे कि B स्वयं में v द्वारा फैलाई गई रेखा को प्रतिचित्रित करते है। फिर B उस रेखा पर अपने भागफल समूह T के माध्यम से भार जालक x(T) के कुछ अवयव λ द्वारा कार्य करते है। चेवेली ने दिखाया कि G के प्रत्येक अखंडनीय निरूपण में अदिश तक एक अद्वितीय उच्चतम भार सदिश होते है; संबंधित उच्चतम भार λ प्रमुख है; और प्रत्येक प्रमुख भार λ, समरूपता तक G के एक अद्वितीय अखंडनीय निरूपण l(λ) का उच्चतम भार है।<ref>Milne (2017), Theorem 22.2.</ref>


== रिडक्टिव समूहों का प्रतिनिधित्व ==
दिए गए उच्चतम भार के साथ अखंडनीय निरूपण का वर्णन करने की समस्या बनी हुई है। विशेषता शून्य के k के लिए, अनिवार्य रूप से पूर्ण उत्तर हैं। एक प्रमुख भार λ के लिए, 'शूर मॉड्यूल' ∇ (λ) को λ से संयोजित चिह्‍नक कई गुना G/B पर परिभाषित करें G-समतुल्य [[उलटा शीफ|व्युत्क्रम शीफ]] के वर्गों के K-सदिश समष्टि के रूप में परिभाषित करें; यह G का निरूपण है। विशेषता शून्य के k के लिए, बोरेल-वील प्रमेय का कहना है कि अखंडनीय निरूपण l(λ) शूर मॉड्यूल ∇ (λ) के लिए आइसोमॉर्फिक है। इसके अतिरिक्त, वेइल गुण सूत्र इस निरूपण के [[चरित्र सिद्धांत|गुण सिद्धांत]] (और विशेष रूप से विमा) देता है।
एक क्षेत्र k पर एक स्प्लिट रिडक्टिव ग्रुप G के लिए, G (बीजगणितीय समूह के रूप में) के अलघुकरणीय निरूपण को प्रमुख भार द्वारा पैरामीट्रिज किया जाता है, जिसे भार जालक X(T) ≅ 'Z' के प्रतिच्छेदन के रूप में परिभाषित किया जाता है।<sup>n</sup> 'आर' में एक उत्तल शंकु (एक [[वेइल कक्ष]]) के साथ<sup>एन</sup>. विशेष रूप से, यह पैरामीट्रिजेशन k की विशेषता से स्वतंत्र है। अधिक विस्तार से, एक स्प्लिट मैक्सिमल टोरस और एक बोरेल सबग्रुप, टी ⊂ बी ⊂ जी को ठीक करें। फिर बी एक चिकनी जुड़े यूनिपोटेंट सबग्रुप यू के साथ टी का सेमीडायरेक्ट उत्पाद है। जी ओवर के प्रतिनिधित्व वी में 'उच्चतम वजन वेक्टर' परिभाषित करें k एक गैर-शून्य वेक्टर v होना चाहिए जैसे कि B स्वयं में v द्वारा फैलाई गई रेखा को मैप करता है। फिर बी उस रेखा पर अपने भागफल समूह टी के माध्यम से भार जालक एक्स (टी) के कुछ तत्व λ द्वारा कार्य करता है। शेवाली ने दिखाया कि जी के प्रत्येक इर्रिडिएबल प्रतिनिधित्व में स्केलर तक एक अद्वितीय उच्चतम वजन वेक्टर होता है; संबंधित उच्चतम वजन λ प्रमुख है; और प्रत्येक प्रमुख भार λ, समरूपता तक G के एक अद्वितीय इरेड्यूसबल प्रतिनिधित्व L(λ) का उच्चतम भार है।<ref>Milne (2017), Theorem 22.2.</ref>
दिए गए उच्चतम भार के साथ अलघुकरणीय निरूपण का वर्णन करने की समस्या बनी हुई है। विशेषता शून्य के k के लिए, अनिवार्य रूप से पूर्ण उत्तर हैं। एक प्रमुख वजन λ के लिए, 'शूर मॉड्यूल' को परिभाषित करें ∇(λ) जी-इक्विवेरिएंट [[उलटा शीफ]] के वर्गों के के-वेक्टर स्पेस के रूप में फ्लैग मैनिफोल्ड जी/बी पर λ से जुड़ा हुआ है; यह जी का एक प्रतिनिधित्व है। विशेषता शून्य के k के लिए, बोरेल-वील प्रमेय का कहना है कि अलघुकरणीय प्रतिनिधित्व L(λ) शूर मॉड्यूल ∇(λ) के लिए आइसोमॉर्फिक है। इसके अलावा, वेइल चरित्र सूत्र इस प्रतिनिधित्व के [[चरित्र सिद्धांत]] (और विशेष रूप से आयाम) देता है।


सकारात्मक विशेषता के क्षेत्र k पर विभाजित रिडक्टिव ग्रुप G के लिए, स्थिति कहीं अधिक सूक्ष्म है, क्योंकि G का प्रतिनिधित्व आमतौर पर इरेड्यूसिबल्स का प्रत्यक्ष योग नहीं है। एक प्रमुख वजन λ के लिए, इरेड्यूसिबल प्रतिनिधित्व एल (λ) शूर मॉड्यूल ∇ (λ) का अद्वितीय सरल सबमॉड्यूल (सोकल (गणित)) है, लेकिन यह शूर मॉड्यूल के बराबर नहीं होना चाहिए। शूर मॉड्यूल का आयाम और चरित्र [[जॉर्ज केम्फ]] द्वारा [[वेइल वर्ण सूत्र]] (विशेषता शून्य के रूप में) द्वारा दिया गया है।<ref>Jantzen (2003), Proposition II.4.5 and Corollary II.5.11.</ref> अलघुकरणीय अभ्यावेदन L(λ) के आयाम और लक्षण सामान्य रूप से अज्ञात हैं, हालांकि इन निरूपणों का विश्लेषण करने के लिए सिद्धांत का एक बड़ा निकाय विकसित किया गया है। एक महत्वपूर्ण परिणाम यह है कि एल (λ) के आयाम और चरित्र को तब जाना जाता है जब [[हेनिंग हाहर एंडरसन]], [[जेन्स कार्स्टन जैंटजेन]], और वोल्फगैंग सॉर्जेल द्वारा जी के [[कॉक्सेटर संख्या]] की तुलना में के की विशेषता पी बहुत बड़ी है ([[जॉर्ज लुसिग]] के अनुमान को साबित करना) उस मामले में)। पी लार्ज के लिए उनका वर्ण सूत्र कज़्दान-लुज़्ज़टिग बहुपदों पर आधारित है, जो मिश्रित रूप से जटिल हैं।<ref>Jantzen (2003), section II.8.22.</ref> किसी भी प्राइम पी के लिए, साइमन रिचे और [[जिओर्डी विलियमसन]] ने पी-कज़्दान-लुज़्ज़टिग बहुपदों के संदर्भ में एक रिडक्टिव समूह के इरेड्यूसबल वर्णों का अनुमान लगाया, जो कि और भी जटिल हैं, लेकिन कम से कम संगणनीय हैं।<ref>Riche & Williamson (2018), section 1.8.</ref>
धनात्मक विशेषता के क्षेत्र k पर विभाजित अपचायक समूह G के लिए, स्थिति कहीं अधिक सूक्ष्म है, क्योंकि G का निरूपण सामान्यतः अखंडनीय का प्रत्यक्ष योग नहीं है। एक प्रमुख भार λ के लिए, अखंडनीय निरूपण l(λ) शूर मॉड्यूल ∇ (λ) का अद्वितीय सरल सबमॉड्यूल (सोकल (गणित)) है, परन्तु यह शूर मॉड्यूल के बराबर नहीं होना चाहिए। शूर मॉड्यूल की विमा और गुण [[जॉर्ज केम्फ]] द्वारा [[वेइल वर्ण सूत्र]] (विशेषता शून्य के रूप में) द्वारा दिया गया है।<ref>Jantzen (2003), Proposition II.4.5 and Corollary II.5.11.</ref> अखंडनीय निरूपण l(λ) के विमा और लक्षण सामान्य रूप से अज्ञात हैं, यद्यपि इन निरूपणों का विश्लेषण करने के लिए सिद्धांत का एक बड़ा निकाय विकसित किया गया है। एक महत्वपूर्ण परिणाम यह है कि l(λ) के विमा और गुण को तब जाना जाता है जब [[हेनिंग हाहर एंडरसन]], [[जेन्स कार्स्टन जैंटजेन]], और वोल्फगैंग सॉर्जेल द्वारा G के [[कॉक्सेटर संख्या|कॉक्सम्मुचयर संख्या]] की तुलना में k की विशेषता p बहुत बड़ी है (उस स्थिति में [[जॉर्ज लुसिग]] के अनुमान को सिद्ध करना))। p व्यापक के लिए उनका वर्ण सूत्र कज़्दान-लुज़्ज़टिग बहुपदों पर आधारित है, जो मिश्रित रूप से जटिल हैं।<ref>Jantzen (2003), section II.8.22.</ref> किसी भी अभाज्य p के लिए, साइमन रिचे और [[जिओर्डी विलियमसन]] ने p-कज़्दान-लुज़्ज़टिग बहुपदों के संदर्भ में अपचायक समूह के अखंडनीय वर्णों का अनुमान लगाया, जो कि और भी जटिल हैं, परन्तु कम से कम संगणनीय हैं।<ref>Riche & Williamson (2018), section 1.8.</ref>




== गैर-विभाजित रिडक्टिव समूह ==
जैसा कि ऊपर चर्चा की गई है, विभाजित रिडक्टिव समूहों का वर्गीकरण किसी भी क्षेत्र में समान है। इसके विपरीत, आधार क्षेत्र के आधार पर मनमाना रिडक्टिव समूहों का वर्गीकरण कठिन हो सकता है। [[शास्त्रीय समूह]]ों में से कुछ उदाहरण हैं:
* एक फ़ील्ड k पर प्रत्येक अविकृत द्विघात रूप q एक अपचायक समूह G = SO(q) निर्धारित करता है। यहाँ G सरल है यदि q का आयाम n कम से कम 3 है, क्योंकि <math>G_{\overline k}</math> एक बीजगणितीय बंद होने पर SO(n) के लिए आइसोमोर्फिक है <math>\overline k</math>. जी का के-रैंक क्यू के 'विट इंडेक्स' के बराबर है (के पर एक आइसोटोपिक सबस्पेस का अधिकतम आयाम)।<ref name="B234">Borel (1991), section 23.4.</ref> तो साधारण समूह G को k पर विभाजित किया जाता है यदि और केवल यदि q में अधिकतम संभव विट इंडेक्स है, <math>\lfloor n/2\rfloor</math>.
* प्रत्येक [[केंद्रीय सरल बीजगणित]] ए ओवर के एक रिडक्टिव ग्रुप जी = एसएल (1, ए) निर्धारित करता है, यूनिट ए * के समूह पर [[कम मानदंड]] का कर्नेल (के से अधिक बीजगणितीय समूह के रूप में)। ए की 'डिग्री' का अर्थ ए के आयाम के वर्ग रूट को के-वेक्टर स्पेस के रूप में दर्शाता है। यहाँ G सरल है यदि A के पास डिग्री n कम से कम 2 है, क्योंकि <math>G_{\overline k}</math> SL(n) ओवर के लिए तुल्याकारी है <math>\overline k</math>. यदि ए में इंडेक्स आर है (जिसका अर्थ है कि ए मैट्रिक्स बीजगणित एम के लिए आइसोमोर्फिक है<sub>''n''/''r''</sub>(डी) डिग्री आर ओवर के के [[विभाजन बीजगणित]] डी के लिए), तो जी का के-रैंक (एन / आर) - 1 है।<ref>Borel (1991), section 23.2.</ref> तो साधारण समूह G को k पर विभाजित किया जाता है यदि और केवल यदि A, k के ऊपर एक मैट्रिक्स बीजगणित है।


परिणामस्वरूप, k पर रिडक्टिव समूहों को वर्गीकृत करने की समस्या में अनिवार्य रूप से k पर सभी द्विघात रूपों को वर्गीकृत करने की समस्या या k पर सभी केंद्रीय सरल बीजगणित शामिल हैं। बीजगणितीय रूप से बंद k के लिए ये समस्याएँ आसान हैं, और उन्हें कुछ अन्य क्षेत्रों जैसे संख्या क्षेत्रों के लिए समझा जाता है, लेकिन मनमाने क्षेत्रों के लिए कई खुले प्रश्न हैं।
== गैर-विभाजित अपचायक समूह ==
जैसा कि ऊपर चर्चा की गई है, विभाजित अपचायक समूहों का वर्गीकरण किसी भी क्षेत्र में समान है। इसके विपरीत, आधार क्षेत्र के आधार पर स्वेच्छ अपचायक समूहों का वर्गीकरण जटिल हो सकता है। [[शास्त्रीय समूह|शास्त्रीय समूहों]] में से कुछ उदाहरण हैं:
* एक क्षेत्र k पर प्रत्येक अविकृत द्विघात रूप q अपचायक समूह G = So(q) निर्धारित करते है। यहाँ G सरल है यदि q की विमा n कम से कम 3 है, क्योंकि <math>G_{\overline k}</math> एक बीजगणितीय संवृत <math>\overline k</math> पर So(n) के लिए समरूपी है। G का k-पद q के 'विट सूचकांक' के बराबर है (k पर एक समदैशिक उपसमष्टि का अधिकतम विमा)।<ref name="B234">Borel (1991), section 23.4.</ref> तो साधारण समूह G को k पर विभाजित किया जाता है यदि और मात्र यदि q में अधिकतम संभव विट सूचकांक, <math>\lfloor n/2\rfloor</math> है।
* प्रत्येक [[केंद्रीय सरल बीजगणित]] A पर k अपचायक समूह G = Sl(1, A) इकाइयों A* के समूह पर [[कम मानदंड]] के आधार को निर्धारित करते है (k से अधिक बीजगणितीय समूह के रूप में)। A की 'घात' का अर्थ A की विमा के वर्ग मूल को k-सदिश समष्टि के रूप में दर्शाता है। यहाँ G सरल है यदि A के निकट घात n कम से कम 2 है, क्योंकि <math>G_{\overline k}</math> <math>\overline k</math> पर Sl(n) पर के लिए समरूपी है। यदि A में सूचकांक r है (जिसका अर्थ है कि A, k पर घात r के [[विभाजन बीजगणित]] D के लिए A आव्यूह बीजगणित M<sub>''n''/</sub>r(D) के लिए समरूपी है), तो G का k-पद (n / R) - 1 है।<ref>Borel (1991), section 23.2.</ref> तो साधारण समूह G को k पर विभाजित किया जाता है यदि और मात्र यदि A, k पर एक आव्यूहों बीजगणित है।


किसी फ़ील्ड k पर एक रिडक्टिव समूह को 'आइसोट्रोपिक' कहा जाता है, अगर इसमें k-रैंक 0 से अधिक होता है (अर्थात, यदि इसमें एक नॉनट्रिविअल स्प्लिट टॉरस होता है), और अन्यथा 'अनिसोट्रोपिक'। फ़ील्ड k पर अर्धसरल समूह G के लिए, निम्न स्थितियाँ समतुल्य हैं:
परिणामस्वरूप, k पर अपचायक समूहों को वर्गीकृत करने की समस्या में अनिवार्य रूप से k पर सभी द्विघात रूपों को वर्गीकृत करने की समस्या या k पर सभी केंद्रीय सरल बीजगणित सम्मिलित हैं। बीजगणितीय रूप से संवृत k के लिए ये समस्याएँ सरल हैं, और उन्हें कुछ अन्य क्षेत्रों जैसे संख्या क्षेत्रों के लिए समझा जाता है, परन्तु स्वेच्छ क्षेत्रों के लिए कई विवृत प्रश्न हैं।
* जी आइसोट्रोपिक है (यानी, जी में गुणक समूह जी की एक प्रति है<sub>''m''</sub> ओवर के);
 
*G में k के ऊपर एक परवलयिक उपसमूह है जो G के बराबर नहीं है;
किसी क्षेत्र k पर अपचायक समूह को 'समानुवर्ती' कहा जाता है, यदि इसमें k-पद 0 से अधिक है (अर्थात, यदि इसमें एक असतहीय विभाजित टोरस है), और अन्यथा 'विषमदैशिक' है। क्षेत्र k पर अर्धसरल समूह G के लिए, निम्न स्थितियाँ समतुल्य हैं:
*जी में योगात्मक समूह जी की एक प्रति है<sub>''a''</sub> कश्मीर से अधिक
* G समानुवर्ती है (अर्थात, G में गुणक समूह G<sub>''m''</sub> पर k की एक प्रति है) ;
के परिपूर्ण के लिए, यह कहने के बराबर भी है कि जी (के) में 1 के अलावा एक रैखिक बीजगणितीय समूह#सेमिसिम्पल और यूनिपोटेंट तत्व तत्व शामिल हैं।<ref>Borel & Tits (1971), Corollaire 3.8.</ref>
*G में k पर एक परवलयिक उपसमूह है जो G के बराबर नहीं है;
विशेषता शून्य (जैसे वास्तविक संख्या) के एक स्थानीय क्षेत्र k पर जुड़े रैखिक बीजगणितीय समूह G के लिए, समूह G(k) शास्त्रीय टोपोलॉजी में [[ कॉम्पैक्ट जगह ]] है (k की टोपोलॉजी पर आधारित) अगर और केवल अगर G है रिडक्टिव और अनिसोट्रोपिक।<ref>Platonov & Rapinchuk (1994), Theorem 3.1.</ref> उदाहरण: ऑर्थोगोनल समूह अनिश्चितकालीन ऑर्थोगोनल समूह | SO(p,q) over 'R' का वास्तविक रैंक min(p,q) है, और इसलिए यह अनिसोट्रोपिक है अगर और केवल अगर p या q शून्य है।<ref name = "B234" />
*G में योगात्मक समूह G<sub>''a''</sub> पर k की एक प्रति है।
k परिपूर्ण के लिए, यह कहने के बराबर भी है कि g(k) में 1 के अतिरिक्त एक रैखिक बीजगणितीय समूह#सेमिसिम्पल और एकांगी अवयव अवयव सम्मिलित हैं।<ref>Borel & Tits (1971), Corollaire 3.8.</ref>
 
विशेषता शून्य (जैसे वास्तविक संख्या) के एक स्थानीय क्षेत्र k पर संयोजित रैखिक बीजगणितीय समूह G के लिए, समूह g(k) शास्त्रीय सांस्थिति में [[ कॉम्पैक्ट जगह |संहत स्थान]] है (k की सांस्थिति पर आधारित) यदि और मात्र यदि G अपचायक और विषमदैशिक है।<ref>Platonov & Rapinchuk (1994), Theorem 3.1.</ref> उदाहरण: लंब कोणीय समूह So(p,q) पर 'R' का वास्तविक पद min(p,q) है, और इसलिए यह विषमदैशिक है यदि और मात्र यदि p या q शून्य है।<ref name="B234" />
 
एक क्षेत्र k पर अपचायक समूह G को 'अर्ध-विभाजन' कहा जाता है, यदि इसमें k पर एक बोरेल उपसमूह होता है। एक विभाजित अपचायक समूह अर्ध-विभाजन है। यदि G, k पर अर्ध-विभाजित है, तो G के किसी भी दो बोरेल उपसमूह g(k) के कुछ अवयव से संयुग्मित होते हैं।<ref>Borel (1991), Theorem 20.9(i).</ref> उदाहरण: लांबिक समूह So(p,q) पर 'R' विभाजित है यदि और मात्र यदि |p−q| ≤ 1, और यह अर्ध-विभाजित है यदि और मात्र यदि |p−q| ≤ 2।<ref name="B234" />


एक फ़ील्ड k पर रिडक्टिव ग्रुप G को 'क्वैसी-स्प्लिट' कहा जाता है, अगर इसमें k के ऊपर एक बोरेल सबग्रुप होता है। एक स्प्लिट रिडक्टिव ग्रुप क्वासी-स्प्लिट है। यदि जी कश्मीर पर अर्ध-विभाजित है, तो जी के किसी भी दो बोरेल उपसमूह जी (के) के कुछ तत्व से संयुग्मित होते हैं।<ref>Borel (1991), Theorem 20.9(i).</ref> उदाहरण: ओर्थोगोनल समूह SO(p,q) ओवर 'R' विभाजित है अगर और केवल अगर |p−q| ≤ 1, और यह अर्ध-विभाजित है यदि और केवल यदि |p−q| ≤ 2.<ref name = "B234" />




== अमूर्त समूहों के रूप में अर्धसरल समूहों की संरचना ==
== अमूर्त समूहों के रूप में अर्धसरल समूहों की संरचना ==
क्षेत्र k पर सरल रूप से जुड़े विभाजित अर्धसरल समूह G के लिए, [[रॉबर्ट स्टाइनबर्ग]] ने अमूर्त समूह G(k) के एक समूह की एक स्पष्ट प्रस्तुति दी।<ref>Steinberg (2016), Theorem 8.</ref> यह जी के डायनकिन आरेख द्वारा निर्धारित संबंधों के साथ जी (रूट उपसमूह) की जड़ों द्वारा अनुक्रमित के योगात्मक समूह की प्रतियों द्वारा उत्पन्न होता है।
क्षेत्र k पर सरल रूप से संयोजित विभाजित अर्धसरल समूह G के लिए, [[रॉबर्ट स्टाइनबर्ग]] ने अमूर्त समूह g(k) के एक समूह की एक स्पष्ट प्रस्तुति दी।<ref>Steinberg (2016), Theorem 8.</ref> यह G के डायनकिन आरेख द्वारा निर्धारित संबंधों के साथ g(मूल उपसमूह) की मूलों द्वारा अनुक्रमित के योगात्मक समूह की प्रतियों द्वारा उत्पन्न होते है।


एक पूर्ण क्षेत्र k पर सरल रूप से जुड़े विभाजित अर्धसरल समूह G के लिए, स्टाइनबर्ग ने अमूर्त समूह G(k) के ऑटोमोर्फिज्म समूह का भी निर्धारण किया। प्रत्येक ऑटोमोर्फिज्म एक [[आंतरिक ऑटोमोर्फिज्म]] का उत्पाद है, एक विकर्ण ऑटोमोर्फिज्म (अर्थात् एक उपयुक्त द्वारा संयुग्मन <math>\overline k</math>-एक अधिकतम टोरस का बिंदु), एक ग्राफ ऑटोमोर्फिज्म (डाइनकिन आरेख के एक ऑटोमोर्फिज्म के अनुरूप), और एक फील्ड ऑटोमोर्फिज्म (क्षेत्र के एक ऑटोमोर्फिज्म से आ रहा है)।<ref>Steinberg (2016), Theorem 30.</ref>
एक पूर्ण क्षेत्र k पर सरल रूप से संयोजित विभाजित अर्धसरल समूह G के लिए, स्टाइनबर्ग ने अमूर्त समूह g(k) के स्वसमाकृतिकता समूह का भी निर्धारण किया। प्रत्येक स्वसमाकृतिकता एक [[आंतरिक ऑटोमोर्फिज्म|आंतरिक स्वसमाकृतिकता]] का उत्पाद है, एक विकर्ण स्वसमाकृतिकता (अर्थात् एक उपयुक्त द्वारा संयुग्मन <math>\overline k</math>-एक अधिकतम टोरस का बिंदु), एक आरेख स्वसमाकृतिकता (डाइनकिन आरेख के एक स्वसमाकृतिकता के अनुरूप), और एक क्षेत्र स्वसमाकृतिकता (क्षेत्र के एक स्वसमाकृतिकता से आ रहा है)।<ref>Steinberg (2016), Theorem 30.</ref>
एक के-सरल बीजगणितीय समूह जी के लिए, 'स्तन की सरलता प्रमेय' कहती है कि सार समूह जी (के) सरल होने के करीब है, हल्के अनुमानों के तहत। अर्थात्, मान लीजिए कि G, k पर समदैशिक है, और मान लीजिए कि क्षेत्र k में कम से कम 4 अवयव हैं। चलो जी (के)<sup>+</sup> योगात्मक समूह G की प्रतियों के k-बिंदुओं द्वारा उत्पन्न अमूर्त समूह G(k) का उपसमूह हो<sub>''a''</sub> G में समाहित k से अधिक। (यह मानकर कि G k पर समदैशिक है, समूह G(k)<sup>+</sup> गैर तुच्छ है, और अगर k अनंत है तो G में ज़रिस्की सघन भी है।) फिर G(k) का भागफल समूह<sup>+</sup> इसके केंद्र द्वारा सरल है (एक सार समूह के रूप में)।<ref>Tits (1964), Main Theorem; Gille (2009), Introduction.</ref> सबूत [[ जैक्स स्तन ]] की बीएन-जोड़े की मशीनरी का उपयोग करता है।


क्रम 2 या 3 के क्षेत्रों के अपवादों को अच्छी तरह से समझा गया है। के = 'एफ' के लिए<sub>2</sub>, स्तन की सरलता प्रमेय मान्य रहता है सिवाय इसके कि जब G प्रकार A का विभाजन हो<sub>1</sub>, बी<sub>2</sub>, या जी<sub>2</sub>, या नॉन-स्प्लिट (यानी एकात्मक) टाइप ए<sub>2</sub>. के = 'एफ' के लिए<sub>3</sub>, प्रमेय प्रकार A के G को छोड़कर धारण करता है<sub>1</sub>.<ref>Tits (1964), section 1.2.</ref>
k-सरल बीजगणितीय समूह G के लिए, 'टिट्स की सरलता प्रमेय' का कहना है कि अमूर्त समूह g(k) हल्के अनुमानों के अंतर्गत, सरल होने के निकट है। अर्थात्, मान लीजिए कि G, k पर समदैशिक है, और मान लीजिए कि क्षेत्र k में कम से कम 4 अवयव हैं। g(k) <sup>+</sup> को G में समाहित योगात्मक समूह G<sub>''a''</sub> पर k की प्रतियों के k-बिंदुओं द्वारा उत्पन्न अमूर्त समूह g(k) का उपसमूह होने दें। (इस धारणा से कि G k पर समदैशिक है, समूह g(k) <sup>+</sup> असतहीय है, और यहाँ तक कि G में ज़रिस्की सघन है यदि k अनंत है।) तब इसके केंद्र द्वारा g(k) + का विभाग समूह सरल है (एक अमूर्त समूह के रूप में)।<ref>Tits (1964), Main Theorem; Gille (2009), Introduction.</ref> परिमाण [[ जैक्स स्तन |जैक्स टिट्स]] की BN-युग्मन की मशीनरी का उपयोग करता है।
एक के-सरल समूह जी के लिए, पूरे समूह जी (के) को समझने के लिए, कोई 'व्हाइटहेड समूह' डब्ल्यू (के, जी) = जी (के)/जी (के) पर विचार कर सकता है।<sup>+</sup>. जी के लिए बस जुड़ा हुआ है और अर्ध-विभाजित है, व्हाइटहेड समूह छोटा है, और इसलिए पूरा समूह जी (के) सरल मोडुलो इसका केंद्र है।<ref>Gille (2009), Théorème 6.1.</ref> अधिक आम तौर पर, केनेसर-टीट्स समस्या पूछती है कि व्हाइटहेड समूह कौन सा आइसोटोपिक के-सरल समूह तुच्छ है। सभी ज्ञात उदाहरणों में, W(k, G) आबेली है।
 
क्रम 2 या 3 के क्षेत्रों के अपवादों को ठीक रूप से समझा गया है। K = F<sub>2</sub> के लिए, टिट्स की सरलता प्रमेय मान्य रहता है अतिरिक्त इसके कि जब G प्रकार A<sub>1</sub>, B<sub>2</sub>, या g<sub>2</sub>, या गैर-विभाजित (अर्थात, एकात्मक) प्रकार A<sub>2</sub> का विभाजन होता है। K = 'F<sub>3</sub> के लिए, A<sub>1</sub> प्रकार के G को छोड़कर प्रमेय मान्य है।<ref>Tits (1964), section 1.2.</ref>
 
k-सरल समूह G के लिए, पूर्ण समूह g(k) को समझने के लिए, 'व्हाइटहेड समूह' w(k, G) = g(k) /g(k) <sup>+</sup> पर विचार किया जा सकता है। G के लिए पूर्णतः संयोजित है और अर्ध-विभाजित है, व्हाइटहेड समूह छोटा है, और इसलिए पूर्ण समूह g(k) सरल मोडुलो इसका केंद्र है।<ref>Gille (2009), Théorème 6.1.</ref> अधिक सामान्यतः, केनेसर-टिट्स समस्या पूछती है कि व्हाइटहेड समूह कौन सा समदैशिक k-सरल समूह नगण्य है। सभी ज्ञात उदाहरणों में, w(k, G) अबेलियन है।
 
विषमदैशिक k-सरल समूह G के लिए, अमूर्त समूह g(k) सरल से बहुत दूर हो सकता है। उदाहरण के लिए, मान लीजिए कि D एक विभाजन बीजगणित है जिसका केंद्र a p-एडिक क्षेत्र k है। मान लीजिए कि k पर D की विमा परिमित है और 1 से अधिक है। फिर G = Sl(1,D) एक विषमदैशिक k-सरल समूह है। जैसा ऊपर बताया गया है, g(k) शास्त्रीय सांस्थिति में संहत है। चूंकि यह [[पूरी तरह से डिस्कनेक्ट|पूर्ण रूप से असंबद्ध]] भी है, g(k) एक असीमित समूह है (परन्तु सीमित नहीं है)। फलस्वरूप, g(k) में उपसमूह के परिमित सूचकांक के अपरिमिततः कई सामान्य उपसमूह होते हैं।<ref>Platonov & Rapinchuk (1994), section 9.1.</ref>


अनिसोट्रोपिक के-सरल समूह जी के लिए, अमूर्त समूह जी (के) सरल से बहुत दूर हो सकता है। उदाहरण के लिए, मान लीजिए कि D एक विभाजन बीजगणित है जिसका केंद्र a p-adic फ़ील्ड k है। मान लीजिए कि k पर D का आयाम परिमित है और 1 से अधिक है। फिर G = SL(1,D) एक अनिसोट्रोपिक k-सरल समूह है। जैसा ऊपर बताया गया है, जी (के) शास्त्रीय टोपोलॉजी में कॉम्पैक्ट है। चूंकि यह [[पूरी तरह से डिस्कनेक्ट]] भी है, जी (के) एक असीमित समूह है (लेकिन सीमित नहीं है)। नतीजतन, जी (के) में उपसमूह के परिमित सूचकांक के असीम रूप से कई सामान्य उपसमूह होते हैं।<ref>Platonov & Rapinchuk (1994), section 9.1.</ref>




== जाली और अंकगणितीय समूह ==
== जाली और अंकगणितीय समूह ==
मान लीजिए G परिमेय संख्याओं 'Q' पर एक रैखिक बीजगणितीय समूह है। फिर जी को 'जेड' पर एक एफ़िन समूह योजना जी तक बढ़ाया जा सकता है, और यह एक अमूर्त समूह जी ('जेड') निर्धारित करता है। एक 'अंकगणितीय समूह' का अर्थ G('Q') का कोई भी उपसमूह है जो G('Z') के साथ समानता (समूह सिद्धांत) है। (G('Q') के एक उपसमूह की अंकगणितीयता 'Z'-संरचना की पसंद से स्वतंत्र है।) उदाहरण के लिए, SL(n,'Z') SL(n,'Q') का एक अंकगणितीय उपसमूह है।
मान लीजिए G परिमेय संख्याओं 'Q' पर एक रैखिक बीजगणितीय समूह है। फिर G को 'Z' पर एक सजातीय समूह पद्धति G तक बढ़ाया जा सकता है, और यह एक अमूर्त समूह g('Z') निर्धारित करते है। एक 'अंकगणितीय समूह' का अर्थ g('Q') का कोई भी उपसमूह है जो g('Z') के साथ समानता (समूह सिद्धांत) है। (g('Q') के एक उपसमूह की अंकगणितीयता 'Z'-संरचना की पसंद से स्वतंत्र है।) उदाहरण के लिए, Sl(n,'Z') Sl(n,'Q') का एक अंकगणितीय उपसमूह है।
 
एक लाई समूह G के लिए, G में एक '[[जाली (असतत उपसमूह)]] ' का अर्थ है G का एक असतत उपसमूह Γ जैसे कि कई गुना G/Γ में परिमित आयतन (G- अचर माप के संबंध में) है। उदाहरण के लिए, एक असतत उपसमूह Γ एक जाली है यदि G/Γ संहत है। [[अंकगणित समूह|मार्गुलिस अंकगणितीय प्रमेय]] विशेष रूप से कहता है: कम से कम 2 वास्तविक पद के एक साधारण लाई समूह G के लिए, G में प्रत्येक जाली एक अंकगणितीय समूह है।


एक लाई समूह G के लिए, G में एक '[[जाली (असतत उपसमूह)]]' का अर्थ है G का एक असतत उपसमूह Γ जैसे कि कई गुना G/Γ में परिमित आयतन (G-invariant माप के संबंध में) है। उदाहरण के लिए, एक असतत उपसमूह Γ एक जाली है यदि G/Γ कॉम्पैक्ट है। [[अंकगणित समूह]] # मार्गुलिस अंकगणितीय प्रमेय विशेष रूप से कहता है: कम से कम 2 वास्तविक रैंक के एक साधारण झूठ समूह जी के लिए, जी में प्रत्येक जाली एक अंकगणितीय समूह है।
== डाइनकिन आरेख पर गैलोज क्रिया ==
{{Main article|टिट्स सूचकांक}}


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


एक फ़ील्ड k पर रिडक्टिव ग्रुप G के लिए, [[पूर्ण गैलोज़ समूह]] Gal(k<sub>''s''</sub>/k) G के पूर्ण डायनकिन आरेख पर (निरंतर) कार्य करता है, अर्थात, एक वियोज्य क्लोजर k पर G का डायनकिन आरेख<sub>s</sub> (जो एक बीजगणितीय बंद होने पर G का डायकिन आरेख भी है <math>{\overline k}</math>). G के ब्रेस्ट इंडेक्स में G का रूट डेटम होता है<sub>''k''<sub>''s''</sub></sub>, इसके डायनकिन डायग्राम पर गैलोज़ एक्शन, और डाइकिन डायग्राम के शीर्षों का एक गैलोज़-इनवेरिएंट उपसमुच्चय। परंपरागत रूप से, दिए गए उपसमुच्चय में गैलोज़ कक्षाओं के चक्कर लगाकर टिट्स इंडेक्स तैयार किया जाता है।
एक क्षेत्र k पर अपचायक समूह G के लिए, [[पूर्ण गैलोज़ समूह|निरपेक्ष गैलोज़ समूह]] Gal(k<sub>''s''</sub>/k) G के पूर्ण डायनकिन आरेख पर (निरंतर) कार्य करते है, जो कि एक वियोज्य संवरक k<sub>s</sub> पर G का डायनकिन आरेख है (जो एक बीजगणितीय संवृत <math>{\overline k}</math> पर G का डायनकिन आरेख भी है)G के टिट्स सूचकांक में G<sub>''k''<sub>''s''</sub></sub> का मूल आधार, इसके डायनकिन आरेख पर गैलोज़ क्रिया और डाइकिन आरेख के शीर्षों का एक गैलोज़-निश्‍चर उपसमुच्चय होता है। परंपरागत रूप से, दिए गए उपसमुच्चय में गैलोज़ कक्षाओं के चक्कर लगाकर टिट्स सूचकांक तैयार किया जाता है।


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


उदाहरण: मान लीजिए कि n ≥ 5 के साथ 2 नहीं विशेषता वाले फ़ील्ड k पर सम आयाम 2n का गैर-डीजेनरेट द्विघात रूप है। (इन प्रतिबंधों से बचा जा सकता है।) G को k पर साधारण समूह SO(q) होने दें। जी का पूर्ण डायनकिन आरेख प्रकार डी का है<sub>''n''</sub>, और इसलिए इसका ऑटोमोर्फिज्म समूह क्रम 2 का है, डी के दो पैरों को बदल रहा है<sub>''n''</sub> आरेख। डायनकिन आरेख पर के के पूर्ण गैलोज़ समूह की कार्रवाई मामूली है अगर और केवल अगर क्यू में क्यू के द्विघात रूप डी के हस्ताक्षर किए गए भेदभाव के */(के *)<sup>2</sup> तुच्छ है। यदि d गैर-तुच्छ है, तो यह डायनकिन आरेख पर गाल्वा क्रिया में एन्कोड किया गया है: पहचान के रूप में कार्य करने वाले गाल्वा समूह का सूचकांक -2 उपसमूह है <math>\operatorname{Gal}(k_s/k(\sqrt{d}))\subset \operatorname{Gal}(k_s/k)</math>. समूह G को विभाजित किया जाता है यदि और केवल यदि q का Witt सूचकांक n है, जो अधिकतम संभव है, और G अर्ध-विभाजित है यदि और केवल यदि q का Witt सूचकांक कम से कम n − 1 है।<ref name = "B234" />
उदाहरण: मान लीजिए कि n ≥ 5 के साथ 2 नहीं विशेषता वाले क्षेत्र k पर 2n सम विमा का गैर- अपभ्रष्ट द्विघात रूप है। (इन प्रतिबंधों से बचा जा सकता है।) G को साधारण समूह So(q) से अधिक k होने दें। G का निरपेक्ष डायनकिन आरेख प्रकार D<sub>''n''</sub> का है, और इसलिए इसका स्वसमाकृतिकता समूह क्रम 2 का है, जो D<sub>''n''</sub> आरेख के दो "पैरों" को बदल रहा है। डायनकिन आरेख पर k के निरपेक्ष गैलोज़ समूह की क्रिया नगण्य है यदि और मात्र यदि k*/ (k *) <sup>2</sup> में q का हस्ताक्षरित विभेदक d नगण्य है। यदि d असतहीय है, तो यह डायनकिन आरेख पर गाल्वा क्रिया में विकोडित किया गया है: गाल्वा समूह का सूचकांक -2 उपसमूह जो तत्समक के रूप में कार्य करते है, वह <math>\operatorname{Gal}(k_s/k(\sqrt{d}))\subset \operatorname{Gal}(k_s/k)</math>है। समूह G को विभाजित किया जाता है यदि और मात्र यदि q का विट सूचकांक n है, जो अधिकतम संभव है, और G अर्ध-विभाजित है यदि और मात्र यदि q का विट सूचकांक कम से कम n − 1 है।<ref name = "B234" />




== [[ धड़ ]]्स और हस्से सिद्धांत ==
== [[ धड़ | टॉर्सर]] और हास सिद्धांत ==
एक फ़ील्ड ''k'' पर एक affine समूह योजना ''G'' के लिए एक टॉर्सर का अर्थ है ''k'' के ऊपर एक affine योजना ''X'' ''G'' की एक समूह कार्रवाई (गणित) के साथ जैसे कि <math>X_{\overline k}</math> के लिए आइसोमोर्फिक है <math>G_{\overline k}</math> की क्रिया के साथ <math>G_{\overline k}</math> बाएँ अनुवाद द्वारा स्वयं पर। एक टॉर्सर को k पर fppf टोपोलॉजी के संबंध में k पर एक प्रमुख G-बंडल के रूप में भी देखा जा सकता है, या étale टोपोलॉजी यदि G k पर स्मूथ है। K पर G-torsors के समरूपता वर्गों के नुकीले सेट को H कहा जाता है<sup>1</sup>(k,G), गाल्वा कोहोलॉजी की भाषा में।
एक सजातीय समूह पद्धति ''G'' के लिए क्षेत्र ''k'' पर एक टॉर्सर का अर्थ है ''G'' की क्रिया (गणित) के साथ ''k'' पर सजातीय पद्धति ''X, जैसे कि <math>X_{\overline k}</math>'' समरूपी से <math>G_{\overline k}</math> ''पर बाएं अनुवाद द्वारा स्वयं <math>G_{\overline k}</math>'' की क्रिया के साथ। एक टॉर्सर को k पर fppf सांस्थिति के संबंध में k पर एक प्रमुख G- समूह के रूप में भी देखा जा सकता है, या इटेल सांस्थिति यदि G k पर समृणीकृत है। गाल्वा सह समरूपता की भाषा में, K पर G-टॉर्सर के समरूपता वर्गों के नुकीले सम्मुचय को H<sup>1</sup> (k,G), कहा जाता है।


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


जब संभव हो, तो [[ कोहोलॉजिकल इनवेरिएंट ]]्स का उपयोग करके जी-टॉर्सर्स को वर्गीकृत करने की उम्मीद है, जो एबेलियन गुणांक समूहों एम, एच के साथ गैलोइस कोहोलॉजी में मान लेने वाले अपरिवर्तनीय हैं।<sup>ए</sup>(के, एम)। इस दिशा में, स्टाइनबर्ग ने [[ जीन पियरे सेरे ]] के अनुमान I को सिद्ध किया: एक जुड़े हुए रैखिक बीजीय समूह G के लिए अधिकतम 1, H क्षेत्र के कोहोलॉजिकल आयाम के एक आदर्श क्षेत्र पर<sup>1</sup>(के, जी) = 1।<ref>Steinberg (1965), Theorem 1.9.</ref> (परिमित क्षेत्र के मामले को पहले लैंग के प्रमेय के रूप में जाना जाता था।) उदाहरण के लिए, यह इस प्रकार है कि परिमित क्षेत्र पर प्रत्येक रिडक्टिव समूह अर्ध-विभाजित है।
जब संभव हो, तो [[ कोहोलॉजिकल इनवेरिएंट |सह समरूपी निश्‍चर]] का उपयोग करके G-टॉर्सर को वर्गीकृत करने की अपेक्षा है, जो एबेलियन गुणांक समूहों M, Ha(k, M) के साथ गाल्वा सह समरूपता में मान लेने वाले अपरिवर्तनीय हैं। इस दिशा में, स्टाइनबर्ग ने [[ जीन पियरे सेरे |जीन पियरे सेरे]] के अनुमान "I" को सिद्ध किया: अधिकतम 1, H<sup>1</sup> (k, G) = 1 पर के सह समरूपी विमा के एक पूर्ण क्षेत्र पर संयोजित रैखिक बीजीय समूह G के लिए।<ref>Steinberg (1965), Theorem 1.9.</ref> (परिमित क्षेत्र के स्थिति को पहले लैंग के प्रमेय के रूप में जाना जाता था।) उदाहरण के लिए, यह इस प्रकार है कि परिमित क्षेत्र पर प्रत्येक अपचायक समूह अर्ध-विभाजित है।


सेरे का अनुमान II (बीजगणित) | सेरे का अनुमान II भविष्यवाणी करता है कि अधिक से अधिक 2, एच पर कोहोलॉजिकल आयाम के एक क्षेत्र पर बस जुड़े अर्ध-सरल समूह जी के लिए<sup>1</sup>(k,G) = 1। अनुमान [[पूरी तरह से काल्पनिक संख्या क्षेत्र]] के लिए जाना जाता है (जिसमें कोहोलॉजिकल आयाम 2 है)। अधिक आम तौर पर, किसी भी संख्या क्षेत्र k के लिए, [[मार्टिन केनेसर]], गुंटर हार्डर और व्लादिमीर चेरनौसोव (1989) ने हासे सिद्धांत को साबित किया: एक साधारण रूप से जुड़े अर्धसरल समूह G के लिए k, मानचित्र
सेरे का अनुमान II (बीजगणित) भविष्यवाणी करता है कि अधिक से अधिक 2, H<sup>1</sup> (k,G) = 1 पर सह समरूपी विमा के एक क्षेत्र पर पूर्णतः संयोजित अर्ध-सरल समूह G के लिए। अनुमान [[पूरी तरह से काल्पनिक संख्या क्षेत्र|पूर्ण रूप से काल्पनिक संख्या क्षेत्र]] के लिए जाना जाता है (जिसमें सह समरूपी विमा 2 है)। अधिक सामान्यतः, किसी भी संख्या क्षेत्र k के लिए, [[मार्टिन केनेसर]], गुंटर हार्डर और व्लादिमीर चेरनौसोव (1989) ने हास सिद्धांत को सिद्ध किया: एक साधारण रूप से संयोजित अर्धसरल समूह G के लिए k, प्रतिचित्र
:<math>H^1(k,G)\to \prod_{v} H^1(k_v,G)</math>
:<math>H^1(k,G)\to \prod_{v} H^1(k_v,G)</math>
विशेषण है।<ref>Platonov & Rapinchuk (1994), Theorem 6.6.</ref> यहाँ v k, और k के सभी स्थानों (गणित) पर चलता है<sub>''v''</sub> संबंधित स्थानीय क्षेत्र है (संभवतः आर या सी)। इसके अलावा, नुकीला सेट ''H''<sup>1</sup>(के<sub>''v''</sub>, G) प्रत्येक गैर-अर्चिमिडियन स्थानीय क्षेत्र k के लिए तुच्छ है<sub>''v''</sub>, और इसलिए केवल k के वास्तविक स्थान मायने रखते हैं। सकारात्मक विशेषता के एक [[वैश्विक क्षेत्र]] k के लिए अनुरूप परिणाम पहले हार्डर (1975) द्वारा सिद्ध किया गया था: हर सरलता से जुड़े सेमीसिंपल समूह G के ऊपर k, H के लिए<sup>1</sup>(k,G) तुच्छ है (क्योंकि k का कोई वास्तविक स्थान नहीं है)।<ref>Platonov & Rapinchuk (1994), section 6.8.</ref>
विशेषणात्मक है।<ref>Platonov & Rapinchuk (1994), Theorem 6.6.</ref> यहाँ v k, और k<sub>''v''</sub> के सभी स्थानों (गणित) पर चलता है संबंधित स्थानीय क्षेत्र है (संभवतः R या C)। इसके अतिरिक्त, नुकीला सम्मुचय ''H''<sup>1</sup> (के<sub>''v''</sub>, G) प्रत्येक गैर आर्किमिडीयन स्थानीय क्षेत्र k<sub>''v''</sub> के लिए नगण्य है, और इसलिए मात्र k के वास्तविक समष्टि महत्व रखते हैं। धनात्मक विशेषता के एक [[वैश्विक क्षेत्र]] k के लिए अनुरूप परिणाम पहले हार्डर (1975) द्वारा सिद्ध किया गया था: प्रत्येक सरलता से संयोजित अर्द्धसरल समूह G पर k, H<sup>1</sup> (k,G) के लिए नगण्य है (क्योंकि k का कोई वास्तविक समष्टि नहीं है)।<ref>Platonov & Rapinchuk (1994), section 6.8.</ref>
एक संख्या क्षेत्र k पर एक निकटवर्ती समूह G के थोड़े अलग मामले में, हासे सिद्धांत एक कमजोर रूप में है: प्राकृतिक मानचित्र
 
एक संख्या क्षेत्र k पर एक निकटवर्ती समूह G के थोड़े अलग स्थिति में, हास सिद्धांत एक दुर्बल रूप में है: प्राकृतिक प्रतिचित्र
:<math>H^1(k,G)\to \prod_{v} H^1(k_v,G)</math>
:<math>H^1(k,G)\to \prod_{v} H^1(k_v,G)</math>
इंजेक्शन है।<ref>Platonov & Rapinchuk (1994), Theorem 6.4.</ref> जी = पीजीएल (एन) के लिए, यह अल्बर्ट-ब्रुएर-हस्से-नोथेर प्रमेय की मात्रा है, यह कहते हुए कि एक संख्या क्षेत्र पर एक केंद्रीय सरल बीजगणित अपने स्थानीय आक्रमणकारियों द्वारा निर्धारित किया जाता है।
अंतःक्षेपक है।<ref>Platonov & Rapinchuk (1994), Theorem 6.4.</ref> G = PGl(n) के लिए, यह अल्बर्ट-ब्रुएर-हास-नोथेर प्रमेय की मात्रा है, यह कहते हुए कि एक संख्या क्षेत्र पर एक केंद्रीय सरल बीजगणित अपने स्थानीय आक्रमणकारियों द्वारा निर्धारित किया जाता है।


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


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


Line 256: Line 268:
==बाहरी संबंध==
==बाहरी संबंध==
*{{Citation | author1-last=Demazure | author1-first=M. | author1-link=Michel Demazure | author2-last=Grothendieck | author2-first=A. | author2-link=Alexander Grothendieck | editor1-last=Gille | editor1-first=P. | editor2-last=Polo | editor2-first=P. | title = Schémas en groupes (SGA 3), II: Groupes de type multiplicatif, et structure des schémas en groupes généraux | url=https://webusers.imj-prg.fr/~patrick.polo/SGA3/}} Revised and annotated edition of the 1970 original.
*{{Citation | author1-last=Demazure | author1-first=M. | author1-link=Michel Demazure | author2-last=Grothendieck | author2-first=A. | author2-link=Alexander Grothendieck | editor1-last=Gille | editor1-first=P. | editor2-last=Polo | editor2-first=P. | title = Schémas en groupes (SGA 3), II: Groupes de type multiplicatif, et structure des schémas en groupes généraux | url=https://webusers.imj-prg.fr/~patrick.polo/SGA3/}} Revised and annotated edition of the 1970 original.
[[Category: रैखिक बीजगणितीय समूह]] [[Category: झूठ बोलने वाले समूह]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Mathematics sidebar templates]]
[[Category:Pages with script errors]]
[[Category:Physics sidebar templates]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:झूठ बोलने वाले समूह]]
[[Category:रैखिक बीजगणितीय समूह]]

Latest revision as of 12:04, 13 November 2023

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

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

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

परिभाषाएँ

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

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

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

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

विशेषता शून्य के क्षेत्रों में अपचायक समूह की एक और समकक्ष परिभाषा एक संयोजित समूह है एक विश्वासपात्र अर्धसरल निरूपण को स्वीकार करता है जो इसके बीजगणितीय संवरक पर अर्धसरल रहता है [3] पृष्ठ 424

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

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

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

पर।

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

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

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

उदाहरण

GLn और SLn

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

o(n), So(n), और Sp(n)

महत्वपूर्ण सरल समूह क्षेत्र k पर सममिती समूह Sp(2n) है, Gl(2n) का उपसमूह जो सदिश समष्टि k2n पर गैर-अपघटित वैकल्पिक द्विरेखीय रूप को संरक्षित करता है। इसी प्रकार, लांबिक समूह 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) प्राप्त हो सकते हैं, यद्यपि उन सभी में बीजगणितीय संवरक में समान आधार परिवर्तन होता है।

टोरी

समूह और इसके उत्पादों को बीजगणितीय टोरस कहा जाता है। वे अपचायक समूहों के उदाहरण हैं क्योंकि वे विकर्ण के माध्यम से में अंतःस्थापित होते हैं, और इस निरूपण से, उनका एकरूप मूलक नगण्य है। उदाहरण के लिए, प्रतिचित्र

से में अंतःस्थापित होता है।

गैर-उदाहरण

  • कोई भी एकांगी समूह अपचायक नहीं है क्योंकि उसका एकांगी मूलक स्वयं है। इसमें योजक समूह सम्मिलित है।
  • के बोरेल समूह में विकर्ण पर के साथ ऊपरी-त्रिकोणीय आव्यूह का असतहीय एकांगी मूलक है। यह एक गैर-अपचायक समूह का उदाहरण है जो एक-एकांगी नहीं है।

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

ध्यान दें कि एकांगी मूलक की सामान्यता का तात्पर्य है कि भागफल समूह अपचायक है। उदाहरण के लिए,

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

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

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


मूल

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

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

संलग्न निरूपण G की क्रिया है जो इसके लाई बीजगणित पर संयुग्मन द्वारा होते है। G के एक मूल का अर्थ है गैर-शून्य भार जो पर T ⊂ G की क्रिया में होते है। प्रत्येक मूल के अनुरूप की उप-समष्टि उपक्षेत्र 1-विमीय है, और T द्वारा निश्चित की गई की उपसमष्टि यथार्थ T की लाई बीजगणित है।[10] इसलिए, G का लाई बीजगणित में मूलों के सम्मुचय Φ द्वारा अनुक्रमित 1-आयामी उप-स्थानों के साथ विघटित होते है:

उदाहरण के लिए, जब G समूह Gl(n) है, तो इसका लाई बीजगणित , k पर सभी n × n आव्यूहों की सदिश समष्टि है। मान लीजिए कि G में विकर्ण आव्यूहों का उपसमूह T है। फिर मूल-समष्टि अपघटन को विकर्ण आव्यूह के प्रत्यक्ष योग और संवृत-विकर्ण पदों (i, j) द्वारा अनुक्रमित 1-विमीय उप-समष्टि के रूप में व्यक्त करते है। भार जालक x(T) ≅ 'Z n' के मानक आधार के लिए L1,..., Ln लिखते हुए, 1 से n तक सभी i ≠ j के लिए मूल अवयव Li - Lj हैं।

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

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

उदाहरण के लिए, यदि B, Gl(n) में ऊपरी-त्रिकोणीय आव्यूहों का बोरेल उपसमूह है, तो यह में ऊपरी-त्रिकोणीय आव्यूहों के उप-समष्टि का स्पष्ट अपघटन है। 1 ≤ i <j ≤ n के लिए धनात्मक मूल Li - Lj हैं।

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

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

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

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

एक क्षेत्र k पर विभाजित अपचायक समूह G के लिए, G के समृणीकृत संयोजित उपसमूह जिनमें G का दिया गया बोरेल उपसमूह B होता है, सरल मूलों के सम्मुचय Δ के उपसम्मुचय के साथ एक-से-एक संगति में होते हैं (या समतुल्य, उपसम्मुचय) डायकिन आरेख के शीर्षों के सम्मुचय का)। मान लीजिए r Δ की कोटि है, जो G का अर्धसरल कोटि है। G का प्रत्येक 'परवलयिक उपसमूह' g(k) के किसी अवयव द्वारा B युक्त उपसमूह से संयुग्मित होते है। फलस्वरूप, k पर G में परवलयिक उपसमूहों के वस्तुतः 2r संयुग्मन वर्ग हैं।[13] स्पष्ट रूप से, Δ के दिए गए उपसमुच्चय S के संगत परवलयिक उपसमूह, S में α के लिए मूल उपसमूहों U−α के साथ मिलकर B द्वारा उत्पन्न समूह है। उदाहरण के लिए, एस में α के लिए। उदाहरण के लिए, Gl(n) के परवलयिक उपसमूहों में उपरोक्त बोरेल उपसमूह B होते हैं, विकर्ण के साथ वर्गों के दिए गए सम्मुचय के नीचे शून्य प्रविष्टियों के साथ व्युत्क्रम आव्यूह के समूह होते हैं, जैसे:

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

के एक निश्चित सदिश समष्टि V में समाहित है

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

विभाजित अपचायक समूह का वर्गीकरण

संयोजित डायनकिन आरेख

चेवेली ने 1958 में दिखाया कि किसी भी बीजगणितीय रूप से संवृत क्षेत्र पर अपचायक समूहों को मूल आंकड़ों द्वारा समरूपता तक वर्गीकृत किया जाता है।[14] विशेष रूप से, एक बीजगणितीय रूप से संवृत क्षेत्र पर अर्ध-सरल समूहों को उनके डायनकिन आरेख द्वारा केंद्रीय समरूपता तक वर्गीकृत किया जाता है, और सरल समूह संयोजित आरेखों के अनुरूप होते हैं। इस प्रकार An, Bn, Cn, Dn, E6, E7, E8, F4, G2 के सरल समूह हैं। यह परिणाम अनिवार्य रूप से 1880 और 1890 के दशक में विल्हेम किलिंग और एली कार्टन द्वारा संहत लाई समूहों या जटिल अर्ध-सरल लाई बीजगणित के वर्गीकरण के समान है। विशेष रूप से, साधारण बीजगणितीय समूहों के विमा, केंद्र और अन्य गुणों को सरल लाई समूहों की सूची से पढ़ा जा सकता है। यह उल्लेखनीय है कि अपचायक समूहों का वर्गीकरण विशेषता से स्वतंत्र है। तुलना के लिए, अभिलक्षणिक शून्य की तुलना में धनात्मक अभिलक्षण में बहुत अधिक सरल लाई बीजगणित हैं।

प्रकार G2 और E6 के असाधारण समूह G का निर्माण कम से कम अमूर्त समूह g(K) के रूप में लियोनार्ड यूजीन डिक्सन द्वारा किया गया था। उदाहरण के लिए, समूह G2 k पर एक अष्टकैक बीजगणित का स्वसमाकृतिकता समूह है। इसके विपरीत, धनात्मक विशेषताओं के क्षेत्र में F4, E7, E8 प्रकार के शेवाले समूह पूर्ण रूप से नवीन थे।

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

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

  • An: Sl(n+1) पर K;
  • Bn: चक्रण समूह चक्रण (2n+1) विट सूचकांक n के साथ विमा 2n+1 पर k के द्विघात रूप से संयोजित है, उदाहरण के लिए रूप
  • Cn: सममिती समूह Sp(2n) k पर ;
  • Dn: चक्रण समूह चक्रण (2n) विट सूचकांक n के साथ विमा 2n पर k के द्विघात रूप से सम्बद्ध है, जिसे इस प्रकार लिखा जा सकता है:

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

जहाँ Z, G का केंद्र है।[16] एक विभाजित अर्ध-सरल के लिए एक क्षेत्र पर पूर्णतः संयोजित समूह G के लिए, G के बाहरी स्वसमाकृतिकता समूह का एक सरल विवरण है: यह G के डायनकिन आरेख का स्वसमाकृतिकता समूह है।

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

एक पद्धति S पर एक समूह पद्धति G को 'अपचायक' कहा जाता है यदि आकारिकी G → S समृणीकृत आकारिकी और संकरण है, और प्रत्येक ज्यामितीय तन्तु अपचायक है। (S में एक बिंदु p के लिए, संबंधित ज्यामितीय तन्तु का अर्थ है बीजगणितीय संवृत करने के लिए G का आधार परिवर्तन p के अवशेष क्षेत्र का।) चेवेली के काम का विस्तार करते हुए, मिशेल डेमाज़र और ग्रोथेंडिक ने दिखाया कि किसी भी गैर-रिक्त पद्धति S पर विभाजित अपचायक समूह पद्धतिओं को मूल आंकड़ों द्वारा वर्गीकृत किया गया है।[17] इस कथन में Z से अधिक समूह पद्धतिओं के रूप में चेवेली समूहों का अस्तित्व सम्मिलित है, और यह कहता है कि एक पद्धति 'S' पर प्रत्येक विभाजित अपचायक समूह Z से 'S' तक एक चेवली समूह के आधार परिवर्तन के लिए समरूपी है।

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

बीजगणितीय समूहों के अतिरिक्त लाई समूहों के संदर्भ में, एक वास्तविक अपचायक समूह एक लाई समूह G है, जैसे कि R पर एक रैखिक बीजीय समूह L है जिसका तत्समक घटक (जरिस्की सांस्थिति में) अपचायक है, और एक समरूपता G → l(R) जिसका आधार परिमित है और जिसका प्रतिरूप l(R) (शास्त्रीय सांस्थिति में) में विवृत है। यह मानने के लिए भी मानक है कि आसन्न निरूपण Ad(G) का प्रतिरूप Int(gC = Ad(L0 (C)) में निहित है (जो G संयोजित के लिए स्वचालित है)।[18]

विशेष रूप से, प्रत्येक संयोजित अर्ध-सरल लाई समूह (जिसका अर्थ है कि इसका लाई बीजगणित अर्ध-सरल है) अपचायक है। इसके अतिरिक्त, लाई समूह R इस अर्थ में अपचायक है, क्योंकि इसे Gl(1, R) ≅ R * के तत्समक घटक के रूप में देखा जा सकता है। वास्तविक अपचायक समूहों को वर्गीकृत करने की समस्या व्यापक रूप से साधारण लाई समूहों को वर्गीकृत करने के लिए कम हो जाती है। इन्हें उनके सैटेक आरेख द्वारा वर्गीकृत किया गया है; या कोई साधारण लाई समूहों (परिमित आवरण तक) की सूची का उल्लेख कर सकता है।

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

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

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

एक क्षेत्र k पर अपचायक समूह G के लिए जो असतत मूल्यांकन (जैसे p-एडिक संख्या Qp) के संबंध में पूर्ण है, G का सजातीय निर्माण X सममित स्थान की भूमिका निभाता है। अर्थात, X g(k) की क्रिया के साथ एक साधारण परिसर है, और g(k) गैर-धनात्मक वक्रता वाले मापीय का रेखीय सजातीय 'X' पर CAt(0) मापीय को संरक्षित करते है। सजातीय निर्माण की विमा G का K-पद है। उदाहरण के लिए, Sl(2, Qp) एक ट्री (आरेख सिद्धांत) है।

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

एक क्षेत्र k पर एक विभाजित अपचायक समूह G के लिए, g(बीजगणितीय समूह के रूप में) के अखंडनीय निरूपण को प्रमुख भार द्वारा प्राचलीकरण किया जाता है, जिसे Rn में एक उत्तल शंकु (एक वेइल कक्ष) के साथ भार जालक x(T) ≅ 'Zn' के प्रतिच्छेदन के रूप में परिभाषित किया जाता है। विशेष रूप से, यह प्राचलीकरण k की विशेषता से स्वतंत्र है। अधिक विस्तार से, एक विभाजित अधिकतम टोरस और एक बोरेल उपसमूह, T ⊂ B ⊂ G को ठीक करें। फिर B एक समृणीकृत संयोजित एकांगी उपसमूह U के साथ T का अर्ध प्रत्यक्ष उत्पाद है। G पर के निरूपण V में 'उच्चतम भार सदिश' परिभाषित करें k एक गैर-शून्य सदिश v होना चाहिए जैसे कि B स्वयं में v द्वारा फैलाई गई रेखा को प्रतिचित्रित करते है। फिर B उस रेखा पर अपने भागफल समूह T के माध्यम से भार जालक x(T) के कुछ अवयव λ द्वारा कार्य करते है। चेवेली ने दिखाया कि G के प्रत्येक अखंडनीय निरूपण में अदिश तक एक अद्वितीय उच्चतम भार सदिश होते है; संबंधित उच्चतम भार λ प्रमुख है; और प्रत्येक प्रमुख भार λ, समरूपता तक G के एक अद्वितीय अखंडनीय निरूपण l(λ) का उच्चतम भार है।[19]

दिए गए उच्चतम भार के साथ अखंडनीय निरूपण का वर्णन करने की समस्या बनी हुई है। विशेषता शून्य के k के लिए, अनिवार्य रूप से पूर्ण उत्तर हैं। एक प्रमुख भार λ के लिए, 'शूर मॉड्यूल' ∇ (λ) को λ से संयोजित चिह्‍नक कई गुना G/B पर परिभाषित करें G-समतुल्य व्युत्क्रम शीफ के वर्गों के K-सदिश समष्टि के रूप में परिभाषित करें; यह G का निरूपण है। विशेषता शून्य के k के लिए, बोरेल-वील प्रमेय का कहना है कि अखंडनीय निरूपण l(λ) शूर मॉड्यूल ∇ (λ) के लिए आइसोमॉर्फिक है। इसके अतिरिक्त, वेइल गुण सूत्र इस निरूपण के गुण सिद्धांत (और विशेष रूप से विमा) देता है।

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


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

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

  • एक क्षेत्र k पर प्रत्येक अविकृत द्विघात रूप q अपचायक समूह G = So(q) निर्धारित करते है। यहाँ G सरल है यदि q की विमा n कम से कम 3 है, क्योंकि एक बीजगणितीय संवृत पर So(n) के लिए समरूपी है। G का k-पद q के 'विट सूचकांक' के बराबर है (k पर एक समदैशिक उपसमष्टि का अधिकतम विमा)।[23] तो साधारण समूह G को k पर विभाजित किया जाता है यदि और मात्र यदि q में अधिकतम संभव विट सूचकांक, है।
  • प्रत्येक केंद्रीय सरल बीजगणित A पर k अपचायक समूह G = Sl(1, A) इकाइयों A* के समूह पर कम मानदंड के आधार को निर्धारित करते है (k से अधिक बीजगणितीय समूह के रूप में)। A की 'घात' का अर्थ A की विमा के वर्ग मूल को k-सदिश समष्टि के रूप में दर्शाता है। यहाँ G सरल है यदि A के निकट घात n कम से कम 2 है, क्योंकि पर Sl(n) पर के लिए समरूपी है। यदि A में सूचकांक r है (जिसका अर्थ है कि A, k पर घात r के विभाजन बीजगणित D के लिए A आव्यूह बीजगणित Mn/r(D) के लिए समरूपी है), तो G का k-पद (n / R) - 1 है।[24] तो साधारण समूह G को k पर विभाजित किया जाता है यदि और मात्र यदि A, k पर एक आव्यूहों बीजगणित है।

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

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

  • G समानुवर्ती है (अर्थात, G में गुणक समूह Gm पर k की एक प्रति है) ;
  • G में k पर एक परवलयिक उपसमूह है जो G के बराबर नहीं है;
  • G में योगात्मक समूह Ga पर k की एक प्रति है।

k परिपूर्ण के लिए, यह कहने के बराबर भी है कि g(k) में 1 के अतिरिक्त एक रैखिक बीजगणितीय समूह#सेमिसिम्पल और एकांगी अवयव अवयव सम्मिलित हैं।[25]

विशेषता शून्य (जैसे वास्तविक संख्या) के एक स्थानीय क्षेत्र k पर संयोजित रैखिक बीजगणितीय समूह G के लिए, समूह g(k) शास्त्रीय सांस्थिति में संहत स्थान है (k की सांस्थिति पर आधारित) यदि और मात्र यदि G अपचायक और विषमदैशिक है।[26] उदाहरण: लंब कोणीय समूह So(p,q) पर 'R' का वास्तविक पद min(p,q) है, और इसलिए यह विषमदैशिक है यदि और मात्र यदि p या q शून्य है।[23]

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


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

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

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

k-सरल बीजगणितीय समूह G के लिए, 'टिट्स की सरलता प्रमेय' का कहना है कि अमूर्त समूह g(k) हल्के अनुमानों के अंतर्गत, सरल होने के निकट है। अर्थात्, मान लीजिए कि G, k पर समदैशिक है, और मान लीजिए कि क्षेत्र k में कम से कम 4 अवयव हैं। g(k) + को G में समाहित योगात्मक समूह Ga पर k की प्रतियों के k-बिंदुओं द्वारा उत्पन्न अमूर्त समूह g(k) का उपसमूह होने दें। (इस धारणा से कि G k पर समदैशिक है, समूह g(k) + असतहीय है, और यहाँ तक कि G में ज़रिस्की सघन है यदि k अनंत है।) तब इसके केंद्र द्वारा g(k) + का विभाग समूह सरल है (एक अमूर्त समूह के रूप में)।[30] परिमाण जैक्स टिट्स की BN-युग्मन की मशीनरी का उपयोग करता है।

क्रम 2 या 3 के क्षेत्रों के अपवादों को ठीक रूप से समझा गया है। K = F2 के लिए, टिट्स की सरलता प्रमेय मान्य रहता है अतिरिक्त इसके कि जब G प्रकार A1, B2, या g2, या गैर-विभाजित (अर्थात, एकात्मक) प्रकार A2 का विभाजन होता है। K = 'F3 के लिए, A1 प्रकार के G को छोड़कर प्रमेय मान्य है।[31]

k-सरल समूह G के लिए, पूर्ण समूह g(k) को समझने के लिए, 'व्हाइटहेड समूह' w(k, G) = g(k) /g(k) + पर विचार किया जा सकता है। G के लिए पूर्णतः संयोजित है और अर्ध-विभाजित है, व्हाइटहेड समूह छोटा है, और इसलिए पूर्ण समूह g(k) सरल मोडुलो इसका केंद्र है।[32] अधिक सामान्यतः, केनेसर-टिट्स समस्या पूछती है कि व्हाइटहेड समूह कौन सा समदैशिक k-सरल समूह नगण्य है। सभी ज्ञात उदाहरणों में, w(k, G) अबेलियन है।

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


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

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

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

डाइनकिन आरेख पर गैलोज क्रिया

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

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

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

उदाहरण: मान लीजिए कि n ≥ 5 के साथ 2 नहीं विशेषता वाले क्षेत्र k पर 2n सम विमा का गैर- अपभ्रष्ट द्विघात रूप है। (इन प्रतिबंधों से बचा जा सकता है।) G को साधारण समूह So(q) से अधिक k होने दें। G का निरपेक्ष डायनकिन आरेख प्रकार Dn का है, और इसलिए इसका स्वसमाकृतिकता समूह क्रम 2 का है, जो Dn आरेख के दो "पैरों" को बदल रहा है। डायनकिन आरेख पर k के निरपेक्ष गैलोज़ समूह की क्रिया नगण्य है यदि और मात्र यदि k*/ (k *) 2 में q का हस्ताक्षरित विभेदक d नगण्य है। यदि d असतहीय है, तो यह डायनकिन आरेख पर गाल्वा क्रिया में विकोडित किया गया है: गाल्वा समूह का सूचकांक -2 उपसमूह जो तत्समक के रूप में कार्य करते है, वह है। समूह G को विभाजित किया जाता है यदि और मात्र यदि q का विट सूचकांक n है, जो अधिकतम संभव है, और G अर्ध-विभाजित है यदि और मात्र यदि q का विट सूचकांक कम से कम n − 1 है।[23]


टॉर्सर और हास सिद्धांत

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

जब भी कोई दिए गए बीजगणितीय वस्तु Y के 'रूपों' को एक क्षेत्र k पर वर्गीकृत करने का प्रयास करते है, तो टॉर्स उत्पन्न होते हैं, जिसका अर्थ है कि x से अधिक k पर वस्तुएँ जो k के बीजगणितीय संवृत होने पर Y के लिए समरूपी बन जाती हैं। अर्थात्, इस प्रकार के रूप (समरूपता तक) सम्मुचय H1 (k, Aut(y)) के साथ एक-से-एक संगति में हैं। उदाहरण के लिए, (अनपभ्रष्ट) k पर विमा n के द्विघात रूपों को H1 (k,o(n)) द्वारा वर्गीकृत किया गया है, और k पर घात n के केंद्रीय सरल बीजगणित को H1 (k,PGl(n)) द्वारा वर्गीकृत किया जाता है। साथ ही, दिए गए बीजगणितीय समूह G के k-रूपों (जिन्हें कभी-कभी G का घुमाव कहा जाता है) को H1 (k, Aut(G)) द्वारा वर्गीकृत किया जाता है। ये समस्याएँ विशेष रूप से अपचायक समूह G के लिए, G-टॉर्सर के व्यवस्थित अध्ययन को प्रेरित करती हैं।

जब संभव हो, तो सह समरूपी निश्‍चर का उपयोग करके G-टॉर्सर को वर्गीकृत करने की अपेक्षा है, जो एबेलियन गुणांक समूहों M, Ha(k, M) के साथ गाल्वा सह समरूपता में मान लेने वाले अपरिवर्तनीय हैं। इस दिशा में, स्टाइनबर्ग ने जीन पियरे सेरे के अनुमान "I" को सिद्ध किया: अधिकतम 1, H1 (k, G) = 1 पर के सह समरूपी विमा के एक पूर्ण क्षेत्र पर संयोजित रैखिक बीजीय समूह G के लिए।[34] (परिमित क्षेत्र के स्थिति को पहले लैंग के प्रमेय के रूप में जाना जाता था।) उदाहरण के लिए, यह इस प्रकार है कि परिमित क्षेत्र पर प्रत्येक अपचायक समूह अर्ध-विभाजित है।

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

विशेषणात्मक है।[35] यहाँ v k, और kv के सभी स्थानों (गणित) पर चलता है संबंधित स्थानीय क्षेत्र है (संभवतः R या C)। इसके अतिरिक्त, नुकीला सम्मुचय H1 (केv, G) प्रत्येक गैर आर्किमिडीयन स्थानीय क्षेत्र kv के लिए नगण्य है, और इसलिए मात्र k के वास्तविक समष्टि महत्व रखते हैं। धनात्मक विशेषता के एक वैश्विक क्षेत्र k के लिए अनुरूप परिणाम पहले हार्डर (1975) द्वारा सिद्ध किया गया था: प्रत्येक सरलता से संयोजित अर्द्धसरल समूह G पर k, H1 (k,G) के लिए नगण्य है (क्योंकि k का कोई वास्तविक समष्टि नहीं है)।[36]

एक संख्या क्षेत्र k पर एक निकटवर्ती समूह G के थोड़े अलग स्थिति में, हास सिद्धांत एक दुर्बल रूप में है: प्राकृतिक प्रतिचित्र

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

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

यह भी देखें

टिप्पणियाँ

  1. SGA 3 (2011), v. 3, Définition XIX.1.6.1.
  2. Milne (2017), Proposition 21.60.
  3. Milne. रैखिक बीजगणितीय समूह (PDF). pp. 381–394.
  4. Conrad (2014), after Proposition 5.1.17.
  5. Borel (1991), 18.2(i).
  6. Milne (2017), Theorem 22.42.
  7. Milne (2017), Corollary 22.43.
  8. Demazure & Gabriel (1970), Théorème IV.3.3.6.
  9. Milne (2017), Theorem 12.12.
  10. 10.0 10.1 Milne (2017), Theorem 21.11.
  11. Milne (2017), Corollary 21.12.
  12. Milne (2017), Proposition 17.53.
  13. Borel (1991), Proposition 21.12.
  14. Chevalley (2005); Springer (1998), 9.6.2 and 10.1.1.
  15. Milne (2017), Theorems 23.25 and 23.55.
  16. Milne (2017), Corollary 23.47.
  17. SGA 3 (2011), v. 3, Théorème XXV.1.1; Conrad (2014), Theorems 6.1.16 and 6.1.17.
  18. Springer (1979), section 5.1.
  19. Milne (2017), Theorem 22.2.
  20. Jantzen (2003), Proposition II.4.5 and Corollary II.5.11.
  21. Jantzen (2003), section II.8.22.
  22. Riche & Williamson (2018), section 1.8.
  23. 23.0 23.1 23.2 23.3 Borel (1991), section 23.4.
  24. Borel (1991), section 23.2.
  25. Borel & Tits (1971), Corollaire 3.8.
  26. Platonov & Rapinchuk (1994), Theorem 3.1.
  27. Borel (1991), Theorem 20.9(i).
  28. Steinberg (2016), Theorem 8.
  29. Steinberg (2016), Theorem 30.
  30. Tits (1964), Main Theorem; Gille (2009), Introduction.
  31. Tits (1964), section 1.2.
  32. Gille (2009), Théorème 6.1.
  33. Platonov & Rapinchuk (1994), section 9.1.
  34. Steinberg (1965), Theorem 1.9.
  35. Platonov & Rapinchuk (1994), Theorem 6.6.
  36. Platonov & Rapinchuk (1994), section 6.8.
  37. Platonov & Rapinchuk (1994), Theorem 6.4.


संदर्भ


बाहरी संबंध