Darstellungstheorie endlicher Gruppen
# Darstellungstheorie endlicher Gruppen

Die Darstellungstheorie endlicher Gruppen ist ein Teilgebiet der Mathematik, in dem man untersucht, wie Gruppen auf gegebenen Strukturen operieren.
Man betrachtet vor allem die Operationen von Gruppen auf Vektorräumen (lineare Darstellungen). Allerdings werden auch die Operationen von Gruppen auf anderen Gruppen oder auf Mengen (Permutationsdarstellung) betrachtet.
In diesem Artikel werden bis auf gekennzeichnete Ausnahmen nur endliche Gruppen betrachtet. Wir beschränken uns außerdem bei den Darstellungsräumen auf Vektorräume über Grundkörpern der Charakteristik $0.$ Die Theorie der algebraisch abgeschlossenen Körper der Charakteristik $0$ ist abgeschlossen, d. h., wenn eine Theorie für einen algebraisch abgeschlossenen Körper der Charakteristik $0$ gilt, so gilt sie auch für alle anderen. Damit können wir im Folgenden ohne Einschränkung Vektorräume über $\mathbb {C}$ betrachten.
Die Darstellungstheorie findet in vielen Bereichen der Mathematik sowie in der Quantenchemie und der Physik Anwendung. Man verwendet die Darstellungstheorie unter anderem in der Algebra, um die Struktur von Gruppen zu untersuchen, in der harmonischen Analyse und in der Zahlentheorie. Beispielsweise wird im modernen Ansatz zum besseren Verständnis automorpher Formen die Darstellungstheorie verwendet.
Weite Teile der Darstellungstheorie endlicher Gruppen lassen sich zur Darstellungstheorie kompakter Gruppen verallgemeinern.

## Geschichte

Charaktere endlicher abelscher Gruppen sind ein seit dem 18. Jahrhundert in der Zahlentheorie verwendetes Hilfsmittel, aber erst Frobenius dehnte dieses Konzept 1896 auf nichtabelsche Gruppen aus. Die Theorie der Charaktere der symmetrischen und der alternierenden Gruppen wurde um 1900 von Frobenius und Young ausgearbeitet.
Burnside und Schur formulierten Frobenius’ Charaktertheorie auf Basis von Matrix-Darstellungen anstelle von Charakteren. Burnside bewies, dass jede endlichdimensionale Darstellung einer endlichen Gruppe ein Skalarprodukt invariant lässt und erhielt damit einen einfacheren Beweis der (bereits bekannten) Zerlegbarkeit in irreduzible Darstellungen. Schur bewies das nach ihm benannte Lemma und die Orthogonalitätsrelationen.
Erst Emmy Noether gab die heute übliche Definition von Darstellungen mittels linearer Abbildungen eines Vektorraumes.
Schur beobachtete 1924, dass man mittels invarianter Integration die Darstellungstheorie endlicher Gruppen auf kompakte Gruppen ausdehnen kann, die Darstellungstheorie kompakter zusammenhängender Lie-Gruppen wurde dann von Weyl entwickelt.

## Definitionen
### Lineare Darstellungen

Sei $V$ ein $K$-Vektorraum und $G$ eine Gruppe. Eine Darstellung von $G$ ist ein Gruppenhomomorphismus $\rho \colon G\to {\text{GL}}(V)={\text{Aut}}(V)$ in die Automorphismengruppe von $V.$ Man nennt $V$ den Darstellungsraum von $G.$
Wir schreiben $(\rho ,V_{\rho })$ für die Darstellung $\rho \colon G\to {\text{GL}}(V_{\rho })$ von $G$ oder auch nur $(\rho ,V),$ falls klar ist, zu welcher Darstellung der Raum $V$ gehören soll.
Dieser Artikel beschränkt sich, bis auf das letzte Kapitel, auf den Fall ${\text{dim}}(V)<\infty .$ Da man sich in den meisten Fällen nur für eine endliche Anzahl an Vektoren aus $V$ interessiert, kann man sich auf eine Teildarstellung beschränken, deren Darstellungsraum endliche Dimension hat. Der Grad einer Darstellung ist die Dimension ${\text{dim}}(V)=n$ des Darstellungsraumes $V.$
In diesem Artikel werden ausschließlich Darstellungen auf komplexen Vektorräumen betrachtet, also für $K=\mathbb {C} .$ Spezielle Klassen solcher Darstellungen sind reelle Darstellungen und quaternionische Darstellungen.
Beispiele von Darstellungen endlicher Gruppen sind die Permutationsdarstellungen, insbesondere die links- und die rechts-reguläre Darstellung.

