पी-समूह

गणित में, विशेष रूप से समूह सिद्धांत में, एक अभाज्य संख्या पी दी जाती है, एक 'पी-समूह' एक समूह (गणित) है जिसमें प्रत्येक तत्व के समूह तत्व का क्रम पी की एक शक्ति (गणित) है। अर्थात्, पी-समूह जी के प्रत्येक तत्व जी के लिए, एक गैर-ऋणात्मक पूर्णांक n मौजूद है जैसे कि पी का उत्पादng की प्रतियां, और कम नहीं, पहचान तत्व के बराबर है। विभिन्न तत्वों का क्रम p की भिन्न-भिन्न शक्तियाँ हो सकता है।

एबेलियन समूह पी-समूहों को 'पी-प्राथमिक' या केवल 'प्राथमिक' भी कहा जाता है।

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

प्रत्येक परिमित पी-समूह निलपोटेंट समूह है।

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

गुण
प्रत्येक पी-समूह आवर्त समूह है क्योंकि परिभाषा के अनुसार प्रत्येक तत्व का क्रम सीमित होता है।

यदि p अभाज्य है और G क्रम p का एक समूह हैk, तो G के पास क्रम p का एक सामान्य उपसमूह हैmप्रत्येक 1 ≤ m ≤ k के लिए। इसके बाद समूहों के लिए कॉची के प्रमेय (समूह सिद्धांत) | कॉची के प्रमेय और पत्राचार प्रमेय (समूह सिद्धांत) का उपयोग करके प्रेरण किया जाता है। एक प्रमाण रेखाचित्र इस प्रकार है: क्योंकि कॉची के प्रमेय (समूह सिद्धांत) के अनुसार G के समूह Z का केंद्र तुच्छ समूह | गैर-तुच्छ (नीचे देखें) है | कॉची के प्रमेय Z में क्रम p का एक उपसमूह H है। जी में केंद्रीय होने के नाते, एच ​​अनिवार्य रूप से जी में सामान्य है। अब हम आगमनात्मक परिकल्पना को जी/एच पर लागू कर सकते हैं, और परिणाम पत्राचार प्रमेय से आता है।

गैर-तुच्छ केंद्र
वर्ग समीकरण का उपयोग करने वाले पहले मानक परिणामों में से एक यह है कि एक गैर-तुच्छ परिमित पी-समूह का केंद्र (समूह सिद्धांत) तुच्छ उपसमूह नहीं हो सकता है। यह पी-समूहों में कई आगमनात्मक विधियों का आधार बनता है।

उदाहरण के लिए, एक परिमित पी-समूह जी के उचित उपसमूह एच के सामान्यीकरणकर्ता एन में उचित रूप से एच शामिल है, क्योंकि एच = एन के साथ किसी भी प्रति-उदाहरण के लिए, केंद्र जेड एन में निहित है, और इसी तरह एच में भी, लेकिन फिर एक है छोटा उदाहरण H/Z जिसका G/Z में सामान्यीकरणकर्ता N/Z = H/Z है, जो एक अनंत वंश का निर्माण करता है। परिणाम के रूप में, प्रत्येक परिमित पी-समूह शून्यशक्तिशाली समूह है।

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

यदि G एक p-समूह है, तो G/Z भी है, और इसलिए इसका भी एक गैर-तुच्छ केंद्र है। जी में जी/जेड के केंद्र की पूर्वछवि को केंद्र (समूह सिद्धांत)#उच्च केंद्र कहा जाता है और ये समूह ऊपरी केंद्रीय श्रृंखला शुरू करते हैं। सोसल के बारे में पहले की टिप्पणियों को सामान्यीकृत करते हुए, क्रम पी के साथ एक परिमित पी-समूहn में क्रम p के सामान्य उपसमूह शामिल हैंi 0 ≤ i ≤ n के साथ, और क्रम p का कोई भी सामान्य उपसमूहiitth केंद्र Z में समाहित हैi. यदि एक सामान्य उपसमूह Z में समाहित नहीं हैi, फिर इसका प्रतिच्छेदन Z के साथ हैi+1 इसका आकार कम से कम p हैमैं+1.

ऑटोमोर्फिज्म
पी-समूहों के समूह ऑटोमोर्फिज़्म समूहों का अच्छी तरह से अध्ययन किया गया है। जिस प्रकार प्रत्येक परिमित पी-समूह में एक गैर-तुच्छ केंद्र होता है ताकि आंतरिक ऑटोमोर्फिज्म समूह समूह का एक उचित भागफल हो, उसी प्रकार प्रत्येक परिमित पी-समूह में एक गैर-तुच्छ समूह स्वचालितता समूह हो. G का प्रत्येक ऑटोमोर्फिज्म G/Φ(G) पर एक ऑटोमोर्फिज्म प्रेरित करता है, जहां Φ(G) G का फ्रैटिनी उपसमूह है। भागफल G/Φ(G) एक प्रारंभिक एबेलियन समूह है और इसका ऑटोमोर्फिज्म समूह एक सामान्य रैखिक समूह है, बहुत अच्छी तरह से समझ में आया. जी के ऑटोमोर्फिज्म समूह से इस सामान्य रैखिक समूह में मानचित्र का अध्ययन विलियम बर्नसाइड द्वारा किया गया है, जिन्होंने दिखाया कि इस मानचित्र का कर्नेल एक पी-समूह है।

उदाहरण
समान क्रम के पी-समूह आवश्यक रूप से समरूपता नहीं हैं; उदाहरण के लिए, चक्रीय समूह सी4 और क्लेन चार-समूह वी4 दोनों क्रम 4 के 2-समूह हैं, लेकिन वे समरूपी नहीं हैं।

न ही किसी पी-समूह को एबेलियन समूह होने की आवश्यकता है; डायहेड्रल समूह दिह4 क्रम 8 का एक गैर-एबेलियन 2-समूह है। हालाँकि, ऑर्डर पी का प्रत्येक समूह2एबेलियन है. डायहेड्रल समूह चतुर्धातुक समूहों और सेमीडायहेड्रल समूहों के समान और बहुत भिन्न दोनों हैं। डायहेड्रल, अर्धफलकीय समूह क्वाटरनियन समूह मिलकर अधिकतम वर्ग के 2-समूह बनाते हैं, यानी क्रम 2 के समूहn+1 और निलपोटेंसी क्लास एन।

पुनरावृत्त पुष्पांजलि उत्पाद
क्रम p के चक्रीय समूहों के पुनरावृत्त पुष्प उत्पाद, p-समूहों के बहुत महत्वपूर्ण उदाहरण हैं। क्रम p के चक्रीय समूह को W(1) के रूप में और W(1) के साथ W(n) के पुष्प उत्पाद को W(n + 1) के रूप में निरूपित करें। तब W(n) सममित समूह Sym(p) का सिलो पी-उपसमूह हैn). सामान्य रैखिक समूह GL(n,'Q') के अधिकतम p-उपसमूह विभिन्न W(n) के प्रत्यक्ष उत्पाद हैं। इसमें ऑर्डर पी हैक जहां क = (पृn - 1)/(p - 1). इसमें निलपोटेंसी क्लास पी हैn−1, और इसकी निचली केंद्रीय श्रृंखला, ऊपरी केंद्रीय श्रृंखला, निचली घातांक-पी केंद्रीय श्रृंखला, और ऊपरी घातांक-पी केंद्रीय श्रृंखला बराबर हैं। यह क्रम p के तत्वों द्वारा उत्पन्न होता है, लेकिन इसका प्रतिपादक p हैn. ऐसा दूसरा समूह, W(2), भी अधिकतम वर्ग का एक p-समूह है, क्योंकि इसका क्रम p हैp+1 और nilpotency वर्ग p, लेकिन यह नियमित p-समूह नहीं है|नियमित p-समूह। चूंकि आदेश के समूह पीपीहमेशा नियमित समूह होते हैं, यह भी ऐसा एक न्यूनतम उदाहरण है।

