मॉड्यूलर प्रतिनिधित्व सिद्धांत

मॉड्यूलर प्रतिनिधित्व सिद्धांत गणित की शाखा है, और प्रतिनिधित्व सिद्धांत का हिस्सा है जो सकारात्मक विशेषता (बीजगणित) p के क्षेत्र (गणित) K पर परिमित समूह के रैखिक प्रतिनिधित्व का अध्ययन करता है, अनिवार्य रूप से एक अभाज्य संख्या साथ ही समूह सिद्धांत के अनुप्रयोगों के साथ, मॉड्यूलर प्रतिनिधित्व स्वाभाविक रूप से गणित की अन्य शाखाओं में उत्पन्न होता है, जैसे बीजगणितीय ज्यामिति, कोडिंग सिद्धांत, संयोजक और संख्या सिद्धांत है ।

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

यदि K की विशेषता p क्रम (समूह सिद्धांत) |[G]| को विभाजित नहीं करती है, तो मास्चके के प्रमेय के आधार पर, मॉड्यूलर प्रतिनिधित्व पूरी तरह से कम हो जाते हैं, जैसा कि सामान्य (विशेषता 0) प्रतिनिधित्व के साथ होता है। दूसरे मामले में, जब |G| 0 मॉड पी, मास्चके के प्रमेय को सिद्ध करने के लिए आवश्यक समूह पर औसत की प्रक्रिया टूट जाती है, और प्रस्तुतियों को पूरी तरह से कम करने की आवश्यकता नहीं होती है। नीचे दी गई अधिकांश चर्चा में निहित रूप से माना जाता है कि क्षेत्र K पर्याप्त रूप से बड़ा है (उदाहरण के लिए, K बीजगणितीय रूप से बंद क्षेत्र पर्याप्त है), अन्यथा कुछ बयानों को परिष्कृत करने की आवश्यकता है।

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

उदाहरण
F2 पर दो तत्वों के चक्रीय समूह का प्रतिनिधित्व ढूँढना आव्युह (गणित) खोजने की समस्या के बराबर है जिसका वर्ग पहचान आव्युह है। 2 के अतिरिक्त विशेषता के प्रत्येक क्षेत्र में, सदैव एक आधार (रैखिक बीजगणित) होता है जैसे कि आव्युह को विकर्ण आव्युह के रूप में लिखा जा सकता है जिसमें केवल 1 या -1 विकर्ण पर होता है, जैसे कि



\begin{bmatrix} 1 & 0\\ 0 & -1 \end{bmatrix}. $$ ओवर एफ2, कई अन्य संभावित मेट्रिसेस हैं, जैसे



\begin{bmatrix} 1 & 1\\ 0 & 1 \end{bmatrix}. $$ सकारात्मक विशेषता के बीजगणितीय रूप से बंद क्षेत्र पर, परिमित चक्रीय समूह का प्रतिनिधित्व सिद्धांत पूरी तरह से जॉर्डन सामान्य रूप के सिद्धांत द्वारा समझाया गया है। गैर-विकर्ण जॉर्डन रूप तब होते हैं जब विशेषता समूह के क्रम को विभाजित करती है।

रिंग थ्योरी व्याख्या
एक क्षेत्र K और एक परिमित समूह [G] को देखते हुए, समूह वलय K [G] (जो K-वेक्टर स्थान है जिसमें K-आधार है जिसमें [G] के तत्व सम्मिलित हैं, जो रैखिकता द्वारा [G] के गुणन का विस्तार करके बीजगणित गुणन से संपन्न है)आर्टिनियन रिंग है ।

जब [G] का क्रम K की विशेषता से विभाज्य होता है, तो समूह बीजगणित सेमीसिम्पल बीजगणितीय समूह नहीं होता है, इसलिए गैर-शून्य जैकबसन कट्टरपंथी होता है। उस स्थिति में, समूह बीजगणित के लिए परिमित-आयामी मापांक होते हैं जो प्रक्षेपी मापांक नहीं होते हैं। इसके विपरीत, विशेषता 0 मामले में प्रत्येक अलघुकरणीय प्रतिनिधित्व नियमित प्रतिनिधित्व का प्रत्यक्ष योग है, इसलिए प्रक्षेपी है।

ब्राउर वर्ण
मॉड्यूलर प्रतिनिधित्व सिद्धांत रिचर्ड ब्राउर द्वारा 1940 के बाद से अधिक गहराई से अध्ययन करने के लिए विकसित किया गया था |

विशेषता पी प्रतिनिधित्व सिद्धांत, सामान्य चरित्र सिद्धांत और G की संरचना, विशेष रूप से उत्तरार्द्ध के एम्बेडिंग से संबंधित है, और इसके पी-उपसमूहों के बीच संबंध हैं। इस तरह के परिणाम समूह सिद्धांत में उन समस्याओं के लिए प्रयुक्त किए जा सकते हैं जो प्रतिनिधित्व के संदर्भ में सीधे तौर पर नहीं हैं।

ब्राउर ने उस धारणा को प्रस्तुत किया जिसे अब 'ब्राउर चरित्र' के रूप में जाना जाता है। जब K सकारात्मक विशेषता p के बीजगणितीय रूप से बंद होता है, तो K में एकता की जड़ों और p के क्रम प्रधान की एकता की जटिल जड़ों के बीच आक्षेप होता है। एक बार इस तरह के आक्षेप का विकल्प तय हो जाने के बाद, प्रतिनिधित्व के ब्राउर चरित्र अदिश कोप्राइम के प्रत्येक समूह तत्व को दिए गए प्रतिनिधित्व में उस तत्व के एगेंवल्लूस​​​​(बहुगुणों सहित) के अनुरूप एकता की जटिल जड़ों का योग p करने के लिए निर्दिष्ट करता है।

प्रतिनिधित्व का ब्राउर चरित्र इसकी संरचना को निर्धारित करता है |

अलघुकरणीय कारक हैं, किन्तु सामान्यतः, इसका तुल्यता प्रकार नहीं है।

ब्राउर वर्ण वे हैं जो सरल मापांक द्वारा वहन किए जाते हैं।

ये अभिन्न (चूंकि आवश्यक नहीं कि गैर-नकारात्मक) संयोजन हैं |

साधारण इरेड्यूसिबल के ऑर्डर कोप्राइम टू पी के तत्वों पर प्रतिबंध है |

इसके विपरीत, अदिश के तत्वों के लिए प्रतिबंध पी पात्र के कोप्राइम है |

प्रत्येक सामान्य अलघुकरणीय चरित्र विशिष्ट रूप से एक गैर-नकारात्मक के रूप में अभिव्यक्त होता है

इरेड्यूसिबल ब्राउर वर्णों का पूर्णांक संयोजन।

कमी (मॉड पी)
प्रारंभ में ब्राउर द्वारा विकसित सिद्धांत में, साधारण प्रतिनिधित्व सिद्धांत और मॉड्यूलर प्रतिनिधित्व सिद्धांत के बीच की कड़ी को विचार करके सबसे अच्छा उदाहरण दिया गया है।

पूर्ण असतत पर समूह [G] का समूह वलय

वैल्यूएशन रिंग आर पॉजिटिव के अवशेष फील्ड के साथ

विशेषता पी और विशेषता के अंश एफ के क्षेत्र

0, जैसे p-अर्थात पूर्णांक |p-अर्थात पूर्णांक। आर G की संरचना दोनों से निकटता से संबंधित है

समूह बीजगणित K [G] की संरचना और अर्धसरल समूह बीजगणित F[G] की संरचना, और इसमें बहुत अधिक परस्पर क्रिया है

तीन बीजगणित के मापांक सिद्धांत के बीच।

प्रत्येक आर[G]-मापांक स्वाभाविक रूप से एफ[G]-मापांक को जन्म देता है,

और, एक प्रक्रिया द्वारा जिसे अधिकांशतः अनौपचारिक रूप से 'कमी (मॉड पी)' के रूप में जाना जाता है,

एक के [G] -मापांक के लिए। दूसरी ओर, चूँकि R है

प्रमुख आदर्श डोमेन, प्रत्येक परिमित-आयामी F[G]-मापांक

R[G]-मापांक से स्केलर्स के विस्तार से उत्पन्न होता है। सामान्य रूप में,

चूंकि, सभी के [G] -मापांक कमी (मॉड पी) के रूप में उत्पन्न नहीं होते हैं

आर [G] - मापांक जो करते हैं वे 'उठाने योग्य' होते हैं।

सरल मापांक की संख्या
साधारण प्रतिनिधित्व सिद्धांत में, सरल मापांक k([G]) की संख्या [G] के संयुग्मन वर्ग की संख्या के बराबर है। मॉड्यूलर मामले में, सरल मापांक की संख्या l([G]) संयुग्मी वर्गों की संख्या के बराबर है जिनके तत्व हैं संबंधित प्राइम पी, तथाकथित पी-नियमित कक्षाओं के लिए कोप्राइम ऑर्डर करें।