### Abbildungen zwischen Darstellungen

Eine Abbildung zwischen zwei Darstellungen $(\rho ,V_{\rho }),\,(\pi ,V_{\pi })$ derselben Gruppe $G$ ist eine $G$-lineare Abbildung $T\colon V_{\rho }\to V_{\pi }.$
Zwei Darstellungen $(\rho ,V_{\rho }),(\pi ,V_{\pi })$ heißen äquivalent oder isomorph, falls es einen $G$-linearen Vektorraumisomorphismus zwischen den Darstellungsräumen gibt – d. h., falls es eine bijektive lineare Abbildung $T\colon V_{\rho }\to V_{\pi }$ gibt, sodass $T\circ \rho (s)=\pi (s)\circ T$ für alle $s\in G.$
Sei $\rho \colon G\to {\text{GL}}(V)$ eine lineare Darstellung von $G.$ Falls $W$ ein $G$-invarianter Unterraum von $V$ ist, d. h., $\rho (s)w\in W$ für alle $s\in G,w\in W,$ ist die Einschränkung $\rho (s)|_{W}$ ein Isomorphismus auf $W.$ Da sich Restriktion und Gruppenhomomorphismus vertragen, liefert diese Konstruktion eine Darstellung von $G$ auf $W.$ Diese heißt Teildarstellung oder Unterdarstellung von $V.$

### Darstellungsring, Moduln und die Faltungsalgebra

Sei $G$ eine Gruppe endlicher Ordnung und $K$ ein kommutativer Ring. Mit $K[G]$ bezeichnen wir die Gruppenalgebra von $G$ über $K.$ Diese Algebra ist frei und hat eine Basis, indiziert mit den Gruppenelementen. Meistens wird die Basis mit $G$ identifiziert. Es lässt sich dann jedes Element $f\in K[G]$ schreiben als $\textstyle f=\sum _{s\in G}a_{s}s$ mit eindeutigen $a_{s}\in K.$ Die Multiplikation in $K[G]$ setzt die in $G$ distributiv fort.
Der Darstellungsring von $G$ wird definiert als die abelsche Gruppe
    $R(G)=\{\sum _{j=1}^{m}a_{j}\tau _{j}\mid a_{j}\in \mathbb {Z} ,\tau _{j}{\mbox{ irreduzible Darstellungen von }}G{\mbox{ bis auf Isomorphie}}\},$
