चरित्र सिद्धांत

This article is about the use of the term character theory in mathematics. For related senses of the word character, see Character (mathematics).

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

अनुप्रयोग

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

परिभाषाएँ

होने देना V एक आयाम (सदिश स्थल) हो | एक क्षेत्र पर परिमित-आयामी वेक्टर स्थान (गणित) F और जाने ρ : G → GL(V) किसी समूह का समूह प्रतिनिधित्व हो G पर V. का चरित्र ρ कार्य है χ_ρ : 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 का आधार (रैखिक बीजगणित) बनाते हैं K- सभी वर्ग कार्यों का वेक्टर स्थान G → K.
• प्रतिनिधित्व_सिद्धांत#Equivariant_maps_and_isomorphisms निरूपण में समान वर्ण होते हैं। विशेषता के क्षेत्र में (बीजगणित) 0, दो अभ्यावेदन आइसोमॉर्फिक हैं यदि और केवल यदि उनके समान वर्ण हैं।
• यदि कोई निरूपण उप-निरूपणों के निरूपण का प्रत्यक्ष योग है, तो संबंधित वर्ण उन उप-निरूपणों के वर्णों का योग है।
• यदि परिमित समूह का कोई पात्र G एक उपसमूह तक सीमित है H, तो परिणाम भी का एक वर्ण है H.
• प्रत्येक वर्ण मान χ(g) का योग है n m-एकता की जड़, जहाँ n वर्ण के साथ निरूपण की डिग्री (अर्थात संबंधित सदिश स्थान का आयाम) है χ और m का क्रम (समूह सिद्धांत) है g. विशेष रूप से, कब F = C, ऐसा प्रत्येक वर्ण मान एक बीजगणितीय पूर्णांक है।
• अगर F = C और χ तब अलघुकरणीय है
  $$[G:C_{G}(x)]{\frac {\chi (x)}{\chi (1)}}$$
  सभी के लिए एक बीजगणितीय पूर्णांक है x में G.
• अगर F बीजगणितीय रूप से बंद है और char(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: Character table

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

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

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

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

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

कहाँ ω एकता की आदिम जड़ है, एकता की तीसरी जड़ है।

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

ऑर्थोगोनैलिटी संबंध

Main article: Schur orthogonality relations

परिमित समूह के जटिल-मूल्यवान वर्ग कार्यों का स्थान 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}}$

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

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

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

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

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

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

चरित्र तालिका सामान्य रूप से समूह समरूपता तक समूह को निर्धारित नहीं करती है: उदाहरण के लिए, चतुर्धातुक समूह 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: Induced character and Frobenius reciprocity

इस खंड में चर्चा किए गए पात्रों को जटिल-मूल्यवान माना जाता है। होने देना 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: Weyl character formula and Algebraic character

अगर $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) चरित्र की गणना वेइल वर्ण सूत्र द्वारा अधिक स्पष्ट रूप से की जा सकती है।

यह भी देखें

• Irreducible representation § Applications in theoretical physics and chemistry
• संघ योजनाएँ, समूह-चरित्र सिद्धांत का एक संयुक्त सामान्यीकरण।
• क्लिफर्ड सिद्धांत, 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. 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.