सिलो प्रमेय

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

अभाज्य संख्या के लिए $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) — प्रत्येक प्रमुख कारक p के लिए बहुलता n एक परिमित समूह के क्रम के G के साथ, वहां $p^{n}$ क्रम का, G का एक सिलो [[p-group|p-subgroup]] उपस्तिथ है।

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

परिणाम — एक परिमित समूह G और एक अभाज्य संख्या p दिया गया है जो G के क्रम को विभाजित करता है, तो वहां एक तत्व उपस्तिथ है (और इस प्रकार इस तत्व द्वारा उत्पन्न एक चक्रीय उपसमूह) G में p क्रम का।

Theorem (2) — एक परिमित समूह G और एक अभाज्य संख्या p दिया गया है, सभी सिलो p-G के उपसमूह एक दूसरे से संयुग्म हैं. अर्थात्, यदि H और K सिलो p हैं - G के उपसमूह, तो वहाँ एक तत्व उपस्तिथ है $g\in G$ के साथ $g^{-1}Hg=K$.

Theorem (3) — मान लीजिए कि p एक परिमित समूह G के क्रम की बहुलता n के साथ एक अभाज्य कारक है, ताकि G का क्रम हो सके $p^{n}m$ के रूप में लिखा जाता है, जहां $n>0$ और p, m को विभाजित नहीं करता है। मान लीजिए कि $n_{p}$ G के सिलो p-उपसमूहों की संख्या है। फिर निम्नलिखित होल्ड करें:

• $n_{p}$ m को विभाजित करता है, जो कि {{mvar|G} में सिलो p-उपसमूह का सूचकांक है। }.
• $n_{p}\equiv 1{\bmod {p}}$
• $n_{p}=|G:N_{G}(P)|$, जहां P G और $N_{G}$ नॉर्मलाइज़र को दर्शाता है।

परिणाम

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

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

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

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

Theorem — यदि K, G का एक सिलो p-उपसमूह है, और $n_{p}=|\operatorname {Cl} (K)|$ है परिमित, तो प्रत्येक सिलो p-उपसमूह K से संयुग्मित होता है, और $n_{p}\equiv 1{\bmod {p}}$।

उदाहरण

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

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

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

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

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

ऐसा ही उपसमूह P, विकर्ण आव्यूहों का समुच्चय है ${\begin{bmatrix}x^{im}&0\\0&x^{jm}\end{bmatrix}}$, x, F_q का कोई आदिम मूल है. चूँकि F_q का क्रम है से q − 1 है

q - 1, इसकी आदिम जड़ों का क्रम q - 1 है, जिसका अर्थ है कि x^{(q − 1)/pn} या x^m और इसकी सभी पॉवर का एक क्रम है जो p की पॉवर है। तो, 𝑝 -उपसमूह है जहां इसके सभी तत्वों के क्रम हैं जो 𝑝 की पॉवर हैं। a और b दोनों के लिए pⁿ विकल्प हैं, जिससे pⁿ बनता है|P| = p²ⁿ. इसका मतलब यह है कि 𝑝 एक सिलो 𝑝 -उपसमूह है, जो एबेलियन है, क्योंकि सभी विकर्ण मैट्रिक्स चलते हैं, और क्योंकि प्रमेय 2 में कहा गया है कि सभी सिलो 𝑝 -उपसमूह एक-दूसरे से संयुग्मित हैं, GL₂(F_q) के सिलो 𝑝 -उपसमूह सभी एबेलियन हैं .

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

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

उदाहरण-1

क्रम pq, p और q अभाज्य संख्याओं के समूह जिनमें p < q है।।

उदाहरण-2

क्रम 30 का समूह, क्रम 20 के समूह, क्रम p²q, के समूह, p और q के अलग-अलग अभाज्य कुछ अनुप्रयोग हैं।

उदाहरण-3

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

चक्रीय समूह क्रम

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

जटिल लघु समूह

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

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

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

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

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

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

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

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

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

संलयन परिणाम

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

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

एल्गोरिदम

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

जिससे सिलो 𝑝 -उपसमूहों के अस्तित्व का प्रमाण रचनात्मक है: यदि H , G का 𝑝 -उपसमूह है और सूचकांक [G:H] पी से विभाज्य है, तो सामान्यीकरणकर्ता N = N_G(H) में H का (G ) भी ऐसा है कि [N : H] p से विभाज्य है। दूसरे शब्दों में, सिलो 𝑝 -उपसमूह की पॉलीसाइक्लिक जनरेटिंग प्रणाली किसी भी 𝑝 -उपसमूह एच (पहचान सहित) से प्रारंभ करके और H के नॉर्मलाइज़र में निहित 𝑝 -पावर क्रम के तत्वों को लेकर पाई जा सकती है, किन्तु 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]
• Abstract Algebra/Group Theory/The Sylow Theorems at Wikibooks
• Weisstein, Eric W. "Sylow p-Subgroup". MathWorld.
• Weisstein, Eric W. "Sylow Theorems". MathWorld.