For complex representations of a finite group,
Under the action , its character is
Let act on by . Its character is zero unless and are conjugate, in which case it equals . Character column orthogonality gives the same character for
where the run through the irreducible complex representations. Maschke's theorem therefore gives an isomorphism of the two representations.

Articles by others on the same topic (0)

There are currently no matching articles.