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