सिलो प्रमेय

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

अभाज्य संख्या के लिए $$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^nm$$ साथ $$n > 0$$ जहाँ $p$ विभाजित नहीं होता $m$, फिर हर सिलो $p$-उपसमूह $P$ का क्रम $$|P| = p^n$$ है .अर्थात $P$ एक $p$-समूह है और $$\text{gcd}(|G:P|, p) = 1$$. $G$ की संरचना का और अधिक विश्लेषण करने के लिए इन गुणों का उपयोग किया जा सकता है.

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

$$

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

$$

$$

${{math theorem|note=3|मान लीजिए कि p एक परिमित समूह G के क्रम की बहुलता n के साथ एक अभाज्य कारक है, ताकि G का क्रम हो सके $$p^nm$$ के रूप में लिखा जाता है, जहां $$n > 0$$ और p, m को विभाजित नहीं करता है। मान लीजिए कि $$n_p$$ G के सिलो p-उपसमूहों की संख्या है। फिर निम्नलिखित होल्ड करें:
 * $$n_p$$ m को विभाजित करता है, जो कि 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$$ के संयुग्मों के समुच्चय को निरूपित करें.

$$

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

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

एक अन्य उदाहरण GL2(Fq), के सिलो p-उपसमूह हैं, जहां p और q प्राइम ≥ 3 और $p ≡ 1 (mod q)$ हैं, जो सभी एबेलियन समूह हैं। GL2(Fq) का क्रम (q2 − 1)(q2 − q) = (q)(q + 1)(q − 1)2 है। चूँकि $q = p^{n}m + 1$,$GL_{2}(F_{q}) = p^{2n} m&prime;$ का क्रम इस प्रकार प्रमेय 1 के अनुसार, सिलो p-उपसमूह का क्रम p2n है।

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

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

उदाहरण अनुप्रयोग
चूंकि सिलो का प्रमेय परिमित समूह के 𝑝 -उपसमूहों के अस्तित्व को सुनिश्चित करता है, इसलिए प्रधान पॉवर क्रम के समूहों का अधिक ध्यानपूर्वक से अध्ययन करना सार्थक है। अधिकांश उदाहरण यह प्रमाणित करने के लिए सिलो के प्रमेय का उपयोग करते हैं कि किसी विशेष क्रम का समूह सरल समूह नहीं है। छोटे क्रम के समूहों के लिए, सिलो के प्रमेय की सर्वांगसमता स्थिति अक्सर सामान्य उपसमूह के अस्तित्व को कठिन करने के लिए पर्याप्त होती है।
 * उदाहरण-1: क्रम pq, p और q अभाज्य संख्याओं के समूह जिनमें p < q है।।
 * उदाहरण-2: क्रम 30 का समूह, क्रम 20 के समूह, क्रम p2q, के समूह, p और q के अलग-अलग अभाज्य कुछ अनुप्रयोग हैं।
 * उदाहरण-3: (क्रम 60 के समूह): यदि क्रम |G| = 60 और G के पास एक से अधिक सिलो 5-उपसमूह हैं, तो G सरल है।

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

छोटे समूह सरल नहीं हैं
अधिक जटिल उदाहरण में सबसे छोटे सरल समूह का क्रम सम्मिलित है जो चक्रीय समूह नहीं है। बर्नसाइड का प्रमेय बर्नसाइड का pa qb प्रमेय में कहा गया है कि यदि किसी समूह का क्रम या दो अभाज्य पॉवर यों का उत्पाद है, तो यह हल करने योग्य समूह है, और इसलिए समूह सरल नहीं है, या अभाज्य क्रम का है और चक्रीय है। यह प्रत्येक समूह को 30 क्रम तक बाहर कर देता है.

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

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

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

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

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


 * $$(p-1)! \equiv -1 \pmod p$$

प्रत्येक प्राइम p के लिए। सिलो के तीसरे प्रमेय द्वारा कोई भी इस प्रमेय को सरलता से सिद्ध कर सकता है। वास्तव में, देखें कि सममित समूह Sp में सिलो के p-उपसमूहों की संख्या np $(p &minus; 2)!$ है! दूसरी ओर, $n_{p} ≡ 1 (mod p)$। अत:, $(p &minus; 2)! ≡ 1 (mod p)$। तो, $(p &minus; 1)! ≡ &minus;1 (mod p)$।

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

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

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

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

$$

$$

$$

$$

$$

$$

$$

$$

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

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

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

यह भी देखें

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