सममित और वैकल्पिक समूहों के ऑटोमोर्फिज्म: Difference between revisions

From Vigyanwiki
(Created page with "समूह सिद्धांत में, गणित की एक शाखा, सममित समूहों और वैकल्पिक सम...")
 
No edit summary
Line 1: Line 1:
[[समूह सिद्धांत]] में, गणित की एक शाखा, [[सममित समूह]]ों और [[वैकल्पिक समूह]]ों के [[automorphism]] और [[बाहरी ऑटोमोर्फिज्म]] दोनों इन ऑटोमोर्फिज़्म के मानक उदाहरण हैं, और अध्ययन की वस्तुएँ अपने आप में, विशेष रूप से एस के असाधारण बाहरी ऑटोमोर्फिज़्म<sub>6</sub>, 6 तत्वों पर सममित समूह।
[[समूह सिद्धांत]] में, गणित की एक शाखा, [[सममित समूह|सममित]] समूहों और [[वैकल्पिक समूह|वैकल्पिक]] समूहों के [[automorphism|ऑटोमोर्फिज़्म]] और [[बाहरी ऑटोमोर्फिज्म]] दोनों इन ऑटोमोर्फिज़्म के मानक उदाहरण हैं, और अध्ययन की वस्तुएँ अपने आप में, विशेष रूप से S<sub>6</sub> के असाधारण बाहरी ऑटोमोर्फिज़्म, 6 तत्वों पर सममित समूह है।


== सारांश ==
== सारांश ==
Line 45: Line 45:




=== सामान्य मामला ===
=== सामान्य स्थिति ===
* <math>n\neq 2,6</math>: <math>\operatorname{Aut}(\mathrm{S}_n) = \mathrm{S}_n</math>, और इस तरह <math>\operatorname{Out}(\mathrm{S}_n) = \mathrm{C}_1</math>.
* <math>n\neq 2,6</math>: <math>\operatorname{Aut}(\mathrm{S}_n) = \mathrm{S}_n</math>, और इस तरह <math>\operatorname{Out}(\mathrm{S}_n) = \mathrm{C}_1</math>.
: औपचारिक रूप से, <math>\mathrm{S}_n</math> [[पूरा समूह]] और प्राकृतिक मानचित्र है <math>\mathrm{S}_n \to \operatorname{Aut}(\mathrm{S}_n)</math> एक समरूपता है।
: औपचारिक रूप से, <math>\mathrm{S}_n</math> [[पूरा समूह]] और प्राकृतिक मानचित्र है <math>\mathrm{S}_n \to \operatorname{Aut}(\mathrm{S}_n)</math> एक समरूपता है।
* <math>n\neq 1,2,6</math>: <math>\operatorname{Out}(\mathrm{A}_n)=\mathrm{S}_n/\mathrm{A}_n=\mathrm{C}_2</math>, और बाहरी ऑटोमोर्फिज्म एक [[सम और विषम क्रमपरिवर्तन]] द्वारा संयुग्मन है।
* <math>n\neq 1,2,6</math>: <math>\operatorname{Out}(\mathrm{A}_n)=\mathrm{S}_n/\mathrm{A}_n=\mathrm{C}_2</math>, और बाहरी ऑटोमोर्फिज्म एक [[सम और विषम क्रमपरिवर्तन]] द्वारा संयुग्मन है।
* <math>n\neq 2,3,6</math>: <math>\operatorname{Aut}(\mathrm{A}_n)=\operatorname{Aut}(\mathrm{S}_n)=\mathrm{S}_n</math>
* <math>n\neq 2,3,6</math>: <math>\operatorname{Aut}(\mathrm{A}_n)=\operatorname{Aut}(\mathrm{S}_n)=\mathrm{S}_n</math>
: दरअसल, प्राकृतिक नक्शे <math>\mathrm{S}_n \to \operatorname{Aut}(\mathrm{S}_n) \to \operatorname{Aut}(\mathrm{A}_n)</math> समाकृतिकता हैं।
: वास्तव में, प्राकृतिक नक्शे <math>\mathrm{S}_n \to \operatorname{Aut}(\mathrm{S}_n) \to \operatorname{Aut}(\mathrm{A}_n)</math> समाकृतिकता हैं।


=== असाधारण मामले ===
=== असाधारण स्थिति ===
* <math>n=1,2</math>: मामूली:
* <math>n=1,2</math>: सामान्य :
:: <math>\operatorname{Aut}(\mathrm{S}_1)=\operatorname{Out}(\mathrm{S}_1)=\operatorname{Aut}(\mathrm{A}_1)=\operatorname{Out}(\mathrm{A}_1)=\mathrm{C}_1</math>
:: <math>\operatorname{Aut}(\mathrm{S}_1)=\operatorname{Out}(\mathrm{S}_1)=\operatorname{Aut}(\mathrm{A}_1)=\operatorname{Out}(\mathrm{A}_1)=\mathrm{C}_1</math>
:: <math>\operatorname{Aut}(\mathrm{S}_2)=\operatorname{Out}(\mathrm{S}_2)=\operatorname{Aut}(\mathrm{A}_2)=\operatorname{Out}(\mathrm{A}_2)=\mathrm{C}_1</math>
:: <math>\operatorname{Aut}(\mathrm{S}_2)=\operatorname{Out}(\mathrm{S}_2)=\operatorname{Aut}(\mathrm{A}_2)=\operatorname{Out}(\mathrm{A}_2)=\mathrm{C}_1</math>
Line 61: Line 61:




==<स्पैन आईडी= असाधारण बाहरी ऑटोमोर्फिज्म ></span> एस का असाधारण बाहरी ऑटोमोर्फिज्म<sub>6</sub> ==
==S<sub>6</sub> का असाधारण बाहरी ऑटोमोर्फिज्म ==
सममित समूहों में केवल एस<sub>6</sub> एक गैर-तुच्छ बाहरी ऑटोमोर्फिज्म है,
सममित समूहों में केवल S<sub>6</sub> एक गैर-तुच्छ बाहरी ऑटोमोर्फिज्म है,
जिसे कोई [[असाधारण वस्तु]] (असाधारण लाई बीजगणित के अनुरूप) या विदेशी कह सकता है। वास्तव में, आउट (एस<sub>6</sub>) = सी<sub>2</sub>.<ref name="auto">[[Tsit-Yuen Lam|Lam, T. Y.]], & Leep, D. B. (1993). "Combinatorial structure on the automorphism group of S<sub>6</sub>". ''[[Expositiones Mathematicae]]'', 11(4), 289–308.</ref>
जिसे कोई [[असाधारण वस्तु]] (असाधारण लाई बीजगणित के अनुरूप) या विदेशी कह सकता है। वास्तव में, आउट (S<sub>6</sub>) = C<sub>2</sub>.<ref name="auto">[[Tsit-Yuen Lam|Lam, T. Y.]], & Leep, D. B. (1993). "Combinatorial structure on the automorphism group of S<sub>6</sub>". ''[[Expositiones Mathematicae]]'', 11(4), 289–308.</ref>
इसकी खोज 1895 में ओटो होल्डर ने की थी।<ref name="auto"/><ref>[[Otto Hölder]] (1895), "Bildung zusammengesetzter Gruppen", ''[[Mathematische Annalen]]'', 46, 321–422.</ref>
 
इसकी खोज 1895 में ओटो होल्डर ने की थी।<ref name="auto" /><ref>[[Otto Hölder]] (1895), "Bildung zusammengesetzter Gruppen", ''[[Mathematische Annalen]]'', 46, 321–422.</ref>
 
बाह्य स्वरूपवाद की विशिष्ट प्रकृति इस प्रकार है:
बाह्य स्वरूपवाद की विशिष्ट प्रकृति इस प्रकार है:
* एकमात्र पहचान क्रमचय मानचित्र स्वयं के लिए;
* एकमात्र पहचान क्रमचय मानचित्र स्वयं के लिए;
Line 72: Line 74:
* दो 2-चक्रों का उत्पाद जैसे (1 2)(3 4) दो 2-चक्रों के दूसरे उत्पाद जैसे (3 5) (4 6), 45 क्रमपरिवर्तन के लिए लेखांकन;
* दो 2-चक्रों का उत्पाद जैसे (1 2)(3 4) दो 2-चक्रों के दूसरे उत्पाद जैसे (3 5) (4 6), 45 क्रमपरिवर्तन के लिए लेखांकन;
* एक 5-चक्र जैसे (1 2 3 4 5) अन्य 5-चक्रों के लिए मानचित्र जैसे (1 3 6 5 2) 144 क्रमपरिवर्तन के लिए लेखांकन;
* एक 5-चक्र जैसे (1 2 3 4 5) अन्य 5-चक्रों के लिए मानचित्र जैसे (1 3 6 5 2) 144 क्रमपरिवर्तन के लिए लेखांकन;
* 2-चक्र और 3-चक्र जैसे (1 2 3)(4 5) का गुणनफल 6-चक्र जैसे (1 2 5 3 4 6) और इसके विपरीत, प्रत्येक तरीके से 120 क्रमपरिवर्तन के लिए लेखांकन ;
* 2-चक्र और 3-चक्र जैसे (1 2 3)(4 5) का गुणनफल 6-चक्र जैसे (1 2 5 3 4 6) और इसके विपरीत, प्रत्येक विधि से 120 क्रमपरिवर्तन के लिए लेखांकन ;
* 2-चक्र और 4-चक्र का गुणनफल जैसे (1 2 3 4)(5 6) अन्य ऐसे क्रमचय के लिए मैप करता है जैसे (1 4 2 6)(3 5) शेष 90 क्रमचय के लिए लेखांकन।
* 2-चक्र और 4-चक्र का गुणनफल जैसे (1 2 3 4)(5 6) अन्य ऐसे क्रमचय के लिए मैप करता है जैसे (1 4 2 6)(3 5) शेष 90 क्रमचय के लिए लेखांकन।


इस प्रकार, 6 तत्वों पर सभी 720 क्रमचय का हिसाब दिया जाता है। बाहरी ऑटोमोर्फिज्म सामान्य रूप से चक्र संरचना को संरक्षित नहीं करता है, एकल चक्रों को दो चक्रों के उत्पाद और इसके विपरीत मानचित्रण करता है।
इस प्रकार, 6 तत्वों पर सभी 720 क्रमचय का उत्तरदाई होता है। बाहरी ऑटोमोर्फिज्म सामान्य रूप से चक्र संरचना को संरक्षित नहीं करता है, एकल चक्रों को दो चक्रों के उत्पाद और इसके विपरीत मानचित्रण करता है।


इससे A का एक अन्य बाह्य स्वाकारण भी प्राप्त होता है<sub>6</sub>, और यह परिमित सरल समूह का एकमात्र असाधारण बाहरी ऑटोमोर्फिज़्म है:<ref>ATLAS p. xvi{{fcn|date=December 2020}}</ref> साधारण समूहों के अनंत परिवारों के लिए, बाहरी ऑटोमोर्फिज़्म की संख्या के लिए सूत्र हैं, और ऑर्डर 360 का सरल समूह, ए के रूप में माना जाता है<sub>6</sub>, से दो बाहरी ऑटोमोर्फिज्म होने की उम्मीद की जाएगी, चार नहीं।
इससे A<sub>6</sub> का एक अन्य बाह्य स्वाकारण भी प्राप्त होता है, और यह परिमित सरल समूह का एकमात्र असाधारण बाहरी ऑटोमोर्फिज़्म है:<ref>ATLAS p. xvi{{fcn|date=December 2020}}</ref> साधारण समूहों के अनंत वर्गों के लिए, बाहरी ऑटोमोर्फिज़्म की संख्या के लिए सूत्र हैं, और क्रम 360 का सरल समूह, A<sub>6</sub> के रूप में माना जाता है, से चार नहीं किंतु दो बाहरी ऑटोमोर्फिज्म होने की उम्मीद की जाएगी,
हालांकि, जब <sub>6</sub> PSL(2, 9) के रूप में देखा जाता है, बाहरी ऑटोमोर्फिज्म समूह में अपेक्षित क्रम होता है। ([[छिटपुट समूह]]ों के लिए - यानी जो एक अनंत परिवार में नहीं आते हैं - असाधारण बाहरी ऑटोमोर्फिज्म की धारणा खराब परिभाषित है, क्योंकि कोई सामान्य सूत्र नहीं है।)
 
