सिलो प्रमेय

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

अभाज्य संख्या के लिए $p$, समूह का सिलो पी-उपसमूह (कभी-कभी पी-सिलो उपसमूह) $G$ अधिकतम है $p$-उपसमूह $G$, यानी, का उपसमूह $G$ वह पी-समूह है|पी-समूह (जिसका अर्थ है कि इसकी प्रमुखता शक्ति (गणित) है) $p,$ या समकक्ष, प्रत्येक समूह तत्व के समूह तत्व का क्रम शक्ति है $p$) यह किसी अन्य का उचित उपसमूह नहीं है $p$-उपसमूह $G$. सभी सिलो का सेट $p$-किसी दिए गए प्राइम के लिए उपसमूह $p$ कभी-कभी लिखा जाता है ${\text{Syl}}_{p}(G)$.

सिलो प्रमेय लैग्रेंज के प्रमेय (समूह सिद्धांत)|लैग्रेंज के प्रमेय के आंशिक विपरीत पर जोर देते हैं। लैग्रेंज के प्रमेय में कहा गया है कि किसी भी परिमित समूह के लिए $G$ के प्रत्येक उपसमूह का क्रम (तत्वों की संख्या)। $G$ के क्रम को विभाजित करता है $G$. सिलो प्रमेय बताता है कि प्रत्येक अभाज्य कारक के लिए$p$ परिमित समूह के क्रम का $G$, वहाँ सिलो मौजूद है $p$-उपसमूह $G$ आदेश की $p^{n}$, की सर्वोच्च शक्ति $p$ जो के क्रम को विभाजित करता है $G$. इसके अलावा, आदेश का प्रत्येक उपसमूह$p^{n}$ सिलो है$p$-उपसमूह $G$, और सिलो $p$-किसी समूह के उपसमूह (किसी दिए गए अभाज्य के लिए $p$) दूसरे से संयुग्मी वर्ग हैं। इसके अलावा, सिलो की संख्या $p$-किसी दिए गए अभाज्य के लिए समूह के उपसमूह $p$ 1 के सर्वांगसम है (mod $p$).

प्रमेय

प्रेरणा

साइलो प्रमेय सामान्य रूप से समूहों की संरचना के बारे में शक्तिशाली कथन हैं, लेकिन परिमित समूह सिद्धांत के अनुप्रयोगों में भी शक्तिशाली हैं। ऐसा इसलिए है क्योंकि वे परिमित समूह की कार्डिनैलिटी के प्राइम अपघटन का उपयोग करने के लिए विधि देते हैं $G$ अपने उपसमूहों की संरचना के बारे में बयान देने के लिए: अनिवार्य रूप से, यह किसी समूह के बारे में बुनियादी संख्या-सैद्धांतिक जानकारी को उसके समूह संरचना तक पहुंचाने की तकनीक देता है। इस अवलोकन से, परिमित समूहों को वर्गीकृत करना यह पता लगाने का खेल बन जाता है कि समूह के निर्माण के लिए छोटे क्रम के समूहों के कौन से संयोजन/निर्माण को लागू किया जा सकता है। उदाहरण के लिए, इन प्रमेयों का विशिष्ट अनुप्रयोग कुछ निश्चित कार्डिनैलिटी के परिमित समूहों के वर्गीकरण में है, जैसे $|G|=60$.

कथन

उपसमूहों का संग्रह, जिनमें से प्रत्येक किसी न किसी अर्थ में अधिकतम है, समूह सिद्धांत में सामान्य है। यहां आश्चर्यजनक परिणाम यह है कि के मामले में $\operatorname {Syl} _{p}(G)$, सभी सदस्य वास्तव में दूसरे के लिए समूह समरूपता हैं और उनका सबसे बड़ा संभावित क्रम है: यदि $|G|=p^{n}m$ साथ $n>0$ कहाँ p विभाजित नहीं होता m, फिर हर सिलो p-उपसमूह P का ऑर्डर है $|P|=p^{n}$. वह है, P है p-समूह और ${\text{gcd}}(|G:P|,p)=1$. की संरचना का और अधिक विश्लेषण करने के लिए इन गुणों का उपयोग किया जा सकता है G.