die mit dem Tensorprodukt als Multiplikation zum Ring wird. Die Elemente von $R(G)$ heißen virtuelle Darstellungen.
Sei nun $V$ ein $K$-Modul und sei $\rho \colon G\to {\text{GL}}(V)$ eine lineare Darstellung von $G$ in $V.$ Für Elemente $s\in G$ und $v\in V$ definiere $sv=\rho (s)v.$ Durch lineare Fortsetzung liefert dies auf $V$ die Struktur eines Links-$K[G]$-Moduls. Umgekehrt lässt sich aus einem Links-$K[G]$-Modul $V$ eine lineare Darstellung von $G$ in $V$ herleiten. Daher können die beiden Begriffe austauschbar verwendet werden. Mit $K=\mathbb {C}$ gilt, dass der Links-$\mathbb {C} [G]$-Modul, der durch $\mathbb {C} [G]$ selbst gegeben ist, zur linksregulären Darstellung korrespondiert, ebenso korrespondiert $\mathbb {C} [G]$ als der Rechts-$\mathbb {C} [G]$-Modul zur rechtsregulären Darstellung.
Für eine Gruppe $G$ mit $g:={\text{ord}}(G)$ wird die Menge $L^{1}(G):=\{f\colon G\to \mathbb {C} \}$ mit der Addition und der skalaren Multiplikation ein $\mathbb {C}$-Vektorraum, isomorph zu $\textstyle \mathbb {C} ^{g}.$ Mit der Faltung $\textstyle f*h(s)=\sum _{t\in G}f(t)h(t^{-1}s)$ wird $\textstyle L^{1}(G)$ dann zu einer Algebra, der Faltungsalgebra.

## Konstruktionen von Darstellungen

* Duale Darstellung
* Direkte Summe von Darstellungen
* Tensorprodukt von Darstellungen
* Symmetrisches Quadrat
* Alternierendes Quadrat

## Zerlegung von Darstellungen
### Grundbegriffe

Eine Darstellung $\rho \colon G\to {\text{GL}}(V)$ heißt irreduzibel oder einfach, falls es keinen echten $G$-invarianten Untervektorraum gibt. Die irreduziblen Darstellungen entsprechen in der Sprache der Gruppenalgebra den einfachen $\mathbb {C} [G]$-Moduln. Man kann zeigen, dass die Anzahl an irreduziblen Darstellungen einer endlichen Gruppe $G$ (bzw. die Anzahl von einfachen $\mathbb {C} [G]$-Moduln) gleich ist der Anzahl an Konjugationsklassen von $G.$
Falls eine Darstellung als direkte Summe irreduzibler Darstellungen geschrieben werden kann, heißt sie halbeinfach oder vollständig reduzibel. Dies ist eine analoge Definition dazu, dass eine Algebra, die als direkte Summe einfacher Unteralgebren geschrieben werden kann, halbeinfach genannt wird.
Eine Darstellung heißt isotypisch, falls sie eine direkte Summe von isomorphen irreduziblen Darstellungen ist. Sei $(\rho ,V_{\rho })$ eine beliebige Darstellung der Gruppe $G.$ Sei $\tau$ eine irreduzible Darstellung von $G,$ so ist der $\tau$-Isotyp $V_{\rho }(\tau )$ von $G$ definiert als die Summe aller irreduziblen Unterdarstellungen von $V,$ die zu $\tau$ isomorph sind.

### Unitarisierbarkeit

Über $\mathbb {C}$ können wir jeden Vektorraum mit einem Skalarprodukt ausstatten. Eine Darstellung $\rho$ einer Gruppe $G$ in einen Vektorraum mit Skalarprodukt heißt unitär, falls $\rho (s)$ unitär ist für jedes $s\in G$ (d. h. insbesondere, jedes $\rho (s)$ ist diagonalisierbar). Eine Darstellung ist genau dann unitär bezüglich eines gegebenen Skalarproduktes, wenn das Skalarprodukt unter der durch die Darstellung induzierten Operation von $G$ invariant ist. Für Darstellungen endlicher Gruppen kann man ein gegebenes Skalarprodukt $(\cdot |\cdot )$ stets durch ein invariantes ersetzen, in dem man $(v|u)$ ersetzt durch $\textstyle \sum _{t\in G}(\rho (t)v|\rho (t)u).$ So können wir ohne Einschränkung annehmen, dass alle im Weiteren betrachteten Darstellungen unitär sind.

### Halbeinfachheit

