समूह क्रिया: Difference between revisions

Revision as of 16:58, 22 November 2022

File:Group action on equilateral triangle.svg

चक्रीय समूह C₃ तीन शीर्षों के समूह पर 0°, 120° और 240° के घूर्णन से मिलकर बनता है।

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

सदिश स्थान पर एक समूह क्रिया को समूह का प्रतिनिधित्व कहा जाता है। एक परिमित-आयामी सदिश अंतरिक्ष के मामले में, यह $GL(n, K)$ के उपसमूहों के साथ कई समूहों की पहचान करने की अनुमति देता है , क्षेत्र K पर आयाम n के व्युत्क्रमणीय आव्यूहों का समूह।

सममित समूह $S n$ सममित समूह Sn समूह के तत्वों की अनुमति देकर n तत्वों के साथ किसी भी समूह पर कार्य करता है यद्यपि एक समुच्चय के सभी क्रमपरिवर्तनों का समूह औपचारिक रूप से समुच्चय पर निर्भर करता है, समूह क्रिया की अवधारणा किसी को एक समूह पर विचार करने की अनुमति देती है ताकि सभी समूहों के क्रमपरिवर्तन का अध्ययन समान प्रमुखता के साथ किया जा सके।

परिभाषा

बाएं समूह कार्रवाई

यदि $G$ पहचान $e$ तत्व वाला समूह है, और $X$ एक समूह है, तब X पर G की (बाएं) समूह क्रिया α एक फलन है

\alpha \colon G\times X\to X,

जो निम्नलिखित दो स्वयंसिद्धों को संतुष्ट करता है:^[1]

पहचान:	$\alpha (e,x)=x$
अनुरूपता:	$\alpha \left(g,\alpha \left(h,x\right)\right)=\alpha \left(gh,x\right)$

( $α (g, x)$ के साथ अक्सर $gx$ या $g \cdot x$ तक छोटा कर दिया जाता है जब विचार की जा रही कार्रवाई संदर्भ से स्पष्ट हो):

पहचान:	$e\cdot x=x$
अनुरूपता:	$g\cdot (h\cdot x)=(gh)\cdot x$

$g$ के सभी $G$ और $h$ और $x$ में सभी $X$ के लिए.

कहा जाता है की समूह $G$ , $X$ (बाएं से) पर कार्य करता है। $G$ की क्रिया के साथ एक समूह $X$ को एक $G$ (बाएं) समूह कहा जाता है।

ashifइन दो अभिगृहीतों से यह निष्कर्ष निकलता है कि किसी नियत के लिए $g$ में $G$ , समारोह से $X$ खुद के लिए कौन सा नक्शा $x$ प्रति $g \cdot x$ एक आक्षेप है, व्युत्क्रम आक्षेप के साथ के लिए संबंधित मानचित्र $g -1$ . इसलिए, कोई समान रूप से एक समूह कार्रवाई को परिभाषित कर सकता है $G$ पर $X$ से एक समूह समरूपता के रूप में $G$ सममित समूह में $Sym(X)$ सभी आपत्तियों से $X$ खुद को।^[2]

सही समूह कार्रवाई

इसी तरह, की एक सही समूह कार्रवाई $G$ पर $X$ एक समारोह है

\alpha \colon X\times G\to X,

जो अनुरूप स्वयंसिद्धों को संतुष्ट करता है:^[3]

Identity:	$\alpha (x,e)=x$
Compatibility:	$\alpha \left(\alpha \left(x,g\right),h\right)=\alpha \left(x,gh\right)$

(साथ $α (x, g)$ अक्सर छोटा कर दिया जाता है $xg$ या $x \cdot g$ जब विचार की जा रही कार्रवाई संदर्भ से स्पष्ट हो)

Identity:	$x\cdot e=x$
Compatibility:	$(x\cdot g)\cdot h=x\cdot (gh)$

सभी के लिए $g$ तथा $h$ में $G$ और सभी $x$ में $X$ .

बाएँ और दाएँ क्रियाओं के बीच का अंतर उस क्रम में है जिसमें एक उत्पाद $gh$ पर कार्य करता है $x$ . वामपंथी कार्रवाई के लिए, $h$ पहले कार्य करता है, उसके बाद $g$ दूसरा। सही कार्रवाई के लिए, $g$ पहले कार्य करता है, उसके बाद $h$ दूसरा। सूत्र के कारण $(gh) -1 = h -1 g -1$ , समूह के व्युत्क्रम संचालन के साथ रचना करके एक बाएं क्रिया का निर्माण एक सही क्रिया से किया जा सकता है। साथ ही, एक समूह की सही कार्रवाई $G$ पर $X$ इसके विपरीत समूह की बाईं क्रिया के रूप में माना जा सकता है $G op$ पर $X$ .

इस प्रकार, समूह क्रियाओं के सामान्य गुणों को स्थापित करने के लिए, यह केवल बाईं क्रियाओं पर विचार करने के लिए पर्याप्त है। हालांकि, ऐसे मामले हैं जहां यह संभव नहीं है। उदाहरण के लिए, एक समूह का गुणन समूह पर ही बाएं क्रिया और दाएं क्रिया दोनों को प्रेरित करता है - क्रमशः बाईं ओर और दाईं ओर गुणन।

क्रियाओं के उल्लेखनीय गुण

होने देना $G$ एक समूह पर अभिनय करने वाला समूह बनें $X$ . क्रिया कहलाती हैfaithfulयाeffectiveयदि $g\cdot x=x$ सभी के लिए $x\in X$ इसका आशय है $g=e_{G}$ . समान रूप से, रूपवाद से $G$ के आपत्तियों के समूह के लिए $X$ कार्रवाई के अनुरूप इंजेक्शन है।

क्रिया कहलाती हैfree(या अर्ध-नियमित या निश्चित-बिंदु मुक्त) यदि कथन है कि $g\cdot x=x$ कुछ के लिए $x\in X$ पहले से ही इसका तात्पर्य है $g=e_{G}$ . दूसरे शब्दों में, का कोई गैर-तुच्छ तत्व नहीं $G$ का एक बिंदु तय करता है $X$ . यह वफादारी से कहीं अधिक मजबूत संपत्ति है।

उदाहरण के लिए, बाएं गुणन द्वारा किसी भी समूह की कार्रवाई स्वयं पर मुक्त है। यह अवलोकन केली के प्रमेय का तात्पर्य है कि किसी भी समूह को एक सममित समूह में एम्बेड किया जा सकता है (जो कि समूह होने पर अनंत है)। एक परिमित समूह अपनी प्रमुखता की तुलना में बहुत छोटे आकार के समूह पर ईमानदारी से कार्य कर सकता है (हालांकि ऐसी कार्रवाई मुक्त नहीं हो सकती)। उदाहरण के लिए एबेलियन 2-ग्रुप $(\mathbb {Z} /2\mathbb {Z} )^{n}$ (कार्डिनैलिटी का $2^{n}$ ) आकार के एक समूह पर ईमानदारी से कार्य करता है $2n$ . यह हमेशा मामला नहीं होता है, उदाहरण के लिए चक्रीय समूह $\mathbb {Z} /2^{n}\mathbb {Z}$ से कम आकार के समूह पर ईमानदारी से कार्य नहीं कर सकता $2^{n}$ .

सामान्य तौर पर सबसे छोटा समूह जिस पर एक वफादार कार्रवाई को परिभाषित किया जा सकता है, उसी आकार के समूहों के लिए बहुत भिन्न हो सकता है। उदाहरण के लिए, आकार 120 के तीन समूह सममित समूह हैं $S_{5}$ , आइकोसाहेड्रल समूह $A_{5}\times \mathbb {Z} /2\mathbb {Z}$ और चक्रीय समूह $\mathbb {Z} /120\mathbb {Z}$ . सबसे छोटे समूह जिन पर इन समूहों के लिए विश्वासयोग्य कार्यों को परिभाषित किया जा सकता है, वे क्रमशः आकार 5, 12 और 16 के हैं।

ट्रांजिटिविटी गुण

की कार्रवाई $G$ पर $X$ कहा जाता हैtransitiveअगर किन्हीं दो बिंदुओं के लिए $x,y\in X$ वहाँ एक मौजूद है $g\in G$ ताकि $g\cdot x=y$ .

क्रिया हैsimply transitive(या तीव्र संक्रमणीय, याregular) यदि यह सकर्मक और मुक्त दोनों है। इसका मतलब है कि दिया गया $x,y\in X$ तत्व $g$ संक्रामकता की परिभाषा में अद्वितीय है। यदि $X$ एक समूह द्वारा केवल सकर्मक रूप से कार्य किया जाता है $G$ तो इसे के लिए एक प्रमुख सजातीय स्थान कहा जाता है $G$ या ए $G$ -मस्तिष्क।

एक पूर्णांक के लिए $n\geq 1$ , क्रिया है n-transitive यदि $X$ कम से कम है $n$ तत्वों, और किसी भी जोड़ी के लिए $n$ -टुपल्स $(x_{1},\ldots ,x_{n}),(y_{1},\ldots ,y_{n})\in X^{n}$ जोड़ीदार अलग प्रविष्टियों के साथ (अर्थात $x_{i}\not =x_{j}$ , $y_{i}\not =y_{j}$ जब $i\not =j$ ) वहाँ मौजूद है $g\in G$ ऐसा है कि $g\cdot x_{i}=y_{i}$ के लिये $i=1,\ldots ,n$ . दूसरे शब्दों में के उपसमुच्चय पर क्रिया $X^{n}$ बार-बार प्रविष्टियों के बिना टुपल्स की संख्या सकर्मक है। के लिये $n=2,3$ इसे अक्सर डबल, क्रमशः ट्रिपल, ट्रांजिटिविटी कहा जाता है। 2-संक्रमणीय समूहों का वर्ग (अर्थात, एक परिमित सममित समूह के उपसमूह जिनकी क्रिया 2-संक्रमणीय है) और अधिक सामान्यतः बहुगुणित सकर्मक समूह परिमित समूह सिद्धांत में अच्छी तरह से अध्ययन किए जाते हैं।

एक क्रिया है sharply $n$ -transitive जब बार-बार प्रविष्टियों के बिना टुपल्स पर कार्रवाई $X^{n}$ तीव्र संक्रमणीय है।

उदाहरण

के सममित समूह की क्रिया $X$ सकर्मक है, वास्तव में $n$ -किसी के लिए सकर्मक $n$ की कार्डिनैलिटी तक $X$ . यदि $X$ कार्डिनैलिटी है $n,$ वैकल्पिक समूह की क्रिया है $(n-2)$ -सकर्मक लेकिन नहीं $(n-1)$ -सकर्मक।

एक सदिश स्थान के सामान्य रैखिक समूह की क्रिया $V$ मंच पर $V\setminus \{0\}$ गैर-शून्य वैक्टर सकर्मक है, लेकिन 2-सकर्मक नहीं है (इसी तरह विशेष रैखिक समूह की कार्रवाई के लिए यदि आयाम $v$ कम से कम 2) है। यूक्लिडियन अंतरिक्ष के ऑर्थोगोनल समूह की क्रिया अशून्य सदिशों पर सकर्मक नहीं है, लेकिन यह इकाई क्षेत्र पर है।

आदिम क्रियाएं

की कार्रवाई $G$ पर $X$ के समुच्चय का विभाजन न होने पर आदिम कहलाता है $X$ के सभी तत्वों द्वारा संरक्षित $G$ तुच्छ विभाजनों के अलावा (एक टुकड़े में विभाजन और इसके दोहरे, एकल में विभाजन)।

सांस्थितिक गुण

मान लो की $X$ एक टोपोलॉजिकल स्पेस है और की क्रिया है $G$ होमियोमॉर्फिज्म द्वारा है।

कार्रवाई भटक रही है अगर हर $x\in X$ एक पड़ोस है $U$ जैसे कि केवल बहुत से हैं $g\in G$ साथ $g\cdot U\cap U\not =\emptyset$ .^[4] अधिक आम तौर पर, एक बिंदु $x\in X$ की कार्रवाई के लिए असंततता का बिंदु कहा जाता है $G$ यदि कोई खुला उपसमुच्चय है $U\ni x$ जैसे कि केवल बहुत से हैं $g\in G$ साथ $g\cdot U\cap U\not =\emptyset$ . क्रिया के असातत्य का क्षेत्र असातत्य के सभी बिंदुओं का समुच्चय है। समान रूप से यह सबसे बड़ा है $G$ -स्थिर खुला सबसमूह $\Omega \subset X$ ऐसी कि कार्रवाई $G$ पर $\Omega$ भटक रहा है।^[5] गतिशील संदर्भ में इसे वांडरिंग समूह भी कहा जाता है।

यदि प्रत्येक कॉम्पैक्ट सबसमूह के लिए क्रिया ठीक से बंद हो जाती है $K\subset X$ निश्चित रूप से बहुत सारे हैं $g\in G$ ऐसा है कि $g\cdot K\cap K\not =\emptyset$ . यह भटकने से सख्त मजबूत है; उदाहरण के लिए की कार्रवाई $\mathbb {Z}$ पर $\mathbb {R} ^{2}\setminus \{(0,0)\}$ के द्वारा दिया गया $n\cdot (x,y)=(2^{n}x,2^{-n}y)$ भटक रहा है और मुक्त है लेकिन ठीक से बंद नहीं है।^[6] एक कवरिंग स्पेस पर स्थानीय रूप से बस जुड़े स्थान के मौलिक समूह के डेक ट्रांसफॉर्मेशन द्वारा कार्रवाई भटक रही है और मुक्त है। इस तरह की कार्रवाइयों को निम्नलिखित संपत्ति की विशेषता हो सकती है: प्रत्येक $x\in X$ एक पड़ोस है $U$ ऐसा है कि $g\cdot U\cap U=\emptyset$ हरएक के लिए $g\in G\setminus \{e_{G}\}$ .^[7] इस संपत्ति के साथ क्रियाओं को कभी-कभी स्वतंत्र रूप से असंतत कहा जाता है, और सबसे बड़ा उपसमुच्चय जिस पर कार्रवाई स्वतंत्र रूप से बंद होती है, उसे मुक्त नियमित समूह कहा जाता है।^[8] एक समूह की एक क्रिया $G$ स्थानीय रूप से कॉम्पैक्ट स्थान पर $X$ कॉम्पैक्ट उपसमुच्चय मौजूद होने पर सहकॉम्पैक्ट कहा जाता है $A\subset X$ ऐसा है कि $X=G\cdot A$ . एक ठीक से बंद कार्रवाई के लिए, सहसंबद्धता भागफल स्थान की कॉम्पैक्टनेस के बराबर है $G\backslash X$ .

स्थलाकृतिक समूहों की क्रियाएं

अब मान लीजिए $G$ एक सामयिक समूह है और $X$ एक टोपोलॉजिकल स्पेस जिस पर यह होमोमोर्फिज्म द्वारा कार्य करता है। कार्रवाई को निरंतर कहा जाता है यदि नक्शा $G\times X\to X$ उत्पाद टोपोलॉजी के लिए निरंतर है।