चूँकि , जब A<sub>6</sub> PSL(2, 9) के रूप में देखा जाता है, बाहरी ऑटोमोर्फिज्म समूह में अपेक्षित क्रम होता है। ([[छिटपुट समूह|छिटपुट]] समूहों के लिए - जिससे जो एक अनंत वर्ग में नहीं आते हैं - असाधारण बाहरी ऑटोमोर्फिज्म की धारणा गलत परिभाषित है, क्योंकि कोई सामान्य सूत्र नहीं है।)


=== निर्माण ===
=== निर्माण ===
में सूचीबद्ध कई निर्माण हैं {{Harv|Janusz|Rotman|1982}}.
में सूचीबद्ध कई निर्माण हैं {{Harv|जानुस्ज़|रोटमैन|1982}}.


ध्यान दें कि एक बाहरी ऑटोमोर्फिज्म के रूप में, यह ऑटोमोर्फिज्म का एक वर्ग है, जो केवल एक आंतरिक ऑटोमोर्फिज्म तक ही निर्धारित होता है, इसलिए लिखने के लिए कोई स्वाभाविक नहीं है।
ध्यान दें कि एक बाहरी ऑटोमोर्फिज्म के रूप में, यह ऑटोमोर्फिज्म का एक वर्ग है, जो केवल एक आंतरिक ऑटोमोर्फिज्म तक ही निर्धारित होता है, इसलिए लिखने के लिए कोई स्वाभाविक नहीं है।


एक तरीका है:
एक विधि  है:
* एक विदेशी मानचित्र (एम्बेडिंग) एस का निर्माण करें<sub>5</sub>→ एस<sub>6</sub>; #विदेशी_नक्शा
* एक विदेशी मानचित्र (एम्बेडिंग) S<sub>5</sub> → S<sub>6</sub> का निर्माण करें '''या विदेशी_नक्शा'''
* एस<sub>6</sub> इस उपसमूह के छह संयुग्मों पर संयुग्मन द्वारा कार्य करता है, एक नक्शा एस उत्पन्न करता है<sub>6</sub>→ एस<sub>''X''</sub>, जहाँ X संयुग्मों का समुच्चय है। संख्या 1, ..., 6 के साथ X की पहचान करना (जो संयुग्मों की संख्या के विकल्प पर निर्भर करता है, अर्थात, S के एक तत्व तक<sub>6</sub> (एक आंतरिक ऑटोमोर्फिज्म)) एक बाहरी ऑटोमोर्फिज्म एस पैदा करता है<sub>6</sub>→ एस<sub>6</sub>.
*S<sub>6</sub> इस उपसमूह के छह संयुग्मों पर संयुग्मन द्वारा कार्य करता है, एक नक्शा S<sub>6</sub> → S<sub>''X''</sub> उत्पन्न करता है जहाँ X संयुग्मों का समुच्चय है। संख्या 1, ..., 6 के साथ X की पहचान करना (जो संयुग्मों की संख्या के विकल्प पर निर्भर करता है, अर्थात, S<sub>6</sub> के एक तत्व तक (एक आंतरिक ऑटोमोर्फिज्म)) एक बाहरी ऑटोमोर्फिज्म S<sub>6</sub> → S<sub>6</sub>.उत्पन्न करता है'''<sub>6</sub>→ एस<sub>6</sub>.'''
* यह नक्शा एक बाहरी ऑटोमोर्फिज़्म है, क्योंकि ट्रांसपोज़िशन ट्रांसपोज़िशन के लिए मैप नहीं करता है, लेकिन आंतरिक ऑटोमोर्फिज़्म चक्र संरचना को संरक्षित करता है।
*यह नक्शा एक बाहरी ऑटोमोर्फिज़्म है, क्योंकि स्थानांतरण स्थानांतरण के लिए मैप नहीं करता है, किंतु आंतरिक ऑटोमोर्फिज़्म चक्र संरचना को संरक्षित करता है।


निम्नलिखित के दौरान, सहसमुच्चयों पर गुणन क्रिया या संयुग्मों पर संयुग्मन क्रिया के साथ काम किया जा सकता है।
निम्नलिखित के समय , सहसमुच्चयों पर गुणन क्रिया या संयुग्मों पर संयुग्मन क्रिया के साथ काम किया जा सकता है।


यह देखने के लिए कि एस<sub>6</sub> एक बाहरी ऑटोमोर्फिज्म है, याद रखें कि होमोमोर्फिज्म
यह देखने के लिए कि S<sub>6</sub> में एक बाहरी ऑटोमोर्फिज्म है, याद रखें कि समूह G से एक सममित समूह S<sub>''n''</sub> तक होमोमोर्फिज़्म अनिवार्य रूप से n तत्वों के एक समूह पर G की क्रियाओं के समान हैं, और एक बिंदु को ठीक करने वाला उपसमूह तब सूचकांक का एक उपसमूह होता है। G  में ''n''  इसके विपरीत यदि हमारे पास G   में सूचकांक ''n'' का एक उपसमूह है, तो कोसेट पर गतिविधि ''n''  बिंदुओं पर G  की एक सकर्मक क्रिया देती है, और इसलिए S<sub>''n''</sub> के लिए एक समरूपता है ।
एक समूह G से एक सममित समूह S तक<sub>''n''</sub> अनिवार्य रूप से क्रियाओं के समान हैं
n तत्वों के एक सेट पर G का, और एक बिंदु को ठीक करने वाला उपसमूह तब G में अधिकांश n पर एक उपसमूह के सूचकांक का एक उपसमूह होता है। इसके विपरीत यदि हमारे पास G में सूचकांक n का एक उपसमूह है, तो कोसेट पर कार्रवाई एक सकर्मक देती है एन बिंदुओं पर जी की कार्रवाई, और इसलिए एस के लिए एक समरूपता<sub>''n''</sub>.


=== ग्राफ विभाजन से निर्माण ===
=== ग्राफ विभाजन से निर्माण ===
अधिक गणितीय कठोर निर्माणों से पहले, यह एक सरल निर्माण को समझने में मदद करता है।
अधिक गणितीय कठोर निर्माणों से पहले, यह एक सरल निर्माण को समझने में सहायता करता है।


6 शीर्षों, K के साथ एक पूर्ण ग्राफ़ लें<sub>6</sub>. इसके 15 किनारे हैं, जिन्हें 15 अलग-अलग तरीकों से पूर्ण मिलान में विभाजित किया जा सकता है, प्रत्येक पूर्ण मिलान तीन किनारों का एक सेट है, जिनमें से दो एक शीर्ष साझा करते हैं। 15 के सेट से 5 पूर्ण मिलानों का एक सेट खोजना संभव है, जैसे कि कोई भी दो मिलान एक बढ़त साझा नहीं करते हैं, और उनके बीच में सभी शामिल हैं {{nowrap|1=5 × 3 = 15}} ग्राफ के किनारे; यह [[ग्राफ गुणनखंडन]] 6 अलग-अलग तरीकों से किया जा सकता है।
6 शीर्षों, K<sub>6</sub>के साथ एक पूर्ण ग्राफ़ लें इसके 15 किनारे हैं, जिन्हें 15 अलग-अलग विधि से पूर्ण मिलान में विभाजित किया जा सकता है, प्रत्येक पूर्ण मिलान तीन किनारों का एक समूह है, जिनमें से दो एक शीर्ष साझा करते हैं। 15 के समूह से 5 पूर्ण मिलानों का एक समूह खोजना संभव है, जैसे कि कोई भी दो मिलान एक बढ़त साझा नहीं करते हैं, और उनके बीच में सभी '''सम्मिलित  हैं''' {{nowrap|1=5 × 3 = 15}} किनारे सम्मिलित हैं  यह '''ग्राफ के किनारे; यह''' [[ग्राफ गुणनखंडन]] 6 अलग-अलग विधि से किया जा सकता है।


6 शीर्षों के क्रमचय पर विचार करें, और 6 विभिन्न गुणनखंडों पर इसका प्रभाव देखें। हमें 720 इनपुट क्रमपरिवर्तन से 720 आउटपुट क्रमपरिवर्तन तक का नक्शा मिलता है। वह नक्शा ठीक S का बाहरी स्वाकारवाद है<sub>6</sub>.
6 शीर्षों के क्रमचय पर विचार करें, और 6 विभिन्न गुणनखंडों पर इसका प्रभाव देखें। हमें 720 इनपुट क्रमपरिवर्तन से 720 आउटपुट क्रमपरिवर्तन तक का नक्शा मिलता है। वह नक्शा ठीक S<sub>6</sub> का बाहरी स्वाकारवाद है.


ऑटोमोर्फिज्म होने के नाते, मानचित्र को तत्वों के क्रम को संरक्षित करना चाहिए, लेकिन यह चक्र संरचना को संरक्षित नहीं करता है। उदाहरण के लिए, तीन 2-चक्रों के उत्पाद के लिए एक 2-चक्र मानचित्र; यह देखना आसान है कि 2-चक्र सभी 6 ग्राफ़ गुणनखंडों को किसी न किसी रूप में प्रभावित करता है, और इसलिए जब गुणनखंडों के क्रमपरिवर्तन के रूप में देखा जाता है तो इसका कोई निश्चित बिंदु नहीं होता है। तथ्य यह है कि इस ऑटोमोर्फिज्म का निर्माण संभव है, बड़ी संख्या में संख्यात्मक संयोगों पर निर्भर करता है जो केवल लागू होते हैं {{nowrap|1=''n'' = 6}}.
ऑटोमोर्फिज्म होने के नाते, मानचित्र को तत्वों के क्रम को संरक्षित करना चाहिए, किंतु यह चक्र संरचना को संरक्षित नहीं करता है। उदाहरण के लिए, तीन 2-चक्रों के उत्पाद के लिए एक 2-चक्र मानचित्र; यह देखना आसान है कि 2-चक्र सभी 6 ग्राफ़ गुणनखंडों को किसी न किसी रूप में प्रभावित करता है, और इसलिए जब गुणनखंडों के क्रमपरिवर्तन के रूप में देखा जाता है तो इसका कोई निश्चित बिंदु नहीं होता है। तथ्य यह है कि इस ऑटोमोर्फिज्म का निर्माण संभव है, बड़ी संख्या में संख्यात्मक संयोगों पर निर्भर करता है जो केवल {{nowrap|1=''n'' = 6}} प्रयुक्त होते हैं .