Um Darstellungen leichter verstehen zu können, möchte man den Darstellungsraum in die direkte Summe von einfacheren Teildarstellungen zerlegen. Für Darstellungen endlicher Gruppen über einem Körper der Charakteristik $0$ erhält man die folgenden Resultate.
* Sei $\rho \colon G\to {\text{GL}}(V)$ eine lineare Darstellung, und sei $W$ ein $G$-invarianter Unterraum von $V.$ Dann existiert das Komplement $\textstyle W^{0}$ von $W$ in $V$ und $\textstyle W^{0}$ ist ebenfalls $G$-invariant.
Eine Teildarstellung und ihr Komplement legen die Darstellung eindeutig fest.
* Jede lineare Darstellung kompakter Gruppen ist eine direkte Summe irreduzibler Darstellungen.
In der Formulierung der $K[G]$-Moduln bedeutet dies: Ist ${\text{char}}(K)=0,$ so ist die Gruppenalgebra $K[G]$ halbeinfach, d. h., sie ist die direkte Summe einfacher Algebren. Diese Zerlegung ist nicht eindeutig. Allerdings hängt die Anzahl der auftretenden Teildarstellungen, die zu einer gegebenen irreduziblen Darstellung isomorph sind, nicht von der gewählten Zerlegung ab.

### Die kanonische Zerlegung

Um eine eindeutige Zerlegung zu bekommen, fasst man alle zueinander isomorphen irreduziblen Teildarstellungen zusammen. Man zerlegt den Darstellungsraum also in die direkte Summe seiner Isotypen. Diese Zerlegung ist eindeutig. Sie heißt die kanonische Zerlegung. Sei $(\tau _{j})_{j\in I}$ die Familie aller irreduziblen Darstellungen einer Gruppe $G$ bis auf Isomorphie. Sei $g={\text{ord}}(G).$ Sei $V$ eine Darstellung von $G$ und $\{V(\tau _{j})\mid j\in I\}$ die Menge der Isotypen von $V.$ Die Projektion $p_{j}\colon V\to V(\tau _{j})$ zur kanonischen Zerlegung ist gegeben durch
    $p_{j}={\frac {n_{j}}{g}}\sum _{t\in G}{\overline {\chi _{\tau _{j}}(t)}}\rho (t),$
wobei $n_{j}={\text{dim}}(\tau _{j})$ und $\chi _{\tau _{j}}$ der zu $\tau _{j}$ gehörige Charakter ist.
Im Folgenden sehen wir, wie man den Isotyp zur trivialen Darstellung bestimmen kann:
Projektionsformel: Für jede Darstellung $(\rho ,V)$ einer Gruppe $G$ mit $g={\text{ord}}(G)$ definiere $V^{G}:=\{v\in V\mid \forall s\in G\colon \rho (s)v=v\}.$ Die Abbildung $P$ ist eine Projektion von $V$ nach $V^{G}.$ Im Allgemeinen ist $\rho (s)\colon V\to V$ nicht $G$-linear. Setze $\textstyle P:={\frac {1}{g}}\sum _{s\in G}\rho (s)\in {\text{End}}(V).$ Dann ist $P$ eine $G$-lineare Abbildung, da $\textstyle \sum _{s\in G}\rho (s)=\sum _{s\in G}\rho (tst^{-1})$ für alle $t\in G.$
Die Anzahl, wie oft die triviale Darstellung in $V$ auftritt, ist gegeben durch die Spur $Tr(P)$ von $P.$ Dies folgt, da eine Projektion nur die Eigenwerte $0$ und $1$ haben kann und der Eigenraum zum Eigenwert $1$ das Bild der Projektion ist. Da die Spur die Summe der Eigenwerte ist, erhält man
    ${\text{dim}}(V(1))={\text{dim}}(V^{G})=Tr(P)={\frac {1}{g}}\sum _{s\in G}\chi _{V}(s),$
wobei $V(1)$ den Isotyp zur trivialen Darstellung bezeichnet und $g={\text{ord}}(G).$ Sei $V_{\pi }$ eine nichttriviale irreduzible Darstellung von $G,$ dann ist der Isotyp zur trivialen Darstellung von $\pi$ der Nullraum. D. h., es gilt
    $P={\frac {1}{g}}\sum _{s\in G}\pi (s)=0.$
