साइलो प्रमेय

साइलो प्रमेय एक परिमित समूह के उपसमूहों का वर्णन करते हैं जिनकी कोटि दिए गए अभाज्य की सबसे बड़ी घात होती है जो समूह की कोटि को विभाजित करती है, उनके अस्तित्व, संयुग्मन और सटीक गणना की गारंटी देती है।

Definition

एक अभाज्य p और एक परिमित समूह G के लिए जिसकी कोटि p^k गुना एक पूर्णांक है जो p के सहअभाज्य है, एक साइलो p-उपसमूह p^k कोटि का एक उपसमूह होता है। साइलो प्रमेय यह दावा करते हैं कि ऐसे उपसमूह मौजूद हैं, कि सभी संयुग्मी हैं, और उनकी संख्या p के मापांक 1 के अनुरूप है और सूचकांक को विभाजित करती है।

Scope

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

Core questions

• क्या अधिकतम अभाज्य-घात कोटि के उपसमूह हमेशा एक परिमित समूह में मौजूद होते हैं?
• कोई भी दो साइलो p-उपसमूह कैसे संबंधित होते हैं?
• साइलो p-उपसमूहों की गणना समूह की संरचना पर क्या बाधाएँ डालती है?
• साइलो प्रमेयों का उपयोग यह सिद्ध करने के लिए कैसे किया जाता है कि कुछ कोटियों के समूह सरल नहीं हैं?

Key theories

पहला साइलो प्रमेय (अस्तित्व)

यदि p^k अभाज्य p की सबसे बड़ी घात है जो एक परिमित समूह की कोटि को विभाजित करती है, तो समूह में p^k कोटि का कम से कम एक उपसमूह होता है।

दूसरा साइलो प्रमेय (संयुग्मन)

एक परिमित समूह के सभी साइलो p-उपसमूह एक दूसरे के संयुग्मी होते हैं, और प्रत्येक p-उपसमूह किसी साइलो p-उपसमूह में समाहित होता है।

तीसरा साइलो प्रमेय (संख्या)

साइलो p-उपसमूहों की संख्या p के मापांक 1 के अनुरूप होती है और एक साइलो p-उपसमूह के सूचकांक को विभाजित करती है, जिससे उनकी संख्या पर कड़ी पाबंदी लगती है।

Clinical relevance

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

History

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

Key figures

• Ludwig Sylow
• Augustin-Louis Cauchy
• Georg Frobenius

Seminal works

• dummit2004
• rotman1995
• isaacs2008

Frequently asked questions

सहज रूप से साइलो p-उपसमूह क्या है?

यह एक उपसमूह है जो समूह की कोटि में निहित सभी अभाज्य p को समाहित करता है: इसका आकार समूह की कोटि को विभाजित करने वाली p की पूर्ण घात है। प्रमेय कहते हैं कि ऐसे अधिकतम p-उपसमूह हमेशा मौजूद होते हैं और संयुग्मन तक अनिवार्य रूप से अद्वितीय होते हैं।

प्रमेय कैसे दिखाते हैं कि एक समूह सरल नहीं है?

यदि अनुरूपता और विभाज्यता की शर्तें साइलो p-उपसमूहों की संख्या को ठीक एक होने के लिए मजबूर करती हैं, तो वह उपसमूह सामान्य होता है, इसलिए समूह में एक उचित गैर-तुच्छ सामान्य उपसमूह होता है और वह सरल नहीं हो सकता है।