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

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 पर एक समृणीकृत संबंध पद्धति समूह पद्धति है।

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

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

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

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

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

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

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

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

पर।

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

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

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

[1]

[2]

[3]

[4]

@@ Line 12: / Line 12: @@
 === एकांगी मूलक के साथ ===
-एक संयोजित समष्टि रैखिक बीजगणितीय समूह <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>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>, अपचायक होता है।
 === निरूपण सिद्धांत के साथ ===
@@ Line 268: / 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.
-[[Category: रैखिक बीजगणितीय समूह]] [[Category: झूठ बोलने वाले समूह]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 01/05/2023]]
-[[Category:Vigyan Ready]]
+[[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:रैखिक बीजगणितीय समूह]]

Anonymous

Search

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

Namespaces

More

Page actions