Si (V, "ρ") es una representación de dimensión finita de un grupo finito sobre un cuerpo de característica cero, y U es un subespacio invariante de V, entonces el teorema afirma que U admite un complemento directo invariante W; es decir, la representación (V, "ρ") es completamente reducible.