वर्ण सिद्धांत

This article is about गणित में वर्ण सिद्धांत शब्द का उपयोग. For शब्द वर्ण के संबंधित भाव, see वर्ण (गणित).

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

अनुप्रयोग

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

परिभाषाएँ

मान लीजिये कि V क्षेत्र F पर परिमित-आयामी सदिश समष्टि है और ρ : G → GL(V) V पर समूह G का प्रतिनिधित्व करते हैं। ρ का वर्ण फलन χ_ρ : G → F द्वारा दिया गया है:

$\chi _{\rho }(g)=\operatorname {Tr} (\rho (g))$

जहां Tr ट्रेस है।

वर्ण χ_ρ को अलघुकरणीय या सरल कहा जाता है यदि ρ अलघुकरणीय प्रतिनिधित्व है। वर्ण χ की डिग्री ρ का आयाम है; विशेषता शून्य में यह मान χ(1) के समान है। डिग्री 1 के वर्ण को रैखिक कहा जाता है। जब G परिमित है और F में विशेषता शून्य है, तो वर्ण χ_ρ का कर्नेल सामान्य उपसमूह है:

$\ker \chi _{\rho }:=\left\lbrace g\in G\mid \chi _{\rho }(g)=\chi _{\rho }(1)\right\rbrace ,$

जो वास्तव में प्रतिनिधित्व ρ का कर्नेल है। चूँकि, वर्ण सामान्य रूप से समूह समरूपता नहीं है।

गुण

• वर्ण वर्ग कार्य हैं, अर्थात, वे प्रत्येक दिए गए संयुग्मन वर्ग पर स्थिर मान लेते हैं। अधिक त्रुटिहीन रूप से, किसी दिए गए समूह G के क्षेत्र K में अलघुकरणीय वर्णों का समुच्चय सभी वर्ग फलनों G → K के K-सदिश स्थान का आधार बनाते हैं।
• आइसोमॉर्फिक प्रतिनिधित्व में समान वर्ण होते हैं। विशेषता 0 के क्षेत्र में, दो अभ्यावेदन आइसोमॉर्फिक हैं यदि केवल उनके समान वर्ण हैं।
• यदि निरूपण उप-निरूपणों का प्रत्यक्ष योग है, तो संबंधित वर्ण उन उप-प्रतिनिधियों के वर्णों का योग है।
• यदि परिमित समूह G का लक्षण उपसमूह H तक सीमित है, तो परिणाम भी H का वर्ण है।
• प्रत्येक वर्ण मान χ(g) एकता के n-mवें मूल का योग है, जहाँ n वर्ण χ के साथ निरूपण की डिग्री (अर्थात संबंधित सदिश स्थान का आयाम) है और m, g की कोटि है। विशेष रूप से, जब F = C, ऐसा प्रत्येक वर्ण मान बीजगणितीय पूर्णांक होता है।
• यदि F = C और χ तब अलघुकरणीय है:
  $$[G:C_{G}(x)]{\frac {\chi (x)}{\chi (1)}}$$
  G में सभी x के लिए बीजगणितीय पूर्णांक है।
• यदि F बीजगणितीय रूप से बंद है और चार(F) G के क्रम को विभाजित नहीं करता है, तो G के अलघुकरणीय वर्णों की संख्या G के संयुग्मन वर्गों की संख्या के समान है। इसके अतिरिक्त, इस स्थिति में, अलघुकरणीय वर्णों की डिग्री G के क्रम के विभाजक हैं (और वे [G : Z(G)] को भी विभाजित करते हैं यदि F = C हैं)।

अंकगणितीय गुण

मान लीजिए ρ और σ, G का प्रतिनिधित्व करते हैं। तब निम्नलिखित पहचान धारण करते हैं:

• $\chi _{\rho \oplus \sigma }=\chi _{\rho }+\chi _{\sigma }$
• $\chi _{\rho \otimes \sigma }=\chi _{\rho }\cdot \chi _{\sigma }$
• $\chi _{\rho ^{*}}={\overline {\chi _{\rho }}}$
• $\chi _{{\scriptscriptstyle {\rm {{Alt}^{2}}}}\rho }(g)={\tfrac {1}{2}}\!\left[\left(\chi _{\rho }(g)\right)^{2}-\chi _{\rho }(g^{2})\right]$
• $\chi _{{\scriptscriptstyle {\rm {{Sym}^{2}}}}\rho }(g)={\tfrac {1}{2}}\!\left[\left(\chi _{\rho }(g)\right)^{2}+\chi _{\rho }(g^{2})\right]$

जहां ρ⊕σ प्रत्यक्ष योग है, ρ⊗σ टेंसर गुणनफल है, जो ρ^∗ρ के संयुग्मी स्थानांतरण को दर्शाता है, और Alt² वैकल्पिक उत्पाद है Alt²ρ = ρ ∧ ρ और Sym² सममित वर्ग है, जो इसके द्वारा निर्धारित किया जाता है:

$$\rho \otimes \rho =\left(\rho \wedge \rho \right)\oplus {\textrm {Sym}}^{2}\rho .$$

वर्ण तालिका

Further information: वर्ण तालिका

परिमित समूह के अलघुकरणीय जटिल संख्या वर्ण तालिका बनाते हैं जो सघन रूप में समूह G के सम्बन्ध में अधिक उपयोगी सूचना को कूटबद्ध करता है। प्रत्येक पंक्ति को अलघुकरणीय प्रतिनिधित्व द्वारा लेबल किया जाता है और पंक्ति में प्रविष्टियाँ G के संबंधित संयुग्मन वर्ग पर प्रतिनिधित्व के वर्ण हैं। स्तंभों को G के संयुग्मन वर्गों (प्रतिनिधियों) द्वारा लेबल किया जाता है। यह अल्प प्रतिनिधित्व के वर्ण द्वारा प्रथम पंक्ति को लेबल करने के लिए प्रथागत है, जो कि 1-आयामी सदिश स्थान पर G की अल्प क्रिया है, $\rho (g)=1$ सभी के लिए $g\in G$ होती है। प्रथम पंक्ति में प्रत्येक प्रविष्टि इसलिए 1 है। इसी प्रकार, प्रथम स्तंभ को पहचान के आधार पर लेबल करने की प्रथा है। इसलिए, प्रथम स्तंभ में प्रत्येक अलघुकरणीय वर्ण की डिग्री होती है।

यहाँ की वर्ण तालिका है:

$C_{3}=\langle u\mid u^{3}=1\rangle ,$

तीन तत्वों और जनरेटर u के साथ चक्रीय समूह है:

	(1)	(u)	(u2)
1	1	1	1
χ1	1	ω	ω2
χ2	1	ω2	ω

जहाँ ω एकता का प्रारंभिक तीसरा मूल है।

वर्ण तालिका सदैव वर्गाकार होती है, क्योंकि अलघुकरणीय निरूपणों की संख्या संयुग्मन वर्गों की संख्या के समान होती है।

लंबकोणीयता संबंध

Main article: शूर लंबकोणीयता संबंध

परिमित समूह G के जटिल-मूल्यवान वर्ग फलनों के स्थान में प्राकृतिक आंतरिक उत्पाद है:

$\left\langle \alpha ,\beta \right\rangle :={\frac {1}{|G|}}\sum _{g\in G}\alpha (g){\overline {\beta (g)}}$

जहां β(g) β(g) का जटिल संयुग्म है। इस आंतरिक उत्पाद के संबंध में, अप्रासंगिक वर्ण वर्ग-फलनों के स्थान के लिए अलौकिक आधार बनाते हैं, और यह वर्ण तालिका की पंक्तियों के लिए लंबकोणीयता संबंध उत्पन्न करता है:

$\left\langle \chi _{i},\chi _{j}\right\rangle ={\begin{cases}0&{\mbox{ if }}i\neq j,\\1&{\mbox{ if }}i=j.\end{cases}}$

g, के लिए h में G, उसी आंतरिक उत्पाद को वर्ण तालिका के स्तंभों पर प्रारंभ करने से प्राप्त होता है:

$\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}}$

जहां योग G के सभी अप्रासंगिक वर्णों χ_i और प्रतीक |C_G(g)| के ऊपर है g के केंद्रक के आदेश को दर्शाता है। ध्यान दें कि चूंकि g और h संयुग्मित हैं यदि वे वर्ण तालिका के स्तंभ में हैं, इसका तात्पर्य है कि वर्ण तालिका के स्तंभ लंबकोणीय हैं।

