the group algebra c["g"] of a finite group over the complex numbers is a semisimple ring. this result, maschke's theorem, allows us to understand c["g"] as a finite product of matrix rings with entries in c.