ऑटोमोर्फिज्म समूह: Difference between revisions

Revision as of 22:25, 6 February 2023

गणित में, किसी वस्तु X का स्‍वचालन (ऑटोमोर्फिज्म) समूह वह समूह (गणित) है जिसमें आकारिकी के प्रकार्य संयोजन के अंतर्गत X के स्‍वचालन शामिल होते हैं। उदाहरण के लिए, यदि X एक आयाम (सदिश स्थल) है|परिमित-आयामी वेक्टर स्पेस है, तो X का ऑटोमोर्फिज्म समूह X से स्वयं में उलटा रैखिक परिवर्तनों का समूह (द 'एक्स का सामान्य रैखिक समूह) है। यदि इसके स्थान पर X एक समूह है, तो इसका स्वतःस्वरूपण समूह $\operatorname {Aut} (X)$ समूह है जिसमें X के सभी समूह स्‍वचालन शामिल हैं।

विशेष रूप से ज्यामितीय संदर्भों में, एक स्‍वचालन समूह को समरूपता समूह भी कहा जाता है। ऑटोमोर्फिज्म समूह के एक उपसमूह को कभी-कभी 'परिवर्तन समूह' कहा जाता है।

श्रेणी सिद्धांत के क्षेत्र में ऑटोमोर्फिज्म समूहों का सामान्य तरीके से अध्ययन किया जाता है।

उदाहरण

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

क्षेत्र विस्तार का ऑटोमोर्फिज्म समूह $L/K$ एल के फील्ड ऑटोमोर्फिज्म से युक्त समूह है जो फिक्स्ड-पॉइंट सबरिंग के। यदि फील्ड एक्सटेंशन गाल्वा विस्तार है, तो ऑटोमोर्फिज्म ग्रुप को फील्ड एक्सटेंशन का गाल्वा समूह कहा जाता है।
प्रोजेक्टिव स्पेस का ऑटोमोर्फिज्म ग्रुप|प्रोजेक्टिव एन-स्पेस ओवर ए फील्ड (गणित) k प्रक्षेपी रैखिक समूह है $\operatorname {PGL} _{n}(k).$ ^[1]
ऑटोमोर्फिज्म समूह $G$ आदेश के एक परिमित चक्रीय समूह (समूह सिद्धांत) n का समूह समाकृतिकता है $(\mathbb {Z} /n\mathbb {Z} )^{\times }$ , पूर्णांक मॉडुलो एन का गुणक समूह, द्वारा दिए गए समरूपता के साथ ${\overline {a}}\mapsto \sigma _{a}\in G,\,\sigma _{a}(x)=x^{a}$ .^[2] विशेष रूप से, $G$ एबेलियन समूह है।
एक परिमित-आयामी वास्तविक लाई बीजगणित का ऑटोमोर्फिज्म समूह ${\mathfrak {g}}$ एक (वास्तविक) झूठ समूह की संरचना है (वास्तव में, यह एक रैखिक बीजगणितीय समूह भी है: #स्‍वचालन group functor देखें)। यदि G, लाई बीजगणित वाला एक लाई समूह है ${\mathfrak {g}}$ , तब G के ऑटोमोर्फिज्म समूह में एक लाइ समूह की संरचना होती है जो कि ऑटोमोर्फिज्म समूह से प्रेरित होती है ${\mathfrak {g}}$ .^[3]^[4]^{[lower-alpha 1]}

यदि G एक समुच्चय X पर एक समूह समूह क्रिया है, तो क्रिया G से X के ऑटोमोर्फिज्म समूह और इसके विपरीत एक समूह समरूपता के बराबर होती है। दरअसल, समुच्चय एक्स पर प्रत्येक बाएं जी-एक्शन निर्धारित करता है $G\to \operatorname {Aut} (X),\,g\mapsto \sigma _{g},\,\sigma _{g}(x)=g\cdot x$ , और, इसके विपरीत, प्रत्येक समरूपता $\varphi :G\to \operatorname {Aut} (X)$ द्वारा एक क्रिया को परिभाषित करता है $g\cdot x=\varphi (g)x$ . यह उस स्थिति तक विस्तृत होता है जब समुच्चय X में केवल समुच्चय से अधिक संरचना होती है। उदाहरण के लिए, यदि X एक सदिश स्थान है, तो X पर G की एक समूह क्रिया समूह G का एक समूह प्रतिनिधित्व है, जो G को X के रैखिक परिवर्तनों (ऑटोमोर्फिज्म) के समूह के रूप में दर्शाता है; ये अभ्यावेदन प्रतिनिधित्व सिद्धांत के क्षेत्र में अध्ययन का मुख्य उद्देश्य हैं।

यहाँ स्‍वचालन समूहों के बारे में कुछ अन्य तथ्य दिए गए हैं:

होने देना $A,B$ एक ही प्रमुखता के दो परिमित समुच्चय हो और $\operatorname {Iso} (A,B)$ सभी आपत्तियों का समुच्चय $A\mathrel {\overset {\sim }{\to }} B$ . तब $\operatorname {Aut} (B)$ , जो एक सममित समूह है (ऊपर देखें), पर कार्य करता है $\operatorname {Iso} (A,B)$ बाएं से यानी, $\operatorname {Iso} (A,B)$ के लिए एक धड़ है $\operatorname {Aut} (B)$ (cf. # श्रेणी सिद्धांत में)।
चलो पी एक अंगूठी (गणित) आर पर एक सूक्ष्म रूप से जेनरेट मॉड्यूल प्रक्षेपी मॉड्यूल बनें। फिर एक एम्बेडिंग है $\operatorname {Aut} (P)\hookrightarrow \operatorname {GL} _{n}(R)$ , आंतरिक ऑटोमोर्फिज्म तक अद्वितीय।^[5]

श्रेणी सिद्धांत में

स्वचालिततावाद समूह श्रेणी सिद्धांत में बहुत स्वाभाविक रूप से दिखाई देते हैं।

यदि X किसी श्रेणी में एक वस्तु (श्रेणी सिद्धांत) है, तो X का स्‍वचालन समूह वह समूह है जिसमें X से लेकर स्वयं तक के सभी उलटे आकारिकी शामिल हैं। यह एक्स के एंडोमोर्फिज्म मोनोइड का यूनिट समूह है। (कुछ उदाहरणों के लिए, प्रोप (श्रेणी सिद्धांत) देखें।)

अगर $A,B$ किसी श्रेणी में वस्तुएं हैं, फिर समुच्चय $\operatorname {Iso} (A,B)$ के सभी $A\mathrel {\overset {\sim }{\to }} B$ एक बायाँ है $\operatorname {Aut} (B)$ -प्रिंसिपल सजातीय स्थान। व्यावहारिक रूप में, यह कहता है कि आधार बिंदु का एक अलग विकल्प $\operatorname {Iso} (A,B)$ के एक तत्व से स्पष्ट रूप से भिन्न होता है $\operatorname {Aut} (B)$ , या कि आधार बिंदु का प्रत्येक विकल्प निश्चित रूप से टॉर्सर के तुच्छीकरण का विकल्प है।

अगर $X_{1}$ और $X_{2}$ श्रेणियों में वस्तुएं हैं $C_{1}$ और $C_{2}$ , और अगर $F:C_{1}\to C_{2}$ एक फंक्शनल मैपिंग है $X_{1}$ को $X_{2}$ , तब $F$ एक समूह समरूपता को प्रेरित करता है $\operatorname {Aut} (X_{1})\to \operatorname {Aut} (X_{2})$ , क्योंकि यह इन्वर्टिबल मॉर्फिज्म को इनवर्टेबल मॉर्फिज्म में मैप करता है।

विशेष रूप से, यदि G एक एकल वस्तु * के साथ एक श्रेणी (गणित) के रूप में देखा जाने वाला समूह है या, अधिक सामान्यतः, यदि G एक समूह है, तो प्रत्येक फ़ैक्टर $F:G\to C$ , C एक श्रेणी है, जिसे क्रिया या वस्तु पर G का प्रतिनिधित्व कहा जाता है $F(*)$ , या वस्तुएं $F(\operatorname {Obj} (G))$ . उन वस्तुओं को तब कहा जाता है $G$ -ऑब्जेक्ट्स (जैसा कि उनके द्वारा अभिनय किया जाता है $G$ ); सी एफ एस-ऑब्जेक्ट | $\mathbb {S}$ -वस्तु। अगर $C$ एक मॉड्यूल श्रेणी है, जैसे परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी $G$ -ऑब्जेक्ट्स भी कहलाते हैं $G$ -मॉड्यूल।

ऑटोमोर्फिज्म समूह फ़ैक्टर

होने देना $M$ क्षेत्र k पर एक परिमित-आयामी सदिश स्थान हो जो कुछ बीजगणितीय संरचना से सुसज्जित है (अर्थात, M, k के ऊपर एक क्षेत्र पर एक परिमित-आयामी बीजगणित है)। यह, उदाहरण के लिए, एक साहचर्य बीजगणित या झूठ बीजगणित हो सकता है।

अब, के-रैखिक मानचित्रों पर विचार करें $M\to M$ जो बीजगणितीय संरचना को संरक्षित करते हैं: वे एक सदिश उप-स्थान बनाते हैं $\operatorname {End} _{\text{alg}}(M)$ का $\operatorname {End} (M)$ . का इकाई समूह $\operatorname {End} _{\text{alg}}(M)$ ऑटोमोर्फिज्म समूह है $\operatorname {Aut} (M)$ . जब एम पर आधार चुना जाता है, $\operatorname {End} (M)$ स्क्वायर मैट्रिक्स का स्थान है और $\operatorname {End} _{\text{alg}}(M)$ कुछ बहुपद का शून्य समुच्चय है, और उलटापन फिर से बहुपदों द्वारा वर्णित किया गया है। इस तरह, $\operatorname {Aut} (M)$ k पर एक रैखिक बीजगणितीय समूह है।

अब उपरोक्त चर्चा पर लागू आधार एक्सटेंशन एक मज़ेदार निर्धारित करता है:^[6] अर्थात्, k पर प्रत्येक क्रमविनिमेय वलय R के लिए, R-रैखिक मानचित्रों पर विचार करें $M\otimes R\to M\otimes R$ बीजगणितीय संरचना का संरक्षण: इसे निरूपित करें $\operatorname {End} _{\text{alg}}(M\otimes R)$ . फिर मैट्रिक्स रिंग का यूनिट समूह $\operatorname {End} _{\text{alg}}(M\otimes R)$ आर ओवर ऑटोमोर्फिज्म ग्रुप है $\operatorname {Aut} (M\otimes R)$ और $R\mapsto \operatorname {Aut} (M\otimes R)$ एक समूह कार्यकर्ता है: श्रेणी_ऑफ़_रिंग्स#श्रेणी_ऑफ़_कम्यूटेटिव_रिंग्स से समूह की श्रेणी के लिए एक फ़ैक्टर। इससे भी बेहतर, यह एक योजना द्वारा दर्शाया गया है (चूंकि ऑटोमोर्फिज्म समूहों को बहुपदों द्वारा परिभाषित किया गया है): इस योजना को 'ऑटोमोर्फिज्म ग्रुप स्कीम' कहा जाता है और इसे निरूपित किया जाता है $\operatorname {Aut} (M)$ .

सामान्य तौर पर, हालांकि, एक ऑटोमोर्फिज्म ग्रुप फ़ैक्टर को किसी योजना द्वारा प्रदर्शित नहीं किया जा सकता है।

यह भी देखें

बाहरी ऑटोमोर्फिज्म समूह
स्तर संरचना (बीजगणितीय ज्यामिति), एक ऑटोमोर्फिज्म समूह को हटाने की एक तकनीक
होलोनॉमी समूह

↑ First, if G is simply connected, the automorphism group of G is that of ${\mathfrak {g}}$ . Second, every connected Lie group is of the form ${\widetilde {G}}/C$ where ${\widetilde {G}}$ is a simply connected Lie group and C is a central subgroup and the automorphism group of G is the automorphism group of $G$ that preserves C. Third, by convention, a Lie group is second countable and has at most coutably many connected components; thus, the general case reduces to the connected case.

उद्धरण

↑ Hartshorne 1977, Ch. II, Example 7.1.1.
↑ Dummit & Foote 2004, § 2.3. Exercise 26.
↑ Hochschild, G. (1952). "The Automorphism Group of a Lie Group". Transactions of the American Mathematical Society. 72 (2): 209–216. JSTOR 1990752.
↑ Fulton & Harris 1991, Exercise 8.28.
↑ Milnor 1971, Lemma 3.2.
↑ Waterhouse 2012, § 7.6.

संदर्भ

Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). Wiley. ISBN 978-0-471-43334-7.
Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
Milnor, John Willard (1971). Introduction to algebraic K-theory. Annals of Mathematics Studies. Vol. 72. Princeton, NJ: Princeton University Press. ISBN 9780691081014. MR 0349811. Zbl 0237.18005.
Waterhouse, William C. (2012) [1979]. Introduction to Affine Group Schemes. Graduate Texts in Mathematics. Vol. 66. Springer Verlag. ISBN 9781461262176.

बाहरी संबंध

https://mathoverflow.net/questions/55042/स्‍वचालन-group-of-a-scheme

[5] First, if G is simply connected, the automorphism group of G is that of ${\mathfrak {g}}$ . Second, every connected Lie group is of the form ${\widetilde {G}}/C$ where ${\widetilde {G}}$ is a simply connected Lie group and C is a central subgroup and the automorphism group of G is the automorphism group of $G$ that preserves C. Third, by convention, a Lie group is second countable and has at most coutably many connected components; thus, the general case reduces to the connected case.

[1] Hartshorne 1977, Ch. II, Example 7.1.1.

[2] Dummit & Foote 2004, § 2.3. Exercise 26.

[3] Hochschild, G. (1952). "The Automorphism Group of a Lie Group". Transactions of the American Mathematical Society. 72 (2): 209–216. JSTOR 1990752.

[FOOTNOTEFultonHarris1991Exercise_8.28-4] Fulton & Harris 1991, Exercise 8.28.

[6] Milnor 1971, Lemma 3.2.

[7] Waterhouse 2012, § 7.6.

[1]

[2]

[3]

[4]

[lower-alpha 1]

[5]

[6]

@@ Line 1: / Line 1: @@
 {{short description|Mathematical group formed from the automorphisms of an object}}
-गणित में, किसी वस्तु ''X'' का ऑटोमोर्फिज़्म समूह वह [[समूह (गणित)]] है जिसमें आकारिकी के प्रकार्य संयोजन के अंतर्गत ''X'' के [[auto[[morphism]]]] शामिल होते हैं। उदाहरण के लिए, यदि ''X'' एक आयाम ([[सदिश स्थल]]) है|परिमित-आयामी वेक्टर स्पेस है, तो ''X'' का ऑटोमोर्फिज्म समूह ''X'' से स्वयं में उलटा [[रैखिक परिवर्तन]]ों का समूह है (द 'एक्स'' का [[सामान्य रैखिक समूह]])। यदि इसके स्थान पर ''X'' एक समूह है, तो इसका स्वतःस्वरूपण समूह <math>\operatorname{Aut}(X)</math> समूह है जिसमें X के सभी [[समूह ऑटोमोर्फिज्म]] शामिल हैं।
+गणित में, किसी वस्तु ''X'' का स्‍वचालन (ऑटोमोर्फिज्म) समूह वह [[समूह (गणित)]] है जिसमें आकारिकी के प्रकार्य संयोजन के अंतर्गत ''X'' के स्‍वचालन शामिल होते हैं। उदाहरण के लिए, यदि ''X'' एक आयाम ([[सदिश स्थल]]) है|परिमित-आयामी वेक्टर स्पेस है, तो ''X'' का ऑटोमोर्फिज्म समूह ''X'' से स्वयं में उलटा [[रैखिक परिवर्तन]]ों का समूह (द 'एक्स'' का [[सामान्य रैखिक समूह]])'' है।'' यदि इसके स्थान पर ''X'' एक समूह है, तो इसका स्वतःस्वरूपण समूह <math>\operatorname{Aut}(X)</math> समूह है जिसमें X के सभी [[समूह ऑटोमोर्फिज्म|समूह स्‍वचालन]] शामिल हैं।''
-विशेष रूप से ज्यामितीय संदर्भों में, एक ऑटोमोर्फिज़्म समूह को [[समरूपता समूह]] भी कहा जाता है। ऑटोमोर्फिज्म समूह के एक उपसमूह को कभी-कभी 'रूपांतरण समूह' कहा जाता है।
+विशेष रूप से ज्यामितीय संदर्भों में, एक स्‍वचालन समूह को [[समरूपता समूह]] भी कहा जाता है। ऑटोमोर्फिज्म समूह के एक उपसमूह को कभी-कभी 'परिवर्तन समूह' कहा जाता है।
 [[श्रेणी सिद्धांत]] के क्षेत्र में ऑटोमोर्फिज्म समूहों का सामान्य तरीके से अध्ययन किया जाता है।
 == उदाहरण ==
-यदि X एक [[सेट (गणित)]] है जिसमें कोई अतिरिक्त संरचना नहीं है, तो X से स्वयं के लिए कोई भी आक्षेप एक ऑटोमोर्फिज़्म है, और इसलिए इस मामले में X का ऑटोमोर्फिज़्म समूह ठीक X का [[सममित समूह]] है। यदि सेट X में अतिरिक्त संरचना है, तब यह मामला हो सकता है कि सेट पर सभी आक्षेप इस संरचना को संरक्षित नहीं करते हैं, इस मामले में ऑटोमोर्फिज्म समूह एक्स पर सममित समूह का एक उपसमूह होगा। इसके कुछ उदाहरणों में निम्नलिखित शामिल हैं:
+यदि X [[सेट (गणित)|समुच्चय (गणित)]] है जिसमें कोई अतिरिक्त संरचना नहीं है, तो X से स्वयं के लिए कोई भी आक्षेप एक स्‍वचालन है, और इसलिए इस मामले में X का स्‍वचालन समूह ठीक X का [[सममित समूह]] है। यदि समुच्चय X में अतिरिक्त संरचना है, तब यह मामला हो सकता है कि समुच्चय पर सभी आक्षेप इस संरचना को संरक्षित नहीं करते हैं, इस मामले में ऑटोमोर्फिज्म समूह एक्स पर सममित समूह का एक उपसमूह होगा। इसके कुछ उदाहरणों में निम्नलिखित शामिल हैं:
 *क्षेत्र विस्तार का ऑटोमोर्फिज्म समूह <math>L/K</math> एल के फील्ड ऑटोमोर्फिज्म से युक्त समूह है जो [[फिक्स्ड-पॉइंट सबरिंग]] के। यदि फील्ड एक्सटेंशन [[गाल्वा विस्तार]] है, तो ऑटोमोर्फिज्म ग्रुप को फील्ड एक्सटेंशन का [[गाल्वा समूह]] कहा जाता है।
 *प्रोजेक्टिव स्पेस का ऑटोमोर्फिज्म ग्रुप|प्रोजेक्टिव एन-स्पेस ओवर ए फील्ड (गणित) k [[प्रक्षेपी रैखिक समूह]] है <math>\operatorname{PGL}_n(k).</math><ref>{{harvnb|Hartshorne|1977|loc=Ch. II, Example 7.1.1.}}</ref>
 * ऑटोमोर्फिज्म समूह <math>G</math> आदेश के एक परिमित [[चक्रीय समूह]] (समूह सिद्धांत) n का समूह समाकृतिकता है <math>(\mathbb{Z}/n\mathbb{Z})^\times</math>, पूर्णांक मॉडुलो एन का गुणक समूह, द्वारा दिए गए समरूपता के साथ <math>\overline{a} \mapsto \sigma_a \in G, \, \sigma_a(x) = x^a</math>.<ref>{{harvnb|Dummit|Foote|2004|loc=§ 2.3. Exercise 26.}}</ref> विशेष रूप से, <math>G</math> [[एबेलियन समूह]] है।
-* एक परिमित-आयामी वास्तविक लाई बीजगणित का ऑटोमोर्फिज्म समूह <math>\mathfrak{g}</math> एक (वास्तविक) [[झूठ समूह]] की संरचना है (वास्तव में, यह एक [[रैखिक बीजगणितीय समूह]] भी है: #Automorphism group functor देखें)। यदि G, लाई बीजगणित वाला एक लाई समूह है <math>\mathfrak{g}</math>, तब G के ऑटोमोर्फिज्म समूह में एक लाइ समूह की संरचना होती है जो कि ऑटोमोर्फिज्म समूह से प्रेरित होती है <math>\mathfrak{g}</math>.<ref>{{Cite journal |jstor = 1990752|title = The Automorphism Group of a Lie Group|journal = Transactions of the American Mathematical Society|volume = 72|issue = 2|pages = 209–216|last1 = Hochschild|first1 = G.|year = 1952}}</ref>{{sfn|Fulton|Harris|1991|loc=Exercise 8.28}}{{efn|First, if ''G'' is simply connected, the automorphism group of ''G'' is that of <math>\mathfrak{g}</math>. Second, every connected Lie group is of the form <math>\widetilde{G}/C</math> where <math>\widetilde{G}</math> is a simply connected Lie group and ''C'' is a central subgroup and the automorphism group of ''G'' is the automorphism group of <math>G</math> that preserves ''C''. Third, by convention, a Lie group is second countable and has at most coutably many connected components; thus, the general case reduces to the connected case.}}
+* एक परिमित-आयामी वास्तविक लाई बीजगणित का ऑटोमोर्फिज्म समूह <math>\mathfrak{g}</math> एक (वास्तविक) [[झूठ समूह]] की संरचना है (वास्तव में, यह एक [[रैखिक बीजगणितीय समूह]] भी है: #स्‍वचालन group functor देखें)। यदि G, लाई बीजगणित वाला एक लाई समूह है <math>\mathfrak{g}</math>, तब G के ऑटोमोर्फिज्म समूह में एक लाइ समूह की संरचना होती है जो कि ऑटोमोर्फिज्म समूह से प्रेरित होती है <math>\mathfrak{g}</math>.<ref>{{Cite journal |jstor = 1990752|title = The Automorphism Group of a Lie Group|journal = Transactions of the American Mathematical Society|volume = 72|issue = 2|pages = 209–216|last1 = Hochschild|first1 = G.|year = 1952}}</ref>{{sfn|Fulton|Harris|1991|loc=Exercise 8.28}}{{efn|First, if ''G'' is simply connected, the automorphism group of ''G'' is that of <math>\mathfrak{g}</math>. Second, every connected Lie group is of the form <math>\widetilde{G}/C</math> where <math>\widetilde{G}</math> is a simply connected Lie group and ''C'' is a central subgroup and the automorphism group of ''G'' is the automorphism group of <math>G</math> that preserves ''C''. Third, by convention, a Lie group is second countable and has at most coutably many connected components; thus, the general case reduces to the connected case.}}
-यदि G एक सेट X पर एक समूह [[समूह क्रिया]] है, तो क्रिया G से X के ऑटोमोर्फिज्म समूह और इसके विपरीत एक [[समूह समरूपता]] के बराबर होती है। दरअसल, सेट एक्स पर प्रत्येक बाएं जी-एक्शन निर्धारित करता है <math>G \to \operatorname{Aut}(X), \, g \mapsto \sigma_g, \, \sigma_g(x) = g \cdot x</math>, और, इसके विपरीत, प्रत्येक समरूपता <math>\varphi: G \to \operatorname{Aut}(X)</math> द्वारा एक क्रिया को परिभाषित करता है <math>g \cdot x = \varphi(g)x</math>. यह उस स्थिति तक विस्तृत होता है जब समुच्चय X में केवल समुच्चय से अधिक संरचना होती है। उदाहरण के लिए, यदि X एक सदिश स्थान है, तो X पर G की एक समूह क्रिया समूह G का एक [[समूह प्रतिनिधित्व]] है, जो G को X के रैखिक परिवर्तनों (ऑटोमोर्फिज्म) के समूह के रूप में दर्शाता है; ये अभ्यावेदन [[प्रतिनिधित्व सिद्धांत]] के क्षेत्र में अध्ययन का मुख्य उद्देश्य हैं।
+यदि G एक समुच्चय X पर एक समूह [[समूह क्रिया]] है, तो क्रिया G से X के ऑटोमोर्फिज्म समूह और इसके विपरीत एक [[समूह समरूपता]] के बराबर होती है। दरअसल, समुच्चय एक्स पर प्रत्येक बाएं जी-एक्शन निर्धारित करता है <math>G \to \operatorname{Aut}(X), \, g \mapsto \sigma_g, \, \sigma_g(x) = g \cdot x</math>, और, इसके विपरीत, प्रत्येक समरूपता <math>\varphi: G \to \operatorname{Aut}(X)</math> द्वारा एक क्रिया को परिभाषित करता है <math>g \cdot x = \varphi(g)x</math>. यह उस स्थिति तक विस्तृत होता है जब समुच्चय X में केवल समुच्चय से अधिक संरचना होती है। उदाहरण के लिए, यदि X एक सदिश स्थान है, तो X पर G की एक समूह क्रिया समूह G का एक [[समूह प्रतिनिधित्व]] है, जो G को X के रैखिक परिवर्तनों (ऑटोमोर्फिज्म) के समूह के रूप में दर्शाता है; ये अभ्यावेदन [[प्रतिनिधित्व सिद्धांत]] के क्षेत्र में अध्ययन का मुख्य उद्देश्य हैं।
-यहाँ ऑटोमोर्फिज़्म समूहों के बारे में कुछ अन्य तथ्य दिए गए हैं:
+यहाँ स्‍वचालन समूहों के बारे में कुछ अन्य तथ्य दिए गए हैं:
-*होने देना <math>A, B</math> एक ही [[प्रमुखता]] के दो परिमित सेट हो और <math>\operatorname{Iso}(A, B)</math> सभी आपत्तियों का सेट <math>A \mathrel{\overset{\sim}\to} B</math>. तब <math>\operatorname{Aut}(B)</math>, जो एक सममित समूह है (ऊपर देखें), पर कार्य करता है <math>\operatorname{Iso}(A, B)</math> बाएं से यानी, <math>\operatorname{Iso}(A, B)</math> के लिए एक [[धड़]] है <math>\operatorname{Aut}(B)</math> (cf. # श्रेणी सिद्धांत में)।
+*होने देना <math>A, B</math> एक ही [[प्रमुखता]] के दो परिमित समुच्चय हो और <math>\operatorname{Iso}(A, B)</math> सभी आपत्तियों का समुच्चय <math>A \mathrel{\overset{\sim}\to} B</math>. तब <math>\operatorname{Aut}(B)</math>, जो एक सममित समूह है (ऊपर देखें), पर कार्य करता है <math>\operatorname{Iso}(A, B)</math> बाएं से यानी, <math>\operatorname{Iso}(A, B)</math> के लिए एक [[धड़]] है <math>\operatorname{Aut}(B)</math> (cf. # श्रेणी सिद्धांत में)।
 * चलो पी एक [[अंगूठी (गणित)]] आर पर एक सूक्ष्म रूप से जेनरेट मॉड्यूल [[प्रक्षेपी मॉड्यूल]] बनें। फिर एक [[एम्बेडिंग]] है <math>\operatorname{Aut}(P) \hookrightarrow \operatorname{GL}_n(R)</math>, [[आंतरिक ऑटोमोर्फिज्म]] तक अद्वितीय।<ref>{{harvnb|Milnor|1971|loc=Lemma 3.2.}}</ref>
@@ Line 22: / Line 22: @@
 स्वचालिततावाद समूह श्रेणी सिद्धांत में बहुत स्वाभाविक रूप से दिखाई देते हैं।
-यदि X किसी श्रेणी में एक [[वस्तु (श्रेणी सिद्धांत)]] है, तो X का ऑटोमोर्फिज़्म समूह वह समूह है जिसमें X से लेकर स्वयं तक के सभी उलटे आकारिकी शामिल हैं। यह एक्स के [[एंडोमोर्फिज्म मोनोइड]] का यूनिट समूह है। (कुछ उदाहरणों के लिए, [[प्रोप (श्रेणी सिद्धांत)]] देखें।)
+यदि X किसी श्रेणी में एक [[वस्तु (श्रेणी सिद्धांत)]] है, तो X का स्‍वचालन समूह वह समूह है जिसमें X से लेकर स्वयं तक के सभी उलटे आकारिकी शामिल हैं। यह एक्स के [[एंडोमोर्फिज्म मोनोइड]] का यूनिट समूह है। (कुछ उदाहरणों के लिए, [[प्रोप (श्रेणी सिद्धांत)]] देखें।)
-अगर <math>A, B</math> किसी श्रेणी में वस्तुएं हैं, फिर सेट <math>\operatorname{Iso}(A, B)</math> के सभी <math>A \mathrel{\overset{\sim}\to} B</math> एक बायाँ है <math>\operatorname{Aut}(B)</math>-प्रिंसिपल सजातीय स्थान। व्यावहारिक रूप में, यह कहता है कि आधार बिंदु का एक अलग विकल्प <math>\operatorname{Iso}(A, B)</math> के एक तत्व से स्पष्ट रूप से भिन्न होता है <math>\operatorname{Aut}(B)</math>, या कि आधार बिंदु का प्रत्येक विकल्प निश्चित रूप से टॉर्सर के तुच्छीकरण का विकल्प है।
+अगर <math>A, B</math> किसी श्रेणी में वस्तुएं हैं, फिर समुच्चय <math>\operatorname{Iso}(A, B)</math> के सभी <math>A \mathrel{\overset{\sim}\to} B</math> एक बायाँ है <math>\operatorname{Aut}(B)</math>-प्रिंसिपल सजातीय स्थान। व्यावहारिक रूप में, यह कहता है कि आधार बिंदु का एक अलग विकल्प <math>\operatorname{Iso}(A, B)</math> के एक तत्व से स्पष्ट रूप से भिन्न होता है <math>\operatorname{Aut}(B)</math>, या कि आधार बिंदु का प्रत्येक विकल्प निश्चित रूप से टॉर्सर के तुच्छीकरण का विकल्प है।
 अगर <math>X_1</math> और <math>X_2</math> श्रेणियों में वस्तुएं हैं <math>C_1</math> और <math>C_2</math>, और अगर <math>F: C_1 \to C_2</math> एक फंक्शनल मैपिंग है <math>X_1</math> को <math>X_2</math>, तब <math>F</math> एक समूह समरूपता को प्रेरित करता है <math>\operatorname{Aut}(X_1) \to \operatorname{Aut}(X_2)</math>, क्योंकि यह इन्वर्टिबल मॉर्फिज्म को इनवर्टेबल मॉर्फिज्म में मैप करता है।
@@ Line 33: / Line 33: @@
 होने देना <math>M</math> क्षेत्र k पर एक परिमित-आयामी सदिश स्थान हो जो कुछ बीजगणितीय संरचना से सुसज्जित है (अर्थात, M, k के ऊपर एक क्षेत्र पर एक परिमित-आयामी बीजगणित है)। यह, उदाहरण के लिए, एक [[साहचर्य बीजगणित]] या झूठ बीजगणित हो सकता है।
-अब, के-रैखिक मानचित्रों पर विचार करें <math>M \to M</math> जो बीजगणितीय संरचना को संरक्षित करते हैं: वे एक सदिश उप-स्थान बनाते हैं <math>\operatorname{End}_{\text{alg}}(M)</math> का <math>\operatorname{End}(M)</math>. का इकाई समूह <math>\operatorname{End}_{\text{alg}}(M)</math> ऑटोमोर्फिज्म समूह है <math>\operatorname{Aut}(M)</math>. जब एम पर आधार चुना जाता है, <math>\operatorname{End}(M)</math> [[स्क्वायर मैट्रिक्स]] का स्थान है और <math>\operatorname{End}_{\text{alg}}(M)</math> कुछ [[बहुपद]] का शून्य सेट है, और उलटापन फिर से बहुपदों द्वारा वर्णित किया गया है। इस तरह, <math>\operatorname{Aut}(M)</math> k पर एक रैखिक बीजगणितीय समूह है।
+अब, के-रैखिक मानचित्रों पर विचार करें <math>M \to M</math> जो बीजगणितीय संरचना को संरक्षित करते हैं: वे एक सदिश उप-स्थान बनाते हैं <math>\operatorname{End}_{\text{alg}}(M)</math> का <math>\operatorname{End}(M)</math>. का इकाई समूह <math>\operatorname{End}_{\text{alg}}(M)</math> ऑटोमोर्फिज्म समूह है <math>\operatorname{Aut}(M)</math>. जब एम पर आधार चुना जाता है, <math>\operatorname{End}(M)</math> [[स्क्वायर मैट्रिक्स]] का स्थान है और <math>\operatorname{End}_{\text{alg}}(M)</math> कुछ [[बहुपद]] का शून्य समुच्चय है, और उलटापन फिर से बहुपदों द्वारा वर्णित किया गया है। इस तरह, <math>\operatorname{Aut}(M)</math> k पर एक रैखिक बीजगणितीय समूह है।
 अब उपरोक्त चर्चा पर लागू आधार एक्सटेंशन एक मज़ेदार निर्धारित करता है:<ref>{{harvnb|Waterhouse|2012|loc=§ 7.6.}}</ref> अर्थात्, k पर प्रत्येक क्रमविनिमेय वलय R के लिए, R-रैखिक मानचित्रों पर विचार करें <math>M \otimes R \to M \otimes R</math> बीजगणितीय संरचना का संरक्षण: इसे निरूपित करें <math>\operatorname{End}_{\text{alg}}(M \otimes R)</math>. फिर मैट्रिक्स रिंग का यूनिट समूह <math>\operatorname{End}_{\text{alg}}(M \otimes R)</math> आर ओवर ऑटोमोर्फिज्म ग्रुप है <math>\operatorname{Aut}(M \otimes R)</math> और <math>R \mapsto \operatorname{Aut}(M \otimes R)</math> एक [[समूह कार्यकर्ता]] है: श्रेणी_ऑफ़_रिंग्स#श्रेणी_ऑफ़_कम्यूटेटिव_रिंग्स से समूह की श्रेणी के लिए एक फ़ैक्टर। इससे भी बेहतर, यह एक योजना द्वारा दर्शाया गया है (चूंकि ऑटोमोर्फिज्म समूहों को बहुपदों द्वारा परिभाषित किया गया है): इस योजना को 'ऑटोमोर्फिज्म ग्रुप स्कीम' कहा जाता है और इसे निरूपित किया जाता है <math>\operatorname{Aut}(M)</math>.
@@ Line 63: / Line 63: @@
 == बाहरी संबंध ==
-*https://mathoverflow.net/questions/55042/automorphism-group-of-a-scheme
+*[https://mathoverflow.net/questions/55042/automorphism-group-of-a-scheme https://mathoverflow.net/questions/55042/स्‍वचालन-group-of-a-scheme]

Anonymous

Search

ऑटोमोर्फिज्म समूह: Difference between revisions

Namespaces

More

Page actions

Revision as of 22:25, 6 February 2023

Contents

उदाहरण

श्रेणी सिद्धांत में

ऑटोमोर्फिज्म समूह फ़ैक्टर

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

ऑटोमोर्फिज्म समूह: Difference between revisions

Revision as of 22:25, 6 February 2023

उदाहरण

श्रेणी सिद्धांत में

ऑटोमोर्फिज्म समूह फ़ैक्टर

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories