सिलो प्रमेय: Difference between revisions

Latest revision as of 17:31, 29 July 2023

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

अभाज्य संख्या के लिए $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$ है .^[2]

कथन

इस प्रकार से उपसमूहों का संग्रह, जिनमें से प्रत्येक किसी न किसी अर्थ में अधिकतम है, समूह सिद्धांत में सामान्य है। यहां आश्चर्यजनक परिणाम यह है कि के स्तिथि में $\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$ क्रम का।^[3]

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 \equiv 1 (mod q)$ हैं, जो सभी एबेलियन समूह हैं। GL₂(F_q) का क्रम (q² − 1)(q² − q) = (q)(q + 1)(q − 1)² है। चूँकि $q = p n m + 1$ , $GL 2 (F q) = p 2 n 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)/ p n$ या x^m और इसकी सभी पॉवर का एक क्रम है जो p की पॉवर है। तो, 𝑝 -उपसमूह है जहां इसके सभी तत्वों के क्रम हैं जो 𝑝 की पॉवर हैं। a और b दोनों के लिए pⁿ विकल्प हैं, जिससे pⁿ बनता है $| P | = p 2 n$ . इसका मतलब यह है कि 𝑝 एक सिलो 𝑝 -उपसमूह है, जो एबेलियन है, क्योंकि सभी विकर्ण मैट्रिक्स चलते हैं, और क्योंकि प्रमेय 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 \equiv 1 (mod p)$ । अत:, $(p - 2)! \equiv 1 (mod p)$ । तो, $(p - 1)! \equiv -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⁻¹ = B^h−1 = B, जिससे A और B N_G(P)-संयुग्म हैं। बर्नसाइड के संलयन प्रमेय का उपयोग अधिक शक्तिशाली कारकीकरण देने के लिए किया जा सकता है जिसे अर्ध-प्रत्यक्ष उत्पाद कहा जाता है: यदि G एक परिमित समूह है जिसका सिलो पी-उपसमूह P इसके सामान्यीकरण के केंद्र में समाहित है, तो G के पास P के सहअभाज्य क्रम का एक सामान्य उपसमूह K है। , G = PK और P∩K = {1}, अर्थात, G, p-निलपोटेंट है।

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

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

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

इस प्रकार से साइलो प्रमेय का प्रमाण विभिन्न रचनात्मक विधियो से समूह क्रिया (गणित) की धारणा का शोषण करता है। समूह $G$ स्वयं पर या अपने 𝑝 -उपसमूहों के समुच्चय पर विभिन्न विधियो से कार्य करता है, और इस प्रकार की प्रत्येक क्रिया का उपयोग साइलो प्रमेयों में से को सिद्ध करने के लिए किया जा सकता है। निम्नलिखित प्रमाण विलैंड्ट के संयुक्त तर्कों पर आधारित हैं।^[9] निम्नलिखित में, हम $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 k m = p k + r u$ 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 \in G$ and $ω \in Ω$ , $g \cdot ω = {g x | x \in ω}$ . For a given set $ω \in Ω$ , write G_ω for its stabilizer subgroup ${g \in G | g \cdot ω = ω}$ and Gω for its orbit ${g \cdot ω | g \in G}$ in Ω.

The proof will show the existence of some $ω \in Ω$ 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 $α \in ω \subseteq G$ , the right coset $G$ _$ω$ $α$ is contained in $ω$ ; therefore, $| G ω | = | G ω α | \leq | ω | = p k$ .

By the orbit-stabilizer theorem we have $| G ω | | G ω | = | G |$ for each $ω \in Ω$ , 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 $ω \in Ω$ 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 $| Ω | \equiv | Ω 0 | (mod p)$ .

Proof

Any element $x \in Ω$ 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 $| H x |$ over all distinct orbits $H$ $x$ 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 $| Ω 0 | \equiv | Ω | = [G : P] (mod p)$ . Now $p\nmid [G:P]$ by definition so $p\nmid |\Omega _{0}|$ , hence in particular $| Ω 0 | \neq 0$ so there exists some $gP \in Ω 0$ . With this gP, we have hgP = gP for all $h \in H$ , so g⁻¹HgP = P and therefore g⁻¹Hg ≤ P. Furthermore, if H is a Sylow p-subgroup, then $| g -1 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 \equiv 1 (mod p)$ .

Proof

Let Ω be the set of all Sylow p-subgroups of $G$ and let $G$ act on Ω by conjugation. Let $P \in Ω$ 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 \in G | gPg -1 = 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 \in Ω 0$ and observe that then $Q = xQx -1$ for all $x \in 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, $| Ω | \equiv | Ω 0 | = 1 (mod p)$ .

एल्गोरिदम

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

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

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

यह भी देखें

↑ Sylow, L. (1872). "Théorèmes sur les groupes de substitutions". Math. Ann. (in français). 5 (4): 584–594. doi:10.1007/BF01442913. JFM 04.0056.02. S2CID 121928336.
↑ Gracia–Saz, Alfonso. "Classification of groups of order 60" (PDF). math.toronto.edu. Archived (PDF) from the original on 28 October 2020. Retrieved 8 May 2021.
↑ Fraleigh, John B. (2004). A First Course In Abstract Algebra. with contribution by Victor J. Katz. Pearson Education. p. 322. ISBN 9788178089973.
↑ Waterhouse 1980.
↑ Scharlau 1988.
↑ Casadio & Zappa 1990.
↑ Gow 1994.
↑ Meo 2004.
↑ Wielandt 1959.
↑ Butler 1991, Chapter 16.
↑ Cannon 1971.
↑ Kantor 1985a.
↑ Kantor 1985b.
↑ Kantor 1990.
↑ Kantor & Taylor 1988.
↑ Seress 2003.

संदर्भ

प्रमाण

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.

[Sylow1872-1] Sylow, L. (1872). "Théorèmes sur les groupes de substitutions". Math. Ann. (in français). 5 (4): 584–594. doi:10.1007/BF01442913. JFM 04.0056.02. S2CID 121928336.

[GraciaSaz_WebPDF-2] Gracia–Saz, Alfonso. "Classification of groups of order 60" (PDF). math.toronto.edu. Archived (PDF) from the original on 28 October 2020. Retrieved 8 May 2021.

[Fraleigh_2004_322-3] Fraleigh, John B. (2004). A First Course In Abstract Algebra. with contribution by Victor J. Katz. Pearson Education. p. 322. ISBN 9788178089973.

[FOOTNOTEWaterhouse1980-4] Waterhouse 1980.

[FOOTNOTEScharlau1988-5] Scharlau 1988.

[FOOTNOTECasadioZappa1990-6] Casadio & Zappa 1990.

[FOOTNOTEGow1994-7] Gow 1994.

[FOOTNOTEMeo2004-8] Meo 2004.

[FOOTNOTEWielandt1959-9] Wielandt 1959.

[FOOTNOTEButler1991Chapter_16-10] Butler 1991, Chapter 16.

[FOOTNOTECannon1971-11] Cannon 1971.

[FOOTNOTEKantor1985a-12] Kantor 1985a.

[FOOTNOTEKantor1985b-13] Kantor 1985b.

[FOOTNOTEKantor1990-14] Kantor 1990.

[FOOTNOTEKantorTaylor1988-15] Kantor & Taylor 1988.

[FOOTNOTESeress2003-16] Seress 2003.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

@@ Line 1: / Line 1: @@
 {{short description|Theorems that help decompose a finite group based on prime factors of its order}}
 {{Group theory sidebar |Finite}}