निम्नलिखित प्रमेय पहली बार 1872 में लुडविग साइलो द्वारा प्रस्तावित और सिद्ध किए गए थे, और मैथेमेटिश एनालेन में प्रकाशित हुए थे।

Theorem (1) — For every prime factor p with multiplicity n of the order of a finite group G, there exists a Sylow [[p-group|p-subgroup]] of G, of order $p^{n}$.

प्रमेय 1 का निम्नलिखित कमजोर संस्करण पहली बार ऑगस्टिन-लुई कॉची द्वारा सिद्ध किया गया था, और इसे कॉची के प्रमेय (समूह सिद्धांत) | कॉची के प्रमेय के रूप में जाना जाता है।

Corollary — Given a finite group G and a prime number p dividing the order of G, then there exists an element (and thus a cyclic subgroup generated by this element) of order p in G.

Theorem (2) — Given a finite group G and a prime number p, all Sylow p-subgroups of G are conjugate to each other. That is, if H and K are Sylow p-subgroups of G, then there exists an element $g\in G$ with $g^{-1}Hg=K$.

Theorem (3) — Let p be a prime factor with multiplicity n of the order of a finite group G, so that the order of G can be written as $p^{n}m$, where $n>0$ and p does not divide m. Let $n_{p}$ be the number of Sylow p-subgroups of G. Then the following hold:

• $n_{p}$ divides m, which is the index of the Sylow p-subgroup in G.
• $n_{p}\equiv 1{\bmod {p}}$
• $n_{p}=|G:N_{G}(P)|$, where P is any Sylow p-subgroup of G and $N_{G}$ denotes the normalizer.

परिणाम

साइलो प्रमेय का अर्थ है कि अभाज्य संख्या के लिए $p$ हर सिलो $p$-उपसमूह ही क्रम का है, $p^{n}$. इसके विपरीत, यदि किसी उपसमूह के पास आदेश है $p^{n}$, तो यह सिलो है $p$-उपसमूह, और इसलिए हर दूसरे सिलो के लिए समरूपी है $p$-उपसमूह. अधिकतम स्थिति के कारण, यदि $H$ क्या किसी $p$-उपसमूह $G$, तब $H$ का उपसमूह है $p$-आदेश का उपसमूह $p^{n}$.

प्रमेय 2 का बहुत ही महत्वपूर्ण परिणाम यह है कि स्थिति $n_{p}=1$ यह कहने के बराबर है कि सिलो $p$-उपसमूह $G$ सामान्य उपसमूह है. हालाँकि, ऐसे समूह हैं जिनमें सामान्य उपसमूह तो हैं लेकिन कोई सामान्य सिलो उपसमूह नहीं हैं, जैसे $S_{4}$.

अनंत समूहों के लिए सिलो प्रमेय

अनंत समूहों के लिए सिलो प्रमेय का एनालॉग है। सिलो को परिभाषित करता है p- अनंत समूह में उपसमूह पी-उपसमूह होता है (अर्थात्, इसमें प्रत्येक तत्व होता है p-शक्ति क्रम) जो सभी के बीच समावेशन के लिए अधिकतम है p-समूह में उपसमूह। होने देना $\operatorname {Cl} (K)$ किसी उपसमूह के संयुग्मों के समुच्चय को निरूपित करें $K\subset G$.

Theorem — If K is a Sylow p-subgroup of G, and $n_{p}=|\operatorname {Cl} (K)|$ is finite, then every Sylow p-subgroup is conjugate to K, and $n_{p}\equiv 1{\bmod {p}}$.

उदाहरण

Error creating thumbnail:

डी में₆ सभी प्रतिबिंब संयुग्मी होते हैं, क्योंकि प्रतिबिंब सिलो 2-उपसमूहों के अनुरूप होते हैं।