=== विदेशी नक्शा<sub>5</sub> → एस<sub>6</sub> ===
=== विदेशी नक्शा S<sub>5</sub> → S<sub>6</sub> ===
{{anchor|Exotic map}}
S<sub>6</sub> का एक उपसमूह (वास्तव में, 6 संयुग्मित उपसमूह) है जो S<sub>5</sub> के लिए अमूर्त रूप से आइसोमोर्फिक है, किंतु जो S<sub>6</sub> के उपसमूहों के रूप में सकर्मक रूप से कार्य करता है 6 तत्वों के एक समूह पर (स्पष्ट मानचित्र S<sub>''n''</sub> → S<sub>''n''+1</sub> की छवि एक तत्व को ठीक करता है और इस प्रकार सकर्मक नहीं है।)
S का एक उपसमूह (वास्तव में, 6 संयुग्मित उपसमूह) है<sub>6</sub> जो एस के लिए अमूर्त रूप से आइसोमोर्फिक है<sub>5</sub>, लेकिन जो एस के उपसमूहों के रूप में सकर्मक रूप से कार्य करता है<sub>6</sub> 6 तत्वों के एक सेट पर। (स्पष्ट मानचित्र एस की छवि<sub>''n''</sub>→ एस<sub>''n''+1</sub> एक तत्व को ठीक करता है और इस प्रकार सकर्मक नहीं है।)


==== साइलो 5-उपसमूह ====
==== साइलो 5-उपसमूह ====
Janusz और Rotman इसका निर्माण इस प्रकार करते हैं:
जानुस्ज़ और रोटमैन इसका निर्माण इस प्रकार करते हैं:
* एस<sub>5</sub> इसके 6 साइलो उपसमूह | साइलो 5-उपसमूहों के सेट पर संयुग्मन द्वारा सकर्मक रूप से कार्य करता है, एक एम्बेडिंग एस उत्पन्न करता है<sub>5</sub>→ एस<sub>6</sub> ऑर्डर 120 के सकर्मक उपसमूह के रूप में।
* S<sub>6</sub> इसके 6 साइलो उपसमूह साइलो 5-उपसमूहों के समूह पर संयुग्मन द्वारा सकर्मक रूप से कार्य करता है, एक एम्बेडिंग S<sub>5</sub> → S<sub>6</sub>उत्पन्न करता है'''<sub>5</sub>→ एस<sub>6</sub>''' क्रम 120 के सकर्मक उपसमूह के रूप में है।
यह 5-चक्रों के निरीक्षण से आता है: प्रत्येक 5-चक्र क्रम 5 का एक समूह उत्पन्न करता है (इस प्रकार एक सिलो उपसमूह), 5!/5 = 120/5 = 24  5-चक्र होते हैं, जो 6 उपसमूह देते हैं (क्योंकि प्रत्येक उपसमूह भी पहचान शामिल है), और एस<sub>''n''</sub> किसी दिए गए वर्ग के चक्रों के सेट पर संयुग्मन द्वारा सकर्मक रूप से कार्य करता है, इसलिए इन उपसमूहों पर संयुग्मन द्वारा सकर्मक रूप से कार्य करता है।
यह 5-चक्रों के निरीक्षण से आता है: प्रत्येक 5-चक्र क्रम 5 का एक समूह उत्पन्न करता है (इस प्रकार एक सिलो उपसमूह), 5!/5 = 120/5 = 24  5-चक्र होते हैं, जो 6 उपसमूह देते हैं (क्योंकि प्रत्येक उपसमूह भी पहचान सम्मिलित  है), और S<sub>''n''</sub> किसी दिए गए वर्ग के चक्रों के समूह पर संयुग्मन द्वारा सकर्मक रूप से कार्य करता है, इसलिए इन उपसमूहों पर संयुग्मन द्वारा सकर्मक रूप से कार्य करता है।


वैकल्पिक रूप से, कोई साइलो प्रमेय का उपयोग कर सकता है, जो आम तौर पर बताता है कि सभी साइलो पी-उपसमूह संयुग्मित हैं।
वैकल्पिक रूप से, कोई साइलो प्रमेय का उपयोग कर सकता है, जो सामान्यतः बताता है कि सभी साइलो पी-उपसमूह संयुग्मित हैं।


==== पीजीएल (2,5) ====
==== पीजीएल (2,5) ====
पांच तत्वों, पीजीएल (2, 5) के साथ [[परिमित क्षेत्र]] पर आयाम दो का [[प्रक्षेपी रैखिक समूह]], पांच तत्वों के साथ क्षेत्र पर प्रक्षेपी रेखा पर कार्य करता है, पी<sup>1</sup>(एफ़<sub>5</sub>), जिसमें छह तत्व होते हैं। इसके अलावा, यह क्रिया वफादार समूह क्रिया और 3-[[सकर्मक समूह क्रिया]] है, जैसा कि प्रक्षेपी रेखा पर प्रक्षेपी रैखिक समूह की क्रिया के लिए हमेशा होता है। इससे एक नक्शा PGL(2, 5) → S प्राप्त होता है<sub>6</sub> एक सकर्मक उपसमूह के रूप में। S के साथ PGL(2, 5) की पहचान करना<sub>5</sub> और प्रक्षेपी विशेष रेखीय समूह PSL(2, 5) A के साथ<sub>5</sub> वांछित विदेशी मानचित्र एस उत्पन्न करता है<sub>5</sub>एस<sub>6</sub> और ए<sub>5</sub>→ ए<sub>6</sub>.<ref>{{citation
पांच तत्वों, PGL(2, 5) के साथ परिमित क्षेत्र पर आयाम दो का प्रक्षेपी रैखिक समूह, पांच तत्वों, '''P'''<sup>1</sup>('''F'''<sub>5</sub>) के साथ क्षेत्र पर प्रक्षेपी रेखा पर कार्य करता है, जिसमें छह तत्व होते हैं। इसके अतिरिक्त , यह क्रिया विश्वासयोग्य और 3-सकर्मक है, जैसा कि प्रक्षेपी रेखा पर प्रक्षेपी रेखीय समूह की क्रिया के लिए सदैव होता है। यह एक सकर्मक उपसमूह के रूप में PGL(2, 5) → S<sub>6</sub> का नक्शा देता है<ref>{{citation
|title=Small finite sets
|title=Small finite sets
|work=Secret Blogging Seminar
|work=Secret Blogging Seminar
Line 125: Line 125:
|url=http://sbseminar.wordpress.com/2007/10/27/small-finite-sets/
|url=http://sbseminar.wordpress.com/2007/10/27/small-finite-sets/
|postscript=, notes on a talk by [[Jean-Pierre Serre]].
|postscript=, notes on a talk by [[Jean-Pierre Serre]].
}}</ref>
}}</ref>। S<sub>5</sub> के साथ PGL(2, 5)  की पहचान और A<sub>5</sub> के साथ प्रक्षेपी विशेष रैखिक समूह PSL(2, 5) वांछित विदेशी मानचित्र S<sub>5</sub> → S<sub>6</sub> और  A<sub>5</sub> → A<sub>6</sub> प्राप्त करता है। <ref>{{citation
एक ही दर्शन के बाद, एस के निम्नलिखित दो असमान कार्यों के रूप में बाहरी ऑटोमोर्फिज्म का एहसास हो सकता है<sub>6</sub> एक सेट पर छह तत्वों के साथ:<ref>{{citation
|title=The Outer Automorphism of S<sub>6</sub>   
|title=The Outer Automorphism of S<sub>6</sub>   
|work=Secret Blogging Seminar
|work=Secret Blogging Seminar
Line 135: Line 134:
}}</ref>
}}</ref>
* क्रमचय समूह के रूप में सामान्य क्रिया;
* क्रमचय समूह के रूप में सामान्य क्रिया;
* प्रोजेक्टिव लाइन पी के रूप में सेट एक अमूर्त 6-तत्व की छह असमान संरचनाएं<sup>1</sup>(एफ़<sub>5</sub>) - रेखा में 6 बिंदु हैं, और प्रक्षेपी रैखिक समूह 3-सकर्मक रूप से कार्य करता है, इसलिए 3 बिंदुओं को ठीक करते हुए, 3 हैं! = शेष 3 बिंदुओं को व्यवस्थित करने के लिए 6 अलग-अलग तरीके, जो वांछित वैकल्पिक कार्रवाई उत्पन्न करते हैं।
* प्रक्षेपी रेखा '''P'''<sup>1</sup>('''F'''<sub>5</sub>) के रूप में निर्धारित एक सार 6-तत्व की छह असमान संरचनाएं - रेखा में 6 बिंदु हैं, और प्रक्षेपी रैखिक समूह 3-सकर्मक रूप से कार्य करता है, इसलिए 3 बिंदुओं को ठीक करते हुए, 3 हैं! = शेष 3 बिंदुओं को व्यवस्थित करने के लिए 6 अलग-अलग विधि , जो वांछित वैकल्पिक क्रिया उत्पन्न करते हैं।


==== फ्रोबेनियस समूह ====
==== फ्रोबेनियस समूह ====
एक और तरीका:
दूसरा विधि : S<sub>6</sub> के एक बाहरी ऑटोमोर्फिज्म का निर्माण करने के लिए, हमें S<sub>6</sub> में सूचकांक 6 का एक "असामान्य" उपसमूह बनाने की आवश्यकता है, दूसरे शब्दों में एक बिंदु को ठीक करने वाले छह स्पष्ट S<sub>5</sub> उपसमूहों में से एक नहीं है (जो सिर्फ S<sub>6</sub> के आंतरिक ऑटोमोर्फिज्म के अनुरूप है)
एस के एक बाहरी automorphism का निर्माण करने के लिए<sub>6</sub>, हमें निर्माण करने की आवश्यकता है
एस में सूचकांक 6 का एक असामान्य उपसमूह<sub>6</sub>, दूसरे शब्दों में वह जो छह स्पष्ट S में से एक नहीं है<sub>5</sub> उपसमूह एक बिंदु को ठीक करते हैं (जो कि एस के आंतरिक ऑटोमोर्फिज्म के अनुरूप है<sub>6</sub>).


परिमित क्षेत्र के परिशोधन परिवर्तनों का [[फ्रोबेनियस समूह]] | एफ<sub>5</sub>(मैप्स एक्स<math>\mapsto</math>ax + b जहां a ≠ 0) का क्रम 20 = (5 − 1) ·5 है और 5 तत्वों के साथ क्षेत्र पर कार्य करता है, इसलिए S का एक उपसमूह है<sub>5</sub>.
परिमित क्षेत्र के परिशोधन परिवर्तनों का [[फ्रोबेनियस समूह]] | एफ<sub>5</sub>(मैप्स X<math>\mapsto</math>ax + b जहां a ≠ 0) का क्रम 20 = (5 − 1) ·5 है और 5 तत्वों के साथ क्षेत्र पर कार्य करता है, इसलिए S का एक उपसमूह है<sub>5</sub>.
(वास्तव में, यह ऊपर बताए गए साइलो 5-समूह का सामान्यीकरण है, जिसे F के अनुवादों के क्रम-5 समूह के रूप में माना जाता है<sub>5</sub>.)
(वास्तव में, यह ऊपर बताए गए साइलो 5-समूह का सामान्यीकरण है, जिसे F के अनुवादों के क्रम-5 समूह के रूप में माना जाता है<sub>5</sub>.)