-{{Use shortened footnotes|date=May 2021}}
-  {{More footnotes|date=November 2018}}
-गणित में, विशेष रूप से [[परिमित समूह सिद्धांत]] के क्षेत्र में, सिलो [[प्रमेय]] प्रमेयों का एक संग्रह है जिसका नाम नॉर्वेजियन गणितज्ञ [[पीटर लुडविग मेजडेल साइलो]] के नाम पर रखा गया है।{{r|Sylow1872}} जो किसी दिए गए [[परिमित समूह]] में शामिल समूह के निश्चित क्रम के [[उपसमूह]]ों की संख्या के बारे में विस्तृत जानकारी देता है। सिलो प्रमेय परिमित समूह सिद्धांत का एक मूलभूत हिस्सा है और परिमित सरल समूहों के वर्गीकरण में इसका बहुत महत्वपूर्ण अनुप्रयोग है।
-एक [[अभाज्य संख्या]] के लिए <math>p</math>, एक समूह का एक सिलो ''पी''-उपसमूह (कभी-कभी ''पी''-सिलो उपसमूह) <math>G</math> एक अधिकतम है <math>p</math>-उपसमूह <math>G</math>, यानी, का एक उपसमूह <math>G</math> वह एक पी-समूह है|पी-समूह (जिसका अर्थ है कि इसकी प्रमुखता एक [[शक्ति (गणित)]] है) <math>p,</math> या समकक्ष, प्रत्येक समूह तत्व के [[समूह तत्व का क्रम]] एक शक्ति है <math>p</math>) यह किसी अन्य का उचित उपसमूह नहीं है <math>p</math>-उपसमूह <math>G</math>. सभी सिलो का सेट <math>p</math>-किसी दिए गए प्राइम के लिए उपसमूह <math>p</math> कभी-कभी लिखा जाता है <math>\text{Syl}_p(G)</math>.
-सिलो प्रमेय लैग्रेंज के प्रमेय (समूह सिद्धांत)|लैग्रेंज के प्रमेय के आंशिक विपरीत पर जोर देते हैं। लैग्रेंज के प्रमेय में कहा गया है कि किसी भी परिमित समूह के लिए <math>G</math> के प्रत्येक उपसमूह का क्रम (तत्वों की संख्या)। <math>G</math> के क्रम को विभाजित करता है <math>G</math>. सिलो प्रमेय बताता है कि प्रत्येक अभाज्य कारक के लिए<math>p</math>एक परिमित समूह के क्रम का <math>G</math>, वहाँ एक सिलो मौजूद है <math>p</math>-उपसमूह <math>G</math> आदेश की <math>p^n</math>, की सर्वोच्च शक्ति <math>p</math> जो के क्रम को विभाजित करता है <math>G</math>. इसके अलावा, आदेश का प्रत्येक उपसमूह<math>p^n</math>एक सिलो है<math>p</math>-उपसमूह <math>G</math>, और सिलो <math>p</math>-किसी समूह के उपसमूह (किसी दिए गए अभाज्य के लिए <math>p</math>) एक दूसरे से संयुग्मी वर्ग हैं। इसके अलावा, सिलो की संख्या <math>p</math>-किसी दिए गए अभाज्य के लिए एक समूह के उपसमूह <math>p</math> 1 के सर्वांगसम है (mod <math>p</math>).
+गणित में, विशेष रूप से [[परिमित समूह सिद्धांत]] के क्षेत्र में, '''सिलो [[प्रमेय]]''' प्रमेयों का संग्रह है जिसका नाम नॉर्वेजियन गणितज्ञ [[पीटर लुडविग मेजडेल साइलो]] के नाम पर रखा गया है।{{r|Sylow1872}} जो किसी दिए गए [[परिमित समूह]] में सम्मिलित समूह के निश्चित क्रम के [[उपसमूह]] की संख्या के बारे में विस्तृत जानकारी देता है। सिलो प्रमेय परिमित समूह सिद्धांत का मूलभूत भाग है और परिमित सरल समूहों के वर्गीकरण में इसका अधिक महत्वपूर्ण अनुप्रयोग है।
+[[अभाज्य संख्या]] के लिए <math>p</math>, समूह का सिलो 𝑝 -उपसमूह (कभी-कभी 𝑝 -सिलो उपसमूह) <math>G</math> अधिकतम है <math>p</math>-उपसमूह <math>G</math>, अर्थात , का उपसमूह <math>G</math> वह 𝑝 -समूह है 𝑝 -समूह (जिसका अर्थ है कि इसकी प्रमुखता [[शक्ति (गणित)|पॉवर <math>p,</math> (गणित)]] है) या समकक्ष, प्रत्येक समूह तत्व के [[समूह तत्व का क्रम]] पॉवर <math>p</math> है ) यह किसी अन्य का उचित उपसमूह नहीं है <math>p</math>-उपसमूह <math>G</math>. सभी सिलो का समुच्चय <math>p</math>-किसी दिए गए प्राइम के लिए उपसमूह <math>p</math> कभी-कभी <math>\text{Syl}_p(G)</math> लिखा जाता है .
+सिलो प्रमेय लैग्रेंज के प्रमेय (समूह सिद्धांत)|लैग्रेंज के प्रमेय के आंशिक विपरीत पर जोर देते हैं। लैग्रेंज के प्रमेय में कहा गया है कि किसी भी परिमित समूह के लिए <math>G</math> के प्रत्येक उपसमूह <math>G</math> का क्रम (तत्वों की संख्या)। <math>G</math> के क्रम को विभाजित करता है . सिलो प्रमेय बताता है कि प्रत्येक अभाज्य कारक के लिए <math>p</math> परिमित समूह के क्रम का <math>G</math>, वहाँ सिलो उपस्तिथ है <math>p</math>-उपसमूह <math>G</math> क्रम की <math>p^n</math>, की सर्वोच्च पॉवर <math>p</math> जो के क्रम <math>G</math> को विभाजित करता है . इसके अतिरिक्त , क्रम का प्रत्येक उपसमूह <math>p^n</math> सिलो है <math>p</math>-उपसमूह <math>G</math>, और सिलो <math>p</math>-किसी समूह के उपसमूह (किसी दिए गए अभाज्य <math>p</math> के लिए ) दूसरे से संयुग्मी वर्ग हैं। इसके अतिरिक्त , सिलो की संख्या <math>p</math>-किसी दिए गए अभाज्य के लिए समूह के उपसमूह <math>p</math> 1 के सर्वांगसम (mod <math>p</math>). है
 == प्रमेय ==
 === प्रेरणा ===
-साइलो प्रमेय सामान्य रूप से समूहों की संरचना के बारे में एक शक्तिशाली कथन हैं, लेकिन परिमित समूह सिद्धांत के अनुप्रयोगों में भी शक्तिशाली हैं। ऐसा इसलिए है क्योंकि वे एक परिमित समूह की कार्डिनैलिटी के प्राइम अपघटन का उपयोग करने के लिए एक विधि देते हैं <math>G</math> अपने उपसमूहों की संरचना के बारे में बयान देने के लिए: अनिवार्य रूप से, यह किसी समूह के बारे में बुनियादी संख्या-सैद्धांतिक जानकारी को उसके समूह संरचना तक पहुंचाने की एक तकनीक देता है। इस अवलोकन से, परिमित समूहों को वर्गीकृत करना यह पता लगाने का खेल बन जाता है कि समूह के निर्माण के लिए छोटे क्रम के समूहों के कौन से संयोजन/निर्माण को लागू किया जा सकता है। उदाहरण के लिए, इन प्रमेयों का एक विशिष्ट अनुप्रयोग कुछ निश्चित कार्डिनैलिटी के परिमित समूहों के वर्गीकरण में है, जैसे <math>|G| = 60</math>.{{r|GraciaSaz_WebPDF}}
+साइलो प्रमेय सामान्य रूप से समूहों की संरचना के बारे में शक्तिशाली कथन हैं, किन्तु परिमित समूह सिद्धांत के अनुप्रयोगों में भी शक्तिशाली हैं। ऐसा इसलिए है क्योंकि वे परिमित समूह की कार्डिनैलिटी के प्राइम अपघटन का उपयोग करने के लिए विधि देते हैं <math>G</math> अपने उपसमूहों की संरचना के बारे में कथन देने के लिए: अनिवार्य रूप से, यह किसी समूह के बारे में बुनियादी संख्या-सैद्धांतिक जानकारी को उसके समूह संरचना तक पहुंचाने की तकनीक देता है। इस अवलोकन से, परिमित समूहों को वर्गीकृत करना यह पता लगाने का खेल बन जाता है कि समूह के निर्माण के लिए छोटे क्रम के समूहों के कौन से संयोजन/निर्माण को प्रयुक्त किया जा सकता है। उदाहरण के लिए, इन प्रमेयों का विशिष्ट अनुप्रयोग कुछ निश्चित कार्डिनैलिटी के परिमित समूहों के वर्गीकरण में है, जैसे <math>|G| = 60</math> है .{{r|GraciaSaz_WebPDF}}
 === कथन ===