कार्रवाई कहा जाता हैproperअगर नक्शा $G\times X\to X\times X$ द्वारा परिभाषित $(g,x)\mapsto (x,g\cdot x)$ उचित मानचित्र है।^[9] इसका मतलब है कि दिए गए कॉम्पैक्ट समूह $K,K'$ के समुच्चय $g\in G$ ऐसा है कि $g\cdot K\cap K'\not =\emptyset$ कॉम्पैक्ट है। विशेष रूप से, यह उचित विच्छेदन के बराबर है जब $G$ एक असतत समूह है।

यदि पड़ोस मौजूद है तो इसे स्थानीय रूप से मुक्त कहा जाता है $U$ का $e_{G}$ ऐसा है कि $g\cdot x\not =x$ सभी के लिए $x\in X$ तथा $g\in U\setminus \{e_{G}\}$ .

यदि कक्षीय मानचित्र हो तो क्रिया को दृढ़ता से निरंतर कहा जाता है $g\mapsto g\cdot x$ हर के लिए निरंतर है $x\in X$ . नाम से पता चलता है कि इसके विपरीत, यह कार्रवाई की निरंतरता की तुलना में कमजोर संपत्ति है।^[10] यदि $G$ एक झूठ समूह है और $X$ एक अलग-अलग कई गुना, फिर कार्रवाई के लिए चिकनी बिंदुओं का उप-स्थान बिंदुओं का समूह है $x\in X$ ऐसा है कि नक्शा $x\mapsto g\cdot x$ चिकना नक्शा है। लाई समूह क्रियाओं का एक सुविकसित सिद्धांत है, अर्थात ऐसी क्रियाएं जो पूरे स्थान पर सहज होती हैं।

रैखिक क्रियाएं

यदि $g$ एक कम्यूटेटिव रिंग पर एक मॉड्यूल (गणित) पर रैखिक परिवर्तनों द्वारा कार्य करता है, यदि कोई उचित गैर-शून्य नहीं है तो कार्रवाई को इरेड्यूसबल कहा जाता है $g$ -अपरिवर्तनीय सबमॉड्यूल। इसे अर्ध-सरल कहा जाता है यदि यह अपरिवर्तनीय क्रियाओं के प्रत्यक्ष योग के रूप में विघटित हो जाता है।

ऑर्बिट और स्टेबलाइजर्स

File:Compound of five tetrahedra.png

पांच टेट्राहेड्रा के परिसर में, समरूपता समूह (घूर्णी) इकोसाहेड्रल समूह I है, जिसका क्रम 60 है, जबकि एकल चुने हुए टेट्राहेड्रोन का स्टेबलाइजर क्रम 12 का (घूर्णी) टेट्राहेड्रल समूह T है, और कक्षा स्थान I/T ( क्रम 60/12 = 5) को स्वाभाविक रूप से 5 टेट्राहेड्रा के साथ पहचाना जाता है - कोसमूह जीटी टेट्राहेड्रोन से मेल खाता है जिसमें जी चुने हुए टेट्राहेड्रोन को भेजता है।

समूह G पर विचार करें जो समुच्चय X पर कार्य कर रहा हैorbitएक्स में एक तत्व एक्स एक्स में तत्वों का समूह है जिसमें जी के तत्वों द्वारा एक्स को स्थानांतरित किया जा सकता है। एक्स की कक्षा को दर्शाया जाता है $G\cdot x$ :

G\cdot x=\{g\cdot x:g\in G\}.

एक समूह के परिभाषित गुण इस बात की गारंटी देते हैं कि G की कार्रवाई के तहत X की कक्षाओं का समूह (अंक x in) X के एक समूह का एक विभाजन बनाता है। संबद्ध तुल्यता संबंध को यह कहकर परिभाषित किया जाता है

x\sim y

अगर और केवल अगर जी में जी मौजूद है

g\cdot x=y.

कक्षाएँ तब इस संबंध के अंतर्गत तुल्यता वर्ग हैं; दो तत्व x और y समतुल्य हैं यदि और केवल यदि उनकी कक्षाएँ समान हैं, अर्थात,

G\cdot x=G\cdot y.

समूह क्रिया समूह क्रिया है (गणित) # क्रियाओं के प्रकार यदि और केवल यदि इसकी ठीक एक कक्षा है, अर्थात, यदि X में x मौजूद है

G\cdot x=X.

यह मामला है अगर और केवल अगर

G\cdot x=X

के लिये all x में X (दिया गया है कि X खाली नहीं है)।

G की क्रिया के तहत X की सभी कक्षाओं के समूह को X/G (या, कम बार: G\X) के रूप में लिखा जाता है, और इसे कहा जाता हैquotientकार्रवाई का। ज्यामितीय स्थितियों में इसे कहा जा सकता हैorbit space, जबकि बीजगणितीय स्थितियों में इसे का स्थान कहा जा सकता हैcoinvariants, और लिखा $X_{G},$ इनवेरिएंट्स (फिक्स्ड पॉइंट्स) के विपरीत, एक्स को निरूपित किया^G: सहपरिवर्तक a हैं quotient जबकि अपरिवर्तनीय हैं a subset. कॉइनवेरिएंट शब्दावली और संकेतन का उपयोग विशेष रूप से ग्रुप कोहोमोलॉजी और ग्रुप होमोलॉजी में किया जाता है, जो एक ही सुपरस्क्रिप्ट/सबस्क्रिप्ट कन्वेंशन का उपयोग करते हैं।

अपरिवर्तनीय उपसमुच्चय

यदि Y, X का उपसमुच्चय है, तो $G\cdot Y$ समूह को दर्शाता है $\{g\cdot y:g\in G{\text{ and }}y\in Y\}.$ उपसमुच्चय Y को G के अंतर्गत अपरिवर्तनीय कहा जाता है यदि $G\cdot Y=Y$ (जो बराबर है $G\cdot Y\subseteq Y$ ). उस स्थिति में, G भी Y पर कार्रवाई को Y तक सीमित करके संचालित करता है। सबसमूह Y को G के तहत निश्चित कहा जाता है यदि $g\cdot y=y$ G में सभी g के लिए और Y में सभी y के लिए। प्रत्येक उपसमुच्चय जो G के अंतर्गत निश्चित है, G के अंतर्गत भी अपरिवर्तनीय है, लेकिन इसके विपरीत नहीं।

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

X का G-इनवेरिएंट तत्व है $x\in X$ ऐसा है कि $g\cdot x=x$ सभी के लिए $g\in G.$ ऐसे सभी x के समुच्चय को निरूपित किया जाता है $X_{G}$ और X का G-इनवेरिएंट कहा जाता है। जब X एक G-मॉड्यूल है|G-मॉड्यूल, X^G X में गुणांकों के साथ G का शून्य समूह कोहोलॉजी समूह है, और उच्च कोहोलॉजी समूह G-invariants के फ़ैक्टर के व्युत्पन्न फ़ैक्टर हैं।

निश्चित बिंदु और स्टेबलाइजर उपसमूह

जी में जी और एक्स में एक्स के साथ दिया गया $g\cdot x=x,$ यह कहा जाता है कि x, g का एक निश्चित बिंदु है या कि g, x को ठीक करता है। एक्स में हर एक्स के लिए, 'stabilizer subgroupG का x के संबंध में (जिसे आइसोट्रॉपी समूह या छोटा समूह भी कहा जाता है)^[11]) जी में सभी तत्वों का समूह है जो एक्स को ठीक करता है:

G_{x}=\{g\in G:g\cdot x=x\}.

यह जी का एक उपसमूह है, हालांकि आम तौर पर सामान्य नहीं है। X पर G की क्रिया समूह क्रिया है (गणित) # क्रियाओं के प्रकार यदि और केवल यदि सभी स्टेबलाइजर्स तुच्छ हैं। सममित समूह के साथ समरूपता का कर्नेल एन,

G\to \operatorname {Sym} (X),

स्टेबलाइजर्स जी के इंटरसेक्शन (समूह सिद्धांत) द्वारा दिया गया है_xX में सभी x के लिए। यदि N तुच्छ है, तो क्रिया को विश्वासयोग्य (या प्रभावी) कहा जाता है।

मान लीजिए x और y, X में दो अवयव हैं, और मान लीजिए $g$ एक समूह तत्व ऐसा हो कि $y=g\cdot x.$ फिर दो स्टेबलाइजर समूह $G_{x}$ तथा $G_{y}$ से संबंधित हैं $G_{y}=gG_{x}g^{-1}.$ प्रमाण: परिभाषा के अनुसार, $h\in G_{y}$ अगर और केवल अगर $h\cdot (g\cdot x)=g\cdot x.$ को लागू करने $g^{-1}$ इस समानता पैदावार के दोनों पक्षों के लिए $\left(g^{-1}hg\right)\cdot x=x;$ वह है, $g^{-1}hg\in G_{x}.$ एक विपरीत समावेशन लेने के समान ही होता है $h\in G_{x}$ और मान लीजिए $x=g^{-1}\cdot y.$ ऊपर कहा गया है कि एक ही कक्षा में तत्वों के स्टेबलाइजर्स एक दूसरे के लिए संयुग्मन वर्ग हैं। इस प्रकार, प्रत्येक कक्षा में, हम G के एक उपसमूह के संयुग्मी वर्ग को संबद्ध कर सकते हैं (अर्थात, उपसमूह के सभी संयुग्मों का समुच्चय)। होने देना $(H)$ H के संयुग्मी वर्ग को निरूपित करें। फिर कक्षा O का प्रकार है $(H)$ अगर स्टेबलाइजर $G_{x}$ O में कुछ/किसी x का है $(H)$ . एक अधिकतम कक्षा प्रकार को अक्सर एक प्रमुख कक्षा प्रकार कहा जाता है।

Orbit-stabilizer theorem और बर्नसाइड का लेम्मा

कक्षाएँ और स्टेबलाइजर्स निकट से संबंधित हैं। X में निश्चित x के लिए, मानचित्र पर विचार करें $f:G\to X$ के द्वारा दिया गया $g\mapsto g\cdot x.$ परिभाषा के अनुसार छवि $f(G)$ इस नक्शे की कक्षा है $G\cdot x.$ दो तत्वों की एक ही छवि होने की स्थिति है

f(g)=f(h)\iff g\cdot x=h\cdot x\iff g^{-1}h\cdot x=x\iff g^{-1}h\in G_{x}\iff h\in gG_{x}.

दूसरे शब्दों में,

f(g)=f(h)

अगर और केवल अगर

g

तथा

h

स्टेबलाइजर उपसमूह के लिए एक ही कोसमूह में झूठ बोलना

G_{x}

. इस प्रकार, फाइबर (गणित)

f^{-1}(\{y\})

G·x में किसी भी y के ऊपर का f इस तरह के कोसमूह में समाहित है, और ऐसा हर कोसमूह फाइबर के रूप में भी होता है। इसलिए f प्रेरित करता है bijection समूह के बीच

G/G_{x}

स्टेबलाइज़र उपसमूह और कक्षा के लिए कोसमूह्स की

G\cdot x,

जो भेजता है

gG_{x}\mapsto g\cdot x

.^[12] इस परिणाम को कक्षा-स्थिरीकरण प्रमेय के रूप में जाना जाता है।

यदि G परिमित है तो कक्षा-स्थिरीकरण प्रमेय, साथ में लैग्रेंज की प्रमेय (समूह सिद्धांत) | लैग्रेंज का प्रमेय, देता है

|G\cdot x|=[G\,:\,G_{x}]=|G|/|G_{x}|,

दूसरे शब्दों में x की कक्षा की लंबाई उसके स्टेबलाइजर के क्रम से समूह का क्रम है। विशेष रूप से इसका तात्पर्य है कि कक्षा की लंबाई समूह क्रम का विभाजक है।

'उदाहरण:' मान लीजिए G एक अभाज्य कोटि p का एक समूह है जो k तत्वों वाले समुच्चय X पर कार्य करता है। चूँकि प्रत्येक कक्षा में या तो 1 या p तत्व होते हैं, इसलिए कम से कम

k{\bmod {p}}

लंबाई 1 की कक्षाएँ जो G-अपरिवर्तनीय तत्व हैं।

यह परिणाम विशेष रूप से उपयोगी है क्योंकि इसे तर्कों की गणना के लिए नियोजित किया जा सकता है (आमतौर पर उन स्थितियों में जहां एक्स भी सीमित है)।

क्यूबिकल ग्राफ़ जिसमें कोने लेबल किए गए हैं

: उदाहरण: हम एक ग्राफ (असतत गणित) के ऑटोमोर्फिज्म की गणना करने के लिए कक्षा-स्थिरीकरण प्रमेय का उपयोग कर सकते हैं। चित्र के रूप में क्यूबिकल ग्राफ पर विचार करें, और जी को इसके ग्राफ ऑटोमोर्फिज्म समूह को निरूपित करने दें। फिर G शीर्षों के समुच्चय {1, 2, ..., 8} पर कार्य करता है, और यह क्रिया सकर्मक है, जैसा कि घन के केंद्र के चारों ओर घुमावों की रचना करके देखा जा सकता है। इस प्रकार, कक्षा-स्थिरीकरण प्रमेय द्वारा, $|G|=|G\cdot 1||G_{1}|=8|G_{1}|.$ प्रमेय को अब स्टेबलाइज़र पर लागू करना $G_{1},$ हम प्राप्त कर सकते हैं $|G_{1}|=|(G_{1})\cdot 2||(G_{1})_{2}|.$ G का कोई भी तत्व जो 1 को ठीक करता है, उसे 2 या तो 2, 4, या 5 भेजना होगा। ऐसे ऑटोमोर्फिज्म के उदाहरण के रूप में 1 और 7 के माध्यम से विकर्ण अक्ष के चारों ओर घूर्णन पर विचार करें। $2\pi /3$ जो 2,4,5 और 3,6,8 को क्रमागत करता है, और 1 और 7 को ठीक करता है। इस प्रकार, $\left|(G_{1})\cdot 2\right|=3.$ प्रमेय को तीसरी बार लागू करने पर प्राप्त होता है $|\left(G_{1}\right)_{2}|=|\left(\left(G_{1}\right)_{2}\right)\cdot 3||\left(\left(G_{1}\right)_{2}\right)_{3}|.$ G का कोई भी तत्व जो 1 और 2 को ठीक करता है, उसे 3 या तो 3 या 6 को भेजना चाहिए। घन को 1,2,7 और 8 के माध्यम से विमान पर प्रतिबिंबित करना एक ऐसा ऑटोमोर्फिज्म है जो 3 से 6 भेज रहा है, इस प्रकार $\left|\left(\left(G_{1}\right)_{2}\right)\cdot 3\right|=2$ . एक यह भी देखता है $\left(\left(G_{1}\right)_{2}\right)_{3}$ केवल पहचान ऑटोमोर्फिज्म के होते हैं, क्योंकि जी फिक्सिंग 1, 2 और 3 के किसी भी तत्व को अन्य सभी शिखरों को भी ठीक करना चाहिए, क्योंकि वे 1, 2 और 3 के निकट के द्वारा निर्धारित किए जाते हैं। पूर्ववर्ती गणनाओं को मिलाकर, अब हम प्राप्त कर सकते हैं $|G|=8\cdot 3\cdot 2\cdot 1=48.$