Sei $e_{1},\dotsc ,e_{n}$ eine Orthonormalbasis von $V_{\pi }.$ Dann gilt:
    $\sum _{s\in G}{\text{Tr}}(\pi (s))=\sum _{s\in G}\sum _{j=1}^{n}\langle \pi (s)e_{j},e_{j}\rangle =\sum _{j=1}^{n}\langle \sum _{s\in G}\pi (s)e_{j},e_{j}\rangle =0.$
Damit gilt also für eine nichttriviale irreduzible Darstellung $V\colon$
    $\sum _{s\in G}\chi _{V}(s)=0.$
Dass obige Sätze zur Zerlegung für unendliche Gruppen nicht mehr unbedingt gelten, soll hier an einem Beispiel illustriert werden: Sei $\textstyle G=\{A\in {\text{GL}}_{2}(\mathbb {C} )\mid A{\text{ ist obere Dreiecksmatrix}}\}.$ Dann ist $G$ mit der Matrixmultiplikation eine Gruppe unendlicher Mächtigkeit. Die Gruppe $G$ operiert auf $\mathbb {C} ^{2}$ durch Matrix-Vektor-Multiplikation. Wir betrachten die Darstellung $\rho (A)=A$ für alle $A\in G.$ Der Unterraum $\mathbb {C} e_{1}$ ist ein $G$-invarianter Unterraum. Zu diesem Unterraum existiert nun aber kein $G$-invariantes Komplement. Die Annahme, dass ein solches Komplement existiere, führt zum Widerspruchsresultat, dass jede Matrix über $\mathbb {C}$ diagonalisierbar wäre. D. h., wenn wir unendliche Gruppen betrachten, kann der Fall eintreten, dass eine Darstellung nicht irreduzibel ist, aber trotzdem nicht in die direkte Summe irreduzibler Teildarstellungen zerfällt.

## Lemma von Schur

Seien $\rho _{1}\colon G\to {\text{GL}}(V_{\rho _{1}})$ und $\rho _{2}\colon G\to {\text{GL}}(V_{\rho _{2}})$ zwei irreduzible lineare Darstellungen. Sei $F\colon V_{\rho _{1}}\to V_{\rho _{2}}$ eine lineare Abbildung, sodass $\rho _{2}(s)\circ F=F\circ \rho _{1}(s)$ für alle $s\in G.$ Dann gilt:
* Falls $\rho _{1}$ und $\rho _{2}$ nicht isomorph sind, ist $F=0.$
* Falls $V_{\rho _{1}}=V_{\rho _{2}}$ und $\rho _{1}=\rho _{2},$ so ist $F$ eine Homothetie (d. h., $F=\lambda {\text{Id}}$ für ein $\lambda \in \mathbb {C}$).

## Charaktertheorie

Ein wesentliches Hilfsmittel in der Darstellungstheorie endlicher Gruppen ist die Charaktertheorie. Sei $\rho \colon G\to {\text{GL}}(V)$ eine lineare Darstellung der endlichen Gruppe $G$ in den Vektorraum $V.$ Definiere die Abbildung $\chi _{\rho }$ durch $\chi _{\rho }(s)={\text{Tr}}(\rho (s)),$ wobei ${\text{Tr}}(\rho (s))$ die Spur der linearen Abbildung $\rho (s)$ bezeichnet. Die dadurch erhaltene komplexwertige Funktion $\chi _{\rho }$ heißt Charakter der Darstellung $\rho .$ Manchmal wird der Charakter einer Darstellung $\rho$ auch definiert als $\chi (s)={\text{dim}}(\rho ){\text{Tr}}(\rho (s)),$ wobei ${\text{dim}}(\rho )$ den Grad der Darstellung bezeichnet. In diesem Artikel wird diese Definition allerdings nicht verwendet. Anhand der Definition erkennt man sofort, dass isomorphe Darstellungen denselben Charakter haben.
Auf der Menge aller Charaktere einer endlichen Gruppe $G$ kann man ein Skalarprodukt definieren:
    $(f|h)_{G}:={\frac {1}{|G|}}\sum _{t\in G}f(t){\overline {h(t)}}.$