-उपसमूहों का संग्रह, जिनमें से प्रत्येक किसी न किसी अर्थ में अधिकतम है, समूह सिद्धांत में सामान्य है। यहां आश्चर्यजनक परिणाम यह है कि के मामले में <math>\operatorname{Syl}_p(G)</math>, सभी सदस्य वास्तव में एक दूसरे के लिए [[समूह समरूपता]] हैं और उनका सबसे बड़ा संभावित क्रम है: यदि <math>|G|=p^nm</math> साथ <math>n > 0</math> कहाँ {{mvar|p}} विभाजित नहीं होता {{mvar|m}}, फिर हर सिलो {{mvar|p}}-उपसमूह {{mvar|P}} का ऑर्डर है <math>|P| = p^n</math>. वह है, {{mvar|P}} एक है {{mvar|p}}-समूह और <math>\text{gcd}(|G:P|, p) = 1</math>. की संरचना का और अधिक विश्लेषण करने के लिए इन गुणों का उपयोग किया जा सकता है {{mvar|G}}.
+इस प्रकार से उपसमूहों का संग्रह, जिनमें से प्रत्येक किसी न किसी अर्थ में अधिकतम है, समूह सिद्धांत में सामान्य है। यहां आश्चर्यजनक परिणाम यह है कि के स्तिथि में <math>\operatorname{Syl}_p(G)</math>, सभी सदस्य वास्तव में दूसरे के लिए [[समूह समरूपता]] हैं और उनका सबसे बड़ा संभावित क्रम है: यदि <math>|G|=p^nm</math> साथ <math>n > 0</math> जहाँ {{mvar|p}} विभाजित नहीं होता {{mvar|m}}, फिर हर सिलो {{mvar|p}}-उपसमूह {{mvar|P}} का क्रम <math>|P| = p^n</math> है .अर्थात {{mvar|P}} एक {{mvar|p}}-समूह है और <math>\text{gcd}(|G:P|, p) = 1</math>. {{mvar|G}} की संरचना का और अधिक विश्लेषण करने के लिए इन गुणों का उपयोग किया जा सकता है .
 निम्नलिखित प्रमेय पहली बार 1872 में लुडविग साइलो द्वारा प्रस्तावित और सिद्ध किए गए थे, और मैथेमेटिश एनालेन में प्रकाशित हुए थे।
-{{math theorem|note=1|For every [[prime factor]] {{mvar|p}} with [[multiplicity of a prime factor|multiplicity]] {{mvar|n}} of the order of a finite group {{mvar|G}}, there exists a Sylow [[p-group|{{mvar|p}}-subgroup]] of {{mvar|G}}, of order ''<math>p^n</math>''.}}
+{{math theorem|note=1|प्रत्येक [[प्रमुख कारक]] {{mvar|p}} के लिए [[एक अभाज्य कारक की बहुलता|बहुलता]] {{mvar|n}} एक परिमित समूह के क्रम के {{mvar|G}} के साथ, वहां ''<math>p^n</math>'' क्रम का, {{mvar|G}} का एक सिलो [[p-group|{{mvar|p}}-subgroup]] उपस्तिथ  है।}}
 प्रमेय 1 का निम्नलिखित कमजोर संस्करण पहली बार [[ऑगस्टिन-लुई कॉची]] द्वारा सिद्ध किया गया था, और इसे कॉची के प्रमेय (समूह सिद्धांत) | कॉची के प्रमेय के रूप में जाना जाता है।
