Two-sided regular representation decomposition
ID: two-sided-regular-representation-decomposition
Let act on by . Its character is zero unless and are conjugate, in which case it equals . Character column orthogonality gives the same character forwhere the run through the irreducible complex representations. Maschke's theorem therefore gives an isomorphism of the two representations.
New to topics? Read the docs here!