वर्ण सिद्धांत: Difference between revisions
No edit summary |
No edit summary |
||
| Line 70: | Line 70: | ||
वर्ण तालिका सदैव वर्गाकार होती है, क्योंकि अलघुकरणीय निरूपणों की संख्या संयुग्मन वर्गों की संख्या के समान होती है।<ref>Serre, §2.5</ref> | वर्ण तालिका सदैव वर्गाकार होती है, क्योंकि अलघुकरणीय निरूपणों की संख्या संयुग्मन वर्गों की संख्या के समान होती है।<ref>Serre, §2.5</ref> | ||
=== | ===लंबकोणीयता संबंध=== | ||
{{main|शूर | {{main|शूर लंबकोणीयता संबंध}} | ||
परिमित समूह {{mvar|G}} के जटिल-मूल्यवान वर्ग फलनों के स्थान में प्राकृतिक आंतरिक उत्पाद है: | परिमित समूह {{mvar|G}} के जटिल-मूल्यवान वर्ग फलनों के स्थान में प्राकृतिक आंतरिक उत्पाद है: | ||
:<math>\left \langle \alpha, \beta\right \rangle := \frac{1}{|G|}\sum_{g \in G} \alpha(g) \overline{\beta(g)}</math> | :<math>\left \langle \alpha, \beta\right \rangle := \frac{1}{|G|}\sum_{g \in G} \alpha(g) \overline{\beta(g)}</math> | ||
जहां {{math|{{overline|''β''(''g'')}}}} {{math|''β''(''g'')}} का जटिल संयुग्म है। इस आंतरिक उत्पाद के संबंध में, अप्रासंगिक वर्ण वर्ग-फलनों के स्थान के लिए अलौकिक आधार बनाते हैं, और यह वर्ण तालिका की पंक्तियों के लिए | जहां {{math|{{overline|''β''(''g'')}}}} {{math|''β''(''g'')}} का जटिल संयुग्म है। इस आंतरिक उत्पाद के संबंध में, अप्रासंगिक वर्ण वर्ग-फलनों के स्थान के लिए अलौकिक आधार बनाते हैं, और यह वर्ण तालिका की पंक्तियों के लिए लंबकोणीयता संबंध उत्पन्न करता है: | ||
:<math>\left \langle \chi_i, \chi_j \right \rangle = \begin{cases} 0 & \mbox{ if } i \ne j, \\ 1 & \mbox{ if } i = j. \end{cases}</math> | :<math>\left \langle \chi_i, \chi_j \right \rangle = \begin{cases} 0 & \mbox{ if } i \ne j, \\ 1 & \mbox{ if } i = j. \end{cases}</math> | ||
| Line 81: | Line 81: | ||
:<math>\sum_{\chi_i} \chi_i(g) \overline{\chi_i(h)} = \begin{cases} \left | C_G(g) \right |, & \mbox{ if } g, h \mbox{ are conjugate } \\ 0 & \mbox{ otherwise.}\end{cases}</math> | :<math>\sum_{\chi_i} \chi_i(g) \overline{\chi_i(h)} = \begin{cases} \left | C_G(g) \right |, & \mbox{ if } g, h \mbox{ are conjugate } \\ 0 & \mbox{ otherwise.}\end{cases}</math> | ||
जहां योग सभी अप्रासंगिक वर्णों | जहां योग {{mvar|G}} के सभी अप्रासंगिक वर्णों {{math|''χ<sub>i</sub>''}} और प्रतीक {{math|{{pipe}}''C<sub>G</sub>''(''g''){{pipe}}}} के ऊपर है {{mvar|g}} के [[केंद्रक]] के आदेश को दर्शाता है। ध्यान दें कि चूंकि {{mvar|g}} और {{mvar|h}} संयुग्मित हैं यदि वे वर्ण तालिका के स्तंभ में हैं, इसका तात्पर्य है कि वर्ण तालिका के स्तंभ लंबकोणीय हैं। | ||
लंबकोणीयता संबंध कई संगणनाओं में सहायता कर सकते हैं जिनमें सम्मिलित हैं: | |||
* अलघुकरणीय वर्णों के रेखीय संयोजन के रूप में अज्ञात वर्ण को विघटित करना। | * अलघुकरणीय वर्णों के रेखीय संयोजन के रूप में अज्ञात वर्ण को विघटित करना। | ||
* पूर्ण वर्ण तालिका का निर्माण जब केवल कुछ अलघुकरणीय वर्णों को जाना जाता है। | * पूर्ण वर्ण तालिका का निर्माण जब केवल कुछ अलघुकरणीय वर्णों को जाना जाता है। | ||
Revision as of 14:11, 1 May 2023
गणित में, विशेष रूप से समूह सिद्धांत में, समूह प्रतिनिधित्व का वर्ण समूह पर फलन है, जो प्रत्येक समूह तत्व को संबंधित आव्यूह के चिह्न से युग्मित करता है। वर्ण अधिक संक्षिप्त रूप में प्रतिनिधित्व के सम्बन्ध में आवश्यक सूचना रखता है। जॉर्ज फ्रोबेनियस ने प्रारंभ में परिमित समूहों के प्रतिनिधित्व सिद्धांत को विकसित किया, जो प्रत्येक प्रकार से पात्रों पर आधारित था, और स्वयं प्रतिनिधित्व के किसी भी स्पष्ट आव्यूह प्राप्ति के बिना होता है। यह संभव है क्योंकि परिमित समूह का सम्मिश्र संख्या निरूपण उसके वर्ण द्वारा निर्धारित (समरूपता तक) होता है। तथाकथित मॉड्यूलर प्रतिनिधित्व सकारात्मक विशेषता के क्षेत्र पर प्रतिनिधित्व के साथ स्थिति अधिक कोमल है, किन्तु रिचर्ड ब्राउर ने इस स्थिति में भी वर्णों का शक्तिशाली सिद्धांत विकसित किया है। परिमित समूहों की संरचना पर विभिन्न गंभीर प्रमेय मॉड्यूलर प्रतिनिधित्व सिद्धांत के पात्रों का उपयोग करते हैं।
अनुप्रयोग
अलघुकरणीय अभ्यावेदन के वर्ण समूह के अनेक महत्वपूर्ण गुणों को कूटबद्ध करते हैं और इस प्रकार इसका उपयोग इसकी संरचना का अध्ययन करने के लिए किया जा सकता है। परिमित सरल समूहों के वर्गीकरण में वर्ण सिद्धांत आवश्यक उपकरण है। फ़ीट-थॉम्पसन प्रमेय के प्रमाण के अर्ध के निकट वर्ण मानों के साथ जटिल गणना सम्मिलित है। सरल, किन्तु फिर भी आवश्यक, परिणाम जो वर्ण सिद्धांत का उपयोग करते हैं उनमें बर्नसाइड के प्रमेय सम्मिलित हैं (बर्नसाइड के प्रमेय का विशुद्ध रूप से समूह-सैद्धांतिक प्रमाण तब से पाया गया है, किन्तु वह प्रमाण बर्नसाइड के मूल प्रमाण के अर्ध दशक पश्चात आया), और रिचर्ड ब्राउर का प्रमेय और मिचियो सुज़ुकी ने कहा कि परिमित सरल समूह में अपने साइलो 2-उपसमूह प्रमेय के रूप में सामान्यीकृत चतुष्कोणीय समूह नहीं हो सकता है।
परिभाषाएँ
मान लीजिये कि V क्षेत्र F पर परिमित-आयामी सदिश समष्टि है और ρ : G → GL(V) V पर समूह G का प्रतिनिधित्व करते हैं। ρ का वर्ण फलन χρ : G → F द्वारा दिया गया है:
जहां Tr ट्रेस है।
वर्ण χρ को अलघुकरणीय या सरल कहा जाता है यदि ρ अलघुकरणीय प्रतिनिधित्व है। वर्ण χ की डिग्री ρ का आयाम है; विशेषता शून्य में यह मान χ(1) के समान है। डिग्री 1 के वर्ण को रैखिक कहा जाता है। जब G परिमित है और F में विशेषता शून्य है, तो वर्ण χρ का कर्नेल सामान्य उपसमूह है:
जो वास्तव में प्रतिनिधित्व ρ का कर्नेल है। चूँकि, वर्ण सामान्य रूप से समूह समरूपता नहीं है।
गुण
- वर्ण वर्ग कार्य हैं, अर्थात, वे प्रत्येक दिए गए संयुग्मन वर्ग पर स्थिर मान लेते हैं। अधिक त्रुटिहीन रूप से, किसी दिए गए समूह G के क्षेत्र K में अलघुकरणीय वर्णों का समुच्चय सभी वर्ग फलनों G → K के K-सदिश स्थान का आधार बनाते हैं।
- आइसोमॉर्फिक प्रतिनिधित्व में समान वर्ण होते हैं। विशेषता 0 के क्षेत्र में, दो अभ्यावेदन आइसोमॉर्फिक हैं यदि केवल उनके समान वर्ण हैं।[1]
- यदि निरूपण उप-निरूपणों का प्रत्यक्ष योग है, तो संबंधित वर्ण उन उप-प्रतिनिधियों के वर्णों का योग है।
- यदि परिमित समूह G का लक्षण उपसमूह H तक सीमित है, तो परिणाम भी H का वर्ण है।
- प्रत्येक वर्ण मान χ(g) एकता के n-mवें मूल का योग है, जहाँ n वर्ण χ के साथ निरूपण की डिग्री (अर्थात संबंधित सदिश स्थान का आयाम) है और m, g की कोटि है। विशेष रूप से, जब F = C, ऐसा प्रत्येक वर्ण मान बीजगणितीय पूर्णांक होता है।
- यदि F = C और χ तब अलघुकरणीय है: G में सभी x के लिए बीजगणितीय पूर्णांक है।
- यदि F बीजगणितीय रूप से बंद है और चार(F) G के क्रम को विभाजित नहीं करता है, तो G के अलघुकरणीय वर्णों की संख्या G के संयुग्मन वर्गों की संख्या के समान है। इसके अतिरिक्त, इस स्थिति में, अलघुकरणीय वर्णों की डिग्री G के क्रम के विभाजक हैं (और वे [G : Z(G)] को भी विभाजित करते हैं यदि F = C हैं)।
अंकगणितीय गुण
मान लीजिए ρ और σ, G का प्रतिनिधित्व करते हैं। तब निम्नलिखित पहचान धारण करते हैं:
जहां ρ⊕σ प्रत्यक्ष योग है, ρ⊗σ टेंसर गुणनफल है, जो ρ∗ρ के संयुग्मी स्थानांतरण को दर्शाता है, और Alt2 वैकल्पिक उत्पाद है Alt2ρ = ρ ∧ ρ और Sym2 सममित वर्ग है, जो इसके द्वारा निर्धारित किया जाता है:
वर्ण तालिका
परिमित समूह के अलघुकरणीय जटिल संख्या वर्ण तालिका बनाते हैं जो सघन रूप में समूह G के सम्बन्ध में अधिक उपयोगी सूचना को कूटबद्ध करता है। प्रत्येक पंक्ति को अलघुकरणीय प्रतिनिधित्व द्वारा लेबल किया जाता है और पंक्ति में प्रविष्टियाँ G के संबंधित संयुग्मन वर्ग पर प्रतिनिधित्व के वर्ण हैं। स्तंभों को G के संयुग्मन वर्गों (प्रतिनिधियों) द्वारा लेबल किया जाता है। यह अल्प प्रतिनिधित्व के वर्ण द्वारा प्रथम पंक्ति को लेबल करने के लिए प्रथागत है, जो कि 1-आयामी सदिश स्थान पर G की अल्प क्रिया है,