-{{math theorem|name=Corollary|Given a finite group {{mvar|G}} and a prime number {{mvar|p}} dividing the order of {{mvar|G}}, then there exists an element (and thus a cyclic subgroup generated by this element) of order {{mvar|p}} in ''{{mvar|G}}''.{{r|Fraleigh_2004_322}}}}
+{{math theorem|name=परिणाम|एक परिमित समूह {{mvar|G}} और एक अभाज्य संख्या {{mvar|p}} दिया गया है जो {{mvar|G}} के क्रम को विभाजित करता है, तो वहां एक तत्व उपस्तिथ  है (और इस प्रकार इस तत्व द्वारा उत्पन्न एक चक्रीय उपसमूह) ''{{mvar|G}}'' में {{mvar|p}} क्रम का।{{r|Fraleigh_2004_322}}}}
-{{math theorem|note=2|Given a finite group {{mvar|G}} and a prime number {{mvar|p}}, all Sylow {{mvar|p}}-subgroups of {{mvar|G}} are [[conjugacy class|conjugate]] to each other. That is, if {{mvar|H}} and {{mvar|K}} are Sylow {{mvar|p}}-subgroups of {{mvar|G}}, then there exists an element <math>g \in G</math> with <math>g^{-1}Hg = K</math>.}}
+{{math theorem|note=2|एक परिमित समूह {{mvar|G}} और एक अभाज्य संख्या {{mvar|p}} दिया गया है, सभी सिलो {{mvar|p}}-{{mvar|G}} के उपसमूह एक दूसरे से [[संयुग्म वर्ग|संयुग्म]] हैं. अर्थात्, यदि {{mvar|H}} और {{mvar|K}} सिलो {{mvar|p}} हैं - {{mvar|G}} के उपसमूह, तो वहाँ एक तत्व उपस्तिथ है <math>g \in G</math> के साथ <math>g^{-1}Hg = K</math>.}}
-{{math theorem|note=3|Let {{mvar|p}} be a prime factor with multiplicity {{mvar|n}} of the order of a finite group {{mvar|G}}, so that the order of {{mvar|G}} can be written as <math>p^nm</math>, where <math>n > 0</math> and {{mvar|p}} does not divide {{mvar|m}}. Let <math>n_p</math> be the number of Sylow {{mvar|p}}-subgroups of {{mvar|G}}. Then the following hold:
+{{math theorem|note=3|मान लीजिए कि {{mvar|p}} एक परिमित समूह {{mvar|G}} के क्रम की बहुलता {{mvar|n}} के साथ एक अभाज्य कारक है, ताकि {{mvar|G}} का क्रम हो सके <math>p^nm</math> के रूप में लिखा जाता है, जहां <math>n > 0</math> और {{mvar|p}}, {{mvar|m}} को विभाजित नहीं करता है। मान लीजिए कि <math>n_p</math> {{mvar|G}} के सिलो {{mvar|p}}-उपसमूहों की संख्या है। फिर निम्नलिखित होल्ड करें:
-* <math>n_p</math> divides {{mvar|m}}, which is the [[index of a subgroup|index]] of the Sylow {{mvar|p}}-subgroup in {{mvar|G}}.
+* <math>n_p</math> {{mvar|m}}<nowiki> को विभाजित करता है, जो कि {{mvar|G} में सिलो </nowiki>{{mvar|p}}-उपसमूह का [[एक उपसमूह का सूचकांक|सूचकांक]] है। }.
 * <math>n_p \equiv 1 \bmod p</math>
-* <math>n_p = |G:N_G(P)|</math>, where {{mvar|P}} is any Sylow {{mvar|p}}-subgroup of {{mvar|G}} and <math>N_G</math> denotes the [[normalizer]].
+* <math>n_p = |G:N_G(P)|</math>, जहां {{mvar|P}} {{mvar|G}} और <math का कोई सिलो {{mvar|p}}-उपसमूह है >N_G</math> [[नॉर्मलाइज़र]] को दर्शाता है।
 }}
 === परिणाम ===
-साइलो प्रमेय का अर्थ है कि एक अभाज्य संख्या के लिए <math>p</math> हर सिलो <math>p</math>-उपसमूह एक ही क्रम का है, <math>p^n</math>. इसके विपरीत, यदि किसी उपसमूह के पास आदेश है <math>p^n</math>, तो यह एक सिलो है <math>p</math>-उपसमूह, और इसलिए हर दूसरे सिलो के लिए समरूपी है <math>p</math>-उपसमूह. अधिकतम स्थिति के कारण, यदि <math>H</math> क्या किसी <math>p</math>-उपसमूह <math>G</math>, तब <math>H</math> का एक उपसमूह है <math>p</math>-आदेश का उपसमूह <math>p^n</math>.
+सिलो प्रमेय का अर्थ है कि एक अभाज्य संख्या <math>p</math> के लिए प्रत्येक सिलो <math>p</math>-उपसमूह समान क्रम <math>p^n</math>का है। इसके विपरीत, यदि किसी उपसमूह का क्रम <math>p^n</math> है तो यह एक सिलो <math>p</math>-उपसमूह है, और इसलिए यह हर दूसरे सिलो <math>p</math>-उपसमूह के लिए आइसोमोर्फिक है। अधिकतम स्थिति के कारण, यदि <math>H</math>, <math>G</math> का कोई P उपसमूह है तो <math>H</math>, क्रम <math>p^n</math> के <math>p</math> उपसमूह का एक उपसमूह है.
-प्रमेय 2 का एक बहुत ही महत्वपूर्ण परिणाम यह है कि स्थिति <math>n_p = 1</math> यह कहने के बराबर है कि सिलो <math>p</math>-उपसमूह <math>G</math> एक [[सामान्य उपसमूह]] है. हालाँकि, ऐसे समूह हैं जिनमें सामान्य उपसमूह तो हैं लेकिन कोई सामान्य सिलो उपसमूह नहीं हैं, जैसे <math>S_4</math>.
+प्रमेय 2 का अधिक ही महत्वपूर्ण परिणाम यह है कि स्थिति <math>n_p = 1</math> यह कहने के समान है कि सिलो <math>p</math>-उपसमूह <math>G</math> [[सामान्य उपसमूह]] है. चूंकि , ऐसे समूह हैं जिनमें सामान्य उपसमूह तो हैं किन्तु कोई सामान्य सिलो उपसमूह नहीं हैं, जैसे <math>S_4</math> है .
 === अनंत समूहों के लिए सिलो प्रमेय ===
-अनंत समूहों के लिए सिलो प्रमेय का एक एनालॉग है। एक सिलो को परिभाषित करता है {{mvar|p}}-एक अनंत समूह में उपसमूह एक पी-उपसमूह होता है (अर्थात्, इसमें प्रत्येक तत्व होता है {{mvar|p}}-शक्ति क्रम) जो सभी के बीच समावेशन के लिए अधिकतम है {{mvar|p}}-समूह में उपसमूह। होने देना <math>\operatorname{Cl}(K)</math> किसी उपसमूह के संयुग्मों के समुच्चय को निरूपित करें <math>K \subset G</math>.
+अनंत समूहों के लिए सिलो प्रमेय का एनालॉग है। सिलो को परिभाषित करता है {{mvar|p}}- अनंत समूह में उपसमूह 𝑝 -उपसमूह होता है (अर्थात्, इसमें प्रत्येक तत्व होता है {{mvar|p}}-पॉवर क्रम) जो सभी के मध्य समावेशन के लिए अधिकतम है {{mvar|p}}-समूह में उपसमूह। होने देना <math>\operatorname{Cl}(K)</math> किसी उपसमूह <math>K \subset G</math> के संयुग्मों के समुच्चय को निरूपित करें .
-{{math theorem|If {{mvar|K}} is a Sylow {{mvar|p}}-subgroup of {{mvar|G}}, and <math>n_p = |\operatorname{Cl}(K)|</math> is finite, then every Sylow {{mvar|p}}-subgroup is conjugate to {{mvar|K}}, and <math>n_p \equiv 1 \bmod p</math>.}}
+{{math theorem|यदि {{mvar|K}}, {{mvar|G}} का एक सिलो {{mvar|p}}-उपसमूह है, और <math>n_p = |\operatorname{Cl}(K)|</math> है परिमित, तो प्रत्येक सिलो {{mvar|p}}-उपसमूह {{mvar|K}} से संयुग्मित होता है, और <math>n_p \equiv 1 \bmod p</math>।}}
 == उदाहरण ==
-[[File:Labeled Triangle Reflections.svg|thumb|डी में<sub>6</sub> सभी प्रतिबिंब संयुग्मी होते हैं, क्योंकि प्रतिबिंब सिलो 2-उपसमूहों के अनुरूप होते हैं।]]सिलो उपसमूहों और सिलो प्रमेय का एक सरल उदाहरण एन-गॉन, डी का [[डायहेड्रल समूह]] है<sub>2''n''</sub>. n विषम के लिए, 2 = 2<sup>1</sup>क्रम को विभाजित करने वाले 2 की उच्चतम शक्ति है, और इस प्रकार क्रम 2 के उपसमूह सिलो उपसमूह हैं। ये एक प्रतिबिंब द्वारा उत्पन्न समूह हैं, जिनमें से n हैं, और वे सभी घूर्णन के तहत संयुग्मित हैं; ज्यामितीय रूप से सममिति के अक्ष एक शीर्ष और एक भुजा से होकर गुजरते हैं।
+[[File:Labeled Triangle Reflections.svg|thumb|''D''<sub>6</sub> में सभी प्रतिबिंब संयुग्मी होते हैं, क्योंकि प्रतिबिंब सिलो 2-उपसमूहों के अनुरूप होते हैं।]]सिलो उपसमूहों और सिलो प्रमेय का सरल उदाहरण n-gon, ''D''<sub>2''n''</sub>का [[डायहेड्रल समूह]] है. n विषम के लिए, 2 = 2<sup>1</sup>क्रम को विभाजित करने वाले 2 की उच्चतम पॉवर है, और इस प्रकार क्रम 2 के उपसमूह सिलो उपसमूह हैं। ये प्रतिबिंब द्वारा उत्पन्न समूह हैं, जिनमें से n हैं, और वे सभी घूर्णन के तहत संयुग्मित हैं; ज्यामितीय रूप से सममिति के अक्ष शीर्ष और भुजा से होकर गुजरते हैं।
+[[File:Hexagon reflections.svg|thumb|left|''D''<sub>12</sub> में प्रतिबिंब अब सिलो 2-उपसमूहों के अनुरूप नहीं हैं, और दो संयुग्मन वर्गों में आते हैं।]]इसके विपरीत, यदि n सम है, तो समूह के क्रम को 4 विभाजित करता है, और क्रम 2 के उपसमूह अब सिलो उपसमूह नहीं हैं, और वास्तव में वे दो संयुग्मन वर्गों में आते हैं, ज्यामितीय रूप से इस पर निर्भर करता है कि वे दो शीर्षों से गुजरते हैं या दो चेहरे के। ये [[बाहरी स्वचालितता]] से संबंधित हैं, जिसे π/n के माध्यम से घूर्णन द्वारा दर्शाया जा सकता है, जो कि डायहेड्रल समूह में न्यूनतम घूर्णन का आधा है।
-[[File:Hexagon reflections.svg|thumb|left|डी में<sub>12</sub> प्रतिबिंब अब सिलो 2-उपसमूहों के अनुरूप नहीं हैं, और दो संयुग्मन वर्गों में आते हैं।]]इसके विपरीत, यदि n सम है, तो समूह के क्रम को 4 विभाजित करता है, और क्रम 2 के उपसमूह अब सिलो उपसमूह नहीं हैं, और वास्तव में वे दो संयुग्मन वर्गों में आते हैं, ज्यामितीय रूप से इस पर निर्भर करता है कि वे दो शीर्षों से गुजरते हैं या दो चेहरे के। ये एक [[बाहरी स्वचालितता]] से संबंधित हैं, जिसे π/n के माध्यम से घूर्णन द्वारा दर्शाया जा सकता है, जो कि डायहेड्रल समूह में न्यूनतम घूर्णन का आधा है।
+एक अन्य उदाहरण ''GL''<sub>2</sub>(''F<sub>q</sub>''), के सिलो ''p''-उपसमूह हैं, जहां p और q प्राइम ≥ 3 और {{math|''p''&nbsp;≡&nbsp;1&nbsp;(mod&nbsp;''q'')}} हैं, जो सभी [[एबेलियन समूह]] हैं। ''GL''<sub>2</sub>(''F<sub>q</sub>'') का क्रम (''q''<sup>2</sup> − 1)(''q''<sup>2</sup> − ''q'') = (''q'')(''q'' + 1)(''q'' − 1)<sup>2</sup> है। चूँकि {{math|1=''q''&nbsp;=&nbsp;''p''<sup>''n''</sup>''m''&nbsp;+&nbsp;1}},{{math|1=''GL''<sub>2</sub>(''F''<sub>''q''</sub>) =&nbsp;''p''<sup>2''n''</sup> ''m''&prime;}} का क्रम इस प्रकार प्रमेय 1 के अनुसार, सिलो p-उपसमूह का क्रम ''p''<sup>2''n''</sup> है।
-{{Clear}}
-एक अन्य उदाहरण जीएल के सिलो पी-उपसमूह हैं<sub>2</sub>(एफ<sub>''q''</sub>), जहां p और q अभाज्य हैं ≥ 3 और {{math|''p''&nbsp;≡&nbsp;1&nbsp;(mod&nbsp;''q'')}} , जो सभी [[एबेलियन समूह]] हैं। जीएल का आदेश<sub>2</sub>(एफ<sub>''q''</sub>) है {{math|1=(''q''<sup>2</sup>&nbsp;−&nbsp;1)(''q''<sup>2</sup>&nbsp;−&nbsp;''q'') = (''q'')(''q''&nbsp;+&nbsp;1)(''q''&nbsp;−&nbsp;1)<sup>2</sup>}}. तब से {{math|1=''q''&nbsp;=&nbsp;''p''<sup>''n''</sup>''m''&nbsp;+&nbsp;1}}, के लिए {{math|1=''GL''<sub>2</sub>(''F''<sub>''q''</sub>) =&nbsp;''p''<sup>2''n''</sup> ''m''&prime;}}. इस प्रकार प्रमेय 1 के अनुसार, सिलो पी-उपसमूहों का क्रम पी है<sup>2n</sup>.
-ऐसा ही एक उपसमूह P, विकर्ण आव्यूहों का समुच्चय है  <math>\begin{bmatrix}x^{im} & 0 \\0 & x^{jm} \end{bmatrix}</math>, x, F का कोई आदिम मूल मॉड्यूल n है<sub>''q''</sub>. एफ के आदेश के बाद से<sub>''q''</sub> है {{math|1=''q''&nbsp;−&nbsp;1}}, इसकी आदिम जड़ों का क्रम q - 1 है, जिसका तात्पर्य यह है {{math|1=''x''<sup>(''q''&nbsp;−&nbsp;1)/''p''<sup>''n''</sup></sup>}} या एक्स<sup>म</sup> और इसकी सभी शक्तियों का एक क्रम है जो कि p की शक्ति है। तो, पी एक उपसमूह है जहां इसके सभी तत्वों के आदेश हैं जो पी की शक्तियां हैं। पी हैं<sup>n</sup>a और b दोनों के लिए विकल्प बनाना {{math|1 = {{!}}''P''{{!}} =&nbsp;''p''<sup>2''n''</sup>}}. इसका मतलब यह है कि पी एक साइलो पी-उपसमूह है, जो एबेलियन है, क्योंकि सभी विकर्ण मैट्रिस कम्यूट करते हैं, और क्योंकि प्रमेय 2 में कहा गया है कि सभी सिलो पी-उपसमूह एक-दूसरे से संयुग्मित हैं, जीएल के साइलो पी-उपसमूह<sub>2</sub>(एफ<sub>''q''</sub>) सभी एबेलियन हैं।
+ऐसा ही उपसमूह P, विकर्ण आव्यूहों का समुच्चय है <math>\begin{bmatrix}x^{im} & 0 \\0 & x^{jm} \end{bmatrix}</math>, x, F<sub>''q''</sub> का कोई आदिम मूल है. चूँकि F<sub>''q''</sub> का क्रम है से {{math|1=''q''&nbsp;−&nbsp;1}} है
+''q - 1,'' इसकी आदिम जड़ों का क्रम ''q - 1'' है, जिसका अर्थ है कि {{math|1=''x''<sup>(''q''&nbsp;−&nbsp;1)/''p''<sup>''n''</sup></sup>}} या ''x<sup>m</sup>'' और इसकी सभी पॉवर का एक क्रम है जो p की पॉवर है। तो, 𝑝 -उपसमूह है जहां इसके सभी तत्वों के क्रम हैं जो 𝑝 की पॉवर हैं। ''a'' और ''b'' दोनों के लिए ''p<sup>n</sup>'' विकल्प हैं, जिससे ''p<sup>n</sup>'' बनता है{{math|1 = {{!}}''P''{{!}} =&nbsp;''p''<sup>2''n''</sup>}}. इसका मतलब यह है कि 𝑝 एक सिलो 𝑝 -उपसमूह है, जो एबेलियन है, क्योंकि सभी विकर्ण मैट्रिक्स चलते हैं, और क्योंकि प्रमेय 2 में कहा गया है कि सभी सिलो 𝑝 -उपसमूह एक-दूसरे से संयुग्मित हैं, ''GL''<sub>2</sub>(''F<sub>q</sub>'') के सिलो 𝑝 -उपसमूह सभी एबेलियन हैं .
 ==उदाहरण अनुप्रयोग==
-चूंकि सिलो का प्रमेय एक परिमित समूह के पी-उपसमूहों के अस्तित्व को सुनिश्चित करता है, इसलिए प्रधान शक्ति क्रम के समूहों का अधिक बारीकी से अध्ययन करना सार्थक है। अधिकांश उदाहरण यह साबित करने के लिए सिलो के प्रमेय का उपयोग करते हैं कि किसी विशेष क्रम का समूह [[सरल समूह]] नहीं है। छोटे क्रम के समूहों के लिए, सिलो के प्रमेय की सर्वांगसमता स्थिति अक्सर एक सामान्य उपसमूह के अस्तित्व को मजबूर करने के लिए पर्याप्त होती है।
+चूंकि सिलो का प्रमेय परिमित समूह के 𝑝 -उपसमूहों के अस्तित्व को सुनिश्चित करता है, इसलिए प्रधान पॉवर क्रम के समूहों का अधिक ध्यानपूर्वक से अध्ययन करना सार्थक है। अधिकांश उदाहरण यह प्रमाणित करने के लिए सिलो के प्रमेय का उपयोग करते हैं कि किसी विशेष क्रम का समूह [[सरल समूह]] नहीं है। छोटे क्रम के समूहों के लिए, सिलो के प्रमेय की सर्वांगसमता स्थिति अक्सर सामान्य उपसमूह के अस्तित्व को कठिन करने के लिए पर्याप्त होती है।
-;उदाहरण-1: p<q के साथ क्रम pq, p और q अभाज्यों के समूह।
+;उदाहरण-1: क्रम ''pq'', ''p'' और q अभाज्य संख्याओं के समूह जिनमें ''p'' < ''q'' है।।
-;उदाहरण-2: क्रम 30 का समूह, क्रम 20 के समूह, क्रम पी के समूह<sup>2</sup>q, p और q विशिष्ट अभाज्य संख्याएँ कुछ अनुप्रयोग हैं।
+;उदाहरण-2: क्रम 30 का समूह, क्रम 20 के समूह, क्रम ''p''<sup>2</sup>''q'', के समूह, ''p'' और ''q'' के अलग-अलग अभाज्य कुछ अनुप्रयोग हैं।
-;उदाहरण-3: (क्रम 60 के समूह): यदि क्रम |जी| = 60 और G में एक से अधिक सिलो 5-उपसमूह हैं, तो G सरल है।
+;उदाहरण-3: (क्रम 60 के समूह): यदि क्रम |''G''| = 60 और ''G'' के पास एक से अधिक सिलो 5-उपसमूह हैं, तो ''G'' सरल है।
-=== चक्रीय समूह आदेश ===
+=== चक्रीय समूह क्रम ===
-कुछ अभाज्य संख्याएँ n ऐसी हैं कि क्रम n का प्रत्येक समूह चक्रीय है। सिलो प्रमेय का उपयोग करके कोई यह दिखा सकता है कि n = 15 एक ऐसी संख्या है: मान लीजिए G क्रम 15 = 3 · 5 और n का एक समूह है<sub>3</sub> सिलो 3-उपसमूहों की संख्या हो। फिर एन<sub>3</sub> <math>\mid</math> 5 और एन<sub>3</sub> ≡ 1 (मॉड 3)। इन बाधाओं को संतुष्ट करने वाला एकमात्र मान 1 है; इसलिए, क्रम 3 का केवल एक उपसमूह है, और यह सामान्य उपसमूह होना चाहिए (क्योंकि इसमें कोई अलग संयुग्म नहीं है)। इसी प्रकार, एन<sub>5</sub> 3, और n को विभाजित करना होगा<sub>5</sub> 1 (मॉड 5) के बराबर होना चाहिए; इस प्रकार इसमें क्रम 5 का एक सामान्य उपसमूह भी होना चाहिए। चूँकि 3 और 5 सहअभाज्य हैं, इन दो उपसमूहों का प्रतिच्छेदन तुच्छ है, और इसलिए G को क्रम 3 और 5 के समूहों का [[आंतरिक प्रत्यक्ष उत्पाद]] होना चाहिए, जो कि चक्रीय है क्रम 15 का समूह। इस प्रकार, क्रम 15 (समरूपता [[तक]]) का केवल एक समूह है।
+इस प्रकार से कुछ अभाज्य संख्याएँ ''n'' ऐसी हैं कि क्रम ''n'' का प्रत्येक समूह चक्रीय है। सिलो प्रमेय का उपयोग करके कोई यह दिखा सकता है कि ''n'' = 15 एक ऐसी संख्या है: मान लीजिए ''G'' क्रम ''15 = 3 · 5'' का एक समूह है और ''n<sub>3</sub>'' सिलो ''3-''उपसमूहों की संख्या है। फिर ''n''<sub>3</sub>∣ \मध्य 5 और ''n''<sub>3</sub> ≡ 1 (मॉड 3)। इन बाधाओं को संतुष्ट करने वाला एकमात्र मान 1 है; इसलिए, क्रम 3 का केवल एक उपसमूह है, और यह सामान्य होना चाहिए (क्योंकि इसमें कोई अलग संयुग्म नहीं है)। इसी प्रकार, ''n''<sub>5</sub> को 3 से विभाजित करना होगा, और ''n''<sub>5</sub> को ''1'' (मॉड 5) के समान होना चाहिए; इस प्रकार इसमें क्रम 5 का एक सामान्य उपसमूह भी होना चाहिए। चूँकि 3 और 5 सहअभाज्य होते हैं, इन दो उपसमूहों का प्रतिच्छेदन तुच्छ है, और इसलिए ''G'' को क्रम ''3'' और ''5'' के समूहों का [[आंतरिक प्रत्यक्ष उत्पाद]] होना चाहिए, जो कि चक्रीय है क्रम 15 का समूह। इस प्रकार, क्रम 15 (समरूपता तक) का केवल एक समूह है।
-=== छोटे समूह सरल नहीं हैं ===
+=== जटिल लघु समूह ===
-एक अधिक जटिल उदाहरण में सबसे छोटे सरल समूह का क्रम शामिल है जो चक्रीय समूह नहीं है। बर्नसाइड का प्रमेय|बर्नसाइड का पी<sup>ए</sup>q<sup>बी</sup> प्रमेय में कहा गया है कि यदि किसी समूह का क्रम एक या दो अभाज्य शक्तियों का उत्पाद है, तो यह [[हल करने योग्य समूह]] है, और इसलिए समूह सरल नहीं है, या अभाज्य क्रम का है और चक्रीय है। यह प्रत्येक समूह को 30 ऑर्डर तक बाहर कर देता है {{nowrap|({{=}} 2 · 3 · 5)}}.
+अधिक जटिल उदाहरण में सबसे छोटे सरल समूह का क्रम सम्मिलित है जो चक्रीय समूह नहीं है। बर्नसाइड का प्रमेय बर्नसाइड का ''p<sup>a</sup> q<sup>b</sup>'' प्रमेय में कहा गया है कि यदि किसी समूह का क्रम या दो अभाज्य पॉवर यों का उत्पाद है, तो यह [[हल करने योग्य समूह]] है, और इसलिए समूह सरल नहीं है, या अभाज्य क्रम का है और चक्रीय है। यह प्रत्येक समूह को 30 {{nowrap|({{=}} 2 · 3 · 5)}} क्रम तक बाहर कर देता है .
-यदि G सरल है, और |G| = 30, फिर एन<sub>3</sub> 10 (= 2 · 5), और एन को विभाजित करना होगा<sub>3</sub> 1 (मॉड 3) के बराबर होना चाहिए। इसलिए, एन<sub>3</sub> = 10, चूँकि 10 को न तो 4 और न ही 7 विभाजित करता है, और यदि n<sub>3</sub> = 1 तो, जैसा कि ऊपर बताया गया है, जी के पास क्रम 3 का एक सामान्य उपसमूह होगा, और यह सरल नहीं हो सकता है। G के पास क्रम 3 के 10 अलग-अलग चक्रीय उपसमूह हैं, जिनमें से प्रत्येक में क्रम 3 के 2 तत्व (पहचान सहित) हैं। इसका मतलब है कि G में क्रम 3 के कम से कम 20 अलग-अलग तत्व हैं।
+यदि G सरल है, और |G| = 30, फिर ''n''<sub>3</sub> 10 (= 2 · 5), और ''n''<sub>3</sub> को विभाजित करना होगा 1 (मॉड 3) के समान होना चाहिए। इसलिए, ''n''<sub>3</sub> = 10, चूँकि 10 को न तो 4 और न ही 7 विभाजित करता है, और यदि ''n<sub>3</sub> = 1'' तो, जैसा कि ऊपर बताया गया है, ''G'' के पास क्रम 3 का सामान्य उपसमूह होगा, और यह सरल नहीं हो सकता है। G के पास क्रम 3 के 10 अलग-अलग चक्रीय उपसमूह हैं, जिनमें से प्रत्येक में क्रम 3 के 2 तत्व (पहचान सहित) हैं। इसका मतलब है कि ''G'' में क्रम 3 के कम से कम 20 अलग-अलग तत्व हैं।
-साथ ही, एन<sub>5</sub> = 6, चूँकि n<sub>5</sub> 6 ( = 2 · 3) और n को विभाजित करना होगा<sub>5</sub> 1 (मॉड 5) के बराबर होना चाहिए। तो G में भी क्रम 5 के 24 अलग-अलग तत्व हैं। लेकिन G का क्रम केवल 30 है, इसलिए क्रम 30 का एक सरल समूह मौजूद नहीं हो सकता है।
+साथ ही, ''n''<sub>5</sub> = 6, चूँकि n<sub>5</sub> 6 ( = 2 · 3) और n<sub>5</sub> को विभाजित करना होगा1 (मॉड 5) के समान होना चाहिए। तो G में भी क्रम 5 के 24 अलग-अलग तत्व हैं। किन्तु G का क्रम केवल 30 है, इसलिए क्रम 30 का सरल समूह उपस्तिथ नहीं हो सकता है।
-अगला, मान लीजिए |जी| = 42 = 2 · 3 · 7. यहाँ एन<sub>7</sub> 6 (=2 · 3) और एन को विभाजित करना होगा<sub>7</sub> 1 (मॉड 7) के बराबर होना चाहिए, इसलिए एन<sub>7</sub> = 1. अतः, पहले की तरह, G सरल नहीं हो सकता।
+इस प्रकार से , मान लीजिए |''G''| = 42 = 2 · 3 · 7. यहाँ ''n''<sub>7</sub> 6 (=2 · 3) और ''n''<sub>7</sub> को विभाजित करना होगा 1 (मॉड 7) के समान होना चाहिए, इसलिए ''n''<sub>7</sub> = 1. अतः, पहले की तरह, G सरल नहीं हो सकता है ।
-दूसरी ओर, |जी| के लिए = 60 = 2<sup>2</sup> · 3 · 5, फिर एन<sub>3</sub> = 10 और एन<sub>5</sub> = 6 बिल्कुल संभव है। और वास्तव में, सबसे छोटा सरल गैर-चक्रीय समूह ए है<sub>5</sub>, 5 तत्वों पर [[वैकल्पिक समूह]]। इसमें क्रम 60 है, और क्रम 5 के 24 [[चक्रीय क्रमपरिवर्तन]] हैं, और क्रम 3 के 20 हैं।
+दूसरी ओर, |G | के लिए = 60 = 2<sup>2</sup> · 3 · 5, फिर ''n''<sub>3</sub> = 10 और n<sub>5</sub> = 6 बिल्कुल संभव है। और वास्तव में, सबसे छोटा सरल गैर-चक्रीय समूह n<sub>5</sub> है, 5 तत्वों पर [[वैकल्पिक समूह]]। इसमें क्रम 60 है, और क्रम 5 के 24 [[चक्रीय क्रमपरिवर्तन]] हैं, और क्रम 3 के 20 हैं।
 === विल्सन का प्रमेय ===
-विल्सन के प्रमेय का एक भाग यह बताता है
+विल्सन के प्रमेय का भाग यह बताता है
 :<math>(p-1)! \equiv -1 \pmod p</math>
-प्रत्येक प्राइम पी के लिए। सिलो के तीसरे प्रमेय द्वारा कोई भी इस प्रमेय को आसानी से सिद्ध कर सकता है। वास्तव में,
+प्रत्येक प्राइम ''p'' के लिए। सिलो के तीसरे प्रमेय द्वारा कोई भी इस प्रमेय को सरलता से सिद्ध कर सकता है। वास्तव में, देखें कि सममित समूह ''S<sub>p</sub>'' में सिलो के p-उपसमूहों की संख्या n<sub>p</sub> {{math|(''p''&nbsp;&minus;&nbsp;2)!}} है! दूसरी ओर, {{math|''n''<sub>''p''</sub> ≡ 1 (mod&nbsp;''p'')}}। अत:, {{math|(''p''&nbsp;&minus;&nbsp;2)! ≡ 1 (mod&nbsp;''p'')}}। तो, {{math|(''p''&nbsp;&minus;&nbsp;1)! ≡ &minus;1 (mod&nbsp;''p'')}}।
-ध्यान दें कि संख्या n<sub>p</sub>सिलो के पी-उपसमूहों में से
-सममित समूह एस में<sub>p</sub>है {{math|(''p''&nbsp;&minus;&nbsp;2)!}}. वहीं दूसरी ओर, {{math|''n''<sub>''p''</sub> ≡ 1 (mod&nbsp;''p'')}}. इस तरह, {{math|(''p''&nbsp;&minus;&nbsp;2)! ≡ 1 (mod&nbsp;''p'')}}. इसलिए, {{math|(''p''&nbsp;&minus;&nbsp;1)! ≡ &minus;1 (mod&nbsp;''p'')}}.
 === संलयन परिणाम ===
-फ्रैटिनी के तर्क से पता चलता है कि एक सामान्य उपसमूह का एक साइलो उपसमूह एक परिमित समूह का गुणनखंडन प्रदान करता है। बर्नसाइड के संलयन प्रमेय के रूप में ज्ञात एक मामूली सामान्यीकरण में कहा गया है कि यदि ''जी'' सिलो ''पी''-उपसमूह ''पी'' और दो उपसमुच्चय ''ए'' और ''बी'' के साथ एक परिमित समूह है, तो इसे सामान्यीकृत किया जाता है। ''पी'', तो ''ए'' और ''बी'' ''जी''-संयुग्मित हैं यदि और केवल यदि वे ''एन'' हैं<sub>G</sub>(पी)-संयुग्मित। इसका प्रमाण सिलो के प्रमेय का एक सरल अनुप्रयोग है: यदि B=A<sup>g</sup>, तो B के नॉर्मलाइज़र में न केवल P बल्कि P भी शामिल है<sup>जी</sup> (चूंकि पी<sup>जी</sup>ए के नॉर्मलाइज़र में निहित है<sup>जी</sup>). सिलो के प्रमेय पी और पी द्वारा<sup>g</sup> न केवल G में, बल्कि B के सामान्यीकरणकर्ता में भी संयुग्मित हैं। इसलिए gh<sup>−1</sup> कुछ h के लिए P को सामान्य करता है जो B को सामान्य करता है, और फिर A को<sup>घ<sup>−1</sup></sup> = बी<sup>h<sup>−1</sup></sup> = B, ताकि A और B N हों<sub>G</sub>(पी)-संयुग्मित। बर्नसाइड के संलयन प्रमेय का उपयोग अधिक शक्तिशाली कारकीकरण देने के लिए किया जा सकता है जिसे अर्ध-प्रत्यक्ष उत्पाद कहा जाता है: यदि G एक परिमित समूह है जिसका सिलो पी-उपसमूह P इसके सामान्यीकरण के केंद्र में समाहित है, तो G के पास P के सहअभाज्य क्रम का एक सामान्य उपसमूह K है। , G = PK और P∩K = {1}, अर्थात, G, p-nilpotent समूह है|p-nilpotent।
+इस प्रकार से फ्रैटिनी के तर्क से पता चलता है कि एक सामान्य उपसमूह का एक साइलो उपसमूह एक परिमित समूह का गुणनखंडन प्रदान करता है। और बर्नसाइड के संलयन प्रमेय के रूप में ज्ञात एक मामूली सामान्यीकरण में कहा गया है कि यदि ''G'' सिलो ''P'' -उपसमूह ''P'' के साथ एक परिमित समूह है और दो उपसमूह ''A'' और ''B'' ''P'' द्वारा सामान्यीकृत हैं, तो ''A'' और ''B'' ''G'' -संयुग्मित हैं यदि और केवल यदि वे ''N<sub>G</sub>''(''P'')-संयुग्म हैं । इसका प्रमाण सिलो के प्रमेय का एक सरल अनुप्रयोग है: यदि ''B''=''A<sup>g</sup>'', तो B के नॉर्मलाइज़र में न केवल P किन्तु ''P<sup>g</sup>'' भी होता है (चूंकि Pg Ag के नॉर्मलाइज़र में निहित होता है)। सिलो के प्रमेय के अनुसार P और ''P<sup>g</sup>'' न केवल G में संयुग्मित हैं, किन्तु B के सामान्यीकरण में भी संयुग्मित हैं। इसलिए ''gh''<sup>−1</sup> कुछ h के लिए P को सामान्य करता है जोकी B को सामान्य करता है, और फिर ''A<sup>gh</sup>''<sup>−1</sup> = ''B''<sup>h−1</sup> = ''B'', जिससे A और B ''N<sub>G</sub>''(''P'')-संयुग्म हैं। बर्नसाइड के संलयन प्रमेय का उपयोग अधिक शक्तिशाली कारकीकरण देने के लिए किया जा सकता है जिसे अर्ध-प्रत्यक्ष उत्पाद कहा जाता है: यदि G एक परिमित समूह है जिसका सिलो पी-उपसमूह P इसके सामान्यीकरण के केंद्र में समाहित है, तो G के पास P के सहअभाज्य क्रम का एक सामान्य उपसमूह K है। , ''G'' = ''PK'' और ''P''∩''K'' = {1}, अर्थात, ''G, p-''निलपोटेंट है।
-सिलो प्रमेय के कम तुच्छ अनुप्रयोगों में [[फोकल उपसमूह प्रमेय]] शामिल है, जो [[व्युत्पन्न उपसमूह]] के सिलो पी-उपसमूह के पूरे समूह की संरचना पर नियंत्रण का अध्ययन करता है। इस नियंत्रण का उपयोग परिमित सरल समूहों के वर्गीकरण के कई चरणों में किया जाता है, और उदाहरण के लिए, परिमित सरल समूहों को वर्गीकृत करने वाले अल्पेरिन-ब्रुएर-गोरेनस्टीन प्रमेय में उपयोग किए जाने वाले केस डिवीजनों को परिभाषित करता है, जिनका सिलो 2-उपसमूह एक [[अर्ध-डायहेड्रल समूह]] है। ये संयुग्मन में किस प्रकार के तत्वों का उपयोग किया जाता है, इसे नियंत्रित करने के लिए सिलो के प्रमेय के संयुग्मी भाग को मजबूत करने के लिए जे. एल. एल्परिन पर निर्भर करते हैं।
+चूंकि सिलो प्रमेय के कम तुच्छ अनुप्रयोगों में [[फोकल उपसमूह प्रमेय]] सम्मिलित होते है, जोकी [[व्युत्पन्न उपसमूह]] के सिलो 𝑝 -उपसमूह के पूरे समूह की संरचना पर नियंत्रण का अध्ययन करता है। इस नियंत्रण का उपयोग परिमित सरल समूहों के वर्गीकरण के कई चरणों में किया जाता है, और इस प्रकार से उदाहरण के लिए, परिमित सरल समूहों को वर्गीकृत करने वाले अल्पेरिन-ब्रुएर-गोरेनस्टीन प्रमेय में उपयोग किए जाने वाले केस डिवीजनों को परिभाषित करता है, जिनका सिलो 2-उपसमूह [[अर्ध-डायहेड्रल समूह]] है। ये संयुग्मन में किस प्रकार के तत्वों का उपयोग किया जाता है, इसे नियंत्रित करने के लिए सिलो के प्रमेय के संयुग्मी भाग को जटिल करने के लिए जे. एल. एल्परिन पर निर्भर करते हैं।
 ==सिलो प्रमेय का प्रमाण==
-सिलो प्रमेय को कई तरीकों से सिद्ध किया गया है, और प्रमाणों का इतिहास स्वयं वॉटरहाउस सहित कई पत्रों का विषय है,{{sfn|Waterhouse|1980}} शार्लाउ,{{sfn|Scharlau|1988}} कैसाडियो और ज़प्पा,{{sfn|Casadio|Zappa|1990}} गौ,{{sfn|Gow|1994}} और कुछ हद तक मेओ।{{sfn|Meo|2004}}
+सिलो प्रमेय को कई विधियो द्वारा सिद्ध किया गया है, और प्रमाणों का इतिहास स्वयं वॉटरहाउस सहित कई पत्रों का विषय है,{{sfn|Waterhouse|1980}} शारलाउ,{{sfn|Scharlau|1988}} कैसाडियो और ज़प्पा,{{sfn|Casadio|Zappa|1990}} गौ,{{sfn|Gow|1994}} और कुछ सीमा तक मेओ सम्मिलित है ।{{sfn|Meo|2004}}
-साइलो प्रमेय का एक प्रमाण विभिन्न रचनात्मक तरीकों से समूह कार्रवाई (गणित) की धारणा का शोषण करता है। समूह {{mvar|G}} स्वयं पर या अपने पी-उपसमूहों के सेट पर विभिन्न तरीकों से कार्य करता है, और ऐसी प्रत्येक क्रिया का उपयोग साइलो प्रमेयों में से एक को सिद्ध करने के लिए किया जा सकता है। निम्नलिखित प्रमाण विलैंड्ट के संयुक्त तर्कों पर आधारित हैं।{{sfn|Wielandt|1959}} निम्नलिखित में, हम उपयोग करते हैं <math>a \mid b</math> a के लिए संकेतन के रूप में b और को विभाजित करता है <math>a \nmid b</math> इस कथन के खंडन के लिए.
+इस प्रकार से साइलो प्रमेय का प्रमाण विभिन्न रचनात्मक विधियो से समूह क्रिया (गणित) की धारणा का शोषण करता है। समूह {{mvar|G}} स्वयं पर या अपने 𝑝 -उपसमूहों के समुच्चय पर विभिन्न विधियो से कार्य करता है, और इस प्रकार की प्रत्येक क्रिया का उपयोग साइलो प्रमेयों में से को सिद्ध करने के लिए किया जा सकता है। निम्नलिखित प्रमाण विलैंड्ट के संयुक्त तर्कों पर आधारित हैं।{{sfn|Wielandt|1959}} निम्नलिखित में, हम <math>a \mid b</math> का उपयोग "a, b को विभाजित करता है" के लिए संकेतन के रूप में और <math>a \nmid b</math> का उपयोग इस कथन के निषेध के लिए करते हैं।.
 {{math theorem|note=1|1=A finite group {{var|G}} whose order <math>|G|</math> is divisible by a prime power ''p<sup>k</sup>'' has a subgroup of order ''p<sup>k</sup>''.}}
@@ Line 120: / Line 121: @@
 == एल्गोरिदम ==
-किसी दिए गए समूह के सिलो उपसमूह को खोजने की समस्या [[कम्प्यूटेशनल समूह सिद्धांत]] में एक महत्वपूर्ण समस्या है।
+इस प्रकार से किसी दिए गए समूह के सिलो उपसमूह को खोजने की समस्या [[कम्प्यूटेशनल समूह सिद्धांत]] में महत्वपूर्ण समस्या है।
-सिलो पी-उपसमूहों के अस्तित्व का एक प्रमाण रचनात्मक है: यदि एच, जी का एक पी-उपसमूह है और सूचकांक [जी:एच] पी से विभाज्य है, तो सामान्यीकरणकर्ता एन = एन<sub>G</sub>जी में एच का (एच) भी ऐसा है कि [एन: एच] पी से विभाज्य है। दूसरे शब्दों में, सिलो पी-उपसमूह की एक पॉलीसाइक्लिक जनरेटिंग प्रणाली किसी भी पी-उपसमूह एच (पहचान सहित) से शुरू करके और एच के नॉर्मलाइज़र में निहित पी-पावर ऑर्डर के तत्वों को लेकर पाई जा सकती है, लेकिन एच में ही नहीं। इसका एल्गोरिथम संस्करण (और कई सुधार) बटलर में पाठ्यपुस्तक के रूप में वर्णित है,{{sfn|Butler|1991|loc=Chapter 16}} कैनन में वर्णित एल्गोरिदम सहित।{{sfn|Cannon|1971}} ये संस्करण अभी भी [[GAP कंप्यूटर बीजगणित प्रणाली]] में उपयोग किए जाते हैं।
+जिससे सिलो 𝑝 -उपसमूहों के अस्तित्व का प्रमाण रचनात्मक है: यदि ''H'' , ''G'' का 𝑝 -उपसमूह है और सूचकांक [''G'':''H''] पी से विभाज्य है, तो सामान्यीकरणकर्ता ''N'' = ''N<sub>G</sub>''(''H'') में ''H'' का (''G'' ) भी ऐसा है कि [''N'' : ''H''] ''p'' से विभाज्य है। दूसरे शब्दों में, सिलो 𝑝 -उपसमूह की पॉलीसाइक्लिक जनरेटिंग प्रणाली किसी भी 𝑝 -उपसमूह एच (पहचान सहित) से प्रारंभ करके और ''H'' के नॉर्मलाइज़र में निहित 𝑝 -पावर क्रम के तत्वों को लेकर पाई जा सकती है, किन्तु ''G'' में ही नहीं। इसका एल्गोरिथम संस्करण (और कई सुधार) बटलर में पाठ्यपुस्तक के रूप में वर्णित है,{{sfn|Butler|1991|loc=Chapter 16}} जिसमे कैनन में वर्णित एल्गोरिदम भी सम्मिलित है ।{{sfn|Cannon|1971}} ये संस्करण अभी भी [[GAP कंप्यूटर बीजगणित प्रणाली]] में उपयोग किए जाते हैं।
-[[क्रमपरिवर्तन समूह]]ों में, कांटोर में यह सिद्ध हो चुका है{{sfn|Kantor|1985a}}{{sfn|Kantor|1985b}}{{sfn|Kantor|1990}} और कांटोर और टेलर,{{sfn|Kantor|Taylor|1988}} कि एक सिलो पी-उपसमूह और इसका नॉर्मलाइज़र इनपुट के बहुपद समय (समूह की डिग्री जनरेटर की संख्या से गुणा) में पाया जा सकता है। इन एल्गोरिदम को सेरेस में पाठ्यपुस्तक के रूप में वर्णित किया गया है,{{sfn|Seress|2003}} और अब व्यावहारिक होते जा रहे हैं क्योंकि परिमित सरल समूहों की रचनात्मक पहचान एक वास्तविकता बन गई है। विशेष रूप से, इस एल्गोरिदम के संस्करणों का उपयोग [[मैग्मा कंप्यूटर बीजगणित प्रणाली]] में किया जाता है।
+अतः [[क्रमपरिवर्तन समूह]] में, कांटोर में यह सिद्ध हो चुका है{{sfn|Kantor|1985a}}{{sfn|Kantor|1985b}}{{sfn|Kantor|1990}} और कांटोर और टेलर,{{sfn|Kantor|Taylor|1988}} कि सिलो 𝑝 -उपसमूह और इसका नॉर्मलाइज़र इनपुट के बहुपद समय (समूह की डिग्री जनरेटर की संख्या से गुणा) में पाया जा सकता है। इन एल्गोरिदम को सेरेस में पाठ्यपुस्तक के रूप में वर्णित किया गया है,{{sfn|Seress|2003}} और अब वास्तविक होते जा रहे हैं क्योंकि परिमित सरल समूहों की रचनात्मक पहचान वास्तविकता बन गई है। विशेष रूप से, इस एल्गोरिदम के संस्करणों का उपयोग [[मैग्मा कंप्यूटर बीजगणित प्रणाली]] में किया जाता है।
 == यह भी देखें ==
@@ Line 142: / Line 143: @@
 <ref name=Fraleigh_2004_322>{{cite book |last=Fraleigh |first=John B. |date=2004 |others=with contribution by Victor J. Katz |title=A First Course In Abstract Algebra |publisher=Pearson Education |page=322 |isbn=9788178089973}}</ref>
 }}
 ==संदर्भ==
 === प्रमाण ===
 * {{Cite journal |last1=Casadio |first1=Giuseppina |last2=Zappa |first2=Guido |date=1990 |title=सिलो प्रमेय का इतिहास और इसके प्रमाण|journal=<abbr Title="Bollettino di Storia delle Scienze Matematiche">Boll. Storia Sci. Mat.</abbr> |volume=10 |issue=1 |pages=29–75 |language=it |issn=0392-4432 |mr=1096350 |zbl=0721.01008
@@ Line 182: / Line 179: @@
 * {{MathWorld |title=Sylow p-Subgroup |id=Sylowp-Subgroup}}
 * {{MathWorld |title=Sylow Theorems |id=SylowTheorems}}
-[[Category: परिमित समूहों के बारे में प्रमेय]] [[Category: पी समूहों]] [[Category: प्रमाण युक्त लेख]]
-[[Category: Machine Translated Page]]
+[[Category:CS1 Deutsch-language sources (de)]]
+[[Category:CS1 français-language sources (fr)]]
+[[Category:CS1 italiano-language sources (it)]]
 [[Category:Created On 04/07/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Mathematics sidebar templates]]
+[[Category:Multi-column templates]]
+[[Category:Pages using div col with small parameter]]
+[[Category:Pages with script errors]]
+[[Category:Physics sidebar templates]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Templates Translated in Hindi]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Templates using under-protected Lua modules]]
+[[Category:Wikipedia fully protected templates|Div col]]
+[[Category:परिमित समूहों के बारे में प्रमेय]]
+[[Category:पी समूहों]]
+[[Category:प्रमाण युक्त लेख]]

Anonymous

Search

सिलो प्रमेय: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:31, 29 July 2023

Contents

प्रमेय

प्रेरणा

कथन

परिणाम

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

उदाहरण

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

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

जटिल लघु समूह

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

संलयन परिणाम

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

एल्गोरिदम

यह भी देखें

टिप्पणियाँ

संदर्भ

प्रमाण

एल्गोरिदम

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

सिलो प्रमेय: Difference between revisions

Latest revision as of 17:31, 29 July 2023

प्रमेय

प्रेरणा

कथन

परिणाम

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

उदाहरण

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

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

जटिल लघु समूह

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

संलयन परिणाम

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

एल्गोरिदम

यह भी देखें

टिप्पणियाँ

संदर्भ

प्रमाण

एल्गोरिदम

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories