Let be a representation of . Let be an inner product on. Let be a sub-representation. The inner product
on is -invariant.
Remark: Every representation of a finite group is unitary: by changing the inner product to claim 1.7, we get that all operators are unitary.
Proposition(Complete Reducibility):
Every representation is a direct sum of irreducible ones.
Lemma 1.11 (Schur’s Lemma):
Let be a finite group and irreducible representations. Let be a -map. Then
-
Either is zero or an isomorphism.
-
If , then for some .