पी-समूह

Not to be confused with एन-समूह (श्रेणी सिद्धांत).

गणित में, विशेष रूप से समूह सिद्धांत में, अभाज्य संख्या P द्वारा दी जाती है, 'पी-समूह' ऐसा समूह है, जिसमें प्रत्येक तत्व के समूह तत्व का क्रम P की घात द्वारा प्रकट किया जाता है। अर्थात्, पी-समूह मुख्य रूप से G के प्रत्येक तत्व को G के लिए धनात्मक पूर्णांक n में उपस्थिति रहते है, जैसे कि Pⁿg का उत्पाद की प्रतियां, और कम नहीं होने के साथ ही इसकी पहचान के लिए तत्व के समान है। विभिन्न तत्वों का क्रम p की भिन्न-भिन्न घात्स हो सकता है।

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

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

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

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

गुण

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

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

गैर-तुच्छ केंद्र

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

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

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

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

ऑटोमोर्फिज्म

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

उदाहरण

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

न ही किसी पी-समूह को एबेलियन समूह होने की आवश्यकता है, डायहेड्रल समूह P₄ के क्रम में 8 का गैर-एबेलियन 2-समूह है। चूंकि, ऑर्डर P² का प्रत्येक समूह एबेलियन है, डायहेड्रल समूह चतुर्धातुक समूहों और सेमीडायहेड्रल समूहों के समान और बहुत भिन्न दोनों हैं। डायहेड्रल, अर्धफलकीय समूह क्वाटरनियन समूह मिलकर अधिकतम वर्ग के 2-समूह बनाते हैं, अर्ताथ क्रम 2ⁿ⁺¹ के समूह और निलपोटेंसी क्लास एन प्रकार का हैं।

पुनरावृत्त श्रेणी उत्पाद

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

सामान्यीकृत डायहेड्रल समूह

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

एकत्रिकोणीय आव्यूह समूह

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

वर्गीकरण

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

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

पी³

तुच्छ समूह क्रम का एकमात्र समूह है, और चक्रीय समूह C_p ऑर्डर P का एकमात्र समूह है। जहाँ यह क्रम p² के ठीक दो समूह हैं, इस प्रकार दोनों एबेलियन, अर्थात् C_p² और C_p× C_p के समान हैं, जैसे उदाहरण के लिए, चक्रीय समूह C₄ और क्लेन चार-समूह V₄ जो C₂× C₂ है, जहाँ दोनों क्रम 4 के 2-समूह हैं।

इस प्रकार इस ऑर्डर में P³ के तीन एबेलियन समूह हैं, अर्थात् C_p³, C_p²× C_p, और C_p× c_p× C_p दो गैर-एबेलियन समूह भी हैं।

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

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

व्यापकता

समूहों के बीच

क्रम Pⁿ के समूहों के समरूपता वर्गों की संख्या $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 से विभाज्य है, जिसमें उपसमूह होता है जो गैर-तुच्छ पी-समूह है, अर्थात् कॉची के प्रमेय (समूह सिद्धांत) या कॉची के प्रमेय से प्राप्त क्रम P के तत्व द्वारा उत्पन्न क्रम P का चक्रीय समूह को प्रदर्शित करता हैं। वास्तविकता में इसमें अधिकतम संभव क्रम का पी-समूह सम्मिलित है: यदि $|G|=n=p^k$