Teorema de Maschke

Un criterio en teoría de representaciones que afirma que para un grupo finito G y un cuerpo k cuya característica no divide |G|, la álgebra de grupo k[G] es semisimple; equivalente, toda representación finito-dimensional de G sobre k se descompone en suma directa de representaciones irreducibles.

Criterio para la reducibilidad completa de representaciones de un grupo finito G sobre un cuerpo k: la álgebra de grupo kG es semisimple (equivalente a que toda representación de dimensión finita sea totalmente reducible) precisamente cuando la característica de k no divide el orden de G.