Kriterium von Mackey

Im mathematischen Gebiet der Darstellungstheorie von Gruppen ist das Kriterium von Mackey ein von George Mackey aufgestelltes Kriterium, um die Irreduzibilität von induzierten Darstellungen endlicher Gruppen zu überprüfen.

Begriffe und Notation

Zwei Darstellungen $V_1$ und $V_2$ einer endlichen Gruppe $G$ heißen disjunkt, falls sie keine irreduzible Komponente gemeinsam haben, d. h., falls $⟨V_1,V_2⟩=0$ für das Skalarprodukt von Charakteren.

Sei $G$ eine Gruppe und sei $H$ eine Untergruppe. Definiere $H_s=sH{s}^{-1}\cap H$ für $s\in G.$
Sei $(\rho ,W)$ eine Darstellung der Untergruppe $H.$ Diese definiert durch Einschränkung eine Darstellung ${\text{Res}}_{H_s}(\rho )$ von $H_s.$ Wir schreiben ${\text{Res}}_s(\rho )$ für ${\text{Res}}_{H_s}(\rho ).$ Außerdem definiert ${\rho }^s$ eine weitere Darstellung von $H_s$ definiert durch ${\rho }^s(t)=\rho (s^{-1}ts).$ Diese beiden Darstellungen sollten nicht verwechselt werden.

Weiterhin bezeichnen wir mit $In{d}_H^G(W)$ oder $In{d}_H^G(\rho )$ die von der Darstellung $\rho :H\to GL(W)$ induzierte Darstellung von $G$.

Mackeys Irreduzibilitätskriterium

Die induzierte Darstellung $V={\text{Ind}}_H^G(W)$ ist genau dann irreduzibel, wenn die folgenden Bedingungen erfüllt sind:

• $W$ ist irreduzibel.
• Für jedes $s\in G\setminus H$ sind die zwei Darstellungen ${\rho }^s$ und ${\text{Res}}_s(\rho )$ von $H_s$ disjunkt.

Ein Beweis dieses Satzes findet sich in .

Aus dem Satz erhalten wir direkt folgendes

Korollar

Sei $H$ eine normale Untergruppe von $G.$ Dann ist ${\text{Ind}}_H^G(\rho )$ genau dann irreduzibel, wenn $\rho$ irreduzibel und nicht isomorph zu den Konjugaten ${\rho }^s$ für $s\notin H$ ist.

Beweis

Ist $H$ normal, so gilt $H_s=H$ und ${\text{Res}}_s(\rho )=\rho$ und damit folgt die Aussage direkt aus dem Kriterium von Mackey.$◻$