लंबकोणीयता संबंध अनेक संगणनाओं में सहायता कर सकते हैं जिनमें सम्मिलित हैं:

• अलघुकरणीय वर्णों के रेखीय संयोजन के रूप में अज्ञात वर्ण को विघटित किया जाता है।
• पूर्ण वर्ण तालिका का निर्माण जब केवल कुछ अलघुकरणीय वर्णों को जाना जाता है।
• समूह के संयुग्मन वर्गों के प्रतिनिधियों के केंद्रीकरणकर्ताओं के आदेशों को ज्ञात किया जाता है।
• समूह के क्रम को ज्ञात किया जाता है।

वर्ण तालिका गुण

समूह G के कुछ गुण इसकी वर्ण तालिका से निकाले जा सकते हैं:

• G का क्रम प्रथम स्तंभ की प्रविष्टियों के वर्गों के योग द्वारा दिया जाता है (अलघुकरणीय वर्णों की डिग्री)। (परिमित समूहों का प्रतिनिधित्व सिद्धांत शूर के लेम्मा को प्रारम्भ करना, देखें।) सामान्यतः, किसी भी स्तंभ में प्रविष्टियों के पूर्ण मानों के वर्गों का योग संबंधित संयुग्मन वर्ग के तत्व के केंद्रक का क्रम देता है।
• G के सभी सामान्य उपसमूह (और इस प्रकार G सरल है या नहीं है) इसकी वर्ण तालिका से पहचाना जा सकता है। वर्ण χ का कर्नेल G में तत्वों g का समुच्चय है जिसके लिए χ(g) = χ(1) होता है; यह G का सामान्य उपसमूह है। G का प्रत्येक सामान्य उपसमूह G की कुछ अलघुकरणीय वर्णों के कर्नेल का प्रतिच्छेदन है।
• G का कम्यूटेटर उपसमूह G के रैखिक वर्णों के कर्नेल का प्रतिच्छेदन है।
• यदि G परिमित है, तो चूँकि वर्ण तालिका वर्गाकार है और इसमें संयुग्मन वर्गों के रूप में अनेक पंक्तियाँ हैं, इसलिए यह अनुसरण करता है कि G एबेलियन समूह है यदि प्रत्येक संयुग्मन वर्ग सिंगलटन है यदि G वर्ण तालिका की है $|G|\!\times \!|G|$ यदि प्रत्येक अलघुकरणीय वर्ण रैखिक है।
• यह इस प्रकार है, मॉड्यूलर प्रतिनिधित्व सिद्धांत से रिचर्ड ब्राउर के कुछ परिणामों का उपयोग करते हुए, कि परिमित समूह के प्रत्येक संयुग्मी वर्ग के तत्वों के आदेशों के प्रमुख विभाजकों को इसकी वर्ण तालिका (ग्राहम हिगमैन का अवलोकन) से घटाया जा सकता है।

वर्ण तालिका सामान्य रूप से समूह समरूपता तक समूह को निर्धारित नहीं करती है: उदाहरण के लिए, चतुर्धातुक समूह Q और का डायहेड्रल समूह 8 तत्व, D₄, समान वर्ण तालिका है। ब्राउर ने पूछा कि क्या वर्ण तालिका, इसके संयुग्मन वर्गों के तत्वों की शक्तियों को कैसे वितरित किया जाता है, इसके ज्ञान के साथ, समरूपता तक परिमित समूह निर्धारित करता है। 1964 में, इसका उत्तर ई.सी. डेड ने नकारात्मक में दिया।

का रैखिक प्रतिनिधित्व G स्वयं टेंसर उत्पाद के तहत समूह हैं, क्योंकि 1-आयामी वेक्टर रिक्त स्थान का टेंसर उत्पाद फिर से 1-आयामी है। यानी अगर $\rho _{1}:G\to V_{1}$ और $\rho _{2}:G\to V_{2}$ रैखिक प्रतिनिधित्व हैं, फिर $\rho _{1}\otimes \rho _{2}(g)=(\rho _{1}(g)\otimes \rho _{2}(g))$ नया रैखिक प्रतिनिधित्व परिभाषित करता है। यह ऑपरेशन के तहत वर्ण समूह नामक रैखिक वर्णों के समूह को जन्म देता है $[\chi _{1}*\chi _{2}](g)=\chi _{1}(g)\chi _{2}(g)$. यह समूह डिरिचलेट पात्रों और फूरियर विश्लेषण से जुड़ा है।

