Satz von Maschke

Der Satz von Maschke (nach Heinrich Maschke, 1899) ist eine zentrale Aussage aus dem mathematischen Teilgebiet der Darstellungstheorie endlicher Gruppen. Er besagt, dass Darstellungen außer im Spezialfall modularer Darstellungen aus irreduziblen Darstellungen zusammengesetzt sind.

Es seien G eine endliche Gruppe und K ein Körper. Das Wesen der Theorie der K-linearen Darstellungen von G hängt fundamental davon ab, ob die Charakteristik von K ein Teiler der Ordnung von G oder nicht. In ersterem Falle spricht man von modularen Darstellungen. Der Unterschied liegt im Wesentlichen in der Aussage des Satzes von Maschke begründet.

Nicht modularer Fall

Es gelte $\operatorname{char}K\nmid\#G$; dies ist insbesondere dann der Fall, wenn K Charakteristik 0 hat, also beispielsweise für $K=\mathbb C$.

Dann besagt der Satz von Maschke:

Jede K-lineare Darstellung von G ist eine direkte Summe von irreduziblen Darstellungen.

Äquivalente Formulierungen sind:

• Jede Darstellung ist halbeinfach.
• Jeder G-invariante Unterraum U einer Darstellung V besitzt ein G-invariantes Komplement W, d.h. $V=U\oplus W$.

Modulare Darstellungen

Gilt dagegen $\operatorname{char} K \mid \#G$, so gilt: Der Gruppenring K[G] ist nicht vollständig reduzibel, d.h. die reguläre Darstellung $G \rightarrow GL_K(K[G])$ ist nicht vollständig reduzibel.

Nicht jeder K[G]-Untermodul von K[G] hat ein Komplement.