Endliche Gruppen, Volume 2 |
From inside the book
Results 1-3 of 20
Page 214
... dimk P1 = 8. By 10.18b ) , hence dim , P2 = 8 . KG ≈ P1 → P2 → P2 ; Next we determine the Cartan matrix of 6. Using the symmetry of C , we obtain 8 = dimk Pi = C11 C12 dimk V = C11 + 2012 , 8 = dimk P2 = C12 + 2022 . C12 Thus c12 is ...
... dimk P1 = 8. By 10.18b ) , hence dim , P2 = 8 . KG ≈ P1 → P2 → P2 ; Next we determine the Cartan matrix of 6. Using the symmetry of C , we obtain 8 = dimk Pi = C11 C12 dimk V = C11 + 2012 , 8 = dimk P2 = C12 + 2022 . C12 Thus c12 is ...
Page 231
... ( dimk W1 ) p By Nakayama's reciprocity theorem , the multiplicity of V in the head of WR is dim , Homκ ( W , V ) = dim , Hom ( W1 , V ) > 0 . Thus there is an epimorphism of W onto V. Hence by 16.8c ) , P ( V ) is isomorphic to a direct ...
... ( dimk W1 ) p By Nakayama's reciprocity theorem , the multiplicity of V in the head of WR is dim , Homκ ( W , V ) = dim , Hom ( W1 , V ) > 0 . Thus there is an epimorphism of W onto V. Hence by 16.8c ) , P ( V ) is isomorphic to a direct ...
Page 233
... dimk P ( V1 ) = Cij ( c ) [ 9 ] [ p ( dimx W11 ) p ' By 9.20 , Σc ; divides | 6 / N❘ and is therefore a p ' - number . Thus dim , P ( V ) = ( Σcij dim , Wij = | 6 | , ( dimk Vi ) p ' · q.e.d. Theorem 16.9 holds also for p - soluble ...
... dimk P ( V1 ) = Cij ( c ) [ 9 ] [ p ( dimx W11 ) p ' By 9.20 , Σc ; divides | 6 / N❘ and is therefore a p ' - number . Thus dim , P ( V ) = ( Σcij dim , Wij = | 6 | , ( dimk Vi ) p ' · q.e.d. Theorem 16.9 holds also for p - soluble ...
Contents
Elements of General Representation Theory | 1 |
Extension of the GroundField | 4 |
Splitting Fields | 27 |
Copyright | |
35 other sections not shown
Common terms and phrases
A-module a₁ Abelian group absolutely indecomposable absolutely irreducible algebraically closed assertion associative algebra automorphism b₁ char commutative completely reducible composition factor cyclic decomposition defined direct sum direct summand divides divisor elementary Abelian epimorphism exists exponent Fermat prime field of characteristic finite dimension finite group follows at once free associative algebra G₁ GF(p group-ring H₁ Hence homomorphism ideal of g idempotents indecomposable KG-module indecomposable projective inductive hypothesis integer irreducible KG-module isomorphic J(KG K-basis KG-module KG-submodule L₂ Lemma Let G Lie algebra Lie ring mapping Math minimum polynomial module n₁ nilpotent non-singular non-zero normal subgroup operates trivially p-group p-length p-soluble group P₁ P₂ permutation prime projective KG-module Proof representation right ideals S₁ soluble splitting field subalgebra submodule Suppose that G Sylow p-subgroup symplectic Theorem U₁ V₁ V₂ vector space W₁ W₂ X₁ y₁