प्रेरित पात्र और फ्रोबेनियस पारस्परिकता

Main articles: प्रेरित वर्ण and फ्रोबेनियस पारस्परिकता

इस खंड में चर्चा किए गए पात्रों को जटिल-मूल्यवान माना जाता है। होने देना H परिमित समूह का उपसमूह हो G. पात्र दिया χ का G, होने देना χ_H इसके प्रतिबंध को निरूपित करें H. होने देना θ का पात्र हो H. फर्डिनेंड जॉर्ज फ्रोबेनियस ने दिखाया कि वर्ण का निर्माण कैसे किया जाता है G से θ, जिसे अब फ्रोबेनियस पारस्परिकता के रूप में जाना जाता है। के अलघुकरणीय पात्रों के बाद से G के जटिल-मूल्यवान वर्ग फलनों के स्थान के लिए अलौकिक आधार बनाते हैं G, अद्वितीय वर्ग कार्य है θ^G का G उस संपत्ति के साथ

$\langle \theta ^{G},\chi \rangle _{G}=\langle \theta ,\chi _{H}\rangle _{H}$

प्रत्येक अपूरणीय वर्ण के लिए χ का G (बाएं सबसे आंतरिक उत्पाद के वर्ग फलनों के लिए है G और सबसे दाहिने आंतरिक उत्पाद के वर्ग फलनों के लिए है H). के वर्ण के प्रतिबंध के बाद से G उपसमूह के लिए H फिर से वर्ण है H, यह परिभाषा यह स्पष्ट करती है कि θ^G के अलघुकरणीय वर्णों का गैर-ऋणात्मक पूर्णांक संयोजन है G, तो वास्तव में का वर्ण है G. के वर्ण के रूप में जाना जाता है G से प्रेरित θ. फ्रोबेनियस पारस्परिकता के परिभाषित सूत्र को सामान्य जटिल-मूल्यवान वर्ग फलनों तक बढ़ाया जा सकता है।

आव्यूह प्रतिनिधित्व दिया ρ का H, फ्रोबेनियस ने बाद में आव्यूह प्रतिनिधित्व के निर्माण के लिए स्पष्ट तरीका दिया G, प्रतिनिधित्व प्रेरित प्रतिनिधित्व के रूप में जाना जाता है ρ, और समान रूप से लिखा गया है ρ^G. इससे प्रेरित वर्ण का वैकल्पिक वर्णन हुआ θ^G. यह प्रेरित वर्ण के सभी तत्वों पर गायब हो जाता है G जो किसी भी तत्व के संयुग्मी नहीं हैं H. चूंकि प्रेरित वर्ण का वर्ग कार्य है G, के तत्वों पर इसके मूल्यों का वर्णन करना अब केवल आवश्यक है H. अगर कोई लिखता है G के सही सहसमूहों के असंयुक्त संघ के रूप में H, कहना

$G=Ht_{1}\cup \ldots \cup Ht_{n},$

फिर, तत्व दिया h का H, अपने पास:

$\theta ^{G}(h)=\sum _{i\ :\ t_{i}ht_{i}^{-1}\in H}\theta \left(t_{i}ht_{i}^{-1}\right).$

क्योंकि θ का क्लास फंक्शन है H, यह मान कोसेट प्रतिनिधियों की विशेष पसंद पर निर्भर नहीं करता है।

प्रेरित वर्ण का यह वैकल्पिक विवरण कभी-कभी एम्बेडिंग के बारे में अपेक्षाकृत कम जानकारी से स्पष्ट गणना की अनुमति देता है H में G, और विशेष वर्ण तालिकाओं की गणना के लिए प्रायः उपयोगी होता है। कब θ का तुच्छ वर्ण है H, प्राप्त प्रेरित वर्ण को क्रमचय वर्ण के रूप में जाना जाता है G (कोसेट्स पर H).

