Es sei ${\displaystyle {}K}$ ein Körper und ${\displaystyle {}G}$ eine endliche Gruppe, deren Ordnung kein Vielfaches der Charakteristik von ${\displaystyle {}K}$ sei. Es sei

${\displaystyle \rho \colon G\longrightarrow \operatorname {GL} _{}{\left(V\right)}}$

eine Darstellung in einen endlichdimensionalen ${\displaystyle {}K}$-Vektorraum ${\displaystyle {}V}$ und ${\displaystyle {}U\subseteq V}$ ein ${\displaystyle {}G}$-invarianter Untervektorraum.

Dann gibt es einen ${\displaystyle {}G}$-invarianten Untervektorraum ${\displaystyle {}W\subseteq V}$ mit ${\displaystyle {}V=U\oplus W}$.