एस<sub>5</sub> कोसेट स्पेस पर सकर्मक रूप से कार्य करता है, जो 120/20 = 6 तत्वों का एक सेट है (या संयुग्मन द्वारा, जो उपरोक्त क्रिया को उत्पन्न करता है)।
'''F'''<sub>5</sub> के एफ़िन परिवर्तनों का फ्रोबेनियस समूह (मानचित्र  ''x <math>\mapsto</math>ax'' + ''b'' जहां a ≠ 0) का क्रम 20 = (5 − 1) · 5 है और 5 तत्वों के साथ क्षेत्र पर कार्य करता है, इसलिए S<sub>5</sub> का एक उपसमूह है। (वास्तव में , यह ऊपर बताए गए साइलो 5-समूह का सामान्यकर्ता है, जिसे '''F'''<sub>5</sub> के अनुवादों के क्रम -5 समूह के रूप में माना जाता है।)
 
S<sub>5</sub> कोसेट स्पेस पर सकर्मक रूप से कार्य करता है, जो 120/20 = 6 तत्वों का एक समूह है (या संयुग्मन द्वारा, जो उपरोक्त क्रिया को उत्पन्न करता है)।


=== अन्य निर्माण ===
=== अन्य निर्माण ===
[[अर्नेस्ट विट]] को ऑट (एस<sub>6</sub>) [[मैथ्यू समूह]] एम में<sub>12</sub> (एक उपसमूह टी आइसोमॉर्फिक टू एस<sub>6</sub> और एक तत्व σ जो T को सामान्य करता है और बाहरी ऑटोमोर्फिज़्म द्वारा कार्य करता है)इसी प्रकार एस<sub>6</sub> 6 तत्वों के एक सेट पर 2 अलग-अलग तरीकों से कार्य करना (बाहरी ऑटोमोर्फिज्म होना), एम<sub>12</sub> 12 तत्वों के एक सेट पर 2 अलग-अलग तरीकों से कार्य करता है (एक बाहरी ऑटोमोर्फिज्म है), हालांकि एम<sub>12</sub> अपने आप में असाधारण है, कोई इस बाहरी स्वरूपवाद को ही असाधारण नहीं मानता।
अर्न्स्ट विट ने मैथ्यू समूह M<sub>12</sub> (S<sub>6</sub> के लिए एक उपसमूह T आइसोमोर्फिक और एक तत्व σ जो T को सामान्य करता है और बाहरी ऑटोमोर्फिज़्म द्वारा कार्य करता है) में ऑट (S<sub>6</sub> ) की एक प्रति पाई। इसी तरह S<sub>6</sub> 6 तत्वों के एक समूह पर 2 अलग-अलग विधि से कार्य करता है (बाहरी ऑटोमोर्फिज्म होने पर), M12 12 तत्वों के समूह पर 2 अलग-अलग विधि से कार्य करता है (एक बाहरी ऑटोमोर्फिज्म है), चूंकि ''M''<sub>12</sub> स्वयं असाधारण है, कोई नहीं करता है इस बाहरी स्वरूपवाद को ही असाधारण मानें।
 
A<sub>6</sub> का पूर्ण ऑटोमोर्फिज्म समूह मैथ्यू समूह M<sub>12</sub> के अधिकतम उपसमूह के रूप में स्वाभाविक रूप से प्रकट होता है 2 विधि से, या तो एक उपसमूह के रूप में 12 बिंदुओं के विभाजन को 6-तत्व समूहों की एक जोड़ी में तय करना, या एक उपसमूह के रूप में 2 बिंदुओं के उपसमूह को ठीक करना है ।


का पूर्ण ऑटोमोर्फिज्म समूह<sub>6</sub> मैथ्यू समूह एम के अधिकतम उपसमूह के रूप में स्वाभाविक रूप से प्रकट होता है<sub>12</sub> 2 तरीकों से, या तो एक उपसमूह के रूप में 12 बिंदुओं के विभाजन को 6-तत्व सेटों की एक जोड़ी में तय करना, या एक उपसमूह के रूप में 2 बिंदुओं के सबसेट को ठीक करना।
यह देखने का एक और विधि  है कि S<sub>6</sub> इस तथ्य का उपयोग करना है कि A<sub>6</sub> PSL<sub>2(9)</sub> के लिए आइसोमोर्फिक है, जिसका ऑटोमोर्फिज्म समूह प्रक्षेपी सेमिलिनियर समूह PΓL<sub>2</sub>(9) है, जिसमें PSL<sub>2</sub>(9) सूचकांक 4 का है, जो क्रम 4 के एक बाहरी ऑटोमोर्फिज्म समूह की उपज है। इस ऑटोमोर्फिज्म को देखने का सबसे दृश्य विधि  परिमित क्षेत्रों पर बीजगणितीय ज्यामिति के माध्यम से एक व्याख्या देना है, जो इस प्रकार है। S<sub>6</sub> की कार्रवाई पर विचार करें 3 तत्वों के साथ क्षेत्र k पर 6-स्पेस को परिबद्ध करें। यह क्रिया कई चीजों को संरक्षित करती है: हाइपरप्लेन H जिस पर निर्देशांक का योग 0 होता है, H में रेखा L जहां सभी निर्देशांक मेल खाते हैं, और सभी 6 निर्देशांकों के वर्गों के योग द्वारा दिया गया द्विघात रूप q। Q से H के प्रतिबंध में दोष रेखा L है, इसलिए 4-आयामी H/L पर एक प्रेरित द्विघात रूप Q है जो एक जाँच गैर-पतित और गैर-विभाजित है। ''H''/''L'' में ''Q'' की शून्य योजना एक चिकनी चतुष्कोणीय सतह X को संबंधित प्रक्षेप्य 3-स्पेस ओवर के में परिभाषित करती है। K के एक बीजगणितीय संवरण पर, X दो प्रक्षेपी रेखाओं का गुणनफल है, इसलिए एक अवरोही तर्क के द्वारा X द्विघात ईटेल बीजगणित K पर प्रक्षेपी रेखा के k के लिए वेल प्रतिबंध है। चूँकि Q, k से विभाजित नहीं है, एक सहायक तर्क k पर विशेष ऑर्थोगोनल समूहों के साथ K को एक क्षेत्र होने के लिए विवश  करता है (k की दो प्रतियों के उत्पाद के अतिरिक्त )। प्राकृतिक एस<sub>6</sub>-दृष्टि में सब कुछ पर कार्रवाई S<sub>6</sub> से एक मानचित्र को परिभाषित करती है X के के-ऑटोमोर्फिज्म समूह के लिए, जो PGL<sub>2</sub>(''K'') = PGL<sub>2</sub>(9) का अर्ध-प्रत्यक्ष उत्पाद जी है गाल्वा के आक्रमण के विरुद्ध यह मानचित्र साधारण समूह A<sub>6</sub> को वहन करता है गैर-तुच्छ रूप से उपसमूह PSL<sub>2</sub>(9) में (इसलिए पर) अर्ध-प्रत्यक्ष उत्पाद जी में सूचकांक 4 का, इसलिए S<sub>6</sub> इसके द्वारा G के एक सूचकांक -2 उपसमूह के रूप में पहचाना जाता है (अर्थात्, PSL<sub>2</sub>(9) द्वारा उत्पन्न G का उपसमूह और गैलोज़ इनवोल्यूशन)। S<sub>6</sub>के बाहर G के किसी तत्व द्वारा संयुग्मन S<sub>6</sub>के गैर-तुच्छ बाहरी ऑटोमोर्फिज्म को परिभाषित करता है.


यह देखने का एक और तरीका है कि एस<sub>6</sub> इस तथ्य का उपयोग करना है कि ए<sub>6</sub> पीएसएल के लिए आइसोमोर्फिक है<sub>2</sub>(9), जिसका ऑटोमोर्फिज्म समूह प्रक्षेपी सेमिलिनियर समूह PΓL है<sub>2</sub>(9), जिसमें पीएसएल<sub>2</sub>(9) इंडेक्स 4 का है, जो क्रम 4 के एक बाहरी ऑटोमोर्फिज्म समूह की उपज है। इस ऑटोमोर्फिज्म को देखने का सबसे दृश्य तरीका परिमित क्षेत्रों पर बीजगणितीय ज्यामिति के माध्यम से एक व्याख्या देना है, जो इस प्रकार है। S की कार्रवाई पर विचार करें<sub>6</sub> 3 तत्वों के साथ फ़ील्ड k पर 6-स्पेस को परिबद्ध करें। यह क्रिया कई चीजों को संरक्षित करती है: हाइपरप्लेन H जिस पर निर्देशांक का योग 0 होता है, H में रेखा L जहां सभी निर्देशांक मेल खाते हैं, और सभी 6 निर्देशांकों के वर्गों के योग द्वारा दिया गया द्विघात रूप q। Q से H के प्रतिबंध में दोष रेखा L है, इसलिए 4-आयामी H/L पर एक प्रेरित द्विघात रूप Q है जो एक जाँच गैर-पतित और गैर-विभाजित है। एच / एल में क्यू की शून्य योजना एक चिकनी चतुष्कोणीय सतह एक्स को संबंधित प्रोजेक्टिव 3-स्पेस ओवर के में परिभाषित करती है। K के एक बीजगणितीय संवरण पर, X दो प्रक्षेपी रेखाओं का गुणनफल है, इसलिए एक अवरोही तर्क के द्वारा X द्विघात étale बीजगणित K पर प्रक्षेपी रेखा के k के लिए Weil प्रतिबंध है। चूँकि Q, k से विभाजित नहीं है, एक सहायक तर्क k पर विशेष ऑर्थोगोनल समूहों के साथ K को एक क्षेत्र होने के लिए मजबूर करता है (k की दो प्रतियों के उत्पाद के बजाय)। प्राकृतिक एस<sub>6</sub>-दृष्टि में सब कुछ पर कार्रवाई एस से एक मानचित्र को परिभाषित करती है<sub>6</sub> एक्स के के-ऑटोमोर्फिज्म समूह के लिए, जो पीजीएल का अर्ध-प्रत्यक्ष उत्पाद जी है<sub>2</sub>(के) = पीजीएल<sub>2</sub>(9) गाल्वा के आक्रमण के खिलाफ। यह मानचित्र साधारण समूह A को वहन करता है<sub>6</sub> गैर-तुच्छ रूप से उपसमूह पीएसएल में (इसलिए पर)।<sub>2</sub>(9) अर्ध-प्रत्यक्ष उत्पाद जी में इंडेक्स 4 का, इसलिए एस<sub>6</sub> इसके द्वारा G के एक इंडेक्स -2 उपसमूह के रूप में पहचाना जाता है (अर्थात्, PSL द्वारा उत्पन्न G का उपसमूह<sub>2</sub>(9) और गैलोज़ इनवोल्यूशन)। S के बाहर G के किसी तत्व द्वारा संयुग्मन<sub>6</sub> एस के गैर-तुच्छ बाहरी ऑटोमोर्फिज्म को परिभाषित करता है<sub>6</sub>.
'''चकांक 4 का, इसलिए S<sub>6</sub> इसके द्वारा G के एक सूचकांक -2 उपसमूह के रूप में पहचाना जाता है (अर्थात्, PSL<sub>2</sub>(9) द्वारा उत्पन्न G का उपसमूह और गैलोज़ इनवोल्यूशन)। S<sub>6</sub>के बाहर G के किसी तत्व द्वारा संयुग्मन S<sub>6</sub>के गैर-तुच्छ बाहरी ऑटोमोर्फिज्म को परिभाषित'''