कैरेक्टर इंडक्शन की सामान्य तकनीक और बाद में परिशोधन ने एमिल आर्टिन, रिचर्ड ब्राउर, वाल्टर फीट और मिचियो सुजुकी (गणितज्ञ) जैसे गणितज्ञों के साथ-साथ खुद फ्रोबेनियस के हाथों में Group_theory#Finite_group_theory और गणित में कहीं और कई अनुप्रयोगों को पाया।

मैकी अपघटन

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

अगर ${\textstyle G=\bigcup _{t\in T}HtK}$ अलग संघ है, और θ का जटिल वर्ग कार्य है H, तब मैके का सूत्र बताता है कि

$\left(\theta ^{G}\right)_{K}=\sum _{t\in T}\left(\left[\theta ^{t}\right]_{t^{-1}Ht\cap K}\right)^{K},$

कहाँ θ^t का वर्ग कार्य है t⁻¹Ht द्वारा परिभाषित θ^t(t⁻¹ht) = θ(h) सभी के लिए h में H. उपसमूह के लिए प्रेरित मॉड्यूल के प्रतिबंध के लिए समान सूत्र है, जो किसी भी रिंग (गणित) पर प्रतिनिधित्व के लिए है, और बीजगणितीय और टोपोलॉजी संदर्भों की विस्तृत विविधता में अनुप्रयोग हैं।

मैके अपघटन, फ्रोबेनियस पारस्परिकता के संयोजन के साथ, दो वर्ग फलनों के आंतरिक उत्पाद के लिए प्रसिद्ध और उपयोगी सूत्र उत्पन्न करता है θ और ψ संबंधित उपसमूहों से प्रेरित H और K, जिसकी उपयोगिता इस तथ्य में निहित है कि यह केवल इस बात पर निर्भर करता है कि यह किस प्रकार संयुग्मित होता है H और K दूसरे को काटते हैं। सूत्र (इसकी व्युत्पत्ति के साथ) है:

${\begin{aligned}\left\langle \theta ^{G},\psi ^{G}\right\rangle &=\left\langle \left(\theta ^{G}\right)_{K},\psi \right\rangle \\&=\sum _{t\in T}\left\langle \left(\left[\theta ^{t}\right]_{t^{-1}Ht\cap K}\right)^{K},\psi \right\rangle \\&=\sum _{t\in T}\left\langle \left(\theta ^{t}\right)_{t^{-1}Ht\cap K},\psi _{t^{-1}Ht\cap K}\right\rangle ,\end{aligned}}$

(कहाँ T का पूरा सेट है (H, K)-डबल कोसेट प्रतिनिधि, पहले की तरह)। यह सूत्र प्रायः तब प्रयोग किया जाता है जब θ और ψ रेखीय वर्ण हैं, जिस स्थिति में दाहिने हाथ में दिखाई देने वाले सभी आंतरिक गुणनफल या तो होते हैं 1 या 0, रैखिक वर्ण हैं या नहीं, इस पर निर्भर करता है θ^t और ψ पर समान प्रतिबंध है t⁻¹Ht ∩ K. अगर θ और ψ दोनों तुच्छ पात्र हैं, तो आंतरिक उत्पाद सरल हो जाता है |T|.

मुड़ा हुआ आयाम

कोई प्रतिनिधित्व के वर्ण को मुड़ आयाम (वेक्टर स्पेस) के रूप में व्याख्या कर सकता है। वर्ण को समूह के तत्वों के कार्य के रूप में मानना χ(g), पहचान तत्व पर इसका मान अंतरिक्ष का आयाम है, क्योंकि χ(1) = Tr(ρ(1)) = Tr(I_V) = dim(V). तदनुसार, वर्ण के अन्य मूल्यों को मुड़ आयामों के रूप में देखा जा सकता है।

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

लाई समूहों और लाई बीजगणित के वर्ण

See also: वेइल वर्ण सूत्र and बीजगणितीय वर्ण

यदि $G$ लाई समूह है और $\rho$ का परिमित आयामी प्रतिनिधित्व $G$, वर्ण $\chi _{\rho }$ का $\rho$ को त्रुटिहीन रूप से किसी भी समूह के रूप में परिभाषित किया गया है:

$\chi _{\rho }(g)=\operatorname {Tr} (\rho (g))$

