Maschke's Theorem

Maschke's theorem states that if a matrix group is reducible, then it is completely reducible, i.e., if the matrix group is equivalent to the matrix group in which every matrix has the reduced form

then it is equivalent to the matrix group obtained by putting .