	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.