इस बीच यदि ${\mathfrak {g}}$ लाई बीजगणित है और $\rho$ का परिमित आयामी प्रतिनिधित्व ${\mathfrak {g}}$, हम वर्ण को परिभाषित कर सकते हैं $\chi _{\rho }$ द्वारा

$\chi _{\rho }(X)=\operatorname {Tr} (e^{\rho (X)})$.

वर्ण से संतोष होगा $\chi _{\rho }(\operatorname {Ad} _{g}(X))=\chi _{\rho }(X)$ सभी के लिए $g$ संबद्ध लाई समूह में $G$ और सभी $X\in {\mathfrak {g}}$. यदि हमारे पास लाई समूह प्रतिनिधित्व और संबद्ध लाई बीजगणित प्रतिनिधित्व है, तो वर्ण $\chi _{\rho }$ लाई बीजगणित प्रतिनिधित्व का वर्ण से संबंधित है $\mathrm {X} _{\rho }$ सूत्र द्वारा समूह प्रतिनिधित्व का

$\chi _{\rho }(X)=\mathrm {X} _{\rho }(e^{X})$.

मान लीजिए कि अब ${\mathfrak {g}}$ कार्टन सबलजेब्रा के साथ जटिल अर्ध-सरल लाई बीजगणित है ${\mathfrak {h}}$. वर्ण का मूल्य $\chi _{\rho }$ अलघुकरणीय प्रतिनिधित्व की $\rho$ का ${\mathfrak {g}}$ पर इसके मूल्यों द्वारा निर्धारित किया जाता है ${\mathfrak {h}}$. वर्ण का प्रतिबंध ${\mathfrak {h}}$ वज़न स्थान (प्रतिनिधित्व सिद्धांत) के संदर्भ में आसानी से गणना की जा सकती है, इस प्रकार है:

$\chi _{\rho }(H)=\sum _{\lambda }m_{\lambda }e^{\lambda (H)},\quad H\in {\mathfrak {h}}$,

जहां योग सभी वजन से अधिक है (प्रतिनिधित्व सिद्धांत) $\lambda$ का $\rho$ और कहाँ $m_{\lambda }$ की बहुलता है $\lambda$. (प्रतिबंध ${\mathfrak {h}}$ of) वर्ण की गणना वेइल वर्ण सूत्र द्वारा अधिक स्पष्ट रूप से की जा सकती है।

यह भी देखें

• अपरिवर्तनीय प्रतिनिधित्व § सैद्धांतिक भौतिकी और रसायन विज्ञान में अनुप्रयोग
• संघ योजनाएँ, समूह-वर्ण सिद्धांत का संयुक्त सामान्यीकरण।
• क्लिफर्ड सिद्धांत, 1937 में ए. एच. क्लिफर्ड द्वारा पेश किया गया, परिमित समूह के जटिल इरेड्यूसिबल वर्ण के प्रतिबंध के बारे में जानकारी देता है G सामान्य उपसमूह के लिए N.
• फ्रोबेनियस सूत्र
• वास्तविक तत्व, समूह तत्व g जैसे कि χ(g) सभी वर्णों χ के लिए वास्तविक संख्या है

संदर्भ

• Lecture 2 of Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103. online
• Gannon, Terry (2006). Moonshine beyond the Monster: The Bridge Connecting Algebra, Modular Forms and Physics. ISBN 978-0-521-83531-2.
• Hall, Brian C. (2015), Lie groups, Lie algebras, and representations: An elementary introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666
• Isaacs, I.M. (1994). Character Theory of Finite Groups (Corrected reprint of the 1976 original, published by Academic Press. ed.). Dover. ISBN 978-0-486-68014-9.
• James, Gordon; Liebeck, Martin (2001). Representations and Characters of Groups (2nd ed.). Cambridge University Press. ISBN 978-0-521-00392-6.
• Serre, Jean-Pierre (1977). Linear Representations of Finite Groups. Graduate Texts in Mathematics. Vol. 42. Translated from the second French edition by Leonard L. Scott. New York-Heidelberg: Springer-Verlag. doi:10.1007/978-1-4684-9458-7. ISBN 978-0-387-90190-9. MR 0450380.

बाहरी संबंध

• Character at PlanetMath.