Maschke's theorem

theorem that a representation of a finite group over a field with characteristic not dividing the order of the group decomposes as a direct sum of irreducible representations