सिलो उपसमूहों और सिलो प्रमेय का सरल उदाहरण एन-गॉन, डी का डायहेड्रल समूह है_2n. n विषम के लिए, 2 = 2¹क्रम को विभाजित करने वाले 2 की उच्चतम शक्ति है, और इस प्रकार क्रम 2 के उपसमूह सिलो उपसमूह हैं। ये प्रतिबिंब द्वारा उत्पन्न समूह हैं, जिनमें से n हैं, और वे सभी घूर्णन के तहत संयुग्मित हैं; ज्यामितीय रूप से सममिति के अक्ष शीर्ष और भुजा से होकर गुजरते हैं।

File:Hexagon reflections.svg

डी में₁₂ प्रतिबिंब अब सिलो 2-उपसमूहों के अनुरूप नहीं हैं, और दो संयुग्मन वर्गों में आते हैं।

इसके विपरीत, यदि n सम है, तो समूह के क्रम को 4 विभाजित करता है, और क्रम 2 के उपसमूह अब सिलो उपसमूह नहीं हैं, और वास्तव में वे दो संयुग्मन वर्गों में आते हैं, ज्यामितीय रूप से इस पर निर्भर करता है कि वे दो शीर्षों से गुजरते हैं या दो चेहरे के। ये बाहरी स्वचालितता से संबंधित हैं, जिसे π/n के माध्यम से घूर्णन द्वारा दर्शाया जा सकता है, जो कि डायहेड्रल समूह में न्यूनतम घूर्णन का आधा है।

अन्य उदाहरण जीएल के सिलो पी-उपसमूह हैं₂(एफ_q), जहां p और q अभाज्य हैं ≥ 3 और p ≡ 1 (mod q) , जो सभी एबेलियन समूह हैं। जीएल का आदेश₂(एफ_q) है (q² − 1)(q² − q) = (q)(q + 1)(q − 1)². तब से q = pⁿm + 1, के लिए GL₂(F_q) = p²ⁿ m′. इस प्रकार प्रमेय 1 के अनुसार, सिलो पी-उपसमूहों का क्रम पी है²ⁿ.

ऐसा ही उपसमूह P, विकर्ण आव्यूहों का समुच्चय है ${\begin{bmatrix}x^{im}&0\\0&x^{jm}\end{bmatrix}}$, x, F का कोई आदिम मूल मॉड्यूल n है_q. एफ के आदेश के बाद से_q है q − 1, इसकी आदिम जड़ों का क्रम q - 1 है, जिसका तात्पर्य यह है x^{(q − 1)/pn} या एक्स^म और इसकी सभी शक्तियों का क्रम है जो कि p की शक्ति है। तो, पी उपसमूह है जहां इसके सभी तत्वों के आदेश हैं जो पी की शक्तियां हैं। पी हैंⁿa और b दोनों के लिए विकल्प बनाना |P| = p²ⁿ. इसका मतलब यह है कि पी साइलो पी-उपसमूह है, जो एबेलियन है, क्योंकि सभी विकर्ण मैट्रिस कम्यूट करते हैं, और क्योंकि प्रमेय 2 में कहा गया है कि सभी सिलो पी-उपसमूह एक-दूसरे से संयुग्मित हैं, जीएल के साइलो पी-उपसमूह₂(एफ_q) सभी एबेलियन हैं।

उदाहरण अनुप्रयोग

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

उदाहरण-1

p<q के साथ क्रम pq, p और q अभाज्यों के समूह।

उदाहरण-2

क्रम 30 का समूह, क्रम 20 के समूह, क्रम पी के समूह²q, p और q विशिष्ट अभाज्य संख्याएँ कुछ अनुप्रयोग हैं।

उदाहरण-3

(क्रम 60 के समूह): यदि क्रम |जी| = 60 और G में से अधिक सिलो 5-उपसमूह हैं, तो G सरल है।

