11.07.2015 Views

NOTES ON REPRESENTATIONS OF FINITE GROUPS Contents 1 ...

NOTES ON REPRESENTATIONS OF FINITE GROUPS Contents 1 ...

NOTES ON REPRESENTATIONS OF FINITE GROUPS Contents 1 ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>NOTES</strong> <strong>ON</strong> REPRESENTATI<strong>ON</strong>S <strong>OF</strong> <strong>FINITE</strong> <strong>GROUPS</strong> 11and by exercise 6 this is= dim Hom G (V 1 , V 2 ) ,and because V 1 and V 2 are irreducible this is{1 if V 1 is isomorphic to V 2 ,=0 otherwise.□Theorem 5. Suppose that V is a representation of a finite group G, with characterχ, and V splits into a sum of multiples of irreducibles, sayand V i has character χ i , thenV = n 1 V 1 ⊕ n 2 V 2 ⊕ · · · ⊕ n k V k ,n i = 〈χ, χ i 〉 .In particular, two representations with the same character are isomorphic.Corollary 1. There are only finitely many irreducible representations of any finitegroup up to isomorphism.Proof. Each one gives us a unit vector in C G , and all of the unit vectors given thisway are orthonormal. But C G has finite dimension.□Theorem 6. The character χ of a representation has 〈χ, χ〉 an integer, and thisinteger is 1 just when the representation is irreducible.Proof. Write out our representation as a sum of multiples of irreducibles, sayV = n 1 V 1 ⊕ n 2 V 2 ⊕ · · · ⊕ n k V k ,and soχ = n 1 χ 1 + n 2 χ 2 + . . . n k χ k ,if V i has character χ i . Then〈χ, χ〉 = ∑ n 2 i .□Theorem 7. Every irreducible representation of a finite group appears as a summandin the regular representation. Its multiplicity equals its dimension.Proof. By exercise 12 on page 9, the character of the regular representation V hasχ(g) equal to the number of fixed points of g acting on X = G. But g acts bytaking h ↦→ gh. There are no fixed points unless g = 1, when every point is fixed.So{|G| if g = 1,χ(g) =0 otherwise.Take any character η of any irreducible representation W . Then the number n oftimes that W occurs in the regular representation V isn = 〈χ, η〉 = 1 ∑χ(g)¯η(g).|G|g∈G

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!