ब्लॉक और समूह बीजगणित की संरचना
मॉड्यूलर प्रतिनिधित्व सिद्धांत में, जबकि माश्के का प्रमेय मान्य नहीं है जब विशेषता समूह क्रम को विभाजित करती है, तो समूह बीजगणित को ब्लॉक के रूप में जाने वाले दो तरफा आदर्शों के अधिकतम संग्रह के प्रत्यक्ष योग के रूप में विघटित किया जा सकता है। जब फ़ील्ड एफ में विशेषता 0, या समूह क्रम के लिए विशेषता कोप्राइम होता है, तब भी समूह बीजगणित एफ G का ऐसा अपघटन ब्लॉक के योग के रूप में होता है (एक के लिए सरल मापांक का प्रत्येक समरूपता प्रकार), किन्तु स्थिति अपेक्षाकृत पारदर्शी होती है जब एफ पर्याप्त रूप से बड़ा होता है: प्रत्येक ब्लॉक एफ पर एक पूर्ण आव्युह बीजगणित होता है, संबंधित सरल मापांक अंतर्निहित वेक्टर अंतरिक्ष की एंडोमोर्फिज्म रिंग है |

ब्लॉक प्राप्त करने के लिए, समूह 'G' के पहचान तत्व को आदिम आइदेम्पोतेंट्स के योग के रूप में विघटित किया जाता है

Z(R[G]) में, F के अधिकतम क्रम R पर समूह बीजगणित का केंद्र (रिंग थ्योरी)। आदिम आइदेम्पोतेंट्स के अनुरूप ब्लॉक है

ई दो तरफा आदर्श ई आर G है। प्रत्येक अविघटनीय आर G-मापांक के लिए, केवल ऐसा आदिम आदर्श है जो इसे नष्ट नहीं करता है, और कहा जाता है कि मापांक इसी ब्लॉक से संबंधित है (या इसमें होना है) किस मामले में, इसके सभी रचना कारक भी उस ब्लॉक के हैं)। विशेष रूप से, प्रत्येक साधारण मापांक एक अद्वितीय ब्लॉक से संबंधित होता है। प्रत्येक साधारण इर्रिडिएबल कैरेक्टर को इरेड्यूसिबल ब्राउर कैरेक्टर्स के योग के रूप में इसके अपघटन के अनुसार अद्वितीय ब्लॉक को भी सौंपा जा सकता है। तुच्छ प्रतिनिधित्व वाले ब्लॉक को प्रिंसिपल ब्लॉक के रूप में जाना जाता है।

प्रोजेक्टिव मापांक
सामान्य प्रतिनिधित्व सिद्धांत में, प्रत्येक अविघटनीय मापांक इर्रिड्यूसिबल होता है, और इसलिए प्रत्येक मापांक प्रक्षेपी होता है। चूंकि, समूह क्रम को विभाजित करने वाली विशेषता वाले सरल मापांक संभवतः ही कभी अनुमानित होते हैं। वास्तव में, यदि एक साधारण मापांक प्रक्षेपी है, तो यह अपने ब्लॉक में एकमात्र सरल मापांक है, जो तब अंतर्निहित सदिश स्थान के एंडोमोर्फिज्म बीजगणित के लिए आइसोमोर्फिक है, एक पूर्ण आव्युह बीजगणित। उस स्थिति में, ब्लॉक को 'दोष 0' कहा जाता है। सामान्यतः, प्रोजेक्टिव मापांक की संरचना निर्धारित करना कठिनाई होता है।

एक परिमित समूह के समूह बीजगणित के लिए, (समरूपता प्रकार के) प्रक्षेपी अविघटनीय मापांक एक-से-एक पत्राचार में (समरूपता प्रकार के) सरल मापांक के साथ होते हैं: प्रत्येक प्रक्षेप्य अविघटनीय का सॉकल (गणित) सरल है (और शीर्ष पर आइसोमॉर्फिक), और यह आक्षेप की पुष्टि करता है, क्योंकि गैर-आइसोमॉर्फिक प्रक्षेपी अविघटनकारी है |

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

सकारात्मक विशेषता p में प्रत्येक प्रक्षेप्य अविघटनीय मापांक (और इसलिए प्रत्येक प्रक्षेप्य मापांक) को विशेषता 0 में एक मापांक में उठाया जा सकता है। ऊपर के रूप में रिंग आर का उपयोग करके, अवशेष क्षेत्र K के साथ, [G] के पहचान तत्व को पारस्परिक रूप से योग के रूप में विघटित किया जा सकता है ऑर्थोगोनल आदिम आइदेम्पोतेंट्स (आवश्यक नहीं) होता है |