Für zwei $\mathbb {C} [G]$-Moduln $V_{1},V_{2}$ definieren wir $\langle V_{1},V_{2}\rangle _{G}:={\text{dim}}({\text{Hom}}^{G}(V_{1},V_{2})),$ wobei ${\text{Hom}}^{G}(V_{1},V_{2})$ der Vektorraum aller $G$-linearen Abbildungen $V_{1}\to V_{2}$ ist. Diese Form ist bilinear bezüglich der direkten Summe.

### Orthogonalitätsrelationen

Dieses Skalarprodukt ermöglicht es, wichtige Resultate in Bezug auf die Zerlegung und Irreduzibilität von Darstellungen zu erhalten.
Satz: Sind $\chi ,\chi '$ die Charaktere zweier nichtisomorpher irreduzibler Darstellungen $V,V',$ so gilt:
* $(\chi |\chi ')=0$
* $(\chi |\chi )=1,$ d. h., $\chi$ hat „Norm“ $1.$
Korollar: Seien $\chi _{1},\chi _{2}$ die Charaktere von $V_{1},V_{2}$ dann gilt: $\langle \chi _{1},\chi _{2}\rangle _{G}=(\chi _{1}|\chi _{2})_{G}=\langle V_{1},V_{2}\rangle _{G}.$
Satz: Sei $V$ eine lineare Darstellung von $G$ mit Charakter $\xi .$ Es gelte $V=W_{1}\oplus \cdots \oplus W_{k},$ wobei die $W_{j}$ irreduzibel sind. Sei nun $(\tau ,W)$ eine irreduzible Darstellung von $G$ mit Charakter $\chi .$ Dann gilt: Die Anzahl an Teildarstellungen $W_{j},$ die zu $W$ äquivalent sind, hängt nicht von der gegebenen Zerlegung ab und entspricht dem Skalarprodukt $(\xi |\chi ).$ D. h., der $\tau$-Isotyp $V(\tau )$ von $V$ ist unabhängig von der Wahl der Zerlegung und es gilt
    $(\xi |\chi )={\frac {{\text{dim}}(V(\tau ))}{{\text{dim}}(\tau )}}=\langle V,W\rangle$
und damit
    ${\text{dim}}(V(\tau ))={\text{dim}}(\tau )(\xi |\chi ).$
Korollar: Zwei Darstellungen mit dem gleichen Charakter sind isomorph. D. h., jede Darstellung ist durch ihren Charakter festgelegt.
Irreduzibilitätskriterium: Sei $\chi$ der Charakter einer Darstellung $V,$ dann ist $(\chi |\chi )\in \mathbb {N} _{0}$ und es gilt $(\chi |\chi )=1$ genau dann, wenn $V$ irreduzibel ist.
Die Charaktere irreduzibler Darstellungen von $G$ bilden also bezüglich dieses Skalarproduktes ein Orthonormalsystem auf $\mathbb {C} _{\text{class}}(G).$ Äquivalent zur Orthonormaleigenschaft gilt: Die Anzahl aller irreduziblen Darstellungen einer Gruppe $G$ bis auf Isomorphie ist gleich der Anzahl aller Konjugationsklassen von $G.$
Korollar: Sei $V$ ein Vektorraum mit ${\text{dim}}(V)=n.$ Jede irreduzible Darstellung $V$ von $G$ ist $n$-mal in der regulären Darstellung enthalten. D. h., für die reguläre Darstellung $R$ von $G$ gilt: $\textstyle R\cong \oplus (W_{j})^{\oplus {\text{dim}}(W_{j})},$ wobei $\{W_{j}|j\in I\}$ die Menge aller irreduziblen Darstellungen von $G$ beschreibt, die paarweise nicht isomorph zueinander sind. In Worten der Gruppenalgebra erhalten wir $\mathbb {C} [G]\cong \oplus _{j}{\text{End}}(W_{j})$ als Algebren.
Zu den weiteren Anwendungen dieser Theorie gehören die Fourier-Inversionsformel und die Plancherel-Formel.

## Induzierte Darstellungen

Mit Hilfe der Einschränkung kann man aus einer Darstellung einer Gruppe eine Darstellung einer Untergruppe erhalten: Sei $H$ eine Untergruppe der Gruppe $G.$ Für eine Darstellung $\rho$ von $G$ ist ${\text{Res}}_{H}(\rho )$ die Einschränkung von $\rho$ auf die Untergruppe $H.$
Die Frage, die sich nun stellt, ist die nach dem umgekehrten Prozess. Kann man aus einer gegebenen Darstellung einer Untergruppe eine Darstellung der ganzen Gruppe erhalten? Man stellt fest, dass die im Folgenden definierte induzierte Darstellung genau das Gesuchte liefert. Allerdings ist diese Konstruktion nicht invers, sondern adjungiert zur Einschränkung.
Definition: Sei $\rho \colon G\to {\text{GL}}(V_{\rho })$ eine lineare Darstellung von $G.$ Sei $H$ eine Untergruppe und $\rho |_{H}$ die Einschränkung. Sei $W$ eine Teildarstellung von $\rho _{H}.$ Schreibe $\theta \colon H\to {\text{GL}}(W)$ für diese Darstellung. Sei $s\in G,$ der Vektorraum $\rho (s)(W)$ hängt nur von der Linksnebenklasse $sH$ von $s$ ab. Sei $R$ ein Vertretersystem von $G/H,$ dann ist $\textstyle \sum _{r\in R}\rho (r)(W)$ eine Teildarstellung von $V_{\rho }.$
Eine Darstellung $\rho$ von $G$ in $V_{\rho }$ heißt induziert durch die Darstellung $\theta$ von $H$ in $W,$ falls $\textstyle V_{\rho }=\bigoplus _{r\in R}W_{r}.$ Dabei ist $R$ ein Vertretersystem von $G/H$ wie oben und $W_{r}=\rho (s)(W)$ für jedes $s\in rH.$ Wir schreiben ${\text{Ind}}_{H}^{G}(\theta )$ für die von der Darstellung $\theta$ von $H$ induzierte Darstellung von $G.$ Die induzierte Darstellung existiert und ist eindeutig bestimmt.
Eine wichtige Beziehung in der Darstellungstheorie endlicher Gruppen ist die Frobeniusreziprozität. Sie sagt uns einerseits, dass die Abbildungen ${\text{Res}}$ und ${\text{Ind}}$ adjungiert zueinander sind. Betrachten wir andererseits mit $W$ eine irreduzible Darstellung von $H$ und sei $V$ eine irreduzible Darstellung von $G,$ dann erhalten wir mit der Frobeniusreziprozität außerdem, dass $W$ so oft in ${\text{Res}}(V)$ enthalten ist wie ${\text{Ind}}(W)$ in $V.$
Mit dem Kriterium von Mackey kann die Irreduzibilität von induzierten Darstellungen überprüft werden.

## Wichtige Sätze

* Satz von Maschke: Zerlegbarkeit in irreduzible Darstellungen
* Orthogonalitätsrelationen: Orthonormalität irreduzibler Charaktere
* Frobeniusreziprozität
* Satz von Artin: Zerlegbarkeit als rationale Linearkombination von Charakteren zyklischer Gruppen
* Satz von Brauer: Zerlegbarkeit als ganzzahlige Linearkombination von Charakteren elementarer Gruppen