परिचय GitHub Coach लॉग इन पढ़ना शुरू करें

गणित · शब्दावली

निरूपण क्या है?

अन्य नाम: अखंडनीय निरूपण

परिभाषा 5.1 विश्वविद्यालय गणित — स्नातक वर्ष 3 · अध्याय 5 — परिमित समूहों के निरूपण

GG का कोई निरूपण किसी C\C-सदिश समष्टि VV के लिए एक समाकारिता ρ ⁣:GGL(V)\rho \colon G \to GL(V) है; dimV\dim V उसकी घात कहलाती है। कोई उपसमष्टि WVW \subseteq V अपरिवर्ती कहलाती है यदि सभी gg के लिए ρ(g)WW\rho(g)W \subseteq W हो; प्रतिबंध से WW एक उपनिरूपण बन जाता है। ρ\rho अखंडनीय कहलाता है यदि V0V \neq 0 हो और उसकी एकमात्र अपरिवर्ती उपसमष्टियाँ 00 और VV हों। (ρ,V)(\rho, V) और (σ,W)(\sigma, W) के बीच समाकारिता ऐसा रैखिक f ⁣:VWf\colon V \to W है जिसके लिए सभी gg पर fρ(g)=σ(g)ff\rho(g) = \sigma(g)f हो (समतुल्यवर्तिता); एकैकी आच्छादक ff तुल्याकारिताएँ कहलाती हैं।

उदाहरण

उदाहरण 5.2

(क) घात 11: समाकारिताएँ GC×G \to \C^\times। (ख) नियमित निरूपण: आधार (eh)hG(e_h)_{h \in G} वाला V=CGV = \C^G, जिसमें ρ(g)eh=egh\rho(g)e_h = e_{gh}; घात G\abs G। (ग) किसी परिमित समुच्चय XX पर GG की क्रमचय क्रिया CX\C^X पर क्रमचय निरूपण देती है: ρ(g)ex=egx\rho(g)e_x = e_{g\cdot x}। (घ) SnS_n निर्देशांकों का क्रमचय करके Cn\C^n पर क्रिया करता है; अधिसमतल {xi=0}\{\sum x_i = 0\} अपरिवर्ती है: यही घात n1n - 1 का मानक निरूपण है।

उदाहरण 5.15 (S3S_3 की सारणी)

वर्ग: ee (आकार 1), स्थानांतरण (3), 33-चक्र (2); अतः r=3r = 3 अखंडनीय, जिनकी घातें ni2=6\sum n_i^2 = 6 के साथ nin_i हैं: 1,1,21, 1, 2। घात 11: तुच्छ 1\mathbf 1 और चिह्न ε\varepsilon। अंतिम पंक्ति स्तंभ लांबिकता से (अथवा χstd=χperm1\chi_{\mathrm{std}} = \chi_{\mathrm{perm}} - \mathbf 1 से) निकलती है:

S3e(12) [3](123) [2]1111ε111χstd201\begin{array}{c|ccc} S_3 & e & (1\,2)\ [3] & (1\,2\,3)\ [2]\\ \hline \mathbf 1 & 1 & 1 & 1\\ \varepsilon & 1 & -1 & 1\\ \chi_{\mathrm{std}} & 2 & 0 & -1 \end{array}

जाँच: χstd,χstd=16(4+0+2)=1\langle\chi_{\mathrm{std}},\chi_{\mathrm{std}}\rangle = \frac{1}{6}(4 + 0 + 2) = 1: अखंडनीय

उदाहरण 5.16 (S4S_4 की सारणी)

वर्ग: ee [1], स्थानांतरण [6], द्विक स्थानांतरण [3], 33-चक्र [8], 44-चक्र [6]: पाँच अखंडनीय, ni2=24\sum n_i^2 = 24, जिनमें दो घात-11 के हैं (1,ε\mathbf 1, \varepsilon; [S4:D(S4)]=[S4:A4]=2[S_4 : D(S_4)] = [S_4 : A_4] = 2): अतः घातें 1,1,2,3,31, 1, 2, 3, 3। घात-22 वाला S4/VS3S_4/V \cong S_3 से उठता है (प्रतिज्ञप्ति 5.13(ख), जहाँ VV क्लाइन समूह है); और घात 33: मानक निरूपण तथा ε\varepsilon से उसका मोड़:

S4e[1](12)[6](12)(34)[3](123)[8](1234)[6]111111ε11111χ220210χstd31101εχstd31101\begin{array}{c|ccccc} S_4 & e\,[1] & (1\,2)\,[6] & (1\,2)(3\,4)\,[3] & (1\,2\,3)\,[8] & (1\,2\,3\,4)\,[6]\\ \hline \mathbf 1 & 1 & 1 & 1 & 1 & 1\\ \varepsilon & 1 & -1 & 1 & 1 & -1\\ \chi_2 & 2 & 0 & 2 & -1 & 0\\ \chi_{\mathrm{std}} & 3 & 1 & -1 & 0 & -1\\ \varepsilon\chi_{\mathrm{std}} & 3 & -1 & -1 & 0 & 1 \end{array}

(χstd(g)=fix(g)1\chi_{\mathrm{std}}(g) = \operatorname{fix}(g) - 1; χ2\chi_2 प्रत्येक वर्ग के VV के सापेक्ष प्रतिबिंब पर S3S_3-सारणी का मान लेता है।) सभी पंक्ति और स्तंभ लांबिकता जाँचें सफल होती हैं — उनमें से दो चलाना अभ्यास 5.3 का प्रारंभिक अभ्यास है।

अध्याय में पढ़ें →