कक्षा-स्थिरीकरण प्रमेय से निकटता से संबंधित परिणाम बर्नसाइड की लेम्मा है:

|X/G|={\frac {1}{|G|}}\sum _{g\in G}|X^{g}|,

जहां एक्स^जी जी द्वारा निर्धारित बिंदुओं का समूह है। यह परिणाम मुख्य रूप से तब उपयोग किया जाता है जब जी और एक्स परिमित होते हैं, जब इसे निम्नानुसार व्याख्या किया जा सकता है: कक्षाओं की संख्या प्रति समूह तत्व तय किए गए बिंदुओं की औसत संख्या के बराबर होती है।

एक समूह जी को ठीक करना, परिमित जी-समूह के औपचारिक मतभेदों का समूह जी की बर्नसाइड रिंग नामक एक अंगूठी बनाता है, जहां जोड़ अलग संघ से मेल खाता है, और कार्टेशियन उत्पाद के गुणन से मेल खाता है।

उदाहरण

Thetrivialकिसी समुच्चय X पर किसी समूह G की क्रिया द्वारा परिभाषित किया जाता है g⋅x = x G में सभी g और X में सभी x के लिए; अर्थात्, प्रत्येक समूह तत्व X पर पहचान फलन को प्रेरित करता है।^[13]
प्रत्येक समूह G में, बायाँ गुणन G पर G की एक क्रिया है: g⋅x = gx सभी जी के लिए, जी में एक्स। यह क्रिया मुक्त और संक्रमणीय (नियमित) है, और केली के प्रमेय के तेजी से प्रमाण का आधार बनाती है - कि प्रत्येक समूह समूह जी के क्रमपरिवर्तन के सममित समूह के उपसमूह के लिए आइसोमोर्फिक है।
उपसमूह एच के साथ प्रत्येक समूह जी में, बाएं गुणन कोसमूह जी/एच के समूह पर जी की एक क्रिया है: g⋅aH = gaH G में सभी g,a के लिए। विशेष रूप से यदि H में G का कोई गैर-तुच्छ सामान्य उपसमूह नहीं है, तो यह G से डिग्री [G : H] के क्रमपरिवर्तन समूह के एक उपसमूह में एक समरूपता को प्रेरित करता है।
प्रत्येक समूह G में, आंतरिक ऑटोमोर्फिज़्म G पर G की एक क्रिया है: g⋅x = gxg⁻¹. एक घातीय संकेतन आमतौर पर राइट-एक्शन वेरिएंट के लिए उपयोग किया जाता है: x^g = g⁻¹xg; यह संतुष्ट करता है (x^g)^h = x^gh.
उपसमूह एच के साथ प्रत्येक समूह जी में, संयुग्मन एच के संयुग्मों पर जी की एक क्रिया है: g⋅K = gKg⁻¹ G में सभी g और H के K संयुग्मों के लिए।
सममित समूह S_n और इसके उपसमूह समूह पर कार्य करते हैं { 1, …, n } इसके तत्वों की अनुमति देकर
किसी बहुफलक का सममिति समूह उस बहुफलक के शीर्षों के समुच्चय पर कार्य करता है। यह फलकों के समुच्चय या बहुफलक के किनारों के समुच्चय पर भी कार्य करता है।
किसी भी ज्यामितीय वस्तु का सममिति समूह उस वस्तु के बिन्दुओं के समुच्चय पर कार्य करता है।
सदिश स्थान (या ग्राफ़ सिद्धांत, या समूह, या वलय...) का ऑटोमोर्फिज़्म समूह सदिश स्थान (या ग्राफ़, या समूह, या वलय के शीर्षों का समूह...) पर कार्य करता है।
सामान्य रैखिक समूह GL(n, K) और इसके उपसमूह, विशेष रूप से इसके लाई उपसमूह (विशेष रैखिक समूह सहित SL(n, K), ओर्थोगोनल समूह O(n, K), विशेष ऑर्थोगोनल समूह SO(n, K), और सहानुभूति समूह Sp(n, K)) वे समूह हैं जो सदिश स्थान K पर कार्य करते हैं^एन. समूह संचालन K से वैक्टर वाले समूहों से मैट्रिसेस को गुणा करके दिया जाता है^एन.
सामान्य रैखिक समूह GL(n, Z) Z . में काम करती हैⁿ प्राकृतिक मैट्रिक्स क्रिया द्वारा। इसकी क्रिया की कक्षाओं को 'Z' में वेक्टर के निर्देशांक के सबसे बड़े सामान्य विभाजक द्वारा वर्गीकृत किया गया है।^एन.
affine समूह एक affine स्थान के बिंदुओं पर # प्रकार की क्रियाओं को कार्य करता है, और affine समूह के उपसमूह V (अर्थात, एक सदिश स्थान) में इन बिंदुओं पर सकर्मक और मुक्त (अर्थात, नियमित) क्रिया होती है;^[14] वास्तव में इसका उपयोग Affine space#Definition की परिभाषा देने के लिए किया जा सकता है।
प्रक्षेपी रैखिक समूह PGL(n + 1, K) और इसके उपसमूह, विशेष रूप से इसके लाई उपसमूह, जो लाई समूह हैं जो प्रोजेक्टिव स्पेस पी पर कार्य करते हैं^एन(के)। यह प्रक्षेपी स्थान पर सामान्य रेखीय समूह की कार्रवाई का भागफल है। विशेष उल्लेखनीय है PGL(2, K), प्रक्षेप्य रेखा की समरूपता, जो तीव्र रूप से 3-संक्रमणीय है, क्रॉस अनुपात को संरक्षित करती है; मोबियस समूह PGL(2, C) विशेष रुचि है।
विमान की आइसोमेट्री 2डी छवियों और पैटर्न के समूह पर कार्य करती है, जैसे कि वॉलपेपर समूह। छवि या पैटर्न से क्या मतलब है, यह निर्दिष्ट करके परिभाषा को और अधिक सटीक बनाया जा सकता है, उदाहरण के लिए, रंगों के एक समूह में मूल्यों के साथ स्थिति का एक कार्य। आइसोमेट्री वास्तव में एफाइन ग्रुप (कार्रवाई) का एक उदाहरण है।^{[dubious – discuss]}
समूह जी द्वारा कार्य किए गए समूह में जी-समूह की श्रेणी (गणित) शामिल है जिसमें वस्तुएं जी-समूह हैं और मॉर्फिज्म जी-समूह होमोमोर्फिज्म हैं: फ़ंक्शन f : X → Y ऐसा है कि g⋅(f(x)) = f(g⋅x) जी में प्रत्येक जी के लिए
क्षेत्र विस्तार एल/के का गैलोइस समूह एल क्षेत्र पर कार्य करता है लेकिन उपक्षेत्र के के तत्वों पर केवल एक छोटी सी कार्रवाई होती है। गैल (एल/के) के उपसमूह एल के उपक्षेत्रों के अनुरूप होते हैं जिनमें के, यानी मध्यवर्ती होता है। L और K के बीच क्षेत्र विस्तार।
वास्तविक संख्याओं का योगात्मक समूह (R, +) समय अनुवाद द्वारा शास्त्रीय यांत्रिकी (और अधिक सामान्य गतिशील प्रणालियों में) में अच्छी तरह से व्यवहार किए गए सिस्टम के चरण स्थान पर कार्य करता है: यदि t 'R' में है और x चरण स्थान में है, तो x सिस्टम की स्थिति का वर्णन करता है, और t + x यदि t धनात्मक है या −t सेकण्ड पहले यदि t ऋणात्मक है तो इसे t सेकंड बाद प्रणाली की स्थिति के रूप में परिभाषित किया जाता है।
वास्तविक संख्याओं का योज्य समूह (R, +) वास्तविक चर के वास्तविक कार्यों के समूह पर विभिन्न तरीकों से कार्य करता है, उदाहरण के लिए (t⋅f)(x) के बराबर, f(x + t), f(x) + t, f(xe^t), f(x)e^t, f(x + t)e^t, या f(xe^t) + t, लेकिन नहीं f(xe^t + t).
X पर G की समूह क्रिया को देखते हुए, हम X के घात समूह पर G की प्रेरित क्रिया को परिभाषित कर सकते हैं। g⋅U = {g⋅u : u ∈ U} X के प्रत्येक उपसमुच्चय U और G में प्रत्येक g के लिए। यह उपयोगी है, उदाहरण के लिए, 24-समूह पर बड़े मैथ्यू समूह की क्रिया का अध्ययन करने और परिमित ज्यामिति के कुछ मॉडलों में समरूपता का अध्ययन करने में।
चतुष्कोण 1 (छंद) के मानक के साथ चतुष्कोण, गुणक समूह के रूप में, 'आर' पर कार्य करते हैं³: ऐसे किसी भी quaternion के लिए z = cos α/2 + v sin α/2, मैपिंग f(x) = zxz^∗ यूनिट वेक्टर 'v' द्वारा दिए गए अक्ष के बारे में कोण α के माध्यम से वामावर्त रोटेशन है; z एक ही घुमाव है; चतुष्कोण और स्थानिक घुमाव देखें। ध्यान दें कि यह एक विश्वसनीय कार्रवाई नहीं है क्योंकि चतुष्कोण -1 सभी बिंदुओं को वहीं छोड़ देता है जहां वे थे, जैसा कि चतुष्कोण 1 करता है।
बाएं जी-समूह दिए गए हैं $X,Y$ , एक बायां जी-समूह है $Y^{X}$ जिनके तत्व G-equivariant मानचित्र हैं $\alpha :X\times G\to Y$ , और बाएं जी-एक्शन द्वारा दिया गया $g\cdot \alpha =\alpha \circ (id_{X}\times -g)$ (कहाँ पे $-g$ द्वारा सही गुणा को इंगित करता है $g$ ). इस जी-समूह में यह गुण है कि इसके निश्चित बिंदु समतुल्य मानचित्रों के अनुरूप हैं $X\to Y$ ; अधिक सामान्यतः, यह जी-समूह की श्रेणी में एक घातीय वस्तु है।

ग्रुप एक्शन और ग्रुपॉयड्स

ग्रुप एक्शन की धारणा को एक्शन ग्रुपॉइड द्वारा एनकोड किया जा सकता है $G'=G\ltimes X$ समूह क्रिया से संबंधित। एक्शन के स्टेबलाइजर्स ग्रुपॉयड के शीर्ष समूह हैं और एक्शन की कक्षाएँ इसके घटक हैं।

जी-समूह के बीच आकारिकी और समरूपता

यदि X और Y दो G-समुच्चय हैं, तो X से Y तक एक रूपवाद एक फलन है f : X → Y ऐसा है कि f(g⋅x) = g⋅f(x) जी में सभी जी और एक्स में सभी एक्स के लिए। जी-समूह के आकारिकी को समकक्ष मानचित्र या जी-मानचित्र भी कहा जाता है।

दो morphisms की संरचना फिर से एक morphism है। यदि एक आकृतिवाद f आच्छादक है, तो इसका व्युत्क्रम भी एक आकारिकी है। इस मामले में f को एक समरूपता कहा जाता है, और दो G-समूह X और Y को समरूपी कहा जाता है; सभी व्यावहारिक उद्देश्यों के लिए, आइसोमॉर्फिक जी-समूह अप्रभेद्य हैं।

कुछ उदाहरण समरूपता:

प्रत्येक नियमित G क्रिया बाएं गुणन द्वारा दिए गए G पर G की क्रिया के लिए आइसोमोर्फिक है।
प्रत्येक मुक्त G क्रिया के लिए तुल्याकारी है G × S, जहाँ S कुछ समुच्चय है और G कार्य करता है G × S पहले निर्देशांक पर बाएँ गुणन द्वारा। (S को कक्षा X/G का समुच्चय माना जा सकता है।)
प्रत्येक सकर्मक G क्रिया, G के कुछ उपसमूह H के बाएँ कोसमूह के समूह पर G द्वारा बाएँ गुणन के लिए आइसोमॉर्फिक है। (H को मूल G-समूह के किसी भी तत्व के स्टेबलाइज़र समूह के रूप में लिया जा सकता है।)

रूपवाद की इस धारणा के साथ, सभी जी-समूहों का संग्रह एक श्रेणी सिद्धांत बनाता है; यह श्रेणी एक ग्रोथेंडिक टोपोस है (वास्तव में, एक शास्त्रीय मेटालॉजिक मानते हुए, यह टोपोस बूलियन भी होगा)।

वेरिएंट और सामान्यीकरण

हम ऊपर बताए गए समान दो अभिगृहीतों का उपयोग करके समुच्चयों पर मोनोइड्स की क्रियाओं पर भी विचार कर सकते हैं। हालांकि यह विशेषण मानचित्र और तुल्यता संबंधों को परिभाषित नहीं करता है। सेमीग्रुप एक्शन देखें।

समूह पर क्रियाओं के बजाय, हम समूहों और मोनोइड्स की क्रियाओं को एक मनमाना श्रेणी की वस्तुओं पर परिभाषित कर सकते हैं: किसी श्रेणी के ऑब्जेक्ट X से शुरू करें, और फिर X पर एक क्रिया को एक मोनोइड होमोमोर्फिज्म के रूप में एक्स के एंडोमोर्फिज्म के मोनोइड में परिभाषित करें। यदि X का एक अंतर्निहित समूह है, तो ऊपर बताई गई सभी परिभाषाओं और तथ्यों को आगे बढ़ाया जा सकता है। उदाहरण के लिए, यदि हम सदिश समष्टियों की श्रेणी लेते हैं, तो हमें इस प्रकार समूह निरूपण प्राप्त होते हैं।

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

टोपोलॉजिकल स्पेस पर टोपोलॉजिकल समूहों की निरंतर समूह कार्रवाई के अलावा, कई बार झूठ समूहों की कई गुना, बीजीय विविधता पर बीजगणितीय समूहों की नियमित कार्रवाई, और योजना (गणित) पर समूह योजनाओं की समूह-योजना कार्रवाई पर भी विचार किया जाता है। ये सभी समूह वस्तुओं के उदाहरण हैं जो अपनी संबंधित श्रेणी की वस्तुओं पर कार्य करते हैं।

गैलरी

Octahedral-group-action.png

Orbit of a fundamental spherical triangle (marked in red) under action of the full octahedral group.
Icosahedral-group-action.png

Orbit of a fundamental spherical triangle (marked in red) under action of the full icosahedral group.

यह भी देखें

लाभ ग्राफ
ऑपरेटरों के साथ समूह
मापने योग्य समूह कार्रवाई
मोनॉयड क्रिया