=== बाहरी स्वाकारवाद की संरचना ===
=== बाहरी स्वाकारवाद की संरचना ===
चक्रों पर, यह (12) (12)(34)(56) (कक्षा 2) के साथ प्रकार (12) के क्रमपरिवर्तन का आदान-प्रदान करता है<sup>1</sup> कक्षा 2 के साथ<sup>3</sup>), और प्रकार (123) के साथ (145)(263) (कक्षा 3)<sup>1</sup> कक्षा 3 के साथ<sup>2</sup>). बाहरी ऑटोमोर्फिज्म भी प्रकार (12)(345) के साथ (123456) (कक्षा 2) के क्रमपरिवर्तन का आदान-प्रदान करता है<sup>1</sup>3<sup>1</sup> कक्षा 6 के साथ<sup>1</सुप>). एस में अन्य चक्र प्रकारों में से प्रत्येक के लिए<sub>6</sub>, बाहरी ऑटोमोर्फिज्म चक्र प्रकार के क्रमपरिवर्तन के वर्ग को ठीक करता है।
चक्रों पर, यह प्रकार (12) के साथ (12)(34)(56) (कक्षा 2<sup>1</sup> के साथ कक्षा 2<sup>3</sup>), और प्रकार (123) के साथ (145)(263) (कक्षा 3<sup>1</sup> के साथ वर्ग 3<sup>2</sup>) के क्रमपरिवर्तन का आदान-प्रदान करता है। बाहरी ऑटोमोर्फिज्म भी प्रकार (12)(345) के साथ (123456) (वर्ग 2<sup>1</sup>3<sup>1</sup> वर्ग 6<sup>1</sup> के साथ) के क्रमपरिवर्तन का आदान-प्रदान करता है। S<sub>6</sub> में प्रत्येक अन्य चक्र प्रकार के लिए, बाहरी ऑटोमोर्फिज्म चक्र प्रकार के क्रमपरिवर्तन के वर्ग को ठीक करता है।
 
A<sub>6</sub> पर, यह 3-चक्रों (जैसे (123)) को कक्षा 3<sup>2</sup> के तत्वों (जैसे (123)(456)) के साथ बदल देता है।


एक पर<sub>6</sub>, यह 3-चक्रों (जैसे (123)) को कक्षा 3 के तत्वों से बदल देता है<sup>2</sup> (जैसे (123)(456))।


== कोई अन्य बाहरी ऑटोमोर्फिज्म नहीं ==
== कोई अन्य बाहरी ऑटोमोर्फिज्म नहीं ==
यह देखने के लिए कि अन्य सममित समूहों में से किसी के पास बाहरी ऑटोमोर्फिज्म नहीं है, दो चरणों में आगे बढ़ना सबसे आसान है:
यह देखने के लिए कि अन्य सममित समूहों में से किसी के पास बाहरी ऑटोमोर्फिज्म नहीं है, दो चरणों में आगे बढ़ना सबसे आसान है:
# सबसे पहले, दिखाएँ कि कोई भी ऑटोमोर्फिज्म जो ट्रांसपोज़िशन के [[संयुग्मन वर्ग]] को संरक्षित करता है, एक आंतरिक ऑटोमोर्फिज़्म है। (इससे यह भी पता चलता है कि एस का बाहरी ऑटोमोर्फिज्म<sub>6</sub> निराला है; नीचे देखें।) ध्यान दें कि एक ऑटोमोर्फिज्म को प्रत्येक संयुग्मन वर्ग (चक्रीय क्रमचय द्वारा विशेषता जो इसके तत्व साझा करते हैं) को एक (संभवतः अलग) संयुग्मी वर्ग में भेजना चाहिए।
# सबसे पहले, दिखाएँ कि कोई भी ऑटोमोर्फिज्म जो स्थानांतरण के [[संयुग्मन वर्ग]] को संरक्षित करता है, एक आंतरिक ऑटोमोर्फिज़्म है। (इससे यह भी पता चलता है कि S<sub>6</sub> का बाहरी ऑटोमोर्फिज्म निराला है; नीचे देखें।) ध्यान दें कि एक ऑटोमोर्फिज्म को प्रत्येक संयुग्मन वर्ग (चक्रीय क्रमचय द्वारा विशेषता जो इसके तत्व साझा करते हैं) को एक (संभवतः अलग) संयुग्मी वर्ग में भेजना चाहिए।
# दूसरा, दिखाएँ कि प्रत्येक ऑटोमोर्फिज़्म (उपरोक्त के अलावा एस<sub>6</sub>) स्थानान्तरण के वर्ग को स्थिर करता है।
# दूसरा, दिखाएँ कि प्रत्येक ऑटोमोर्फिज़्म (S<sub>6</sub> के लिए उपरोक्त के अतिरिक्त ) स्थानान्तरण के वर्ग को स्थिर करता है।


उत्तरार्द्ध को दो तरीकों से दिखाया जा सकता है:
उत्तरार्द्ध को दो विधि से दिखाया जा सकता है:
* एस के अलावा हर सममित समूह के लिए<sub>6</sub>, ऑर्डर 2 के तत्वों से युक्त कोई अन्य संयुग्मन वर्ग नहीं है जिसमें तत्वों की संख्या उतनी ही हो जितनी कि ट्रांसपोज़िशन के वर्ग में।
* S<sub>6</sub> के अतिरिक्त  हर सममित समूह के लिए, क्रम 2 के तत्वों से युक्त कोई अन्य संयुग्मन वर्ग नहीं है जिसमें तत्वों की संख्या उतनी ही हो जितनी कि स्थानांतरण के वर्ग में।
* या इस प्रकार है:
* या इस प्रकार है:


ऑर्डर दो का प्रत्येक क्रमचय (जिसे इनवोल्यूशन (गणित) कहा जाता है) k> 0 असंयुक्त ट्रांसपोज़िशन का उत्पाद है, ताकि इसकी चक्रीय संरचना 2 हो<sup></सुप>1<sup>n−2k</sup>. स्थानापन्न वर्ग (k = 1) के बारे में क्या विशेष है?
क्रम दो का प्रत्येक क्रमचय (इनवोल्यूशन कहा जाता है) k > 0 असंयुक्त प्रतिस्थापन का एक उत्पाद है, जिससे  इसकी चक्रीय संरचना 2<sup>''k''</sup>1<sup>''n''−2''k''</sup> हो। स्थानापन्न वर्ग (k = 1) के बारे में क्या विशेष है?
 
यदि कोई दो भिन्न परिवर्तनों τ1 और τ2 का गुणनफल बनाता है, तो उसे सदैव या तो 3-चक्र या 2<sup>2</sup>1<sup>''n''−4</sup>, प्रकार का क्रमचय प्राप्त होता है, इसलिए उत्पादित तत्व का क्रम या तो 2 या 3 है। दूसरी ओर, यदि एक प्रकार k> 1 के दो अलग-अलग इनवॉल्यूशन σ1, σ2 का उत्पाद बनाता है, फिर n ≥ 7 प्रदान किया जाता है, निम्नानुसार क्रम 6, 7 या 4 के तत्व का उत्पादन करना सदैव संभव होता है। हम यह व्यवस्था कर सकते हैं कि उत्पाद में कोई भी हो
 
 


यदि कोई दो अलग-अलग ट्रांसपोजिशन τ का उत्पाद बनाता है<sub>1</sub> और टी<sub>2</sub>, तब कोई हमेशा या तो 3-चक्र या प्रकार 2 का क्रमचय प्राप्त करता है<sup>2</sup>1<sup>n−4</sup>, इसलिए उत्पादित तत्व का क्रम या तो 2 या 3 है। दूसरी ओर, यदि कोई दो अलग-अलग इनवोल्यूशन σ का गुणनफल बनाता है<sub>1</sub>, पी<sub>2</sub> प्रकार का {{nowrap|''k'' > 1}}, फिर प्रदान किया गया {{nowrap|''n'' ≥ 7}}, निम्न क्रम 6, 7 या 4 के तत्व का उत्पादन करना हमेशा संभव होता है। हम यह व्यवस्था कर सकते हैं कि उत्पाद में कोई भी हो
* दो 2-चक्र और एक 3-चक्र (k = 2 और ''n'' ≥ 7 के लिए)
* दो 2-चक्र और एक 3-चक्र (के = 2 और एन ≥ 7 के लिए)
* एक 7-चक्र (k = 3 और n ≥ 7 के लिए)
* एक 7-चक्र (के = 3 और एन ≥ 7 के लिए)
* दो 4-चक्र (k = 4 और n ≥ 8 के लिए)
* दो 4-चक्र (के = 4 और एन ≥ 8 के लिए)
K ≥ 5 के लिए, पिछले उदाहरण के क्रमचय σ1, σ2 में जोड़ें जो निरर्थक 2-चक्र हैं जो एक दूसरे को समाप्त करते हैं, और हमें अभी भी दो 4-चक्र मिलते हैं।
k ≥ 5 के लिए, क्रमचय σ से जुड़ें<sub>1</sub>, पी<sub>2</sub> पिछले उदाहरण में निरर्थक 2-चक्र हैं जो एक दूसरे को रद्द करते हैं, और हमें अभी भी दो 4-चक्र मिलते हैं।


अब हम एक विरोधाभास पर पहुँचते हैं, क्योंकि यदि ट्रांसपोज़िशन का वर्ग ऑटोमोर्फिज़्म f के माध्यम से ऐसे इनवॉल्यूशन के वर्ग में भेजा जाता है, जिसमें k> 1 है, तो दो ट्रांसपोज़िशन मौजूद हैं τ<sub>1</sub>, टी<sub>2</sub> ऐसा है कि f(τ<sub>1</sub>) एफ (टी<sub>2</sub>) का क्रम 6, 7 या 4 है, लेकिन हम जानते हैं कि τ<sub>1</sub>τ<sub>2</sub> आदेश 2 या 3 है।
अब हम एक विरोधाभास पर पहुंचते हैं, क्योंकि यदि ट्रांसपोज़िशन का वर्ग ऑटोमोर्फिज़्म f के माध्यम से एक ऐसे इनवॉल्यूशन के वर्ग में भेजा जाता है जिसमें k> 1 है, तो दो ट्रांसपोज़िशन ''τ''<sub>1</sub>, ''τ''<sub>2</sub> उपस्थित हैं जैसे कि ''f''(''τ''<sub>1</sub>) ''f''(''τ''<sub>2</sub>) का क्रम है 6, 7 या 4, किंतु हम जानते हैं कि''τ''<sub>1</sub>''τ''<sub>2</sub> का क्रम 2 या 3 है।


=== S का कोई अन्य बाहरी स्वरूपवाद नहीं<sub>6</sub> ===
=== S का कोई अन्य बाहरी स्वरूपवाद नहीं<sub>6</sub> ===
एस<sub>6</sub> बाहरी ऑटोमोर्फिज्म का बिल्कुल एक (वर्ग) है: आउट (एस<sub>6</sub>) = सी<sub>2</sub>.
एस<sub>6</sub> बाहरी ऑटोमोर्फिज्म का बिल्कुल एक (वर्ग) है: आउट (S<sub>6</sub>) = C<sub>2</sub>.