सामान्यीकृत डायहेड्रल समूह
जब p = 2 और n = 2, W(n) क्रम 8 का डायहेड्रल समूह है, तो कुछ अर्थों में W(n) n = 2 होने पर सभी अभाज्य संख्याओं p के लिए डायहेड्रल समूह के लिए एक एनालॉग प्रदान करता है। हालाँकि, उच्चतर n के लिए सादृश्य तनावपूर्ण हो जाता है। उदाहरणों का एक अलग परिवार है जो क्रम 2 के डायहेड्रल समूहों की अधिक बारीकी से नकल करता हैn, लेकिन इसके लिए थोड़े अधिक सेटअप की आवश्यकता है। मान लीजिए ζ सम्मिश्र संख्याओं में एकता के एक आदिम pth मूल को दर्शाता है, मान लीजिए कि 'Z'[ζ] इसके द्वारा उत्पन्न पूर्णांकों के वलय का वलय है, और मान लीजिए कि P 1−ζ द्वारा उत्पन्न अभाज्य आदर्श है। मान लीजिए कि G एक तत्व z द्वारा उत्पन्न क्रम p का एक चक्रीय समूह है। 'Z'[ζ] और G का अर्धप्रत्यक्ष उत्पाद E(p) बनाएं जहां z, ζ से गुणन के रूप में कार्य करता है। शक्तियां पीn E(p) के सामान्य उपसमूह हैं, और उदाहरण समूह E(p,n) = E(p)/P हैंn. E(p,n) का क्रम p हैn+1 और निलपोटेंसी वर्ग n, अधिकतम वर्ग का एक पी-समूह भी है। जब p = 2, E(2,n) क्रम 2 का डायहेड्रल समूह हैn. जब p विषम है, तो W(2) और E(p,p) दोनों अधिकतम वर्ग और क्रम p के अनियमित समूह हैंp+1, लेकिन समरूपी नहीं हैं।

एकत्रिकोणीय मैट्रिक्स समूह
सामान्य रैखिक समूहों के सिलो उपसमूह उदाहरणों का एक और मौलिक परिवार हैं। मान लीजिए V आयाम n का एक सदिश समष्टि है जिसका आधार { e है1, यह है2, ..., यह हैn } और वी को परिभाषित करेंi { e द्वारा उत्पन्न सदिश समष्टि होनाi, यह हैi+1, ..., यह हैn } 1 ≤ i ≤ n के लिए, और V को परिभाषित करेंi = 0 जब मैं > एन. प्रत्येक 1 ≤ m ≤ n के लिए, V के व्युत्क्रमणीय रैखिक परिवर्तनों का सेट जो प्रत्येक V लेता हैi अक्षर बीi+m Aut(V) का एक उपसमूह बनाएं जिसे U दर्शाया गया हैm. यदि V, 'Z'/p'Z' के ऊपर एक सदिश समष्टि है, तो U1 ऑट(वी) = जीएल(एन, पी) का एक सिलो पी-उपसमूह है, और इसकी निचली केंद्रीय श्रृंखला की शर्तें सिर्फ यू हैंm. मैट्रिक्स के संदर्भ में, यूm वे ऊपरी त्रिकोणीय आव्यूह हैं जिनके एक विकर्ण पर 1s और पहले m−1 अतिविकर्णों पर 0s हैं। समूह यू1 आदेश पी हैn·(n−1)/2, निलपोटेंसी वर्ग n, और प्रतिपादक pk जहां k सबसे छोटा पूर्णांक है जो कम से कम n के आधार p लघुगणक जितना बड़ा है।

वर्गीकरण
आदेश के समूह पीn0 ≤ n ≤ 4 के लिए समूह सिद्धांत के इतिहास में प्रारंभिक रूप से वर्गीकृत किया गया था, और आधुनिक कार्य ने इन वर्गीकरणों को उन समूहों तक विस्तारित किया है जिनका क्रम p को विभाजित करता है7, हालांकि ऐसे समूहों के परिवारों की संख्या इतनी तेजी से बढ़ती है कि इन पंक्तियों के साथ आगे के वर्गीकरण को मानव मस्तिष्क के लिए समझना मुश्किल माना जाता है। उदाहरण के लिए, मार्शल हॉल (गणितज्ञ)|मार्शल हॉल जूनियर और जेम्स के. क्रम 2 के वरिष्ठ वर्गीकृत समूहn1964 में n ≤ 6 के लिए। समूहों को क्रम से वर्गीकृत करने के बजाय, फिलिप हॉल ने समूहों के समद्विबाहुवाद की धारणा का उपयोग करने का प्रस्ताव रखा, जो बड़े भागफल और उपसमूहों के आधार पर परिमित पी-समूहों को परिवारों में इकट्ठा करता था। एक पूरी तरह से अलग विधि परिमित पी-समूहों को उनके 'सहवर्ग' के आधार पर वर्गीकृत करती है, अर्थात, उनकी रचना श्रृंखला और उनके निलपोटेंट समूह के बीच का अंतर। तथाकथित 'कोक्लास अनुमान' ने निश्चित सहवर्ग अनुमान सभी परिमित पी-समूहों के सेट को सीमित रूप से कई प्रो-पी समूहों की गड़बड़ी के रूप में वर्णित किया है। 1980 के दशक में झूठ बीजगणित और शक्तिशाली पी-समूहों से संबंधित तकनीकों का उपयोग करके कोक्लास अनुमान सिद्ध किए गए थे। कोक्लास प्रमेयों के अंतिम प्रमाण ए. शालेव और स्वतंत्र रूप से सी. आर. लीडहैम-ग्रीन के कारण हैं, दोनों 1994 में। वे वंशज वृक्ष (समूह सिद्धांत) में परिमित पी-समूहों के वर्गीकरण को स्वीकार करते हैं#मल्टीफर्केशन और कोक्लास ग्राफ इसमें केवल सीमित रूप से कई कोक्लास पेड़ शामिल हैं जिनके (असीम रूप से कई) सदस्यों को सीमित रूप से कई पैरामीट्रिज्ड प्रस्तुतियों की विशेषता है।

क्रम पी का प्रत्येक समूह5मेटाबेलियन समूह है।

पी तक3
तुच्छ समूह क्रम एक का एकमात्र समूह है, और चक्रीय समूह सीp ऑर्डर पी का एकमात्र समूह है। क्रम p के ठीक दो समूह हैं2, दोनों एबेलियन, अर्थात् सीp2 और सीp× सीp. उदाहरण के लिए, चक्रीय समूह सी4 और क्लेन चार-समूह वी4 जो सी है2× सी2 दोनों क्रम 4 के 2-समूह हैं।

ऑर्डर पी के तीन एबेलियन समूह हैं3, अर्थात् सीp3, सीp2× सीp, और सीp× सीp× सीp. दो गैर-एबेलियन समूह भी हैं।

पी ≠ 2 के लिए, एक सी का अर्ध-प्रत्यक्ष उत्पाद हैp× सीp सी के साथp, और दूसरा सी का अर्ध-प्रत्यक्ष उत्पाद हैp2 सी के साथp. पहले को अन्य शब्दों में पी तत्वों के साथ परिमित क्षेत्र पर इकाई त्रिकोणीय मैट्रिक्स के समूह यूटी (3, पी) के रूप में वर्णित किया जा सकता है, जिसे हाइजेनबर्ग समूह # हाइजेनबर्ग समूह मोडुलो एक विषम अभाज्य पी भी कहा जाता है।

पी = 2 के लिए, ऊपर उल्लिखित दोनों अर्ध-प्रत्यक्ष उत्पाद डायहेड्रल समूह डिह के समरूपी हैं4 क्रम 8 का। क्रम 8 का अन्य गैर-एबेलियन समूह चतुर्भुज समूह Q है8.