चक्रीय समूह आदेश

कुछ अभाज्य संख्याएँ n ऐसी हैं कि क्रम n का प्रत्येक समूह चक्रीय है। सिलो प्रमेय का उपयोग करके कोई यह दिखा सकता है कि n = 15 ऐसी संख्या है: मान लीजिए G क्रम 15 = 3 · 5 और n का समूह है₃ सिलो 3-उपसमूहों की संख्या हो। फिर एन₃ $\mid$ 5 और एन₃ ≡ 1 (मॉड 3)। इन बाधाओं को संतुष्ट करने वाला एकमात्र मान 1 है; इसलिए, क्रम 3 का केवल उपसमूह है, और यह सामान्य उपसमूह होना चाहिए (क्योंकि इसमें कोई अलग संयुग्म नहीं है)। इसी प्रकार, एन₅ 3, और n को विभाजित करना होगा₅ 1 (मॉड 5) के बराबर होना चाहिए; इस प्रकार इसमें क्रम 5 का सामान्य उपसमूह भी होना चाहिए। चूँकि 3 और 5 सहअभाज्य हैं, इन दो उपसमूहों का प्रतिच्छेदन तुच्छ है, और इसलिए G को क्रम 3 और 5 के समूहों का आंतरिक प्रत्यक्ष उत्पाद होना चाहिए, जो कि चक्रीय है क्रम 15 का समूह। इस प्रकार, क्रम 15 (समरूपता तक) का केवल समूह है।

छोटे समूह सरल नहीं हैं

अधिक जटिल उदाहरण में सबसे छोटे सरल समूह का क्रम शामिल है जो चक्रीय समूह नहीं है। बर्नसाइड का प्रमेय|बर्नसाइड का पी^एq^बी प्रमेय में कहा गया है कि यदि किसी समूह का क्रम या दो अभाज्य शक्तियों का उत्पाद है, तो यह हल करने योग्य समूह है, और इसलिए समूह सरल नहीं है, या अभाज्य क्रम का है और चक्रीय है। यह प्रत्येक समूह को 30 ऑर्डर तक बाहर कर देता है (= 2 · 3 · 5).

यदि G सरल है, और |G| = 30, फिर एन₃ 10 (= 2 · 5), और एन को विभाजित करना होगा₃ 1 (मॉड 3) के बराबर होना चाहिए। इसलिए, एन₃ = 10, चूँकि 10 को न तो 4 और न ही 7 विभाजित करता है, और यदि n₃ = 1 तो, जैसा कि ऊपर बताया गया है, जी के पास क्रम 3 का सामान्य उपसमूह होगा, और यह सरल नहीं हो सकता है। G के पास क्रम 3 के 10 अलग-अलग चक्रीय उपसमूह हैं, जिनमें से प्रत्येक में क्रम 3 के 2 तत्व (पहचान सहित) हैं। इसका मतलब है कि G में क्रम 3 के कम से कम 20 अलग-अलग तत्व हैं।

साथ ही, एन₅ = 6, चूँकि n₅ 6 ( = 2 · 3) और n को विभाजित करना होगा₅ 1 (मॉड 5) के बराबर होना चाहिए। तो G में भी क्रम 5 के 24 अलग-अलग तत्व हैं। लेकिन G का क्रम केवल 30 है, इसलिए क्रम 30 का सरल समूह मौजूद नहीं हो सकता है।

अगला, मान लीजिए |जी| = 42 = 2 · 3 · 7. यहाँ एन₇ 6 (=2 · 3) और एन को विभाजित करना होगा₇ 1 (मॉड 7) के बराबर होना चाहिए, इसलिए एन₇ = 1. अतः, पहले की तरह, G सरल नहीं हो सकता।