इसे देखने के लिए, देखें कि S के केवल दो संयुग्मन वर्ग हैं<sub>6</sub> आकार 15 का: पारदर्शिता और कक्षा 2 के<sup>3</उप>। ऑट का प्रत्येक तत्व (एस<sub>6</sub>) या तो इनमें से प्रत्येक संयुग्मी वर्ग को संरक्षित करता है, या उनका आदान-प्रदान करता है। ऊपर निर्मित बाहरी ऑटोमोर्फिज्म का कोई भी प्रतिनिधि संयुग्मन वर्गों का आदान-प्रदान करता है, जबकि एक सूचकांक 2 उपसमूह ट्रांसपोज़िशन को स्थिर करता है। लेकिन एक ऑटोमोर्फिज्म जो ट्रांसपोजिशन को स्थिर करता है, आंतरिक है, इसलिए आंतरिक ऑटोमोर्फिज्म ऑट (एस) का एक इंडेक्स 2 उपसमूह बनाता है।<sub>6</sub>), इसलिए आउट (एस<sub>6</sub>) = सी<sub>2</sub>.
इसे देखने के लिए, निरीक्षण करें कि आकार 15 के S<sub>6</sub> के केवल दो संयुग्मन वर्ग हैं: स्थानान्तरण और वर्ग 23 के ऑट (S<sub>6</sub> ) का प्रत्येक तत्व या तो इन संयुग्मन वर्गों में से प्रत्येक को संरक्षित करता है, या उनका आदान-प्रदान करता है। ऊपर निर्मित बाहरी ऑटोमोर्फिज्म का कोई भी प्रतिनिधि संयुग्मन वर्गों का आदान-प्रदान करता है, जबकि एक सूचकांक 2 उपसमूह ट्रांसपोज़िशन को स्थिर करता है। लेकिन एक ऑटोमोर्फिज़्म जो स्थानांतरण को स्थिर करता है, आंतरिक है, इसलिए आंतरिक ऑटोमोर्फिज़्म ऑट (S<sub>6</sub> ) का एक सूचकांक 2 उपसमूह बनाते हैं, इसलिए आउट (S<sub>6</sub> ) = C<sub>2</sub>


अधिक सारगर्भित: एक ऑटोमोर्फिज़्म जो ट्रांसपोज़िशन को स्थिर करता है, आंतरिक है, और ऑर्डर 15 (ट्रांसपोज़िशन और ट्रिपल ट्रांसपोज़िशन) के केवल दो संयुग्मन वर्ग हैं, इसलिए बाहरी ऑटोमोर्फिज़्म समूह अधिकतम क्रम 2 है।
अधिक सारगर्भित: एक ऑटोमोर्फिज़्म जो स्थानांतरण को स्थिर करता है, आंतरिक है, और क्रम 15 (स्थानांतरण और ट्रिपल ट्रांसपोज़िशन) के केवल दो संयुग्मन वर्ग हैं, इसलिए बाहरी ऑटोमोर्फिज़्म समूह अधिकतम क्रम 2 है।


== छोटा एन ==
== छोटा एन ==


=== सममित ===
=== सममित ===
एन = 2 के लिए, एस<sub>2</sub>= सी<sub>2</sub>= Z/2 और ऑटोमोर्फिज़्म समूह तुच्छ है (स्पष्ट रूप से, लेकिन अधिक औपचारिक रूप से क्योंकि Aut(Z/2) = GL(1, Z/2) = Z/2<sup>*</sup> = सी<sub>1</sub>). इस प्रकार आंतरिक ऑटोमोर्फिज़्म समूह भी तुच्छ है (क्योंकि एस<sub>2</sub> एबेलियन है)।
n = 2 के लिए, S<sub>2</sub> = C<sub>2</sub> = '''Z'''/2 और ऑटोमोर्फिज्म समूह तुच्छ है (स्पष्ट रूप से, किंतु अधिक औपचारिक रूप से क्योंकि Aut(Z/2) = GL(1, Z/2) = Z/2* = C<sub>1</sub>)इस प्रकार आंतरिक ऑटोमोर्फिज्म समूह भी तुच्छ है (क्योंकि S<sub>2</sub> एबेलियन है)।


=== वैकल्पिक ===
=== वैकल्पिक ===
एन = 1 और 2 के लिए, <sub>1</sub>= <sub>2</sub>= सी<sub>1</sub> तुच्छ है, इसलिए ऑटोमोर्फिज़्म समूह भी तुच्छ है। एन = 3 के लिए, <sub>3</sub>= सी<sub>3</sub>= Z/3 एबेलियन (और चक्रीय) है: ऑटोमोर्फिज़्म समूह GL(1, Z/3 है<sup>*</sup>) = सी<sub>2</sub>, और आंतरिक ऑटोमोर्फिज़्म समूह तुच्छ है (क्योंकि यह एबेलियन है)।
n = 1 और 2 के लिए, A<sub>1</sub> = A<sub>2</sub> = C<sub>1</sub> तुच्छ है, इसलिए ऑटोमोर्फिज़्म समूह भी तुच्छ है। n = 3 के लिए, A<sub>3</sub> = C<sub>3</sub> = '''Z'''/3 एबेलियन (और चक्रीय) है: ऑटोमोर्फिज़्म समूह GL(1, '''Z'''/3<sup>*</sup>) = C<sub>2</sub> है, और आंतरिक ऑटोमोर्फिज़्म समूह तुच्छ है (क्योंकि यह एबेलियन है)।