उद्धरण

↑ Eie & Chang (2010). सार बीजगणित पर एक कोर्स. p. 144.
↑ This is done, for example, by Smith (2008). Introduction to abstract algebra. p. 253.
↑ "परिभाषा: राइट ग्रुप एक्शन एक्सिओम्स". Proof Wiki. Retrieved 19 December 2021.
↑ Thurston 1997, Definition 3.5.1(iv).
↑ Kapovich 2009, p. 73.
↑ Thurston 1980, p. 176.
↑ Hatcher 2002, P. 72.
↑ Maskit, II.A.1, II.A.2.
↑ tom Dieck 1987.
↑ Yuan, Qiaochu (27 February 2013). "विकी की "दृढ़ता से निरंतर समूह कार्रवाई" की परिभाषा गलत है?". Mathematics Stack Exchange. Retrieved 1 April 2013.
↑ Procesi, Claudio (2007). लाई ग्रुप्स: एन अप्रोच थ्रू इनवेरिएंट्स एंड रिप्रेजेंटेशन्स (in English). Springer Science & Business Media. p. 5. ISBN 9780387289298. Retrieved 23 February 2017.
↑ M. Artin, Algebra, Proposition 6.4 on p. 179
↑ Eie & Chang (2010). सार बीजगणित पर एक कोर्स. p. 145.
↑ Reid, Miles (2005). ज्यामिति और टोपोलॉजी. Cambridge, UK New York: Cambridge University Press. p. 170. ISBN 9780521613255.

संदर्भ

Aschbacher, Michael (2000). Finite Group Theory. Cambridge University Press. ISBN 978-0-521-78675-1. MR 1777008.
Dummit, David; Richard Foote (2004). Abstract Algebra (3rd ed.). Wiley. ISBN 0-471-43334-9.
Eie, Minking; Chang, Shou-Te (2010). A Course on Abstract Algebra. World Scientific. ISBN 978-981-4271-88-2.
Rotman, Joseph (1995). An Introduction to the Theory of Groups. Graduate Texts in Mathematics 148 (4th ed.). Springer-Verlag. ISBN 0-387-94285-8.
Smith, Jonathan D.H. (2008). Introduction to abstract algebra. Textbooks in mathematics. CRC Press. ISBN 978-1-4200-6371-4.

Kapovich, Michael (2009), Hyperbolic manifolds and discrete groups, Modern Birkhäuser Classics, Birkhäuser, pp. xxvii+467, ISBN 978-0-8176-4912-8, Zbl 1180.57001
Maskit, Bernard (1988), Kleinian groups, Grundlehren der Mathematischen Wissenschaften, vol. 287, Springer-Verlag, pp. XIII+326, Zbl 0627.30039
Thurston, William P. (1997), Three-dimensional geometry and topology. Vol. 1., Princeton Mathematical Series, vol. 35, Princeton University Press, pp. x+311, Zbl 0873.57001
tom Dieck, Tammo (1987), Transformation groups, de Gruyter Studies in Mathematics, vol. 8, Berlin: Walter de Gruyter & Co., p. 29, doi:10.1515/9783110858372.312, ISBN 978-3-11-009745-0, MR 0889050

इस पृष्ठ में अनुपलब्ध आंतरिक कड़ियों की सूची

बाहरी संबंध

"Action of a group on a manifold", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Weisstein, Eric W. "Group Action". MathWorld.

[1] Eie & Chang (2010). सार बीजगणित पर एक कोर्स. p. 144.

[2] This is done, for example, by Smith (2008). Introduction to abstract algebra. p. 253.

[3] "परिभाषा: राइट ग्रुप एक्शन एक्सिओम्स". Proof Wiki. Retrieved 19 December 2021.

[FOOTNOTEThurston1997Definition_3.5.1(iv)-4] Thurston 1997, Definition 3.5.1(iv).

[FOOTNOTEKapovich2009p._73-5] Kapovich 2009, p. 73.

[FOOTNOTEThurston1980176-6] Thurston 1980, p. 176.

[FOOTNOTEHatcher2002P._72-7] Hatcher 2002, P. 72.

[FOOTNOTEMaskitII.A.1,_II.A.2-8] Maskit, II.A.1, II.A.2.

[FOOTNOTEtom_Dieck1987-9] tom Dieck 1987.

[10] Yuan, Qiaochu (27 February 2013). "विकी की "दृढ़ता से निरंतर समूह कार्रवाई" की परिभाषा गलत है?". Mathematics Stack Exchange. Retrieved 1 April 2013.

[Procesi-11] Procesi, Claudio (2007). लाई ग्रुप्स: एन अप्रोच थ्रू इनवेरिएंट्स एंड रिप्रेजेंटेशन्स (in English). Springer Science & Business Media. p. 5. ISBN 9780387289298. Retrieved 23 February 2017.

[12] M. Artin, Algebra, Proposition 6.4 on p. 179

[13] Eie & Chang (2010). सार बीजगणित पर एक कोर्स. p. 145.

[14] Reid, Miles (2005). ज्यामिति और टोपोलॉजी. Cambridge, UK New York: Cambridge University Press. p. 170. ISBN 9780521613255.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

@@ Line 2: / Line 2: @@
 {{Short description|Transformations induced by a mathematical group}}
 {{Group theory sidebar}}
-[[File:Group action on equilateral triangle.svg|right|thumb|चक्रीय समूह C<sub>3</sub> तीन शीर्षों के सेट पर 0°, 120° और 240° के घूर्णन से मिलकर बनता है।]]गणित में, अंतरिक्ष पर एक समूह क्रिया (गणित) अंतरिक्ष के परिवर्तन (ज्यामिति) के समूह में दिए गए समूह (गणित) का एक समूह समरूपता है। इसी तरह, एक गणितीय संरचना पर एक समूह क्रिया संरचना के ऑटोमोर्फिज्म समूह में एक समूह का समूह समरूपता है। ऐसा कहा जाता है कि समूह अंतरिक्ष या संरचना पर 'कार्य' करता है। यदि कोई समूह किसी संरचना पर कार्य करता है, तो वह आमतौर पर उस संरचना से निर्मित वस्तुओं पर भी कार्य करेगा। उदाहरण के लिए, यूक्लिडियन आइसोमेट्री का समूह यूक्लिडियन स्पेस पर और उसमें खींची गई आकृतियों पर भी कार्य करता है। उदाहरण के लिए, यह सभी त्रिकोणों के सेट पर कार्य करता है। इसी तरह, पॉलीहेड्रॉन के समरूपता का समूह पॉलीहेड्रॉन के शीर्ष (ज्यामिति), किनारे (ज्यामिति) और फलक (ज्यामिति) पर कार्य करता है।
+[[File:Group action on equilateral triangle.svg|right|thumb|चक्रीय समूह C<sub>3</sub> तीन शीर्षों के समूह पर 0°, 120° और 240° के घूर्णन से मिलकर बनता है।]]एक अंतरिक्ष पर एक समूह क्रिया (गणित) अंतरिक्ष के गणित में, परिवर्तन (ज्यामिति) के समूह में दिए गए समूह (गणित) का एक समूह समरूपता है। इसी तरह, एक गणितीय संरचना पर एक समूह क्रिया संरचना के प्रकारस्वरूपण समूह में एक समूह का समूह समरूपता है। ऐसा कहा जाता है कि समूह अंतरिक्ष या संरचना पर 'कार्य' करता है। यदि कोई समूह किसी संरचना पर कार्य करता है, तो वह सामान्यतः उस संरचना से निर्मित वस्तुओं पर भी कार्य करेगा। उदाहरण के लिए, यूक्लिडियन आइसोमेट्री का समूह यूक्लिडियन स्पेस पर और उसमें खींची गई आकृतियों पर भी कार्य करता है। उदाहरण के लिए, यह सभी त्रिकोणों के समूह पर कार्य करता है। इसी तरह, बहुतल के समरूपता का समूह बहुतल के शीर्ष (ज्यामिति), किनारे (ज्यामिति) और फलक (ज्यामिति) पर कार्य करता है।
-सदिश स्थान पर एक समूह क्रिया को समूह का समूह प्रतिनिधित्व कहा जाता है। एक परिमित-आयामी वेक्टर अंतरिक्ष के मामले में, यह उपसमूहों के साथ कई समूहों की पहचान करने की अनुमति देता है {{math|[[General linear group|GL(''n'', ''K'')]]}}, आयाम के व्युत्क्रमणीय आव्यूहों का समूह {{mvar|n}} एक क्षेत्र पर (गणित) {{mvar|K}}.
+सदिश स्थान पर एक समूह क्रिया को समूह का प्रतिनिधित्व कहा जाता है। एक परिमित-आयामी सदिश अंतरिक्ष के मामले में, यह {{math|[[General linear group|GL(''n'', ''K'')]]}} के उपसमूहों के साथ कई समूहों की पहचान करने की अनुमति देता है , क्षेत्र K पर आयाम n के व्युत्क्रमणीय आव्यूहों का समूह।
-सममित समूह {{mvar|S{{sub|n}}}} के साथ किसी भी सेट (गणित) पर कार्य करता है {{mvar|n}} तत्वों को सेट के तत्वों की अनुमति देकर। यद्यपि एक समुच्चय के सभी क्रमपरिवर्तनों का समूह औपचारिक रूप से समुच्चय पर निर्भर करता है, समूह क्रिया की अवधारणा किसी को एक समूह पर विचार करने की अनुमति देती है ताकि सभी सेटों के क्रमपरिवर्तन का अध्ययन समान कार्डिनैलिटी के साथ किया जा सके।
+सममित समूह {{mvar|S{{sub|n}}}} सममित समूह Sn समूह के तत्वों की अनुमति देकर n तत्वों के साथ किसी भी समूह पर कार्य करता है यद्यपि एक समुच्चय के सभी क्रमपरिवर्तनों का समूह औपचारिक रूप से समुच्चय पर निर्भर करता है, समूह क्रिया की अवधारणा किसी को एक समूह पर विचार करने की अनुमति देती है ताकि सभी समूहों के क्रमपरिवर्तन का अध्ययन समान प्रमुखता के साथ किया जा सके।
 == परिभाषा ==
-=== वाम समूह कार्रवाई ===
+=== बाएं समूह कार्रवाई ===
-यदि {{mvar|G}} पहचान तत्व वाला समूह है {{mvar|e}}, तथा {{mvar|X}} एक सेट है, फिर एक (बाएं) समूह क्रिया {{mvar|&alpha;}} का {{mvar|G}} पर {{mvar|X}} एक समारोह है
+यदि {{mvar|G}} पहचान {{mvar|e}} तत्व वाला समूह है, और {{mvar|X}}  एक समूह है, तब X पर G की (बाएं) समूह क्रिया α एक फलन है
 :<math>\alpha\colon G \times X \to X,</math>
 जो निम्नलिखित दो स्वयंसिद्धों को संतुष्ट करता है:<ref>{{cite book|author=Eie & Chang |title=सार बीजगणित पर एक कोर्स|year=2010|url={{Google books|plainurl=y|id=jozIZ0qrkk8C|page=144|text=group action}}|page=144}}</ref>
 :{|
-|Identity:
+|पहचान:
 |<math>\alpha(e,x)=x</math>
 |-
-|Compatibility:
+|अनुरूपता:
 |<math>\alpha\left(g,\alpha\left(h,x\right)\right)=\alpha\left(gh,x\right)</math>
 |}
-(साथ {{math|''&alpha;''(''g'', ''x'')}} अक्सर छोटा कर दिया जाता है {{math|''gx''}} या {{math|''g'' &sdot; ''x''}} जब विचार की जा रही कार्रवाई संदर्भ से स्पष्ट हो):
+( {{math|''&alpha;''(''g'', ''x'')}} के साथ अक्सर {{math|''gx''}} या {{math|''g'' &sdot; ''x''}} तक  छोटा कर दिया जाता है जब विचार की जा रही कार्रवाई संदर्भ से स्पष्ट हो):
 :{|
-|Identity:
+|पहचान:
 |<math>e\cdot x = x</math>
 |-
-|Compatibility:
+|अनुरूपता:
 |<math>g\cdot(h\cdot x) = (gh) \cdot x</math>
 |}
-सभी के लिए {{mvar|g}} तथा {{mvar|h}} में {{mvar|G}} और सभी {{mvar|x}} में {{mvar|X}}.
+{{mvar|g}} के सभी {{mvar|G}} और {{mvar|h}} और {{mvar|x}} में  सभी  {{mvar|X}} के लिए.
-समूह {{mvar|G}} पर कार्रवाई करने के लिए कहा जाता है {{mvar|X}} (बाएं से)। एक सेट {{mvar|X}} एक साथ की कार्रवाई के साथ {{mvar|G}} कहा जाता है (बाएं) {{mvar|G}}-समूह।
+कहा जाता है की समूह {{mvar|G}},{{mvar|X}} (बाएं से) पर कार्य करता है। {{mvar|G}} की क्रिया के साथ एक समूह {{mvar|X}} को एक {{mvar|G}} (बाएं) समूह कहा जाता है।
-इन दो अभिगृहीतों से यह निष्कर्ष निकलता है कि किसी नियत के लिए {{mvar|g}} में {{mvar|G}}, समारोह से {{mvar|X}} खुद के लिए कौन सा नक्शा {{mvar|x}} प्रति {{math|''g'' &sdot; ''x''}} एक आक्षेप है, व्युत्क्रम आक्षेप के साथ के लिए संबंधित मानचित्र {{math|''g''<sup>&minus;1</sup>}}. इसलिए, कोई समान रूप से एक समूह कार्रवाई को परिभाषित कर सकता है {{mvar|G}} पर {{mvar|X}} से एक समूह समरूपता के रूप में {{mvar|G}} सममित समूह में {{math|Sym(''X'')}} सभी आपत्तियों से {{mvar|X}} खुद को।<ref>This is done, for example, by {{cite book|author=Smith |title=Introduction to abstract algebra|year=2008|url={{Google books|plainurl=y|id=PQUAQh04lrUC|page=253|text=group action}}|page=253}}</ref>
+ashifइन दो अभिगृहीतों से यह निष्कर्ष निकलता है कि किसी नियत के लिए {{mvar|g}} में {{mvar|G}}, समारोह से {{mvar|X}} खुद के लिए कौन सा नक्शा {{mvar|x}} प्रति {{math|''g'' &sdot; ''x''}} एक आक्षेप है, व्युत्क्रम आक्षेप के साथ के लिए संबंधित मानचित्र {{math|''g''<sup>&minus;1</sup>}}. इसलिए, कोई समान रूप से एक समूह कार्रवाई को परिभाषित कर सकता है {{mvar|G}} पर {{mvar|X}} से एक समूह समरूपता के रूप में {{mvar|G}} सममित समूह में {{math|Sym(''X'')}} सभी आपत्तियों से {{mvar|X}} खुद को।<ref>This is done, for example, by {{cite book|author=Smith |title=Introduction to abstract algebra|year=2008|url={{Google books|plainurl=y|id=PQUAQh04lrUC|page=253|text=group action}}|page=253}}</ref>
@@ Line 66: / Line 66: @@
 == क्रियाओं के उल्लेखनीय गुण ==