दूसरी ओर, |जी| के लिए = 60 = 2² · 3 · 5, फिर एन₃ = 10 और एन₅ = 6 बिल्कुल संभव है। और वास्तव में, सबसे छोटा सरल गैर-चक्रीय समूह ए है₅, 5 तत्वों पर वैकल्पिक समूह। इसमें क्रम 60 है, और क्रम 5 के 24 चक्रीय क्रमपरिवर्तन हैं, और क्रम 3 के 20 हैं।

विल्सन का प्रमेय

विल्सन के प्रमेय का भाग यह बताता है

$(p-1)!\equiv -1{\pmod {p}}$

प्रत्येक प्राइम पी के लिए। सिलो के तीसरे प्रमेय द्वारा कोई भी इस प्रमेय को आसानी से सिद्ध कर सकता है। वास्तव में, ध्यान दें कि संख्या n_pसिलो के पी-उपसमूहों में से सममित समूह एस में_pहै (p − 2)!. वहीं दूसरी ओर, n_p ≡ 1 (mod p). इस तरह, (p − 2)! ≡ 1 (mod p). इसलिए, (p − 1)! ≡ −1 (mod p).

संलयन परिणाम

फ्रैटिनी के तर्क से पता चलता है कि सामान्य उपसमूह का साइलो उपसमूह परिमित समूह का गुणनखंडन प्रदान करता है। बर्नसाइड के संलयन प्रमेय के रूप में ज्ञात मामूली सामान्यीकरण में कहा गया है कि यदि जी सिलो पी-उपसमूह पी और दो उपसमुच्चय ए और बी के साथ परिमित समूह है, तो इसे सामान्यीकृत किया जाता है। पी, तो ए और बी जी-संयुग्मित हैं यदि और केवल यदि वे एन हैं_G(पी)-संयुग्मित। इसका प्रमाण सिलो के प्रमेय का सरल अनुप्रयोग है: यदि B=A^g, तो B के नॉर्मलाइज़र में न केवल P बल्कि P भी शामिल है^जी (चूंकि पी^जीए के नॉर्मलाइज़र में निहित है^जी). सिलो के प्रमेय पी और पी द्वारा^g न केवल G में, बल्कि B के सामान्यीकरणकर्ता में भी संयुग्मित हैं। इसलिए gh⁻¹ कुछ h के लिए P को सामान्य करता है जो B को सामान्य करता है, और फिर A को^घ−1 = बी^h−1 = B, ताकि A और B N हों_G(पी)-संयुग्मित। बर्नसाइड के संलयन प्रमेय का उपयोग अधिक शक्तिशाली कारकीकरण देने के लिए किया जा सकता है जिसे अर्ध-प्रत्यक्ष उत्पाद कहा जाता है: यदि G परिमित समूह है जिसका सिलो पी-उपसमूह P इसके सामान्यीकरण के केंद्र में समाहित है, तो G के पास P के सहअभाज्य क्रम का सामान्य उपसमूह K है। , G = PK और P∩K = {1}, अर्थात, G, p-nilpotent समूह है|p-nilpotent।

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

सिलो प्रमेय का प्रमाण

सिलो प्रमेय को कई तरीकों से सिद्ध किया गया है, और प्रमाणों का इतिहास स्वयं वॉटरहाउस सहित कई पत्रों का विषय है, शार्लाउ, कैसाडियो और ज़प्पा, गौ, और कुछ हद तक मेओ।

साइलो प्रमेय का प्रमाण विभिन्न रचनात्मक तरीकों से समूह कार्रवाई (गणित) की धारणा का शोषण करता है। समूह G स्वयं पर या अपने पी-उपसमूहों के सेट पर विभिन्न तरीकों से कार्य करता है, और ऐसी प्रत्येक क्रिया का उपयोग साइलो प्रमेयों में से को सिद्ध करने के लिए किया जा सकता है। निम्नलिखित प्रमाण विलैंड्ट के संयुक्त तर्कों पर आधारित हैं। निम्नलिखित में, हम उपयोग करते हैं $a\mid b$ a के लिए संकेतन के रूप में b और को विभाजित करता है $a\nmid b$ इस कथन के खंडन के लिए.