केंद्रीय के G इस अपघटन में होने वाले आदिम आइडेम्पोटेंट्सई के लिए प्रत्येक प्रक्षेप्य अविघटनीय K [G]-मापांक e.K[G] के लिए आइसोमॉर्फिक है। आइडेम्पोटेंट्स e प्रिमिटिव आइडेम्पोटेंट्सके लिए लिफ्ट करता है, R [G] के E, कहते हैं, और बाएँ मापांक E.R [G] में e.K [G] के लिए रिडक्शन (mod p) आइसोमॉर्फिक है।

ब्राउर वर्णों के लिए कुछ ओर्थोगोनलिटी संबंध
जब एक प्रक्षेपी मापांक को उठाया जाता है, तो संबंधित वर्ण पी द्वारा विभाज्य क्रम के सभी तत्वों पर गायब हो जाता है, और (एकता की जड़ों की लगातार पसंद के साथ), पी-नियमित तत्वों पर मूल विशेषता पी मापांक के ब्राउर चरित्र से सहमत होता है। किसी भी अन्य ब्राउर वर्ण के साथ प्रक्षेप्य अविघटनीय के ब्राउर वर्ण का (सामान्य वर्ण-अंगूठी) आंतरिक गुणन इस प्रकार परिभाषित किया जा सकता है: यह 0 है यदि

दूसरा ब्राउर चरित्र एक गैर-आइसोमॉर्फिक और 1 प्रक्षेप्य अविघटनीय के सोसल का है,

यदि दूसरा ब्राउर चरित्र अपने स्वयं के समाज का है। साधारण अलघुकरणीय की बहुलता है |

प्रक्षेप्य अपघटनीय की लिफ्ट के चरित्र में वर्ण संख्या के बराबर है |

प्रक्षेपी अविघटनीय के समाज के ब्राउर चरित्र की घटनाओं की जब साधारण चरित्र के पी-नियमित तत्वों के प्रतिबंध को इरेड्यूसिबल ब्राउर वर्णों के योग के रूप में व्यक्त किया जाता है।

अपघटन आव्युह और कार्टन आव्युह
प्रक्षेपी अविघटनीय मापांक की रचना श्रृंखला की गणना निम्नानुसार की जा सकती है:

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

कार्टन आव्युह में परिणाम, सामान्यतः सी चिह्नित; यह एक सममित आव्युह है जैसे कि इसकी जे-वीं पंक्ति में प्रविष्टियां संरचना के रूप में संबंधित सरल मापांक की बहुलताएं हैं

जे-वें प्रक्षेपी अविघटनीय मापांक के कारक कार्टन है |

आव्युह गैर-एकवचन है; वास्तव में, इसका निर्धारक की एक बल है |

'''के. की विशेषता'''

चूंकि किसी दिए गए ब्लॉक में प्रक्षेप्य अविघटनीय मापांक है

उसी ब्लॉक में इसके सभी रचना कारक, प्रत्येक ब्लॉक में हैं

इसका अपना कार्टन आव्युह है।

दोष समूह
समूह बीजगणित के G के प्रत्येक ब्लॉक बी के लिए, ब्राउर ने एक निश्चित पी-उपसमूह को जोड़ा, जिसे इसके 'दोष समूह' के रूप में जाना जाता है (जहां पी के की विशेषता है)। औपचारिक रूप से, यह सबसे बड़ा पी-उपसमूह है

[G] का D जिसके लिए B के लिए एक ब्राउर के तीन मुख्य प्रमेय हैं

उपसमूह $$DC_G(D)$$, कहाँ $$C_G(D)$$ [G] में D का केंद्रक है।

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

एक ब्लॉक के दोष समूह के क्रम में प्रतिनिधित्व सिद्धांत से संबंधित कई अंकगणितीय विशेषताएँ हैं। यह ब्लॉक के कार्टन आव्युह का सबसे बड़ा अपरिवर्तनीय कारक है, और इसके साथ होता है

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

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

सैंडी ग्रीन (गणितज्ञ) जे. ए ग्रीन, जो पी-उपसमूह को जोड़ता है मापांक के 'सापेक्ष प्रोजेक्टिविटी' के संदर्भ में परिभाषित एक अविघटनीय मापांक के लिए 'वर्टेक्स' के रूप में जाना जाता है। उदाहरण के लिए, एक ब्लॉक में प्रत्येक अविघटनीय मापांक का शीर्ष निहित है (संयुग्मन तक)

ब्लॉक के दोष समूह में, और दोष समूह के किसी भी उचित उपसमूह के पास वह गुण नहीं है।

ब्राउर के पहले मुख्य प्रमेय में कहा गया है कि एक परिमित समूह के ब्लॉकों की संख्या जिसमें पी-उपसमूह को दोष समूह के रूप में दिया गया है, उस पी-उपसमूह के समूह में नॉर्मलाइज़र के लिए इसी संख्या के समान है।

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

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