-होने देना <math>G</math> एक सेट पर अभिनय करने वाला समूह बनें <math>X</math>. क्रिया कहलाती है{{visible anchor|faithful}}या{{visible anchor|effective}}यदि <math>g \cdot x = x</math> सभी के लिए <math>x \in X</math> इसका आशय है <math>g = e_G</math>. समान रूप से, रूपवाद से <math>G</math> के आपत्तियों के समूह के लिए <math>X</math> कार्रवाई के अनुरूप इंजेक्शन है।
+होने देना <math>G</math> एक समूह पर अभिनय करने वाला समूह बनें <math>X</math>. क्रिया कहलाती है{{visible anchor|faithful}}या{{visible anchor|effective}}यदि <math>g \cdot x = x</math> सभी के लिए <math>x \in X</math> इसका आशय है <math>g = e_G</math>. समान रूप से, रूपवाद से <math>G</math> के आपत्तियों के समूह के लिए <math>X</math> कार्रवाई के अनुरूप इंजेक्शन है।
 क्रिया कहलाती है{{visible anchor|free}}(या अर्ध-नियमित या निश्चित-बिंदु मुक्त) यदि कथन है कि <math>g \cdot x = x</math> कुछ के लिए <math>x \in X</math> पहले से ही इसका तात्पर्य है <math>g = e_G</math>. दूसरे शब्दों में, का कोई गैर-तुच्छ तत्व नहीं <math>G</math> का एक बिंदु तय करता है <math>X</math>. यह वफादारी से कहीं अधिक मजबूत संपत्ति है।
-उदाहरण के लिए, बाएं गुणन द्वारा किसी भी समूह की कार्रवाई स्वयं पर मुक्त है। यह अवलोकन केली के प्रमेय का तात्पर्य है कि किसी भी समूह को एक सममित समूह में एम्बेड किया जा सकता है (जो कि समूह होने पर अनंत है)। एक परिमित समूह अपनी प्रमुखता की तुलना में बहुत छोटे आकार के सेट पर ईमानदारी से कार्य कर सकता है (हालांकि ऐसी कार्रवाई मुक्त नहीं हो सकती)। उदाहरण के लिए एबेलियन 2-ग्रुप <math>(\mathbb Z/2\mathbb Z)^n</math> (कार्डिनैलिटी का <math>2^n</math>) आकार के एक सेट पर ईमानदारी से कार्य करता है <math>2n</math>. यह हमेशा मामला नहीं होता है, उदाहरण के लिए चक्रीय समूह <math>\mathbb Z/2^n\mathbb Z</math> से कम आकार के सेट पर ईमानदारी से कार्य नहीं कर सकता <math>2^n</math>.
+उदाहरण के लिए, बाएं गुणन द्वारा किसी भी समूह की कार्रवाई स्वयं पर मुक्त है। यह अवलोकन केली के प्रमेय का तात्पर्य है कि किसी भी समूह को एक सममित समूह में एम्बेड किया जा सकता है (जो कि समूह होने पर अनंत है)। एक परिमित समूह अपनी प्रमुखता की तुलना में बहुत छोटे आकार के समूह पर ईमानदारी से कार्य कर सकता है (हालांकि ऐसी कार्रवाई मुक्त नहीं हो सकती)। उदाहरण के लिए एबेलियन 2-ग्रुप <math>(\mathbb Z/2\mathbb Z)^n</math> (कार्डिनैलिटी का <math>2^n</math>) आकार के एक समूह पर ईमानदारी से कार्य करता है <math>2n</math>. यह हमेशा मामला नहीं होता है, उदाहरण के लिए चक्रीय समूह <math>\mathbb Z/2^n\mathbb Z</math> से कम आकार के समूह पर ईमानदारी से कार्य नहीं कर सकता <math>2^n</math>.
-सामान्य तौर पर सबसे छोटा सेट जिस पर एक वफादार कार्रवाई को परिभाषित किया जा सकता है, उसी आकार के समूहों के लिए बहुत भिन्न हो सकता है। उदाहरण के लिए, आकार 120 के तीन समूह सममित समूह हैं <math>S_5</math>, आइकोसाहेड्रल समूह <math>A_5 \times \mathbb Z/2\mathbb Z</math> और चक्रीय समूह <math>\mathbb Z / 120\mathbb Z</math>. सबसे छोटे समूह जिन पर इन समूहों के लिए विश्वासयोग्य कार्यों को परिभाषित किया जा सकता है, वे क्रमशः आकार 5, 12 और 16 के हैं।
+सामान्य तौर पर सबसे छोटा समूह जिस पर एक वफादार कार्रवाई को परिभाषित किया जा सकता है, उसी आकार के समूहों के लिए बहुत भिन्न हो सकता है। उदाहरण के लिए, आकार 120 के तीन समूह सममित समूह हैं <math>S_5</math>, आइकोसाहेड्रल समूह <math>A_5 \times \mathbb Z/2\mathbb Z</math> और चक्रीय समूह <math>\mathbb Z / 120\mathbb Z</math>. सबसे छोटे समूह जिन पर इन समूहों के लिए विश्वासयोग्य कार्यों को परिभाषित किया जा सकता है, वे क्रमशः आकार 5, 12 और 16 के हैं।
 === ट्रांजिटिविटी गुण ===
@@ Line 96: / Line 96: @@
 कार्रवाई भटक रही है अगर हर <math>x \in X</math> एक पड़ोस है <math>U</math> जैसे कि केवल बहुत से हैं <math>g \in G</math> साथ <math>g\cdot U \cap U \not= \emptyset</math>.{{sfn|Thurston|1997|loc=Definition 3.5.1(iv)}}
-अधिक आम तौर पर, एक बिंदु <math>x \in X</math> की कार्रवाई के लिए असंततता का बिंदु कहा जाता है <math>G</math> यदि कोई खुला उपसमुच्चय है <math>U \ni x</math> जैसे कि केवल बहुत से हैं <math>g \in G</math> साथ <math>g\cdot U \cap U \not= \emptyset</math>. क्रिया के असातत्य का क्षेत्र असातत्य के सभी बिंदुओं का समुच्चय है। समान रूप से यह सबसे बड़ा है <math>G</math>-स्थिर खुला सबसेट <math>\Omega \subset X</math> ऐसी कि कार्रवाई <math>G</math> पर <math>\Omega</math> भटक रहा है।{{sfn|Kapovich|2009|loc=p. 73}} गतिशील संदर्भ में इसे वांडरिंग सेट भी कहा जाता है।
+अधिक आम तौर पर, एक बिंदु <math>x \in X</math> की कार्रवाई के लिए असंततता का बिंदु कहा जाता है <math>G</math> यदि कोई खुला उपसमुच्चय है <math>U \ni x</math> जैसे कि केवल बहुत से हैं <math>g \in G</math> साथ <math>g\cdot U \cap U \not= \emptyset</math>. क्रिया के असातत्य का क्षेत्र असातत्य के सभी बिंदुओं का समुच्चय है। समान रूप से यह सबसे बड़ा है <math>G</math>-स्थिर खुला सबसमूह <math>\Omega \subset X</math> ऐसी कि कार्रवाई <math>G</math> पर <math>\Omega</math> भटक रहा है।{{sfn|Kapovich|2009|loc=p. 73}} गतिशील संदर्भ में इसे वांडरिंग समूह भी कहा जाता है।
-यदि प्रत्येक कॉम्पैक्ट सबसेट के लिए क्रिया ठीक से बंद हो जाती है <math>K \subset X</math> निश्चित रूप से बहुत सारे हैं <math>g \in G</math> ऐसा है कि <math>g \cdot K \cap K \not= \emptyset</math>. यह भटकने से सख्त मजबूत है; उदाहरण के लिए की कार्रवाई <math>\mathbb Z</math> पर <math>\mathbb{R}^2 \setminus \{(0,0)\}</math> के द्वारा दिया गया <math>n\cdot (x, y) = (2^n x, 2^{-n} y)</math> भटक रहा है और मुक्त है लेकिन ठीक से बंद नहीं है।{{sfn|Thurston|1980|p=176}}
+यदि प्रत्येक कॉम्पैक्ट सबसमूह के लिए क्रिया ठीक से बंद हो जाती है <math>K \subset X</math> निश्चित रूप से बहुत सारे हैं <math>g \in G</math> ऐसा है कि <math>g \cdot K \cap K \not= \emptyset</math>. यह भटकने से सख्त मजबूत है; उदाहरण के लिए की कार्रवाई <math>\mathbb Z</math> पर <math>\mathbb{R}^2 \setminus \{(0,0)\}</math> के द्वारा दिया गया <math>n\cdot (x, y) = (2^n x, 2^{-n} y)</math> भटक रहा है और मुक्त है लेकिन ठीक से बंद नहीं है।{{sfn|Thurston|1980|p=176}}
-एक कवरिंग स्पेस पर स्थानीय रूप से बस जुड़े स्थान के मौलिक समूह के डेक ट्रांसफॉर्मेशन द्वारा कार्रवाई भटक रही है और मुक्त है। इस तरह की कार्रवाइयों को निम्नलिखित संपत्ति की विशेषता हो सकती है: प्रत्येक <math>x \in X</math> एक पड़ोस है <math>U</math> ऐसा है कि <math>g \cdot U \cap U = \emptyset</math> हरएक के लिए <math>g \in G \setminus \{e_G\}</math>.{{sfn|Hatcher|2002|loc=P. 72}} इस संपत्ति के साथ क्रियाओं को कभी-कभी स्वतंत्र रूप से असंतत कहा जाता है, और सबसे बड़ा उपसमुच्चय जिस पर कार्रवाई स्वतंत्र रूप से बंद होती है, उसे मुक्त नियमित सेट कहा जाता है।{{sfn|Maskit||loc=II.A.1, II.A.2}} एक समूह की एक क्रिया <math>G</math> स्थानीय रूप से कॉम्पैक्ट स्थान पर <math>X</math> कॉम्पैक्ट उपसमुच्चय मौजूद होने पर सहकॉम्पैक्ट कहा जाता है <math>A \subset X</math> ऐसा है कि <math>X = G \cdot A</math>. एक ठीक से बंद कार्रवाई के लिए, सहसंबद्धता भागफल स्थान की कॉम्पैक्टनेस के बराबर है <math>G \backslash X</math>.
+एक कवरिंग स्पेस पर स्थानीय रूप से बस जुड़े स्थान के मौलिक समूह के डेक ट्रांसफॉर्मेशन द्वारा कार्रवाई भटक रही है और मुक्त है। इस तरह की कार्रवाइयों को निम्नलिखित संपत्ति की विशेषता हो सकती है: प्रत्येक <math>x \in X</math> एक पड़ोस है <math>U</math> ऐसा है कि <math>g \cdot U \cap U = \emptyset</math> हरएक के लिए <math>g \in G \setminus \{e_G\}</math>.{{sfn|Hatcher|2002|loc=P. 72}} इस संपत्ति के साथ क्रियाओं को कभी-कभी स्वतंत्र रूप से असंतत कहा जाता है, और सबसे बड़ा उपसमुच्चय जिस पर कार्रवाई स्वतंत्र रूप से बंद होती है, उसे मुक्त नियमित समूह कहा जाता है।{{sfn|Maskit||loc=II.A.1, II.A.2}} एक समूह की एक क्रिया <math>G</math> स्थानीय रूप से कॉम्पैक्ट स्थान पर <math>X</math> कॉम्पैक्ट उपसमुच्चय मौजूद होने पर सहकॉम्पैक्ट कहा जाता है <math>A \subset X</math> ऐसा है कि <math>X = G \cdot A</math>. एक ठीक से बंद कार्रवाई के लिए, सहसंबद्धता भागफल स्थान की कॉम्पैक्टनेस के बराबर है <math>G \backslash X</math>.
 === स्थलाकृतिक समूहों की क्रियाएं ===
@@ Line 105: / Line 105: @@
 अब मान लीजिए <math>G</math> एक सामयिक समूह है और <math>X</math> एक टोपोलॉजिकल स्पेस जिस पर यह होमोमोर्फिज्म द्वारा कार्य करता है। कार्रवाई को निरंतर कहा जाता है यदि नक्शा <math>G \times X \to X</math> उत्पाद टोपोलॉजी के लिए निरंतर है।