समूहों के बीच
क्रम पी के समूहों के समरूपता वर्गों की संख्याnके रूप में बढ़ता है $$p^{\frac{2}{27}n^3+O(n^{8/3})}$$, और इन पर उन वर्गों का वर्चस्व है जो दो-चरणीय शून्यशक्तिशाली हैं। इस तीव्र वृद्धि के कारण, एक गणितीय लोककथा अनुमान है कि लगभग सभी परिमित समूह 2-समूह हैं: क्रम के समूहों के समरूपता वर्गों के बीच 2-समूहों के समरूपता वर्गों का अंश, अधिकतम n के रूप में 1 की ओर माना जाता है। अनन्त की ओर प्रवृत्त होता है। उदाहरण के लिए, ऑर्डर के 49 910 529 484 विभिन्न समूहों में से अधिकतम 2000, 49 487 365 422, या बस 99% से अधिक, ऑर्डर 1024 के 2-समूह हैं।

एक समूह के भीतर
प्रत्येक परिमित समूह जिसका क्रम p से विभाज्य है, में एक उपसमूह होता है जो एक गैर-तुच्छ पी-समूह है, अर्थात् कॉची के प्रमेय (समूह सिद्धांत) | कॉची के प्रमेय से प्राप्त क्रम पी के एक तत्व द्वारा उत्पन्न क्रम पी का एक चक्रीय समूह। वास्तव में, इसमें अधिकतम संभव क्रम का एक पी-समूह शामिल है: यदि $$|G|=n=p^km$$ जहाँ p, m को विभाजित नहीं करता है, तो G के पास क्रम का एक उपसमूह P है $$p^k,$$ सिलो पी-उपसमूह कहा जाता है। इस उपसमूह को अद्वितीय होने की आवश्यकता नहीं है, लेकिन इस क्रम का कोई भी उपसमूह संयुग्मित है, और G का कोई भी p-उपसमूह सिलो p-उपसमूह में समाहित है। यह और अन्य गुण साइलो प्रमेय में सिद्ध होते हैं।

समूह की संरचना के लिए आवेदन
पी-समूह समूहों की संरचना को समझने और परिमित सरल समूहों के वर्गीकरण में मौलिक उपकरण हैं। पी-समूह उपसमूह और भागफल समूह दोनों के रूप में उत्पन्न होते हैं। उपसमूहों के रूप में, किसी दिए गए प्राइम पी के लिए सिलो पी-उपसमूह पी (सबसे बड़ा पी-उपसमूह अद्वितीय नहीं है लेकिन सभी संयुग्मित) और पी-कोर|पी-कोर है $$O_p(G)$$ (अद्वितीय सबसे बड़ा सामान्य पी-उपसमूह), और विभिन्न अन्य। भागफल के रूप में, सबसे बड़ा पी-समूह भागफल, पी-अवशिष्ट उपसमूह द्वारा जी का भागफल है|पी-अवशिष्ट उपसमूह $$O^p(G).$$ ये समूह संबंधित हैं (विभिन्न अभाज्य संख्याओं के लिए), इनमें फोकल उपसमूह प्रमेय जैसे महत्वपूर्ण गुण होते हैं, और समूह की संरचना के कई पहलुओं को निर्धारित करने की अनुमति मिलती है।

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

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

यह भी देखें

 * प्राथमिक समूह
 * प्रुफ़र रैंक
 * नियमित पी-समूह

संदर्भ

 * &mdash; An exhaustive catalog of the 340 non-abelian groups of order dividing 64 with detailed tables of defining relations, constants, and lattice presentations of each group in the notation the text defines. "Of enduring value to those interested in finite groups" (from the preface).
 * &mdash; An exhaustive catalog of the 340 non-abelian groups of order dividing 64 with detailed tables of defining relations, constants, and lattice presentations of each group in the notation the text defines. "Of enduring value to those interested in finite groups" (from the preface).
 * &mdash; An exhaustive catalog of the 340 non-abelian groups of order dividing 64 with detailed tables of defining relations, constants, and lattice presentations of each group in the notation the text defines. "Of enduring value to those interested in finite groups" (from the preface).
 * &mdash; An exhaustive catalog of the 340 non-abelian groups of order dividing 64 with detailed tables of defining relations, constants, and lattice presentations of each group in the notation the text defines. "Of enduring value to those interested in finite groups" (from the preface).