== टिप्पणियाँ ==
== टिप्पणियाँ ==
Line 199: Line 204:
== संदर्भ ==
== संदर्भ ==
* https://web.archive.org/web/20071227060045/http://polyomino.f2s.com/david/haskell/outers6.html
* https://web.archive.org/web/20071227060045/http://polyomino.f2s.com/david/haskell/outers6.html
* [http://math.ucr.edu/home/baez/six.html Some Thoughts on the Number 6], by John Baez: relates outer automorphism to the [[regular icosahedron]]
* [http://math.ucr.edu/home/baez/six.html Some Thoughts on the Number 6], by John Baez: relates outer ऑटोमोर्फिज़्म to the [[regular icosahedron]]
* "12 points in PG(3, 5) with 95040 self-transformations" in "The Beauty of Geometry", by Coxeter: discusses outer automorphism on first 2 pages
* "12 points in PG(3, 5) with 95040 self-transformations" in "The Beauty of Geometry", by Coxeter: discusses outer ऑटोमोर्फिज़्म on first 2 pages
* {{cite journal|jstor=2321657|title=Outer Automorphisms of S<sub>6</sub> |first1=Gerald |last1=Janusz |first2=Joseph |last2=Rotman |date=June–July 1982 |journal=[[The American Mathematical Monthly]] |volume=89 |issue=6 |pages=407–410 |doi=10.2307/2321657}}
* {{cite journal|jstor=2321657|title=Outer Automorphisms of S<sub>6</sub> |first1=Gerald |last1=Janusz |first2=Joseph |last2=Rotman |date=June–July 1982 |journal=[[The American Mathematical Monthly]] |volume=89 |issue=6 |pages=407–410 |doi=10.2307/2321657}}
* {{cite journal|jstor=2324961|title=Symmetries of the Cube and Outer Automorphisms of S6|first=Thomas A.|last=Fournelle|date=1 January 1993|journal=The American Mathematical Monthly|volume=100|issue=4|pages=377–380|doi=10.2307/2324961}}
* {{cite journal|jstor=2324961|title=Symmetries of the Cube and Outer Automorphisms of S6|first=Thomas A.|last=Fournelle|date=1 January 1993|journal=The American Mathematical Monthly|volume=100|issue=4|pages=377–380|doi=10.2307/2324961}}

Revision as of 10:15, 2 May 2023

समूह सिद्धांत में, गणित की एक शाखा, सममित समूहों और वैकल्पिक समूहों के ऑटोमोर्फिज़्म और बाहरी ऑटोमोर्फिज्म दोनों इन ऑटोमोर्फिज़्म के मानक उदाहरण हैं, और अध्ययन की वस्तुएँ अपने आप में, विशेष रूप से S6 के असाधारण बाहरी ऑटोमोर्फिज़्म, 6 तत्वों पर सममित समूह है।

सारांश

[1]


सामान्य स्थिति

  • : , और इस तरह .
औपचारिक रूप से, पूरा समूह और प्राकृतिक मानचित्र है एक समरूपता है।
  • : , और बाहरी ऑटोमोर्फिज्म एक सम और विषम क्रमपरिवर्तन द्वारा संयुग्मन है।
  • :
वास्तव में, प्राकृतिक नक्शे समाकृतिकता हैं।

असाधारण स्थिति

  • : सामान्य :
  • :
  • : , और एक अर्ध-प्रत्यक्ष उत्पाद है।
  • : , और


S6 का असाधारण बाहरी ऑटोमोर्फिज्म

सममित समूहों में केवल S6 एक गैर-तुच्छ बाहरी ऑटोमोर्फिज्म है, जिसे कोई असाधारण वस्तु (असाधारण लाई बीजगणित के अनुरूप) या विदेशी कह सकता है। वास्तव में, आउट (S6) = C2.[2]

इसकी खोज 1895 में ओटो होल्डर ने की थी।[2][3]

बाह्य स्वरूपवाद की विशिष्ट प्रकृति इस प्रकार है:

  • एकमात्र पहचान क्रमचय मानचित्र स्वयं के लिए;
  • एक 2-चक्र जैसे (1 2) मानचित्र तीन 2-चक्रों के उत्पाद जैसे (1 2)(3 4)(5 6) और इसके विपरीत, प्रत्येक तरह से 15 क्रमपरिवर्तन होते हैं;
  • एक 3-चक्र जैसे (1 2 3) दो 3-चक्रों के उत्पाद जैसे (1 4 5) (2 6 3) और इसके विपरीत, प्रत्येक तरह से 40 क्रमपरिवर्तन के लिए लेखांकन;
  • एक 4-चक्र जैसे (1 2 3 4) अन्य 4-चक्र जैसे कि (1 6 2 4) 9 0 क्रमपरिवर्तन के लिए लेखांकन;
  • दो 2-चक्रों का उत्पाद जैसे (1 2)(3 4) दो 2-चक्रों के दूसरे उत्पाद जैसे (3 5) (4 6), 45 क्रमपरिवर्तन के लिए लेखांकन;
  • एक 5-चक्र जैसे (1 2 3 4 5) अन्य 5-चक्रों के लिए मानचित्र जैसे (1 3 6 5 2) 144 क्रमपरिवर्तन के लिए लेखांकन;
  • 2-चक्र और 3-चक्र जैसे (1 2 3)(4 5) का गुणनफल 6-चक्र जैसे (1 2 5 3 4 6) और इसके विपरीत, प्रत्येक विधि से 120 क्रमपरिवर्तन के लिए लेखांकन ;
  • 2-चक्र और 4-चक्र का गुणनफल जैसे (1 2 3 4)(5 6) अन्य ऐसे क्रमचय के लिए मैप करता है जैसे (1 4 2 6)(3 5) शेष 90 क्रमचय के लिए लेखांकन।

इस प्रकार, 6 तत्वों पर सभी 720 क्रमचय का उत्तरदाई होता है। बाहरी ऑटोमोर्फिज्म सामान्य रूप से चक्र संरचना को संरक्षित नहीं करता है, एकल चक्रों को दो चक्रों के उत्पाद और इसके विपरीत मानचित्रण करता है।

इससे A6 का एक अन्य बाह्य स्वाकारण भी प्राप्त होता है, और यह परिमित सरल समूह का एकमात्र असाधारण बाहरी ऑटोमोर्फिज़्म है:[4] साधारण समूहों के अनंत वर्गों के लिए, बाहरी ऑटोमोर्फिज़्म की संख्या के लिए सूत्र हैं, और क्रम 360 का सरल समूह, A6 के रूप में माना जाता है, से चार नहीं किंतु दो बाहरी ऑटोमोर्फिज्म होने की उम्मीद की जाएगी, ।

चूँकि , जब A6 PSL(2, 9) के रूप में देखा जाता है, बाहरी ऑटोमोर्फिज्म समूह में अपेक्षित क्रम होता है। (छिटपुट समूहों के लिए - जिससे जो एक अनंत वर्ग में नहीं आते हैं - असाधारण बाहरी ऑटोमोर्फिज्म की धारणा गलत परिभाषित है, क्योंकि कोई सामान्य सूत्र नहीं है।)

निर्माण

में सूचीबद्ध कई निर्माण हैं (जानुस्ज़ & रोटमैन 1982).

ध्यान दें कि एक बाहरी ऑटोमोर्फिज्म के रूप में, यह ऑटोमोर्फिज्म का एक वर्ग है, जो केवल एक आंतरिक ऑटोमोर्फिज्म तक ही निर्धारित होता है, इसलिए लिखने के लिए कोई स्वाभाविक नहीं है।

एक विधि है:

  • एक विदेशी मानचित्र (एम्बेडिंग) S5 → S6 का निर्माण करें या विदेशी_नक्शा
  • S6 इस उपसमूह के छह संयुग्मों पर संयुग्मन द्वारा कार्य करता है, एक नक्शा S6 → SX उत्पन्न करता है जहाँ X संयुग्मों का समुच्चय है। संख्या 1, ..., 6 के साथ X की पहचान करना (जो संयुग्मों की संख्या के विकल्प पर निर्भर करता है, अर्थात, S6 के एक तत्व तक (एक आंतरिक ऑटोमोर्फिज्म)) एक बाहरी ऑटोमोर्फिज्म S6 → S6.उत्पन्न करता है6→ एस6.
  • यह नक्शा एक बाहरी ऑटोमोर्फिज़्म है, क्योंकि स्थानांतरण स्थानांतरण के लिए मैप नहीं करता है, किंतु आंतरिक ऑटोमोर्फिज़्म चक्र संरचना को संरक्षित करता है।

निम्नलिखित के समय , सहसमुच्चयों पर गुणन क्रिया या संयुग्मों पर संयुग्मन क्रिया के साथ काम किया जा सकता है।

यह देखने के लिए कि S6 में एक बाहरी ऑटोमोर्फिज्म है, याद रखें कि समूह G से एक सममित समूह Sn तक होमोमोर्फिज़्म अनिवार्य रूप से n तत्वों के एक समूह पर G की क्रियाओं के समान हैं, और एक बिंदु को ठीक करने वाला उपसमूह तब सूचकांक का एक उपसमूह होता है। G में n इसके विपरीत यदि हमारे पास G में सूचकांक n का एक उपसमूह है, तो कोसेट पर गतिविधि n बिंदुओं पर G की एक सकर्मक क्रिया देती है, और इसलिए Sn के लिए एक समरूपता है ।

ग्राफ विभाजन से निर्माण

अधिक गणितीय कठोर निर्माणों से पहले, यह एक सरल निर्माण को समझने में सहायता करता है।

6 शीर्षों, K6के साथ एक पूर्ण ग्राफ़ लें इसके 15 किनारे हैं, जिन्हें 15 अलग-अलग विधि से पूर्ण मिलान में विभाजित किया जा सकता है, प्रत्येक पूर्ण मिलान तीन किनारों का एक समूह है, जिनमें से दो एक शीर्ष साझा करते हैं। 15 के समूह से 5 पूर्ण मिलानों का एक समूह खोजना संभव है, जैसे कि कोई भी दो मिलान एक बढ़त साझा नहीं करते हैं, और उनके बीच में सभी सम्मिलित हैं 5 × 3 = 15 किनारे सम्मिलित हैं यह ग्राफ के किनारे; यह ग्राफ गुणनखंडन 6 अलग-अलग विधि से किया जा सकता है।

6 शीर्षों के क्रमचय पर विचार करें, और 6 विभिन्न गुणनखंडों पर इसका प्रभाव देखें। हमें 720 इनपुट क्रमपरिवर्तन से 720 आउटपुट क्रमपरिवर्तन तक का नक्शा मिलता है। वह नक्शा ठीक S6 का बाहरी स्वाकारवाद है.

ऑटोमोर्फिज्म होने के नाते, मानचित्र को तत्वों के क्रम को संरक्षित करना चाहिए, किंतु यह चक्र संरचना को संरक्षित नहीं करता है। उदाहरण के लिए, तीन 2-चक्रों के उत्पाद के लिए एक 2-चक्र मानचित्र; यह देखना आसान है कि 2-चक्र सभी 6 ग्राफ़ गुणनखंडों को किसी न किसी रूप में प्रभावित करता है, और इसलिए जब गुणनखंडों के क्रमपरिवर्तन के रूप में देखा जाता है तो इसका कोई निश्चित बिंदु नहीं होता है। तथ्य यह है कि इस ऑटोमोर्फिज्म का निर्माण संभव है, बड़ी संख्या में संख्यात्मक संयोगों पर निर्भर करता है जो केवल n = 6 प्रयुक्त होते हैं .

विदेशी नक्शा S5 → S6

S6 का एक उपसमूह (वास्तव में, 6 संयुग्मित उपसमूह) है जो S5 के लिए अमूर्त रूप से आइसोमोर्फिक है, किंतु जो S6 के उपसमूहों के रूप में सकर्मक रूप से कार्य करता है 6 तत्वों के एक समूह पर (स्पष्ट मानचित्र Sn → Sn+1 की छवि एक तत्व को ठीक करता है और इस प्रकार सकर्मक नहीं है।)

साइलो 5-उपसमूह

जानुस्ज़ और रोटमैन इसका निर्माण इस प्रकार करते हैं:

  • S6 इसके 6 साइलो उपसमूह साइलो 5-उपसमूहों के समूह पर संयुग्मन द्वारा सकर्मक रूप से कार्य करता है, एक एम्बेडिंग S5 → S6उत्पन्न करता है5→ एस6 क्रम 120 के सकर्मक उपसमूह के रूप में है।

यह 5-चक्रों के निरीक्षण से आता है: प्रत्येक 5-चक्र क्रम 5 का एक समूह उत्पन्न करता है (इस प्रकार एक सिलो उपसमूह), 5!/5 = 120/5 = 24  5-चक्र होते हैं, जो 6 उपसमूह देते हैं (क्योंकि प्रत्येक उपसमूह भी पहचान सम्मिलित है), और Sn किसी दिए गए वर्ग के चक्रों के समूह पर संयुग्मन द्वारा सकर्मक रूप से कार्य करता है, इसलिए इन उपसमूहों पर संयुग्मन द्वारा सकर्मक रूप से कार्य करता है।

वैकल्पिक रूप से, कोई साइलो प्रमेय का उपयोग कर सकता है, जो सामान्यतः बताता है कि सभी साइलो पी-उपसमूह संयुग्मित हैं।

पीजीएल (2,5)

पांच तत्वों, PGL(2, 5) के साथ परिमित क्षेत्र पर आयाम दो का प्रक्षेपी रैखिक समूह, पांच तत्वों, P1(F5) के साथ क्षेत्र पर प्रक्षेपी रेखा पर कार्य करता है, जिसमें छह तत्व होते हैं। इसके अतिरिक्त , यह क्रिया विश्वासयोग्य और 3-सकर्मक है, जैसा कि प्रक्षेपी रेखा पर प्रक्षेपी रेखीय समूह की क्रिया के लिए सदैव होता है। यह एक सकर्मक उपसमूह के रूप में PGL(2, 5) → S6 का नक्शा देता है[5]। S5 के साथ PGL(2, 5) की पहचान और A5 के साथ प्रक्षेपी विशेष रैखिक समूह PSL(2, 5) वांछित विदेशी मानचित्र S5 → S6 और A5 → A6 प्राप्त करता है। [6]

  • क्रमचय समूह के रूप में सामान्य क्रिया;
  • प्रक्षेपी रेखा P1(F5) के रूप में निर्धारित एक सार 6-तत्व की छह असमान संरचनाएं - रेखा में 6 बिंदु हैं, और प्रक्षेपी रैखिक समूह 3-सकर्मक रूप से कार्य करता है, इसलिए 3 बिंदुओं को ठीक करते हुए, 3 हैं! = शेष 3 बिंदुओं को व्यवस्थित करने के लिए 6 अलग-अलग विधि , जो वांछित वैकल्पिक क्रिया उत्पन्न करते हैं।

फ्रोबेनियस समूह

दूसरा विधि : S6 के एक बाहरी ऑटोमोर्फिज्म का निर्माण करने के लिए, हमें S6 में सूचकांक 6 का एक "असामान्य" उपसमूह बनाने की आवश्यकता है, दूसरे शब्दों में एक बिंदु को ठीक करने वाले छह स्पष्ट S5 उपसमूहों में से एक नहीं है (जो सिर्फ S6 के आंतरिक ऑटोमोर्फिज्म के अनुरूप है)

परिमित क्षेत्र के परिशोधन परिवर्तनों का फ्रोबेनियस समूह | एफ5(मैप्स Xax + b जहां a ≠ 0) का क्रम 20 = (5 − 1) ·5 है और 5 तत्वों के साथ क्षेत्र पर कार्य करता है, इसलिए S का एक उपसमूह है5. (वास्तव में, यह ऊपर बताए गए साइलो 5-समूह का सामान्यीकरण है, जिसे F के अनुवादों के क्रम-5 समूह के रूप में माना जाता है5.)

F5 के एफ़िन परिवर्तनों का फ्रोबेनियस समूह (मानचित्र x ax + b जहां a ≠ 0) का क्रम 20 = (5 − 1) · 5 है और 5 तत्वों के साथ क्षेत्र पर कार्य करता है, इसलिए S5 का एक उपसमूह है। (वास्तव में , यह ऊपर बताए गए साइलो 5-समूह का सामान्यकर्ता है, जिसे F5 के अनुवादों के क्रम -5 समूह के रूप में माना जाता है।)

S5 कोसेट स्पेस पर सकर्मक रूप से कार्य करता है, जो 120/20 = 6 तत्वों का एक समूह है (या संयुग्मन द्वारा, जो उपरोक्त क्रिया को उत्पन्न करता है)।

अन्य निर्माण

अर्न्स्ट विट ने मैथ्यू समूह M12 (S6 के लिए एक उपसमूह T आइसोमोर्फिक और एक तत्व σ जो T को सामान्य करता है और बाहरी ऑटोमोर्फिज़्म द्वारा कार्य करता है) में ऑट (S6 ) की एक प्रति पाई। इसी तरह S6 6 तत्वों के एक समूह पर 2 अलग-अलग विधि से कार्य करता है (बाहरी ऑटोमोर्फिज्म होने पर), M12 12 तत्वों के समूह पर 2 अलग-अलग विधि से कार्य करता है (एक बाहरी ऑटोमोर्फिज्म है), चूंकि M12 स्वयं असाधारण है, कोई नहीं करता है इस बाहरी स्वरूपवाद को ही असाधारण मानें।

A6 का पूर्ण ऑटोमोर्फिज्म समूह मैथ्यू समूह M12 के अधिकतम उपसमूह के रूप में स्वाभाविक रूप से प्रकट होता है 2 विधि से, या तो एक उपसमूह के रूप में 12 बिंदुओं के विभाजन को 6-तत्व समूहों की एक जोड़ी में तय करना, या एक उपसमूह के रूप में 2 बिंदुओं के उपसमूह को ठीक करना है ।

यह देखने का एक और विधि है कि S6 इस तथ्य का उपयोग करना है कि A6 PSL2(9) के लिए आइसोमोर्फिक है, जिसका ऑटोमोर्फिज्म समूह प्रक्षेपी सेमिलिनियर समूह PΓL2(9) है, जिसमें PSL2(9) सूचकांक 4 का है, जो क्रम 4 के एक बाहरी ऑटोमोर्फिज्म समूह की उपज है। इस ऑटोमोर्फिज्म को देखने का सबसे दृश्य विधि परिमित क्षेत्रों पर बीजगणितीय ज्यामिति के माध्यम से एक व्याख्या देना है, जो इस प्रकार है। S6 की कार्रवाई पर विचार करें 3 तत्वों के साथ क्षेत्र k पर 6-स्पेस को परिबद्ध करें। यह क्रिया कई चीजों को संरक्षित करती है: हाइपरप्लेन H जिस पर निर्देशांक का योग 0 होता है, H में रेखा L जहां सभी निर्देशांक मेल खाते हैं, और सभी 6 निर्देशांकों के वर्गों के योग द्वारा दिया गया द्विघात रूप q। Q से H के प्रतिबंध में दोष रेखा L है, इसलिए 4-आयामी H/L पर एक प्रेरित द्विघात रूप Q है जो एक जाँच गैर-पतित और गैर-विभाजित है। H/L में Q की शून्य योजना एक चिकनी चतुष्कोणीय सतह X को संबंधित प्रक्षेप्य 3-स्पेस ओवर के में परिभाषित करती है। K के एक बीजगणितीय संवरण पर, X दो प्रक्षेपी रेखाओं का गुणनफल है, इसलिए एक अवरोही तर्क के द्वारा X द्विघात ईटेल बीजगणित K पर प्रक्षेपी रेखा के k के लिए वेल प्रतिबंध है। चूँकि Q, k से विभाजित नहीं है, एक सहायक तर्क k पर विशेष ऑर्थोगोनल समूहों के साथ K को एक क्षेत्र होने के लिए विवश करता है (k की दो प्रतियों के उत्पाद के अतिरिक्त )। प्राकृतिक एस6-दृष्टि में सब कुछ पर कार्रवाई S6 से एक मानचित्र को परिभाषित करती है X के के-ऑटोमोर्फिज्म समूह के लिए, जो PGL2(K) = PGL2(9) का अर्ध-प्रत्यक्ष उत्पाद जी है गाल्वा के आक्रमण के विरुद्ध यह मानचित्र साधारण समूह A6 को वहन करता है गैर-तुच्छ रूप से उपसमूह PSL2(9) में (इसलिए पर) अर्ध-प्रत्यक्ष उत्पाद जी में सूचकांक 4 का, इसलिए S6 इसके द्वारा G के एक सूचकांक -2 उपसमूह के रूप में पहचाना जाता है (अर्थात्, PSL2(9) द्वारा उत्पन्न G का उपसमूह और गैलोज़ इनवोल्यूशन)। S6के बाहर G के किसी तत्व द्वारा संयुग्मन S6के गैर-तुच्छ बाहरी ऑटोमोर्फिज्म को परिभाषित करता है.

चकांक 4 का, इसलिए S6 इसके द्वारा G के एक सूचकांक -2 उपसमूह के रूप में पहचाना जाता है (अर्थात्, PSL2(9) द्वारा उत्पन्न G का उपसमूह और गैलोज़ इनवोल्यूशन)। S6के बाहर G के किसी तत्व द्वारा संयुग्मन S6के गैर-तुच्छ बाहरी ऑटोमोर्फिज्म को परिभाषित

बाहरी स्वाकारवाद की संरचना

चक्रों पर, यह प्रकार (12) के साथ (12)(34)(56) (कक्षा 21 के साथ कक्षा 23), और प्रकार (123) के साथ (145)(263) (कक्षा 31 के साथ वर्ग 32) के क्रमपरिवर्तन का आदान-प्रदान करता है। बाहरी ऑटोमोर्फिज्म भी प्रकार (12)(345) के साथ (123456) (वर्ग 2131 वर्ग 61 के साथ) के क्रमपरिवर्तन का आदान-प्रदान करता है। S6 में प्रत्येक अन्य चक्र प्रकार के लिए, बाहरी ऑटोमोर्फिज्म चक्र प्रकार के क्रमपरिवर्तन के वर्ग को ठीक करता है।

A6 पर, यह 3-चक्रों (जैसे (123)) को कक्षा 32 के तत्वों (जैसे (123)(456)) के साथ बदल देता है।


कोई अन्य बाहरी ऑटोमोर्फिज्म नहीं

यह देखने के लिए कि अन्य सममित समूहों में से किसी के पास बाहरी ऑटोमोर्फिज्म नहीं है, दो चरणों में आगे बढ़ना सबसे आसान है:

  1. सबसे पहले, दिखाएँ कि कोई भी ऑटोमोर्फिज्म जो स्थानांतरण के संयुग्मन वर्ग को संरक्षित करता है, एक आंतरिक ऑटोमोर्फिज़्म है। (इससे यह भी पता चलता है कि S6 का बाहरी ऑटोमोर्फिज्म निराला है; नीचे देखें।) ध्यान दें कि एक ऑटोमोर्फिज्म को प्रत्येक संयुग्मन वर्ग (चक्रीय क्रमचय द्वारा विशेषता जो इसके तत्व साझा करते हैं) को एक (संभवतः अलग) संयुग्मी वर्ग में भेजना चाहिए।
  2. दूसरा, दिखाएँ कि प्रत्येक ऑटोमोर्फिज़्म (S6 के लिए उपरोक्त के अतिरिक्त ) स्थानान्तरण के वर्ग को स्थिर करता है।

उत्तरार्द्ध को दो विधि से दिखाया जा सकता है:

  • S6 के अतिरिक्त हर सममित समूह के लिए, क्रम 2 के तत्वों से युक्त कोई अन्य संयुग्मन वर्ग नहीं है जिसमें तत्वों की संख्या उतनी ही हो जितनी कि स्थानांतरण के वर्ग में।
  • या इस प्रकार है:

क्रम दो का प्रत्येक क्रमचय (इनवोल्यूशन कहा जाता है) k > 0 असंयुक्त प्रतिस्थापन का एक उत्पाद है, जिससे इसकी चक्रीय संरचना 2k1n−2k हो। स्थानापन्न वर्ग (k = 1) के बारे में क्या विशेष है?

यदि कोई दो भिन्न परिवर्तनों τ1 और τ2 का गुणनफल बनाता है, तो उसे सदैव या तो 3-चक्र या 221n−4, प्रकार का क्रमचय प्राप्त होता है, इसलिए उत्पादित तत्व का क्रम या तो 2 या 3 है। दूसरी ओर, यदि एक प्रकार k> 1 के दो अलग-अलग इनवॉल्यूशन σ1, σ2 का उत्पाद बनाता है, फिर n ≥ 7 प्रदान किया जाता है, निम्नानुसार क्रम 6, 7 या 4 के तत्व का उत्पादन करना सदैव संभव होता है। हम यह व्यवस्था कर सकते हैं कि उत्पाद में कोई भी हो


  • दो 2-चक्र और एक 3-चक्र (k = 2 और n ≥ 7 के लिए)
  • एक 7-चक्र (k = 3 और n ≥ 7 के लिए)
  • दो 4-चक्र (k = 4 और n ≥ 8 के लिए)

K ≥ 5 के लिए, पिछले उदाहरण के क्रमचय σ1, σ2 में जोड़ें जो निरर्थक 2-चक्र हैं जो एक दूसरे को समाप्त करते हैं, और हमें अभी भी दो 4-चक्र मिलते हैं।

अब हम एक विरोधाभास पर पहुंचते हैं, क्योंकि यदि ट्रांसपोज़िशन का वर्ग ऑटोमोर्फिज़्म f के माध्यम से एक ऐसे इनवॉल्यूशन के वर्ग में भेजा जाता है जिसमें k> 1 है, तो दो ट्रांसपोज़िशन τ1, τ2 उपस्थित हैं जैसे कि f(τ1) f(τ2) का क्रम है 6, 7 या 4, किंतु हम जानते हैं किτ1τ2 का क्रम 2 या 3 है।

S का कोई अन्य बाहरी स्वरूपवाद नहीं6

एस6 बाहरी ऑटोमोर्फिज्म का बिल्कुल एक (वर्ग) है: आउट (S6) = C2.

इसे देखने के लिए, निरीक्षण करें कि आकार 15 के S6 के केवल दो संयुग्मन वर्ग हैं: स्थानान्तरण और वर्ग 23 के ऑट (S6 ) का प्रत्येक तत्व या तो इन संयुग्मन वर्गों में से प्रत्येक को संरक्षित करता है, या उनका आदान-प्रदान करता है। ऊपर निर्मित बाहरी ऑटोमोर्फिज्म का कोई भी प्रतिनिधि संयुग्मन वर्गों का आदान-प्रदान करता है, जबकि एक सूचकांक 2 उपसमूह ट्रांसपोज़िशन को स्थिर करता है। लेकिन एक ऑटोमोर्फिज़्म जो स्थानांतरण को स्थिर करता है, आंतरिक है, इसलिए आंतरिक ऑटोमोर्फिज़्म ऑट (S6 ) का एक सूचकांक 2 उपसमूह बनाते हैं, इसलिए आउट (S6 ) = C2

अधिक सारगर्भित: एक ऑटोमोर्फिज़्म जो स्थानांतरण को स्थिर करता है, आंतरिक है, और क्रम 15 (स्थानांतरण और ट्रिपल ट्रांसपोज़िशन) के केवल दो संयुग्मन वर्ग हैं, इसलिए बाहरी ऑटोमोर्फिज़्म समूह अधिकतम क्रम 2 है।

छोटा एन

सममित

n = 2 के लिए, S2 = C2 = Z/2 और ऑटोमोर्फिज्म समूह तुच्छ है (स्पष्ट रूप से, किंतु अधिक औपचारिक रूप से क्योंकि Aut(Z/2) = GL(1, Z/2) = Z/2* = C1)। इस प्रकार आंतरिक ऑटोमोर्फिज्म समूह भी तुच्छ है (क्योंकि S2 एबेलियन है)।

वैकल्पिक

n = 1 और 2 के लिए, A1 = A2 = C1 तुच्छ है, इसलिए ऑटोमोर्फिज़्म समूह भी तुच्छ है। n = 3 के लिए, A3 = C3 = Z/3 एबेलियन (और चक्रीय) है: ऑटोमोर्फिज़्म समूह GL(1, Z/3*) = C2 है, और आंतरिक ऑटोमोर्फिज़्म समूह तुच्छ है (क्योंकि यह एबेलियन है)।

टिप्पणियाँ

  1. Janusz & Rotman 1982.
  2. 2.0 2.1 Lam, T. Y., & Leep, D. B. (1993). "Combinatorial structure on the automorphism group of S6". Expositiones Mathematicae, 11(4), 289–308.
  3. Otto Hölder (1895), "Bildung zusammengesetzter Gruppen", Mathematische Annalen, 46, 321–422.
  4. ATLAS p. xvi[full citation needed]
  5. Carnahan, Scott (2007-10-27), "Small finite sets", Secret Blogging Seminar, notes on a talk by Jean-Pierre Serre.{{citation}}: CS1 maint: postscript (link)
  6. Snyder, Noah (2007-10-28), "The Outer Automorphism of S6", Secret Blogging Seminar


संदर्भ