Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
If V, W are representations of G, then V � W is also a representation, via δV �W (g) = δV (g) � δW (g). Therefore, νV �W (g) = νV (g)νW (g). An interesting problem discussed below is to decompose V � W (for irreducible V, W ) into the direct sum of irreducible representations. 3.5 Orthogonality of characters We deï¬ne a positive deï¬nite Hermitian inner product on F c (G, C) (the space of central functions) by 1 � f1 (g)f2 (g). (f1 , f2 ) = |G| g �G The following theorem says that characters of irreducible representations of G form an orthonormal basis of Fc (G, C) under this inner product. Theorem 3.8. For any representations V, W (νV , νW ) = dim HomG (W, V ), and (νV , νW ) = � 1, if V ⪠= W, 0, if V � W if V, W are irreducible. Proof. By the deï¬nition (νV , νW ) = 1 � 1 � νV (g)νW (g) = νV (g)νW � (g) |G| |G| g�G = g�G 1 � νV �W � (g) = Tr |V �W � (P ), |G| g�G 1 ⨠where P = |G| g�G g � Z(C[G]). (Here Z(C[G]) denotes the center of C[G]). If X is an irreducible representation of G then � Id, if X = C, P |X = 0, X â= C. Therefore, for any representation X the operator P | X is the G-invariant projector onto the subspace X G of G-invariants in X. Thus, Tr |V �W � (P ) = dim HomG (C, V � W â ) = dim(V � W â )G = dim HomG (W, V ).