Theorem (1) — A finite group G whose order $|G|$ is divisible by a prime power p^k has a subgroup of order p^k.

Proof

Let |G| = p^km = p^k+ru such that $p\nmid u$, and let Ω denote the set of subsets of G of size p^k. G acts on Ω by left multiplication: for g ∈ G and ω ∈ Ω, g⋅ω = { gx | x ∈ ω }. For a given set ω ∈ Ω, write G_ω for its stabilizer subgroup { g ∈ G | g⋅ω = ω } and Gω for its orbit { g⋅ω | g ∈ G } in Ω.

The proof will show the existence of some ω ∈ Ω for which G_ω has p^k elements, providing the desired subgroup. This is the maximal possible size of a stabilizer subgroup G_ω, since for any fixed element α ∈ ω ⊆ G, the right coset G_ωα is contained in ω; therefore, |G_ω| = |G_ωα| ≤ |ω| = p^k.

By the orbit-stabilizer theorem we have |G_ω| |Gω| = |G| for each ω ∈ Ω, and therefore using the additive p-adic valuation ν_p, which counts the number of factors p, one has ν_p(|G_ω|) + ν_p(|Gω|) = ν_p(|G|) = k + r. This means that for those ω with |G_ω| = p^k, the ones we are looking for, one has ν_p(|Gω|) = r, while for any other ω one has ν_p(|Gω|) > r (as 0 < |G_ω| < p^k implies ν_p(|G_ω|) < k). Since |Ω| is the sum of |Gω| over all distinct orbits Gω, one can show the existence of ω of the former type by showing that ν_p(|Ω|) = r (if none existed, that valuation would exceed r). This is an instance of Kummer's theorem (since in base p notation the number |G| ends with precisely k + r digits zero, subtracting p^k from it involves a carry in r places), and can also be shown by a simple computation:

$|\Omega |={p^{k}m \choose p^{k}}=\prod _{j=0}^{p^{k}-1}{\frac {p^{k}m-j}{p^{k}-j}}=m\prod _{j=1}^{p^{k}-1}{\frac {p^{k-\nu _{p}(j)}m-j/p^{\nu _{p}(j)}}{p^{k-\nu _{p}(j)}-j/p^{\nu _{p}(j)}}}$

and no power of p remains in any of the factors inside the product on the right. Hence ν_p(|Ω|) = ν_p(m) = r, completing the proof.

It may be noted that conversely every subgroup H of order p^k gives rise to sets ω ∈ Ω for which G_ω = H, namely any one of the m distinct cosets Hg.

Lemma — Let H be a finite p-group, let Ω be a finite set acted on by H, and let Ω₀ denote the set of points of Ω that are fixed under the action of H. Then |Ω| ≡ |Ω₀| (mod p).

Proof

Any element x ∈ Ω not fixed by H will lie in an orbit of order |H|/|H_x| (where H_x denotes the stabilizer), which is a multiple of p by assumption. The result follows immediately by writing |Ω| as the sum of |Hx| over all distinct orbits Hx and reducing mod p.

Theorem (2) — If H is a p-subgroup of G and P is a Sylow p-subgroup of G, then there exists an element g in G such that g⁻¹Hg ≤ P. In particular, all Sylow p-subgroups of G are conjugate to each other (and therefore isomorphic), that is, if H and K are Sylow p-subgroups of G, then there exists an element g in G with g⁻¹Hg = K.

Proof

Let Ω be the set of left cosets of P in G and let H act on Ω by left multiplication. Applying the Lemma to H on Ω, we see that |Ω₀| ≡ |Ω| = [G : P] (mod p). Now $p\nmid [G:P]$ by definition so $p\nmid |\Omega _{0}|$, hence in particular |Ω₀| ≠ 0 so there exists some gP ∈ Ω₀. With this gP, we have hgP = gP for all h ∈ H, so g⁻¹HgP = P and therefore g⁻¹Hg ≤ P. Furthermore, if H is a Sylow p-subgroup, then |g⁻¹Hg| = |H| = |P| so that g⁻¹Hg = P.

Theorem (3) — Let q denote the order of any Sylow p-subgroup P of a finite group G. Let n_p denote the number of Sylow p-subgroups of G. Then (a) n_p = [G : N_G(P)] (where N_G(P) is the normalizer of P), (b) n_p divides |G|/q, and (c) n_p ≡ 1 (mod p).

Proof

Let Ω be the set of all Sylow p-subgroups of G and let G act on Ω by conjugation. Let P ∈ Ω be a Sylow p-subgroup. By Theorem 2, the orbit of P has size n_p, so by the orbit-stabilizer theorem n_p = [G : G_P]. For this group action, the stabilizer G_P is given by {g ∈ G | gPg⁻¹ = P} = N_G(P), the normalizer of P in G. Thus, n_p = [G : N_G(P)], and it follows that this number is a divisor of [G : P] = |G|/q.

Now let P act on Ω by conjugation, and again let Ω₀ denote the set of fixed points of this action. Let Q ∈ Ω₀ and observe that then Q = xQx⁻¹ for all x ∈ P so that P ≤ N_G(Q). By Theorem 2, P and Q are conjugate in N_G(Q) in particular, and Q is normal in N_G(Q), so then P = Q. It follows that Ω₀ = {P} so that, by the Lemma, |Ω| ≡ |Ω₀| = 1 (mod p).

एल्गोरिदम

किसी दिए गए समूह के सिलो उपसमूह को खोजने की समस्या कम्प्यूटेशनल समूह सिद्धांत में महत्वपूर्ण समस्या है।

सिलो पी-उपसमूहों के अस्तित्व का प्रमाण रचनात्मक है: यदि एच, जी का पी-उपसमूह है और सूचकांक [जी:एच] पी से विभाज्य है, तो सामान्यीकरणकर्ता एन = एन_Gजी में एच का (एच) भी ऐसा है कि [एन: एच] पी से विभाज्य है। दूसरे शब्दों में, सिलो पी-उपसमूह की पॉलीसाइक्लिक जनरेटिंग प्रणाली किसी भी पी-उपसमूह एच (पहचान सहित) से शुरू करके और एच के नॉर्मलाइज़र में निहित पी-पावर ऑर्डर के तत्वों को लेकर पाई जा सकती है, लेकिन एच में ही नहीं। इसका एल्गोरिथम संस्करण (और कई सुधार) बटलर में पाठ्यपुस्तक के रूप में वर्णित है, कैनन में वर्णित एल्गोरिदम सहित। ये संस्करण अभी भी GAP कंप्यूटर बीजगणित प्रणाली में उपयोग किए जाते हैं।

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

यह भी देखें

• फ्रैटिनी का तर्क
• हॉल उपसमूह
• अधिकतम उपसमूह
• पी-समूह

संदर्भ

प्रमाण

• Casadio, Giuseppina; Zappa, Guido (1990). "सिलो प्रमेय का इतिहास और इसके प्रमाण". Boll. Storia Sci. Mat. (in italiano). 10 (1): 29–75. ISSN 0392-4432. MR 1096350. Zbl 0721.01008.
• Gow, Rod (1994). "सिलो के प्रमेय का सिलो का प्रमाण". Irish Math. Soc. Bull.. 0033 (33): 55–63. doi:10.33232/BIMS.0033.55.63. ISSN 0791-5578. MR 1313412. Zbl 0829.01011.
• Kammüller, Florian; Paulson, Lawrence C. (1999). "सिलो के प्रमेय का एक औपचारिक प्रमाण। इसाबेल एचओएल के साथ अमूर्त बीजगणित में एक प्रयोग" (PDF). J. Automat. Reason.. 23 (3): 235–264. doi:10.1023/A:1006269330992. ISSN 0168-7433. MR 1721912. S2CID 1449341. Zbl 0943.68149. Archived from the original (PDF) on 2006-01-03.
• Meo, M. (2004). "कॉची के समूह प्रमेय का गणितीय जीवन". Historia Math. 31 (2): 196–221. doi:10.1016/S0315-0860(03)00003-X. ISSN 0315-0860. MR 2055642. Zbl 1065.01009.
• Scharlau, Winfried (1988). "सिलो प्रमेय की खोज". Historia Math. (in Deutsch). 15 (1): 40–52. doi:10.1016/0315-0860(88)90048-1. ISSN 0315-0860. MR 0931678. Zbl 0637.01006.
• Waterhouse, William C. (1980). "सिलो के प्रमेय के प्रारंभिक प्रमाण". Arch. Hist. Exact Sci.. 21 (3): 279–290. doi:10.1007/BF00327877. ISSN 0003-9519. MR 0575718. S2CID 123685226. Zbl 0436.01006.
• Wielandt, Helmut [in Deutsch] (1959). "सिलो समूहों के अस्तित्व का एक प्रमाण". Arch. Math. (in Deutsch). 10 (1): 401–402. doi:10.1007/BF01240818. ISSN 0003-9268. MR 0147529. S2CID 119816392. Zbl 0092.02403.

एल्गोरिदम

• Butler, G. (1991). क्रमपरिवर्तन समूहों के लिए मौलिक एल्गोरिदम. Lecture Notes in Computer Science. Vol. 559. Berlin, New York City: Springer-Verlag. doi:10.1007/3-540-54955-2. ISBN 9783540549550. MR 1225579. S2CID 395110. Zbl 0785.20001.
• Cannon, John J. (1971). "Computing local structure of large finite groups". बीजगणित और संख्या सिद्धांत में कंप्यूटर (प्रोक. SIAM-AMS संगोष्ठी। अनुप्रयोग गणित।, न्यूयॉर्क शहर, 1970). SIAM-AMS Proc.. Vol. 4. Providence RI: AMS. pp. 161–176. ISSN 0160-7634. MR 0367027. Zbl 0253.20027.
• Kantor, William M. (1985a). "अभाज्य क्रम और सिलो उपसमूहों के तत्वों को खोजने के लिए बहुपद-समय एल्गोरिदम" (PDF). J. Algorithms. 6 (4): 478–514. CiteSeerX 10.1.1.74.3690. doi:10.1016/0196-6774(85)90029-X. ISSN 0196-6774. MR 0813589. Zbl 0604.20001.
• Kantor, William M. (1985b). "बहुपद समय में सिलो का प्रमेय". J. Comput. Syst. Sci.. 30 (3): 359–394. doi:10.1016/0022-0000(85)90052-2. ISSN 1090-2724. MR 0805654. Zbl 0573.20022.
• Kantor, William M.; Taylor, Donald E. (1988). "सिलो के प्रमेय के बहुपद-समय संस्करण". J. Algorithms. 9 (1): 1–17. doi:10.1016/0196-6774(88)90002-8. ISSN 0196-6774. MR 0925595. Zbl 0642.20019.
• Kantor, William M. (1990). "बहुपद समय में साइलो नॉर्मलाइज़र ढूँढना". J. Algorithms. 11 (4): 523–563. doi:10.1016/0196-6774(90)90009-4. ISSN 0196-6774. MR 1079450. Zbl 0731.20005.
• Seress, Ákos (2003). क्रमपरिवर्तन समूह एल्गोरिदम. Cambridge Tracts in Mathematics. Vol. 152. Cambridge University Press. ISBN 9780521661034. MR 1970241. Zbl 1028.20002.

बाहरी संबंध

• "Sylow theorems", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• File:Wikibooks-logo-en-noslogan.svg Abstract Algebra/Group Theory/The Sylow Theorems at Wikibooks
• Weisstein, Eric W. "Sylow p-Subgroup". MathWorld.
• Weisstein, Eric W. "Sylow Theorems". MathWorld.