Satz von Maschke

Die Diskussion über diesen Antrag findet auf der Löschkandidatenseite statt.
Hier der konkrete Grund, warum dieser Artikel nicht den Qualitätsanforderungen entsprechen soll:

Der Satz von Maschke (nach H. 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.