-कार्रवाई कहा जाता है{{visible anchor|proper}}अगर नक्शा <math>G \times X \to X \times X</math> द्वारा परिभाषित <math>(g, x) \mapsto (x, g\cdot x)</math> उचित मानचित्र है।{{sfn|tom Dieck|1987|loc=}} इसका मतलब है कि दिए गए कॉम्पैक्ट सेट <math>K, K'</math> के समुच्चय <math>g \in G</math> ऐसा है कि <math>g \cdot K \cap K' \not= \emptyset</math> कॉम्पैक्ट है। विशेष रूप से, यह उचित विच्छेदन के बराबर है जब <math>G</math> एक असतत समूह है।
+कार्रवाई कहा जाता है{{visible anchor|proper}}अगर नक्शा <math>G \times X \to X \times X</math> द्वारा परिभाषित <math>(g, x) \mapsto (x, g\cdot x)</math> उचित मानचित्र है।{{sfn|tom Dieck|1987|loc=}} इसका मतलब है कि दिए गए कॉम्पैक्ट समूह <math>K, K'</math> के समुच्चय <math>g \in G</math> ऐसा है कि <math>g \cdot K \cap K' \not= \emptyset</math> कॉम्पैक्ट है। विशेष रूप से, यह उचित विच्छेदन के बराबर है जब <math>G</math> एक असतत समूह है।
 यदि पड़ोस मौजूद है तो इसे स्थानीय रूप से मुक्त कहा जाता है <math>U</math> का <math>e_G</math> ऐसा है कि <math>g \cdot x \not= x</math> सभी के लिए <math>x \in X</math> तथा <math>g \in U \setminus \{e_G\}</math>.
 यदि कक्षीय मानचित्र हो तो क्रिया को दृढ़ता से निरंतर कहा जाता है <math>g \mapsto g \cdot x</math> हर के लिए निरंतर है <math> x \in X</math>. नाम से पता चलता है कि इसके विपरीत, यह कार्रवाई की निरंतरता की तुलना में कमजोर संपत्ति है।<ref>{{cite web  | last=Yuan | first=Qiaochu | title=विकी की "दृढ़ता से निरंतर समूह कार्रवाई" की परिभाषा गलत है?| publisher=Mathematics Stack Exchange | date=27 February 2013 | url=https://math.stackexchange.com/q/316042 | access-date=1 April 2013}}</ref>
-यदि <math>G</math> एक झूठ समूह है और <math>X</math> एक अलग-अलग कई गुना, फिर कार्रवाई के लिए चिकनी बिंदुओं का उप-स्थान बिंदुओं का सेट है <math>x \in X</math> ऐसा है कि नक्शा <math>x \mapsto g \cdot x</math> चिकना नक्शा है। लाई समूह क्रियाओं का एक सुविकसित सिद्धांत है, अर्थात ऐसी क्रियाएं जो पूरे स्थान पर सहज होती हैं।
+यदि <math>G</math> एक झूठ समूह है और <math>X</math> एक अलग-अलग कई गुना, फिर कार्रवाई के लिए चिकनी बिंदुओं का उप-स्थान बिंदुओं का समूह है <math>x \in X</math> ऐसा है कि नक्शा <math>x \mapsto g \cdot x</math> चिकना नक्शा है। लाई समूह क्रियाओं का एक सुविकसित सिद्धांत है, अर्थात ऐसी क्रियाएं जो पूरे स्थान पर सहज होती हैं।
 === रैखिक क्रियाएं ===
@@ Line 117: / Line 117: @@
 ==<span id= orbstab></span><span id= quotient></span> ऑर्बिट और स्टेबलाइजर्स ==<!-- This section is linked from [[Symmetry]] -->
-[[File:Compound of five tetrahedra.png|thumb|पांच टेट्राहेड्रा के परिसर में, समरूपता समूह (घूर्णी) इकोसाहेड्रल समूह I है, जिसका क्रम 60 है, जबकि एकल चुने हुए टेट्राहेड्रोन का स्टेबलाइजर क्रम 12 का (घूर्णी) टेट्राहेड्रल समूह T है, और कक्षा स्थान I/T ( क्रम 60/12 = 5) को स्वाभाविक रूप से 5 टेट्राहेड्रा के साथ पहचाना जाता है - कोसेट जीटी टेट्राहेड्रोन से मेल खाता है जिसमें जी चुने हुए टेट्राहेड्रोन को भेजता है।]]समूह G पर विचार करें जो समुच्चय X पर कार्य कर रहा है{{visible anchor|orbit}}एक्स में एक तत्व एक्स एक्स में तत्वों का समूह है जिसमें जी के तत्वों द्वारा एक्स को स्थानांतरित किया जा सकता है। एक्स की कक्षा को दर्शाया जाता है <math>G \cdot x</math>:
+[[File:Compound of five tetrahedra.png|thumb|पांच टेट्राहेड्रा के परिसर में, समरूपता समूह (घूर्णी) इकोसाहेड्रल समूह I है, जिसका क्रम 60 है, जबकि एकल चुने हुए टेट्राहेड्रोन का स्टेबलाइजर क्रम 12 का (घूर्णी) टेट्राहेड्रल समूह T है, और कक्षा स्थान I/T ( क्रम 60/12 = 5) को स्वाभाविक रूप से 5 टेट्राहेड्रा के साथ पहचाना जाता है - कोसमूह जीटी टेट्राहेड्रोन से मेल खाता है जिसमें जी चुने हुए टेट्राहेड्रोन को भेजता है।]]समूह G पर विचार करें जो समुच्चय X पर कार्य कर रहा है{{visible anchor|orbit}}एक्स में एक तत्व एक्स एक्स में तत्वों का समूह है जिसमें जी के तत्वों द्वारा एक्स को स्थानांतरित किया जा सकता है। एक्स की कक्षा को दर्शाया जाता है <math>G \cdot x</math>:
 <math display=block>G \cdot x = \{ g \cdot x : g \in G \}.</math>
-एक समूह के परिभाषित गुण इस बात की गारंटी देते हैं कि G की कार्रवाई के तहत X की कक्षाओं का सेट (अंक x in) X के एक सेट का एक विभाजन बनाता है। संबद्ध तुल्यता संबंध को यह कहकर परिभाषित किया जाता है <math>x \sim y</math> अगर और केवल अगर जी में जी मौजूद है <math>g \cdot x = y.</math> कक्षाएँ तब इस संबंध के अंतर्गत तुल्यता वर्ग हैं; दो तत्व x और y समतुल्य हैं यदि और केवल यदि उनकी कक्षाएँ समान हैं, अर्थात, <math>G \cdot x = G \cdot y.</math>
+एक समूह के परिभाषित गुण इस बात की गारंटी देते हैं कि G की कार्रवाई के तहत X की कक्षाओं का समूह (अंक x in) X के एक समूह का एक विभाजन बनाता है। संबद्ध तुल्यता संबंध को यह कहकर परिभाषित किया जाता है <math>x \sim y</math> अगर और केवल अगर जी में जी मौजूद है <math>g \cdot x = y.</math> कक्षाएँ तब इस संबंध के अंतर्गत तुल्यता वर्ग हैं; दो तत्व x और y समतुल्य हैं यदि और केवल यदि उनकी कक्षाएँ समान हैं, अर्थात, <math>G \cdot x = G \cdot y.</math>
 समूह क्रिया समूह क्रिया है (गणित) # क्रियाओं के प्रकार यदि और केवल यदि इसकी ठीक एक कक्षा है, अर्थात, यदि X में x मौजूद है <math>G \cdot x = X.</math> यह मामला है अगर और केवल अगर <math>G \cdot x = X</math> के लिये {{em|all}} x में X (दिया गया है कि X खाली नहीं है)।
-G की क्रिया के तहत X की सभी कक्षाओं के सेट को X/G (या, कम बार: G\X) के रूप में लिखा जाता है, और इसे कहा जाता है{{visible anchor|quotient}}कार्रवाई का। ज्यामितीय स्थितियों में इसे कहा जा सकता है{{visible anchor|orbit space}}, जबकि बीजगणितीय स्थितियों में इसे का स्थान कहा जा सकता है{{visible anchor|coinvariants}}, और लिखा <math>X_G,</math> इनवेरिएंट्स (फिक्स्ड पॉइंट्स) के विपरीत, एक्स को निरूपित किया<sup>G</sup>: सहपरिवर्तक a हैं {{em|quotient}} जबकि अपरिवर्तनीय हैं a {{em|subset}}. कॉइनवेरिएंट शब्दावली और संकेतन का उपयोग विशेष रूप से ग्रुप कोहोमोलॉजी और ग्रुप होमोलॉजी में किया जाता है, जो एक ही सुपरस्क्रिप्ट/सबस्क्रिप्ट कन्वेंशन का उपयोग करते हैं।
+G की क्रिया के तहत X की सभी कक्षाओं के समूह को X/G (या, कम बार: G\X) के रूप में लिखा जाता है, और इसे कहा जाता है{{visible anchor|quotient}}कार्रवाई का। ज्यामितीय स्थितियों में इसे कहा जा सकता है{{visible anchor|orbit space}}, जबकि बीजगणितीय स्थितियों में इसे का स्थान कहा जा सकता है{{visible anchor|coinvariants}}, और लिखा <math>X_G,</math> इनवेरिएंट्स (फिक्स्ड पॉइंट्स) के विपरीत, एक्स को निरूपित किया<sup>G</sup>: सहपरिवर्तक a हैं {{em|quotient}} जबकि अपरिवर्तनीय हैं a {{em|subset}}. कॉइनवेरिएंट शब्दावली और संकेतन का उपयोग विशेष रूप से ग्रुप कोहोमोलॉजी और ग्रुप होमोलॉजी में किया जाता है, जो एक ही सुपरस्क्रिप्ट/सबस्क्रिप्ट कन्वेंशन का उपयोग करते हैं।
 === अपरिवर्तनीय उपसमुच्चय ===
-यदि Y, X का उपसमुच्चय है, तो <math>G \cdot Y</math> सेट को दर्शाता है <math>\{ g \cdot y : g \in G \text{ and } y \in Y \}.</math> उपसमुच्चय Y को G के अंतर्गत अपरिवर्तनीय कहा जाता है यदि <math>G \cdot Y = Y</math> (जो बराबर है <math>G \cdot Y \subseteq Y</math>). उस स्थिति में, G भी Y पर कार्रवाई को Y तक सीमित करके संचालित करता है। सबसेट Y को G के तहत निश्चित कहा जाता है यदि <math>g \cdot y = y</math> G में सभी g के लिए और Y में सभी y के लिए। प्रत्येक उपसमुच्चय जो G के अंतर्गत निश्चित है, G के अंतर्गत भी अपरिवर्तनीय है, लेकिन इसके विपरीत नहीं।
+यदि Y, X का उपसमुच्चय है, तो <math>G \cdot Y</math> समूह को दर्शाता है <math>\{ g \cdot y : g \in G \text{ and } y \in Y \}.</math> उपसमुच्चय Y को G के अंतर्गत अपरिवर्तनीय कहा जाता है यदि <math>G \cdot Y = Y</math> (जो बराबर है <math>G \cdot Y \subseteq Y</math>). उस स्थिति में, G भी Y पर कार्रवाई को Y तक सीमित करके संचालित करता है। सबसमूह Y को G के तहत निश्चित कहा जाता है यदि <math>g \cdot y = y</math> G में सभी g के लिए और Y में सभी y के लिए। प्रत्येक उपसमुच्चय जो G के अंतर्गत निश्चित है, G के अंतर्गत भी अपरिवर्तनीय है, लेकिन इसके विपरीत नहीं।
 प्रत्येक कक्षा X का एक अपरिवर्तनीय उपसमुच्चय है जिस पर G समूह क्रिया (गणित) # क्रियाओं के प्रकार कार्य करता है। इसके विपरीत, X का कोई भी अपरिवर्तनीय उपसमुच्चय कक्षाओं का एक संघ है। X पर G की क्रिया सकर्मक है यदि और केवल यदि सभी तत्व समतुल्य हैं, जिसका अर्थ है कि केवल एक कक्षा है।
@@ Line 132: / Line 132: @@
 === निश्चित बिंदु और स्टेबलाइजर उपसमूह ===
-जी में जी और एक्स में एक्स के साथ दिया गया <math>g \cdot x = x,</math> यह कहा जाता है कि x, g का एक निश्चित बिंदु है या कि g, x को ठीक करता है। एक्स में हर एक्स के लिए, '{{visible anchor|stabilizer subgroup}}''G'' का ''x'' के संबंध में (जिसे ''आइसोट्रॉपी समूह'' या ''छोटा समूह'' भी कहा जाता है)<ref name="Procesi">{{cite book|last1=Procesi|first1=Claudio|title=लाई ग्रुप्स: एन अप्रोच थ्रू इनवेरिएंट्स एंड रिप्रेजेंटेशन्स|date=2007|publisher=Springer Science & Business Media|isbn=9780387289298|page=5|url=https://books.google.com/books?id=Sl8OAGYRz_AC&q=%22little+group%22+action&pg=PA5|access-date=23 February 2017|language=en}}</ref>) जी में सभी तत्वों का सेट है जो एक्स को ठीक करता है:
+जी में जी और एक्स में एक्स के साथ दिया गया <math>g \cdot x = x,</math> यह कहा जाता है कि x, g का एक निश्चित बिंदु है या कि g, x को ठीक करता है। एक्स में हर एक्स के लिए, '{{visible anchor|stabilizer subgroup}}''G'' का ''x'' के संबंध में (जिसे ''आइसोट्रॉपी समूह'' या ''छोटा समूह'' भी कहा जाता है)<ref name="Procesi">{{cite book|last1=Procesi|first1=Claudio|title=लाई ग्रुप्स: एन अप्रोच थ्रू इनवेरिएंट्स एंड रिप्रेजेंटेशन्स|date=2007|publisher=Springer Science & Business Media|isbn=9780387289298|page=5|url=https://books.google.com/books?id=Sl8OAGYRz_AC&q=%22little+group%22+action&pg=PA5|access-date=23 February 2017|language=en}}</ref>) जी में सभी तत्वों का समूह है जो एक्स को ठीक करता है:
 <math display=block>G_x = \{g \in G : g \cdot x = x\}.</math>
-यह जी का एक उपसमूह है, हालांकि आम तौर पर सामान्य नहीं है। X पर G की क्रिया समूह क्रिया है (गणित) # क्रियाओं के प्रकार यदि और केवल यदि सभी स्टेबलाइजर्स तुच्छ हैं। सममित समूह के साथ समरूपता का कर्नेल एन, <math>G \to \operatorname{Sym}(X),</math> स्टेबलाइजर्स जी के इंटरसेक्शन (सेट सिद्धांत) द्वारा दिया गया है<sub>x</sub>X में सभी x के लिए। यदि N तुच्छ है, तो क्रिया को विश्वासयोग्य (या प्रभावी) कहा जाता है।
+यह जी का एक उपसमूह है, हालांकि आम तौर पर सामान्य नहीं है। X पर G की क्रिया समूह क्रिया है (गणित) # क्रियाओं के प्रकार यदि और केवल यदि सभी स्टेबलाइजर्स तुच्छ हैं। सममित समूह के साथ समरूपता का कर्नेल एन, <math>G \to \operatorname{Sym}(X),</math> स्टेबलाइजर्स जी के इंटरसेक्शन (समूह सिद्धांत) द्वारा दिया गया है<sub>x</sub>X में सभी x के लिए। यदि N तुच्छ है, तो क्रिया को विश्वासयोग्य (या प्रभावी) कहा जाता है।
 मान लीजिए x और y, X में दो अवयव हैं, और मान लीजिए <math>g</math> एक समूह तत्व ऐसा हो कि <math>y = g \cdot x.</math> फिर दो स्टेबलाइजर समूह <math>G_x</math> तथा <math>G_y</math> से संबंधित हैं <math>G_y = g G_x g^{-1}.</math> प्रमाण: परिभाषा के अनुसार, <math>h \in G_y</math> अगर और केवल अगर <math>h \cdot (g \cdot x) = g \cdot x.</math> को लागू करने <math>g^{-1}</math> इस समानता पैदावार के दोनों पक्षों के लिए <math>\left(g^{-1} hg\right) \cdot x = x;</math> वह है, <math>g^{-1} h g \in G_x.</math> एक विपरीत समावेशन लेने के समान ही होता है <math>h \in G_x</math> और मान लीजिए <math>x = g^{-1} \cdot y.</math>
@@ Line 142: / Line 142: @@
 कक्षाएँ और स्टेबलाइजर्स निकट से संबंधित हैं। X में निश्चित x के लिए, मानचित्र पर विचार करें <math>f : G \to X</math> के द्वारा दिया गया <math>g \mapsto g \cdot x.</math> परिभाषा के अनुसार छवि <math>f(G)</math> इस नक्शे की कक्षा है <math>G \cdot x.</math> दो तत्वों की एक ही छवि होने की स्थिति है
 <math display=block>f(g)=f(h) \iff g\cdot x=h \cdot x \iff g^{-1}h \cdot x=x \iff g^{-1}h \in G_x \iff h \in gG_x.</math>
-दूसरे शब्दों में, <math>f(g) = f(h)  </math> अगर और केवल अगर <math>g</math> तथा <math>h</math> स्टेबलाइजर उपसमूह के लिए एक ही कोसेट में झूठ बोलना <math>G_x</math>. इस प्रकार, फाइबर (गणित) <math>f^{-1}(\{y\})</math> G·x में किसी भी y के ऊपर का f इस तरह के कोसेट में समाहित है, और ऐसा हर कोसेट फाइबर के रूप में भी होता है। इसलिए f प्रेरित करता है {{em|bijection}} सेट के बीच <math>G/G_x</math> स्टेबलाइज़र उपसमूह और कक्षा के लिए कोसेट्स की <math>G \cdot x,</math> जो भेजता है <math>gG_x \mapsto g \cdot x</math>.<ref>M. Artin, <em>Algebra</em>, Proposition 6.4 on p. 179</ref> इस परिणाम को कक्षा-स्थिरीकरण प्रमेय के रूप में जाना जाता है।
+दूसरे शब्दों में, <math>f(g) = f(h)  </math> अगर और केवल अगर <math>g</math> तथा <math>h</math> स्टेबलाइजर उपसमूह के लिए एक ही कोसमूह में झूठ बोलना <math>G_x</math>. इस प्रकार, फाइबर (गणित) <math>f^{-1}(\{y\})</math> G·x में किसी भी y के ऊपर का f इस तरह के कोसमूह में समाहित है, और ऐसा हर कोसमूह फाइबर के रूप में भी होता है। इसलिए f प्रेरित करता है {{em|bijection}} समूह के बीच <math>G/G_x</math> स्टेबलाइज़र उपसमूह और कक्षा के लिए कोसमूह्स की <math>G \cdot x,</math> जो भेजता है <math>gG_x \mapsto g \cdot x</math>.<ref>M. Artin, <em>Algebra</em>, Proposition 6.4 on p. 179</ref> इस परिणाम को कक्षा-स्थिरीकरण प्रमेय के रूप में जाना जाता है।
 यदि G परिमित है तो कक्षा-स्थिरीकरण प्रमेय, साथ में लैग्रेंज की प्रमेय (समूह सिद्धांत) | लैग्रेंज का प्रमेय, देता है
@@ Line 157: / Line 157: @@
 जहां एक्स<sup>जी</sup> जी द्वारा निर्धारित बिंदुओं का समूह है। यह परिणाम मुख्य रूप से तब उपयोग किया जाता है जब जी और एक्स परिमित होते हैं, जब इसे निम्नानुसार व्याख्या किया जा सकता है: कक्षाओं की संख्या प्रति समूह तत्व तय किए गए बिंदुओं की औसत संख्या के बराबर होती है।
-एक समूह जी को ठीक करना, परिमित जी-सेट के औपचारिक मतभेदों का सेट जी की बर्नसाइड रिंग नामक एक अंगूठी बनाता है, जहां जोड़ अलग संघ से मेल खाता है, और कार्टेशियन उत्पाद के गुणन से मेल खाता है।
+एक समूह जी को ठीक करना, परिमित जी-समूह के औपचारिक मतभेदों का समूह जी की बर्नसाइड रिंग नामक एक अंगूठी बनाता है, जहां जोड़ अलग संघ से मेल खाता है, और कार्टेशियन उत्पाद के गुणन से मेल खाता है।
 == उदाहरण ==
 * The{{visible anchor|trivial}}किसी समुच्चय X पर किसी समूह G की क्रिया द्वारा परिभाषित किया जाता है {{nowrap|1=''g''⋅''x'' = ''x''}} G में सभी g और X में सभी x के लिए; अर्थात्, प्रत्येक समूह तत्व X पर पहचान फलन को प्रेरित करता है।<ref>{{cite book|author=Eie & Chang |title=सार बीजगणित पर एक कोर्स|year=2010|url={{Google books|plainurl=y|id=jozIZ0qrkk8C|page=144|text=trivial action}}|page=145}}</ref>
-* प्रत्येक समूह G में, बायाँ गुणन G पर G की एक क्रिया है: {{nowrap|1=''g''⋅''x'' = ''gx''}} सभी जी के लिए, जी में एक्स। यह क्रिया मुक्त और संक्रमणीय (नियमित) है, और केली के प्रमेय के तेजी से प्रमाण का आधार बनाती है - कि प्रत्येक समूह सेट जी के क्रमपरिवर्तन के सममित समूह के उपसमूह के लिए आइसोमोर्फिक है।
+* प्रत्येक समूह G में, बायाँ गुणन G पर G की एक क्रिया है: {{nowrap|1=''g''⋅''x'' = ''gx''}} सभी जी के लिए, जी में एक्स। यह क्रिया मुक्त और संक्रमणीय (नियमित) है, और केली के प्रमेय के तेजी से प्रमाण का आधार बनाती है - कि प्रत्येक समूह समूह जी के क्रमपरिवर्तन के सममित समूह के उपसमूह के लिए आइसोमोर्फिक है।
-* उपसमूह एच के साथ प्रत्येक समूह जी में, बाएं गुणन कोसेट जी/एच के सेट पर जी की एक क्रिया है: {{nowrap|1=''g''⋅''aH'' = ''gaH''}} G में सभी g,a के लिए। विशेष रूप से यदि H में G का कोई गैर-तुच्छ सामान्य उपसमूह नहीं है, तो यह G से डिग्री [G : H] के क्रमपरिवर्तन समूह के एक उपसमूह में एक समरूपता को प्रेरित करता है।
+* उपसमूह एच के साथ प्रत्येक समूह जी में, बाएं गुणन कोसमूह जी/एच के समूह पर जी की एक क्रिया है: {{nowrap|1=''g''⋅''aH'' = ''gaH''}} G में सभी g,a के लिए। विशेष रूप से यदि H में G का कोई गैर-तुच्छ सामान्य उपसमूह नहीं है, तो यह G से डिग्री [G : H] के क्रमपरिवर्तन समूह के एक उपसमूह में एक समरूपता को प्रेरित करता है।
 * प्रत्येक समूह G में, आंतरिक ऑटोमोर्फिज़्म G पर G की एक क्रिया है: {{nowrap|1=''g''⋅''x'' = ''gxg''<sup>−1</sup>}}. एक घातीय संकेतन आमतौर पर राइट-एक्शन वेरिएंट के लिए उपयोग किया जाता है: {{nowrap|1=''x<sup>g</sup>'' = ''g''<sup>−1</sup>''xg''}}; यह संतुष्ट करता है ({{nowrap|1=''x''<sup>''g''</sup>)<sup>''h''</sup> = ''x''<sup>''gh''</sup>}}.
 * उपसमूह एच के साथ प्रत्येक समूह जी में, संयुग्मन एच के संयुग्मों पर जी की एक क्रिया है: {{nowrap|1=''g''⋅''K'' = ''gKg<sup>−1</sup>''}} G में सभी g और H के K संयुग्मों के लिए।
-* सममित समूह S<sub>''n''</sub> और इसके उपसमूह सेट पर कार्य करते हैं {{nowrap|{ 1, …, ''n'' }<nowiki/>}} इसके तत्वों की अनुमति देकर
+* सममित समूह S<sub>''n''</sub> और इसके उपसमूह समूह पर कार्य करते हैं {{nowrap|{ 1, …, ''n'' }<nowiki/>}} इसके तत्वों की अनुमति देकर
 * किसी बहुफलक का सममिति समूह उस बहुफलक के शीर्षों के समुच्चय पर कार्य करता है। यह फलकों के समुच्चय या बहुफलक के किनारों के समुच्चय पर भी कार्य करता है।
 * किसी भी ज्यामितीय वस्तु का सममिति समूह उस वस्तु के बिन्दुओं के समुच्चय पर कार्य करता है।
-* सदिश स्थान (या ग्राफ़ सिद्धांत, या समूह, या वलय...) का ऑटोमोर्फिज़्म समूह सदिश स्थान (या ग्राफ़, या समूह, या वलय के शीर्षों का सेट...) पर कार्य करता है।
+* सदिश स्थान (या ग्राफ़ सिद्धांत, या समूह, या वलय...) का ऑटोमोर्फिज़्म समूह सदिश स्थान (या ग्राफ़, या समूह, या वलय के शीर्षों का समूह...) पर कार्य करता है।
 * सामान्य रैखिक समूह {{nowrap|GL(''n'', ''K'')}} और इसके उपसमूह, विशेष रूप से इसके लाई उपसमूह (विशेष रैखिक समूह सहित {{nowrap|SL(''n'', ''K'')}}, ओर्थोगोनल समूह {{nowrap|O(''n'', ''K'')}}, विशेष ऑर्थोगोनल समूह {{nowrap|SO(''n'', ''K'')}}, और सहानुभूति समूह {{nowrap|Sp(''n'', ''K'')}}) वे समूह हैं जो सदिश स्थान K पर कार्य करते हैं<sup>एन</sup>. समूह संचालन K से वैक्टर वाले समूहों से मैट्रिसेस को गुणा करके दिया जाता है<sup>एन</sup>.
 * सामान्य रैखिक समूह {{nowrap|GL(''n'', '''Z''')}} Z . में काम करती है<sup>n</sup> प्राकृतिक मैट्रिक्स क्रिया द्वारा। इसकी क्रिया की कक्षाओं को 'Z' में वेक्टर के निर्देशांक के सबसे बड़े सामान्य विभाजक द्वारा वर्गीकृत किया गया है।<sup>एन</sup>.
 * affine समूह एक affine स्थान के बिंदुओं पर # प्रकार की क्रियाओं को कार्य करता है, और affine समूह के उपसमूह V (अर्थात, एक सदिश स्थान) में इन बिंदुओं पर सकर्मक और मुक्त (अर्थात, नियमित) क्रिया होती है;<ref>{{cite book|title=ज्यामिति और टोपोलॉजी|last=Reid|first=Miles|publisher=Cambridge University Press|year=2005|isbn=9780521613255|location=Cambridge, UK New York|pages=170}}</ref> वास्तव में इसका उपयोग Affine space#Definition की परिभाषा देने के लिए किया जा सकता है।
 * प्रक्षेपी रैखिक समूह {{nowrap|PGL(''n'' + 1, ''K'')}} और इसके उपसमूह, विशेष रूप से इसके लाई उपसमूह, जो लाई समूह हैं जो प्रोजेक्टिव स्पेस पी पर कार्य करते हैं<sup>एन</sup>(के)। यह प्रक्षेपी स्थान पर सामान्य रेखीय समूह की कार्रवाई का भागफल है। विशेष उल्लेखनीय है {{nowrap|PGL(2, ''K'')}}, प्रक्षेप्य रेखा की समरूपता, जो तीव्र रूप से 3-संक्रमणीय है, क्रॉस अनुपात को संरक्षित करती है; मोबियस समूह {{nowrap|PGL(2, '''C''')}} विशेष रुचि है।
-*विमान की आइसोमेट्री 2डी छवियों और पैटर्न के सेट पर कार्य करती है, जैसे कि वॉलपेपर समूह। छवि या पैटर्न से क्या मतलब है, यह निर्दिष्ट करके परिभाषा को और अधिक सटीक बनाया जा सकता है, उदाहरण के लिए, रंगों के एक सेट में मूल्यों के साथ स्थिति का एक कार्य। आइसोमेट्री वास्तव में एफाइन ग्रुप (कार्रवाई) का एक उदाहरण है।{{dubious|reason=The isometries of a space are a subgroup of the affine group of that space, but not an affine group in themselves|date=March 2015}}
+*विमान की आइसोमेट्री 2डी छवियों और पैटर्न के समूह पर कार्य करती है, जैसे कि वॉलपेपर समूह। छवि या पैटर्न से क्या मतलब है, यह निर्दिष्ट करके परिभाषा को और अधिक सटीक बनाया जा सकता है, उदाहरण के लिए, रंगों के एक समूह में मूल्यों के साथ स्थिति का एक कार्य। आइसोमेट्री वास्तव में एफाइन ग्रुप (कार्रवाई) का एक उदाहरण है।{{dubious|reason=The isometries of a space are a subgroup of the affine group of that space, but not an affine group in themselves|date=March 2015}}
-* समूह जी द्वारा कार्य किए गए सेट में जी-सेट की श्रेणी (गणित) शामिल है जिसमें वस्तुएं जी-सेट हैं और मॉर्फिज्म जी-सेट होमोमोर्फिज्म हैं: फ़ंक्शन {{nowrap|''f'' : ''X'' → ''Y''}} ऐसा है कि {{nowrap|1=''g''⋅(''f''(''x'')) = ''f''(''g''⋅''x'')}} जी में प्रत्येक जी के लिए
+* समूह जी द्वारा कार्य किए गए समूह में जी-समूह की श्रेणी (गणित) शामिल है जिसमें वस्तुएं जी-समूह हैं और मॉर्फिज्म जी-समूह होमोमोर्फिज्म हैं: फ़ंक्शन {{nowrap|''f'' : ''X'' → ''Y''}} ऐसा है कि {{nowrap|1=''g''⋅(''f''(''x'')) = ''f''(''g''⋅''x'')}} जी में प्रत्येक जी के लिए
 * क्षेत्र विस्तार एल/के का गैलोइस समूह एल क्षेत्र पर कार्य करता है लेकिन उपक्षेत्र के के तत्वों पर केवल एक छोटी सी कार्रवाई होती है। गैल (एल/के) के उपसमूह एल के उपक्षेत्रों के अनुरूप होते हैं जिनमें के, यानी मध्यवर्ती होता है। L और K के बीच क्षेत्र विस्तार।
 * वास्तविक संख्याओं का योगात्मक समूह {{nowrap|('''R''', +)}} समय अनुवाद द्वारा शास्त्रीय यांत्रिकी (और अधिक सामान्य गतिशील प्रणालियों में) में अच्छी तरह से व्यवहार किए गए सिस्टम के चरण स्थान पर कार्य करता है: यदि t 'R' में है और x चरण स्थान में है, तो x सिस्टम की स्थिति का वर्णन करता है, और {{nowrap|''t'' + ''x''}} यदि t धनात्मक है या −t सेकण्ड पहले यदि t ऋणात्मक है तो इसे t सेकंड बाद प्रणाली की स्थिति के रूप में परिभाषित किया जाता है।
-* वास्तविक संख्याओं का योज्य समूह {{nowrap|('''R''', +)}} वास्तविक चर के वास्तविक कार्यों के सेट पर विभिन्न तरीकों से कार्य करता है, उदाहरण के लिए (t⋅f)(x) के बराबर, {{nowrap|''f''(''x'' + ''t'')}}, {{nowrap|''f''(''x'') + ''t''}}, {{nowrap|''f''(''xe<sup>t</sup>'')}}, {{nowrap|''f''(''x'')''e<sup>t</sup>''}}, {{nowrap|''f''(''x'' + ''t'')''e<sup>t</sup>''}}, या {{nowrap|''f''(''xe<sup>t</sup>'') + ''t''}}, लेकिन नहीं {{nowrap|''f''(''xe<sup>t</sup>'' + ''t'')}}.
+* वास्तविक संख्याओं का योज्य समूह {{nowrap|('''R''', +)}} वास्तविक चर के वास्तविक कार्यों के समूह पर विभिन्न तरीकों से कार्य करता है, उदाहरण के लिए (t⋅f)(x) के बराबर, {{nowrap|''f''(''x'' + ''t'')}}, {{nowrap|''f''(''x'') + ''t''}}, {{nowrap|''f''(''xe<sup>t</sup>'')}}, {{nowrap|''f''(''x'')''e<sup>t</sup>''}}, {{nowrap|''f''(''x'' + ''t'')''e<sup>t</sup>''}}, या {{nowrap|''f''(''xe<sup>t</sup>'') + ''t''}}, लेकिन नहीं {{nowrap|''f''(''xe<sup>t</sup>'' + ''t'')}}.
-*X पर G की समूह क्रिया को देखते हुए, हम X के घात सेट पर G की प्रेरित क्रिया को परिभाषित कर सकते हैं। {{nowrap|1=''g''⋅''U'' = {''g''⋅''u'' : ''u'' ∈ ''U''}<nowiki/>}} X के प्रत्येक उपसमुच्चय U और G में प्रत्येक g के लिए। यह उपयोगी है, उदाहरण के लिए, 24-सेट पर बड़े मैथ्यू समूह की क्रिया का अध्ययन करने और परिमित ज्यामिति के कुछ मॉडलों में समरूपता का अध्ययन करने में।
+*X पर G की समूह क्रिया को देखते हुए, हम X के घात समूह पर G की प्रेरित क्रिया को परिभाषित कर सकते हैं। {{nowrap|1=''g''⋅''U'' = {''g''⋅''u'' : ''u'' ∈ ''U''}<nowiki/>}} X के प्रत्येक उपसमुच्चय U और G में प्रत्येक g के लिए। यह उपयोगी है, उदाहरण के लिए, 24-समूह पर बड़े मैथ्यू समूह की क्रिया का अध्ययन करने और परिमित ज्यामिति के कुछ मॉडलों में समरूपता का अध्ययन करने में।
 * चतुष्कोण 1 (छंद) के मानक के साथ चतुष्कोण, गुणक समूह के रूप में, 'आर' पर कार्य करते हैं<sup>3</sup>: ऐसे किसी भी quaternion के लिए {{nowrap|1=''z'' = cos ''α''/2 + '''v''' sin ''α''/2}}, मैपिंग {{nowrap|1=''f''('''x''') = ''z'''''x'''''z''<sup>∗</sup>}} यूनिट वेक्टर 'v' द्वारा दिए गए अक्ष के बारे में कोण α के माध्यम से वामावर्त रोटेशन है; z एक ही घुमाव है; चतुष्कोण और स्थानिक घुमाव देखें। ध्यान दें कि यह एक विश्वसनीय कार्रवाई नहीं है क्योंकि चतुष्कोण -1 सभी बिंदुओं को वहीं छोड़ देता है जहां वे थे, जैसा कि चतुष्कोण 1 करता है।
-* बाएं जी-सेट दिए गए हैं <math>X,Y</math>, एक बायां जी-सेट है <math>Y^X</math> जिनके तत्व G-equivariant मानचित्र हैं <math>\alpha:X\times G\to Y</math>, और बाएं जी-एक्शन द्वारा दिया गया <math>g\cdot\alpha=\alpha\circ (id_X\times-g)</math> (कहाँ पे<math>-g</math>द्वारा सही गुणा को इंगित करता है <math>g</math>). इस जी-सेट में यह गुण है कि इसके निश्चित बिंदु समतुल्य मानचित्रों के अनुरूप हैं <math>X\to Y</math>; अधिक सामान्यतः, यह जी-सेट की श्रेणी में एक घातीय वस्तु है।
+* बाएं जी-समूह दिए गए हैं <math>X,Y</math>, एक बायां जी-समूह है <math>Y^X</math> जिनके तत्व G-equivariant मानचित्र हैं <math>\alpha:X\times G\to Y</math>, और बाएं जी-एक्शन द्वारा दिया गया <math>g\cdot\alpha=\alpha\circ (id_X\times-g)</math> (कहाँ पे<math>-g</math>द्वारा सही गुणा को इंगित करता है <math>g</math>). इस जी-समूह में यह गुण है कि इसके निश्चित बिंदु समतुल्य मानचित्रों के अनुरूप हैं <math>X\to Y</math>; अधिक सामान्यतः, यह जी-समूह की श्रेणी में एक घातीय वस्तु है।
 == ग्रुप एक्शन और ग्रुपॉयड्स ==
@@ Line 186: / Line 186: @@
 ग्रुप एक्शन की धारणा को एक्शन ग्रुपॉइड द्वारा एनकोड किया जा सकता है <math>G'=G \ltimes X</math> समूह क्रिया से संबंधित। एक्शन के स्टेबलाइजर्स ग्रुपॉयड के शीर्ष समूह हैं और एक्शन की कक्षाएँ इसके घटक हैं।
-== जी-सेट के बीच आकारिकी और समरूपता ==
+== जी-समूह के बीच आकारिकी और समरूपता ==
-यदि X और Y दो G-समुच्चय हैं, तो X से Y तक एक रूपवाद एक फलन है {{nowrap|''f'' : ''X'' → ''Y''}} ऐसा है कि {{nowrap|1=''f''(''g''⋅''x'') = ''g''⋅''f''(''x'')}} जी में सभी जी और एक्स में सभी एक्स के लिए। जी-सेट के आकारिकी को समकक्ष मानचित्र या जी-मानचित्र भी कहा जाता है।
+यदि X और Y दो G-समुच्चय हैं, तो X से Y तक एक रूपवाद एक फलन है {{nowrap|''f'' : ''X'' → ''Y''}} ऐसा है कि {{nowrap|1=''f''(''g''⋅''x'') = ''g''⋅''f''(''x'')}} जी में सभी जी और एक्स में सभी एक्स के लिए। जी-समूह के आकारिकी को समकक्ष मानचित्र या जी-मानचित्र भी कहा जाता है।
-दो morphisms की संरचना फिर से एक morphism है। यदि एक आकृतिवाद f आच्छादक है, तो इसका व्युत्क्रम भी एक आकारिकी है। इस मामले में f को एक समरूपता कहा जाता है, और दो G-सेट X और Y को समरूपी कहा जाता है; सभी व्यावहारिक उद्देश्यों के लिए, आइसोमॉर्फिक जी-सेट अप्रभेद्य हैं।
+दो morphisms की संरचना फिर से एक morphism है। यदि एक आकृतिवाद f आच्छादक है, तो इसका व्युत्क्रम भी एक आकारिकी है। इस मामले में f को एक समरूपता कहा जाता है, और दो G-समूह X और Y को समरूपी कहा जाता है; सभी व्यावहारिक उद्देश्यों के लिए, आइसोमॉर्फिक जी-समूह अप्रभेद्य हैं।
 कुछ उदाहरण समरूपता:
 * प्रत्येक नियमित G क्रिया बाएं गुणन द्वारा दिए गए G पर G की क्रिया के लिए आइसोमोर्फिक है।
 * प्रत्येक मुक्त G क्रिया के लिए तुल्याकारी है {{nowrap|''G'' × ''S''}}, जहाँ S कुछ समुच्चय है और G कार्य करता है {{nowrap|''G'' × ''S''}} पहले निर्देशांक पर बाएँ गुणन द्वारा। (S को कक्षा X/G का समुच्चय माना जा सकता है।)
-* प्रत्येक सकर्मक G क्रिया, G के कुछ उपसमूह H के बाएँ कोसेट के सेट पर G द्वारा बाएँ गुणन के लिए आइसोमॉर्फिक है। (H को मूल G-सेट के किसी भी तत्व के स्टेबलाइज़र समूह के रूप में लिया जा सकता है।)
+* प्रत्येक सकर्मक G क्रिया, G के कुछ उपसमूह H के बाएँ कोसमूह के समूह पर G द्वारा बाएँ गुणन के लिए आइसोमॉर्फिक है। (H को मूल G-समूह के किसी भी तत्व के स्टेबलाइज़र समूह के रूप में लिया जा सकता है।)
-रूपवाद की इस धारणा के साथ, सभी जी-सेटों का संग्रह एक श्रेणी सिद्धांत बनाता है; यह श्रेणी एक ग्रोथेंडिक टोपोस है (वास्तव में, एक शास्त्रीय मेटालॉजिक मानते हुए, यह टोपोस बूलियन भी होगा)।
+रूपवाद की इस धारणा के साथ, सभी जी-समूहों का संग्रह एक श्रेणी सिद्धांत बनाता है; यह श्रेणी एक ग्रोथेंडिक टोपोस है (वास्तव में, एक शास्त्रीय मेटालॉजिक मानते हुए, यह टोपोस बूलियन भी होगा)।
 == वेरिएंट और सामान्यीकरण ==
 हम ऊपर बताए गए समान दो अभिगृहीतों का उपयोग करके समुच्चयों पर मोनोइड्स की क्रियाओं पर भी विचार कर सकते हैं। हालांकि यह विशेषण मानचित्र और तुल्यता संबंधों को परिभाषित नहीं करता है। सेमीग्रुप एक्शन देखें।
-सेट पर क्रियाओं के बजाय, हम समूहों और मोनोइड्स की क्रियाओं को एक मनमाना श्रेणी की वस्तुओं पर परिभाषित कर सकते हैं: किसी श्रेणी के ऑब्जेक्ट X से शुरू करें, और फिर X पर एक क्रिया को एक मोनोइड होमोमोर्फिज्म के रूप में एक्स के एंडोमोर्फिज्म के मोनोइड में परिभाषित करें। यदि X का एक अंतर्निहित सेट है, तो ऊपर बताई गई सभी परिभाषाओं और तथ्यों को आगे बढ़ाया जा सकता है। उदाहरण के लिए, यदि हम सदिश समष्टियों की श्रेणी लेते हैं, तो हमें इस प्रकार समूह निरूपण प्राप्त होते हैं।
+समूह पर क्रियाओं के बजाय, हम समूहों और मोनोइड्स की क्रियाओं को एक मनमाना श्रेणी की वस्तुओं पर परिभाषित कर सकते हैं: किसी श्रेणी के ऑब्जेक्ट X से शुरू करें, और फिर X पर एक क्रिया को एक मोनोइड होमोमोर्फिज्म के रूप में एक्स के एंडोमोर्फिज्म के मोनोइड में परिभाषित करें। यदि X का एक अंतर्निहित समूह है, तो ऊपर बताई गई सभी परिभाषाओं और तथ्यों को आगे बढ़ाया जा सकता है। उदाहरण के लिए, यदि हम सदिश समष्टियों की श्रेणी लेते हैं, तो हमें इस प्रकार समूह निरूपण प्राप्त होते हैं।
-हम समूह जी को एक ऐसी श्रेणी के रूप में देख सकते हैं जिसमें एक ही वस्तु है जिसमें प्रत्येक रूपवाद उलटा हो सकता है। ए (बाएं) समूह कार्रवाई तब जी से सेट की श्रेणी के लिए एक (सहसंयोजक) फ़ैक्टर के अलावा कुछ भी नहीं है, और एक समूह प्रतिनिधित्व जी से वेक्टर रिक्त स्थान की श्रेणी में एक फ़ंक्टर है। जी-सेट के बीच एक रूपवाद तब समूह क्रिया फ़ैक्टरों के बीच एक प्राकृतिक परिवर्तन है। समानता में, ग्रुपॉयड की एक क्रिया ग्रुपॉयड से सेट की श्रेणी या किसी अन्य श्रेणी के लिए एक मज़ेदार है।
+हम समूह जी को एक ऐसी श्रेणी के रूप में देख सकते हैं जिसमें एक ही वस्तु है जिसमें प्रत्येक रूपवाद उलटा हो सकता है। ए (बाएं) समूह कार्रवाई तब जी से समूह की श्रेणी के लिए एक (सहसंयोजक) फ़ैक्टर के अलावा कुछ भी नहीं है, और एक समूह प्रतिनिधित्व जी से वेक्टर रिक्त स्थान की श्रेणी में एक फ़ंक्टर है। जी-समूह के बीच एक रूपवाद तब समूह क्रिया फ़ैक्टरों के बीच एक प्राकृतिक परिवर्तन है। समानता में, ग्रुपॉयड की एक क्रिया ग्रुपॉयड से समूह की श्रेणी या किसी अन्य श्रेणी के लिए एक मज़ेदार है।
 टोपोलॉजिकल स्पेस पर टोपोलॉजिकल समूहों की निरंतर समूह कार्रवाई के अलावा, कई बार झूठ समूहों की कई गुना, बीजीय विविधता पर बीजगणितीय समूहों की नियमित कार्रवाई, और योजना (गणित) पर समूह योजनाओं की समूह-योजना कार्रवाई पर भी विचार किया जाता है। ये सभी समूह वस्तुओं के उदाहरण हैं जो अपनी संबंधित श्रेणी की वस्तुओं पर कार्य करते हैं।

Anonymous

Search

समूह क्रिया: Difference between revisions

Namespaces

More

Page actions

Revision as of 16:58, 22 November 2022

Contents

परिभाषा

बाएं समूह कार्रवाई

सही समूह कार्रवाई

क्रियाओं के उल्लेखनीय गुण

ट्रांजिटिविटी गुण

उदाहरण

आदिम क्रियाएं

सांस्थितिक गुण

स्थलाकृतिक समूहों की क्रियाएं

रैखिक क्रियाएं

ऑर्बिट और स्टेबलाइजर्स

अपरिवर्तनीय उपसमुच्चय

निश्चित बिंदु और स्टेबलाइजर उपसमूह

Orbit-stabilizer theorem और बर्नसाइड का लेम्मा

उदाहरण

ग्रुप एक्शन और ग्रुपॉयड्स

जी-समूह के बीच आकारिकी और समरूपता

वेरिएंट और सामान्यीकरण

गैलरी

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

इस पृष्ठ में अनुपलब्ध आंतरिक कड़ियों की सूची

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

समूह क्रिया: Difference between revisions

Revision as of 16:58, 22 November 2022

परिभाषा

बाएं समूह कार्रवाई

सही समूह कार्रवाई

क्रियाओं के उल्लेखनीय गुण

ट्रांजिटिविटी गुण

उदाहरण

आदिम क्रियाएं

सांस्थितिक गुण

स्थलाकृतिक समूहों की क्रियाएं

रैखिक क्रियाएं

ऑर्बिट और स्टेबलाइजर्स

अपरिवर्तनीय उपसमुच्चय

निश्चित बिंदु और स्टेबलाइजर उपसमूह

Orbit-stabilizer theorem और बर्नसाइड का लेम्मा

उदाहरण

ग्रुप एक्शन और ग्रुपॉयड्स

जी-समूह के बीच आकारिकी और समरूपता

वेरिएंट और सामान्यीकरण

गैलरी

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

इस पृष्ठ में अनुपलब्ध आंतरिक कड़ियों की सूची

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories