Notes on the Wedderburn decomposition

Let be a finite group and let denote the set of irreducible representations of up to isomorphism. Wedderburn’s Theorem is that there is an algebra isomorphism where is the complex group algebra of . Since any imaginable proof of the theorem shows that composing with the projection to gives the action of on , I’m […]