Benutzer:Bemares/Werkstatt

Die Darstellungstheorie von 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, als auch in der Quantenchemie und 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.

Definition

Lineare Darstellungen

Sei $V$ ein $K-$Vektorraum, und $G$ eine endliche Gruppe. Eine lineare Darstellung einer endlichen Gruppe $G$ ist ein Gruppenhomomorphismus $\rho :G\to {\text{GL}}(V)={\text{Aut}}(V),$ d.h. es gilt $\rho (st)=\rho (s)\rho (t)$ für alle $s,t\in G.$ Man nennt $V$ den Darstellungsraum von $G.$ Oft wird auch die Bezeichnung Darstellung von $G$ für $V$ verwendet.
Man verwendet den Begriff lineare Darstellung auch für Darstellungen einer Gruppe in Moduln statt Vektorräumen.
Wir schreiben $(\rho ,V_{\rho })$ für die Darstellung $\rho :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.$ Oft wird auch ${\text{dim}}(\rho )$ für den Grad der Darstellung $\rho$ verwendet.

Beispiele

Ein sehr einfaches Beispiel ist die sogenannte Einsdarstellung oder triviale Darstellung, die gegeben ist durch $\rho (s)={\text{Id}}$ für alle $s\in G.$
Eine Darstellung vom Grad $1$ einer Gruppe $G$ ist ein Homomorphismus $\rho :G\to {\text{GL}}(\mathbb {C} )=\mathbb {C} ^{\times }$ in die multiplikative Gruppe von $\mathbb {C} .$ Da jedes Element aus $G$ endliche Ordnung hat, sind die Werte $\rho (s)$ Einheitswurzeln.

Weitere nicht triviale Beispiele:
Sei $\rho :G=\mathbb {Z} /4\mathbb {Z} \to \mathbb {C} ^{\times }$ eine lineare Darstellung, die nicht trivial ist. Dann ist $\rho$ durch ihr Bild auf ${\overline {1}}\in \mathbb {Z} /4\mathbb {Z}$ festgelegt und ist damit eine der drei folgenden Abbildungen:

$\rho _{1}({\overline {0}})=1,\,\rho _{1}({\overline {1}})=i,\,\rho _{1}({\overline {2}})=-1,\,\rho _{1}({\overline {3}})=-i.$

$\rho _{2}({\overline {0}})=1,\,\rho _{2}({\overline {1}})=-1,\,\rho _{2}({\overline {2}})=1,\,\rho _{2}({\overline {3}})=1.$

$\rho _{3}({\overline {0}})=1,\,\rho _{3}({\overline {1}})=-i,\,\rho _{3}({\overline {2}})=-1,\,\rho _{3}({\overline {3}})=i.$

Die Bildmenge ist also eine nicht triviale Untergruppe der Gruppe, die aus den vierten Einheitswurzeln besteht.

Sei $G=\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /2\mathbb {Z}$ und sei $\rho :G\to {\text{GL}}_{2}(\mathbb {C} )$ der Gruppenhomomorphismus definiert durch:

$\rho (0,0)=\left({\begin{array}{cc}1&0\\0&1\end{array}}\right),\,\,\rho (1,0)=\left({\begin{array}{cc}-1&0\\0&-1\end{array}}\right),\,\,\rho (0,1)=\left({\begin{array}{cc}0&1\\1&0\end{array}}\right),\,\,{\text{und}}\,\,\rho (1,1)=\left({\begin{array}{cc}0&-1\\-1&0\end{array}}\right).$

Dann ist $\rho$ eine lineare Darstellung von $G$ vom Grad $2.$

Permutationsdarstellung

Siehe auch: Permutationsgruppe

Sei $X$ eine endliche Menge auf der die Gruppe $G$ operiert. Die Gruppe ${\text{Aut}}(X)$ ist dann die Gruppe aller Permutationen von $X$ mit der Komposition als Verknüpfung.
Die Operation einer Gruppe auf einer endlichen Menge wird manchmal bereits als ausreichend für die Definition der Permutationsdarstellung betrachtet. Da wir aber Beispiele für lineare Darstellungen geben wollen, bei denen die Gruppe auf einem Vektorraum und nicht auf einer beliebigen endlichen Menge operiert, wählen wir den folgenden Ansatz:
Wir konstruieren die zu $X$ assoziierte Permutationsdarstellung als Darstellung von $G$ in einen Vektorraum, dessen Basis mit den Elementen aus $X$ indiziert werden kann und die die Eigenschaft $\rho (s)e_{x}=e_{s.x}$ für jedes $s\in G,x\in X$ erfüllt. Dadurch sind die linearen Abbildungen $\rho (s)$ eindeutig festgelegt.

Beispiel
Sei $X=\{1,2,3\}$ und $G={\text{Per}}(3).$ Dann operiert $G$ auf $X$ und es gilt ${\text{Aut}}(X)=G.$
Die zugehörige lineare Darstellung ist $\rho :G\to {\text{GL}}(V)\cong {\text{GL}}_{3}(\mathbb {C} )$ wobei $\rho (\sigma )e_{x}=e_{\sigma (x)}$ für $\sigma \in G,x\in X.$

Links- und Rechtsreguläre Darstellung

Sei $G$ eine Gruppe mit ${\text{ord}}(G)=g$ und sei $V$ ein Vektorraum der Dimension $g,$ dessen Basis $(e_{t})_{t\in G}$ mit den Elementen aus $G$ indiziert wird. Die linksreguläre Darstellung ist dann ein Sonderfall der Permutationsdarstellung, in dem wir $X=G$ setzen. Es gilt also $\rho (s)e_{t}=e_{st}$ für alle $s,t\in G.$ Damit bildet die Familie $(\rho (s)e_{1})_{s\in G}$ der Bilder von $e_{1}$ eine Basis von $V,$ wobei wir hier das neutrale Element der Gruppe $G$ mit $1$ bezeichnet haben. Der Grad der linksregulären Darstellung entspricht der Gruppenordnung.
Die rechtsreguläre Darstellung wird ähnlich definiert: In diesem Fall operiert $G$ von rechts auf der mit Elementen aus $G$ indizierten Basis von $V:\rho (s)e_{t}=e_{ts^{-1}}.$ Auch hier bilden die Bilder des ersten Basisvektors unter der Operation eine Basis des Vektorraums und der Grad entspricht der Gruppenordnung.
Die beiden Darstellungen sind via $e_{s}\mapsto e_{s^{-1}}$ isomorph zu einander. Daher spricht man hier häufig auch nur von der regulären Darstellung.
Eine nähere Betrachtung ergibt, dass jede lineare Darstellung $\rho :G\to {\text{GL}}(W)$ mit der Eigenschaft, dass es ein $w\in W$ gibt, sodass $(\rho (s)w)_{s\in G}$ eine Basis von $W$ ist, isomorph zur linksregulären Darstellung ist.

Beispiel
Sei $G=\mathbb {Z} /5\mathbb {Z}$ und $V=\mathbb {R} ^{5}$ mit Basis $e_{0},...,e_{4}.$ Die linksreguläre Darstellung $L_{\rho }:G\to {\text{GL}}(V)$ ist dann definiert durch $L_{\rho }(k)e_{l}=e_{k+l}$ für $k,l\in \mathbb {Z} /5\mathbb {Z} .$
Die rechtsreguläre Darstellung erhält man analog durch $R_{\rho }(k)e_{l}=e_{l-k}$ für $k,l\in \mathbb {Z} /5\mathbb {Z} .$

Darstellungen, 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.

Sei nun $V$ ein $K-$Modul und sei $\rho :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: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, genannt die Faltungsalgebra.
Die Faltungsalgebra besitzt eine Basis indiziert mit den Gruppenelementen: $(\delta _{s})_{s\in G},$ wobei

$\delta _{s}(t)={\begin{cases}1\,\,\,\,\,{\text{falls }}\,\,\,t=s\\0\,\,\,\,\,{\text{sonst}}\end{cases}}.$

Mit der Faltung gilt: $\delta _{s}*\delta _{t}=\delta _{st}.$
Wir definieren eine Abbildung zwischen $L^{1}(G)$ und $\mathbb {C} [G],$ indem wir für Basiselemente definieren: $\delta _{s}\mapsto e_{s}$ und linear fortsetzen. Diese Abbildung ist offensichtlich bijektiv. Man erkennt an obiger Gleichung für die Faltung zweier Basiselemente aus $L^{1}(G),$ dass die Multiplikation in $L^{1}(G)$ der in $\mathbb {C} [G]$ entspricht. Damit sind die Faltungsalgebra und die Gruppenalgebra als Algebren isomorph.
Mit der Involution $\textstyle f^{*}(s)={\overline {f(s^{-1})}}$ wird $\textstyle L^{1}(G)$ zu einer $^{*}-$Algebra. Es gilt $\delta _{s}^{*}=\delta _{s^{-1}}.$
Eine Darstellung $(\pi ,V_{\pi })$ einer Gruppe $G$ setzt fort zu einem $^{*}-$Algebrenhomomorphismus $\pi :L^{1}(G)\to {\text{End}}(V_{\pi })$ durch $\pi (\delta _{s})=\pi (s).$
Da $\pi$ als $^{*}-$Algebrenhomomorphismus insbesondere multiplikativ ist, erhalten wir $\pi (f*h)=\pi (f)\pi (h).$ Falls $\pi$ unitär ist, gilt außerdem $\pi (f)^{*}=\pi (f^{*}).$ Die Definition einer unitären Darstellung findet sich im Kapitel Eigenschaften. Dort wird auch gezeigt, dass wir eine lineare Darstellung ohne Einschränkung als unitär annehmen können.

Im Rahmen der Faltungsalgebra kann man auf Gruppen eine Fouriertransformation durchführen. In der Harmonischen Analyse wird gezeigt, dass diese Definition mit der Definition der Fouriertransformation auf $\mathbb {R}$ konsistent ist.
Sei $\rho :G\to {\text{GL}}(V_{\rho })$ eine Darstellung, $f\in L^{1}(G),$ dann definiert man die Fouriertransformierte ${\hat {f}}(\rho )\in {\text{End}}(V_{\rho })$ durch die Formel

${\hat {f}}(\rho )=\sum _{s\in G}f(s)\rho (s).$

Es gilt dann ${\widehat {f*g}}(\rho )={\hat {f}}(\rho )\cdot {\hat {g}}(\rho ).$

Abbildungen zwischen Darstellungen

Eine Abbildung zwischen zwei Darstellungen $(\rho ,V_{\rho }),\,(\pi ,V_{\pi })$ derselben Gruppe $G$ ist eine lineare Abbildung
$T:V_{\rho }\to V_{\pi },$ sodass für alle $s\in G$ gilt $\pi (s)\circ T=T\circ \rho (s).$
Eine solche Abbildung heißt auch $G-$lineare Abbildung. Man kann den Kern, das Bild und den Kokern von $T$ standardmäßig definieren. Diese sind wieder $G-$Moduln und liefern damit über die Beziehung aus dem vorhergehenden Abschnitt wieder Darstellungen von $G.$

Eigenschaften

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:V_{\rho }\to V_{\pi }$ gibt, sodass $T\circ \rho (s)=\pi (s)\circ T\,\,\,\forall \,s\in G.$ Insbesondere haben äquivalente Darstellungen den gleichen Grad.

Eine Darstellung $(\pi ,V_{\pi })$ heißt treu, falls $\pi$ injektiv ist. In diesem Fall induziert $\pi$ einen Isomorphismus zwischen $G$ und dem Bild $\pi (G).$ Da letzteres einer Untergruppe von ${\text{GL}}(V_{\pi })$ ist, kann man $G$ als Untergruppe der Automorphismengruppe von $V_{\pi }$ via $\pi$ auffassen.

Sei $\rho :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 auch Unterdarstellung von $V.$

Ebenso wie man den Bildbereich einschränken kann, kann man auch den Definitionsbereich einer Darstellung einschränken:
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.$
Falls keine Verwechslungsgefahr besteht, schreiben wir auch nur ${\text{Res}}(\rho )$ oder auch kurz ${\text{Res}}\rho .$
Man verwendet auch die Schreibweise ${\text{Res}}_{H}(V)$ bzw. ${\text{Res}}(V)$ für die Einschränkung der Darstellung von $V$ von $G$ auf $H.$
Sei $f$ eine Funktion auf $G,$ dann schreiben wir ${\text{Res}}_{H}(f)$ bzw. ${\text{Res}}(f)$ für die Einschränkung auf die Untergruppe $H.$

Eine Darstellung $\rho :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 von $G$ (bzw. die Anzahl an einfachen $\mathbb {C} [G]-$Moduln) der Anzahl an Konjugationsklassen von $G$ entspricht.

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.
Für Definition der direkten Summe von Darstellung siehe Direkte Summe von Darstellungen.

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.

Ü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 ist jedes $\rho (s)$ 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.
Man kann 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.

Beispiel

Sei $G=D_{6}=\{{\text{Id}},\mu ,\mu ^{2},\nu ,\mu \nu ,\mu ^{2}\nu \}$ die Diedergruppe der Ordnung $6$ mit Erzeugern $\mu ,\nu$ für die gilt ${\text{ord}}(\nu )=2,$ ${\text{ord}}(\mu )=3$ und $\nu \mu \nu =\mu ^{2}.$ Sei $\rho :D_{6}\to {\text{GL}}_{3}(\mathbb {C} )$ eine lineare Darstellung von $D_{6}$ auf den Erzeugern definiert durch:

$\rho (\mu )=\left({\begin{array}{ccc}{\text{cos}}({\frac {2\pi }{3}})&0&-{\text{sin}}({\frac {2\pi }{3}})\\0&1&0\\{\text{sin}}({\frac {2\pi }{3}})&0&{\text{cos}}({\frac {2\pi }{3}})\end{array}}\right),\,\,\,\,\rho (\nu )=\left({\begin{array}{ccc}-1&0&0\\0&-1&0\\0&0&1\end{array}}\right).$

Diese Darstellung ist treu. Der Unterraum $\mathbb {C} e_{2}$ ist ein $D_{6}-$invarianter Unterraum. Damit ist die Darstellung nicht irreduzibel und es existiert eine Teildarstellung $\textstyle \rho |_{\mathbb {C} e_{2}}:D_{6}\to \mathbb {C} ^{\times }$ mit $\nu \mapsto -1,\mu \mapsto 1.$ Diese Teildarstellung hat Grad 1 und ist irreduzibel. Das Komplement zu $\textstyle \mathbb {C} e_{2}$ ist ebenfalls $D_{6}-$invariant, und liefert die Teildarstellung $\textstyle \rho |_{\mathbb {C} e_{1}\oplus \mathbb {C} e_{3}}$ mit

$\nu \mapsto {\begin{pmatrix}-1&0\\0&1\end{pmatrix}},\,\,\,\,\mu \mapsto {\begin{pmatrix}{\text{cos}}({\frac {2\pi }{3}})&-{\text{sin}}({\frac {2\pi }{3}})\\{\text{sin}}({\frac {2\pi }{3}})&{\text{cos}}({\frac {2\pi }{3}})\end{pmatrix}}.$

Auch diese Teildarstellung ist irreduzibel. Unsere ursprüngliche Darstellung ist also vollständig reduzibel:

$\textstyle \rho =\rho |_{\mathbb {C} e_{2}}\oplus \rho |_{\mathbb {C} e_{1}\oplus \mathbb {C} e_{3}}.$

Beide Teildarstellungen sind isotypisch und sie sind die einzigen Isotypen ungleich Null von $\rho .$
Die Darstellung $\rho$ ist unitär bezüglich des Standardskalarprodukts auf $\textstyle \mathbb {C} ^{3},$ da $\rho (\mu )$ und $\rho (\nu )$ unitär sind.
In dem man einen beliebigen Vektorraumisomorphismus $\textstyle T:\mathbb {C} ^{3}\to \mathbb {C} ^{3}$ nimmt, kann eine zu $\rho$ isomorphe Darstellung definiert werden: Sei $\textstyle \eta :D_{6}\to {\text{GL}}_{3}(\mathbb {C} )$ definiert durch $\textstyle \eta (s):=T\circ \rho (s)\circ T^{-1}$ für alle $s\in D_{6}.$
Man kann nun noch den Definitionsbereich der Darstellung auf eine Untergruppe, z. B. $H=\{{\text{Id}},\mu ,\mu ^{2}\},$ einschränken und erhält so ${\text{Res}}_{H}(\rho ).$ Diese Darstellung ist definiert durch das Bild $\rho (\mu )$ wie oben angegeben.

Konstruktionen

Duale Darstellung

Zu einer gegebenen Darstellung $\rho :G\to {\text{GL}}(V)$ kann man die duale Darstellung $\rho ^{*}:G\to {\text{GL}}(V^{*})$ in den dualen Vektorraum $V^{*}$ definieren durch $(\rho ^{*}(s)v^{*})(v)=v^{*}(\rho (s^{-1})v)$ für alle $s\in G,v\in V$ und $v^{*}\in V^{*}.$ Mit dieser Definition gilt für die natürliche Paarung $\langle v^{*},v\rangle :=v^{*}(v)$ zwischen $V^{*}$ und $V:$ $\langle \rho ^{*}(s)(v^{*}),\rho (s)(v)\rangle =\langle v^{*},v\rangle$ für alle $s\in G,v\in V,v^{*}\in V^{*}.$

Beispiel

Sei $G=\mathbb {Z} /3\mathbb {Z}$ und sei $\rho :\mathbb {Z} /3\mathbb {Z} \to {\text{GL}}_{2}(\mathbb {C} )$ die Darstellung von $\mathbb {Z} /3\mathbb {Z}$ definiert durch

$\rho ({\overline {0}})={\text{Id}},\,\,\rho ({\overline {1}})=\left({\begin{array}{cc}{\text{cos}}({\frac {2\pi }{3}})&-{\text{sin}}({\frac {2\pi }{3}})\\{\text{sin}}({\frac {2\pi }{3}})&{\text{cos}}({\frac {2\pi }{3}})\end{array}}\right),\,\,{\text{ und }}\,\,\rho ({\overline {2}})=\left({\begin{array}{cc}{\text{cos}}({\frac {4\pi }{3}})&-{\text{sin}}({\frac {4\pi }{3}})\\{\text{sin}}({\frac {4\pi }{3}})&{\text{cos}}({\frac {4\pi }{3}})\end{array}}\right).$

Dann ist die duale Darstellung $\rho ^{*}:\mathbb {Z} /3\mathbb {Z} \to {\text{GL}}((\mathbb {C} ^{2})^{*})$ gegeben durch:

$\rho ^{*}({\overline {0}})={\text{Id}},\,\,\rho ^{*}({\overline {1}})=\left({\begin{array}{cc}{\text{cos}}({\frac {4\pi }{3}})&{\text{sin}}({\frac {4\pi }{3}})\\-{\text{sin}}({\frac {4\pi }{3}})&{\text{cos}}({\frac {4\pi }{3}})\end{array}}\right),\,\,{\text{ und }}\,\,\rho ^{*}({\overline {2}})=\left({\begin{array}{cc}{\text{cos}}({\frac {2\pi }{3}})&{\text{sin}}({\frac {2\pi }{3}})\\-{\text{sin}}({\frac {2\pi }{3}})&{\text{cos}}({\frac {2\pi }{3}})\end{array}}\right).$

Direkte Summe von Darstellungen

Seien $\textstyle (\rho _{1},V_{\rho _{1}}),(\rho _{2},V_{\rho _{2}})$ Darstellungen von $\textstyle G_{1}$ bzw. $\textstyle G_{2}.$ Die direkte Summe der Darstellungen wird definiert als: $\textstyle \rho _{1}\oplus \rho _{2}:G_{1}\times G_{2}\to {\text{GL}}(V_{\rho _{1}}\oplus V_{\rho _{2}}),$ wobei $\textstyle \rho _{1}\oplus \rho _{2}(s_{1},s_{2})(v_{1},v_{2}):=\rho _{1}(s_{1})v_{1}\oplus \rho _{2}(s_{2})v_{2}$ für alle $(s_{1},s_{2})\in G_{1}\times G_{2}$ und $v_{1}\in V_{\rho _{1}},v_{2}\in V_{\rho _{2}}.$
Auf diese Weise wird $\textstyle \rho _{1}\oplus \rho _{2}$ wieder zu einer linearen Darstellung.
Sind $\textstyle \rho _{1},\rho _{2}$ Darstellungen der gleichen Gruppe $\textstyle G,$ so definiert man die direkte Summe der Darstellungen der Einfachheit halber auch als Darstellung von $\textstyle G,$ also $\textstyle \rho _{1}\oplus \rho _{2}:G\to {\text{GL}}(V_{1}\oplus V_{2}),$ in dem man $\textstyle G$ als die diagonale Untergruppe von $\textstyle G\times G$ auffasst.

Beispiel
Sei $\textstyle \rho _{1}:\mathbb {Z} /2\mathbb {Z} \to {\text{GL}}_{2}(\mathbb {C} )$ die lineare Darstellung, die gegeben ist durch

$\rho _{1}({\overline {1}})=\left({\begin{array}{cc}0&-i\\i&0\end{array}}\right).$

Und sei $\textstyle \rho _{2}:\mathbb {Z} /3\mathbb {Z} \to {\text{GL}}_{3}(\mathbb {C} )$ die lineare Darstellung, die gegeben ist durch

$\rho _{2}({\overline {1}})=\left({\begin{array}{ccc}1&0&e^{\frac {2\pi i}{3}}\\0&e^{\frac {2\pi i}{3}}&0\\0&0&e^{\frac {4\pi i}{3}}\end{array}}\right).$

Dann ist $\textstyle \rho _{1}\oplus \rho _{2}$ eine lineare Darstellung von $\textstyle \mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /3\mathbb {Z}$ in den $\textstyle \mathbb {C} ^{2}\oplus \mathbb {C} ^{3}=\mathbb {C} ^{5},$ die für $k\in \mathbb {Z} /2\mathbb {Z} ,l\in \mathbb {Z} /3\mathbb {Z}$ nach Definition wie folgt aussieht:

$\rho _{1}\oplus \rho _{2}(k,l)=\left({\begin{array}{cc}\rho _{1}(k)&0\\0&\rho _{2}(l)\end{array}}\right).$

Da es reicht das Bild des Erzeugers der Gruppe anzugeben, stellen wir fest, dass $\textstyle \rho _{1}\oplus \rho _{2}:\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /3\mathbb {Z} \to {\text{GL}}_{5}(\mathbb {C} )$ gegeben ist durch:

$\rho _{1}\oplus \rho _{2}({\overline {1}},{\overline {1}})=\left({\begin{array}{ccccc}0&-i&0&0&0\\i&0&0&0&0\\0&0&1&0&e^{\frac {2\pi i}{3}}\\0&0&0&e^{\frac {2\pi i}{3}}&0\\0&0&0&0&e^{\frac {4\pi i}{3}}\end{array}}\right).$

Tensorprodukt von Darstellungen

Seien $\rho _{1}:G_{1}\to {\text{GL}}(V_{\rho _{1}}),\,\rho _{2}:G_{2}\to {\text{GL}}(V_{\rho _{2}})$ lineare Darstellungen. Wir definieren die lineare Darstellung $\rho _{1}\otimes \rho _{2}:G_{1}\times G_{2}\to {\text{GL}}(V_{\rho _{1}}\otimes V_{\rho _{2}})$ in das Tensorprodukt von $V_{\rho _{1}}$ und $V_{\rho _{2}}$ durch $\rho _{1}\otimes \rho _{2}(s_{1},s_{2})=\rho _{1}(s_{1})\otimes \rho _{2}(s_{2}),$ wobei $s_{1}\in G_{1},s_{2}\in G_{2}.$ Diese Darstellung wird äußeres Tensorprodukt der Darstellungen $\rho _{1}$ und $\rho _{2}$ genannt. Existenz und Eindeutigkeit folgen aus den Eigenschaften des Tensorprodukts.

Seien $\rho _{1}:G\to {\text{GL}}(V_{\rho _{1}})$ und $\rho _{2}:G\to {\text{GL}}(V_{\rho _{2}})$ zwei lineare Darstellungen derselben Gruppe und sei $s\in G,$ dann kann $\rho (s)\in {\text{GL}}(V_{\rho _{1}}\otimes V_{\rho _{2}})$ definiert werden durch $\rho (s)(v_{1}\otimes v_{2})=\rho _{1}(s)v_{1}\otimes \rho _{2}(s)v_{2},$ für $v_{1}\in V_{\rho _{1}},v_{2}\in V_{\rho _{2}}.$ Man schreibt dafür $\rho (s)=\rho _{1}(s)\otimes \rho _{2}(s).$ Die Abbildung $s\mapsto \rho (s)$ definiert dann eine lineare Darstellung von $G,$ die ebenfalls Tensorprodukt der gegebenen Darstellungen genannt wird.

Man muss diese beiden Fälle jedoch strikt unterscheiden. Der erste Fall ist eine Darstellung des Produkts zweier Gruppen in das Tensorprodukt der jeweils zugehörigen Darstellungsräume. Der zweite Fall ist eine Darstellung einer Gruppe $G$ ins Tensorprodukt von Darstellungsräumen dieser Gruppe. Der zweite Fall kann jedoch als Spezialfall des ersten Falls angesehen werden, in dem man die diagonale Untergruppe $G\times G$ betrachtet. Die Definitionen können endlich oft iteriert werden.

Seien $V$ und $W$ Darstellungen der Gruppe $G,$ dann ist ${\text{Hom}}(V,W)$ eine Darstellung, wie durch die Identifikation ${\text{Hom}}(V,W)=V^{*}\otimes W$ ersichtlich ist. Sei $B\in {\text{Hom}}(V,W)$ und sei $\rho$ die Darstellung auf ${\text{Hom}}(V,W),$ $\rho _{V}$ die Darstellung auf $V,$ $\rho _{W}$ die Darstellung auf $W.$ Dann liefert die obige Identifikation die Gleichung:

$\rho (s)(B)v=\rho _{W}(s)\circ B\circ \rho _{V}(s)(v)$ für alle $s\in G,v\in V.$

Satz
Die irreduziblen Darstellungen von $G_{1}\times G_{2}$ sind bis auf Isomorphie genau die Darstellungen $\rho _{1}\otimes \rho _{2}$ für die $\rho _{1}$ und $\rho _{2}$ die irreduziblen Darstellungen von $G_{1}$ bzw. $G_{2}$ sind.

Dieses Ergebnis schränkt das Studium der Darstellungen von $G_{1}\times G_{2}$ auf das Studium der Darstellungen von $G_{1}$ und $G_{2}$ ein.

Beispiel
Wir greifen das obige Beispiel aus der direkten Summe noch einmal auf, um den Unterschied zwischen direkter Summe und Tensorprodukt zu unterstreichen.
Sei $\textstyle \rho _{1}:\mathbb {Z} /2\mathbb {Z} \to {\text{GL}}_{2}(\mathbb {C} )$ die lineare Darstellung, die gegeben ist durch

$\rho _{1}({\overline {1}})=\left({\begin{array}{cc}0&-i\\i&0\end{array}}\right).$

Und sei $\textstyle \rho _{2}:\mathbb {Z} /3\mathbb {Z} \to {\text{GL}}_{3}(\mathbb {C} )$ die lineare Darstellung, die gegeben ist durch

$\rho _{2}({\overline {1}})=\left({\begin{array}{ccc}1&0&e^{\frac {2\pi i}{3}}\\0&e^{\frac {2\pi i}{3}}&0\\0&0&e^{\frac {4\pi i}{3}}\end{array}}\right).$

Dann ist das äußere Tensorprodukt $\rho _{1}\otimes \rho _{2}:\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /3\mathbb {Z} \to {\text{GL}}(\mathbb {C} ^{2}\otimes \mathbb {C} ^{3})={\text{GL}}_{6}(\mathbb {C} )$ gegeben durch $\rho _{1}(k)\otimes \rho _{2}(l),$ wobei $k\in \mathbb {Z} /2\mathbb {Z} ,l\in \mathbb {Z} /3\mathbb {Z} .$
Die lineare Abbildung $\rho _{1}({\overline {1}})\otimes \rho _{2}({\overline {1}}),$ die zum Erzeuger $({\overline {1}},{\overline {1}})$ gehört, ist dann in der Basis von $\mathbb {C} ^{2}\otimes \mathbb {C} ^{3}\cong \mathbb {C} ^{6}$ gegeben durch:

$\rho _{1}({\overline {1}})\otimes \rho _{2}({\overline {1}})=\left({\begin{array}{cccccc}0&0&0&-i&0&-ie^{\frac {2\pi i}{3}}\\0&0&0&0&-ie^{\frac {2\pi i}{3}}&0\\0&0&0&0&0&-ie^{\frac {4\pi i}{3}}\\i&0&ie^{\frac {2\pi i}{3}}&0&0&0\\0&ie^{\frac {2\pi i}{3}}&0&0&0&0\\0&0&ie^{\frac {4\pi i}{3}}&0&0&0\end{array}}\right).$

Ein Vergleich mit der direkten Summe zeigt den Unterschied. Die erhaltenen Darstellungen besitzen auch nicht den selben Grad.

Symmetrisches und Alternierendes Quadrat

Sei $\rho :G\to V\otimes V$ eine lineare Darstellung von $G$ und $(e_{k})$ eine Basis von $V.$ Definiere $\vartheta :V\otimes V\to V\otimes V$ in dem wir $\vartheta (e_{k}\otimes e_{j})=e_{j}\otimes e_{k}$ linear fortsetzen. Dann gilt $\theta (v\otimes u)=u\otimes v,\,\forall \,\,u,v\in V$ und $\vartheta ^{2}=1.$ Damit zerfällt $V\otimes V$ in $V\otimes V={\text{Sym}}^{2}(V)\oplus {\text{Alt}}^{2}(V),$ wobei

${\text{Sym}}^{2}(V)=\{z\in V\otimes V:\vartheta (z)=z\}$

und

$\textstyle {\text{Alt}}^{2}(V)=\bigwedge ^{2}(V)=\{z\in V\otimes V:\vartheta (z)=-z\}.$

Diese Unterräume sind $G-$invariant und definieren so Teildarstellungen die Symmetrisches bzw. Alternierendes Quadrat genannt werden. Diese Teildarstellungen existieren auch für $V^{\otimes m},$ werden dann allerdings mit Hutprodukt $\textstyle \bigwedge ^{m}(V)$ und Symmetrisches Produkt ${\text{Sym}}^{m}(V)$ bezeichnet. Im Falle $m>2$ ergibt sich der Vektorraum dann im Allgemeinen nicht mehr als die direkte Summe der beiden Produkte.

Zerlegungen

Um Darstellungen leichter verstehen zu können, möchte man den Darstellungsraum in die direkte Summe von einfacheren Teildarstellungen zerlegen. Für endliche Gruppen erhält man die folgenden Resultate. Ausführlichere Erläuterungen und Beweise finden sich unter anderem in [1] und [2].

Satz
Für einen Vektorraum $V$ über einem Körper der Charakteristik $0$ gilt der folgende Satz:
Sei $\rho :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.

Der folgende Satz wird in allgemeinerer Formulierung präsentiert, da er ein sehr schönes Resultat für Darstellungen kompakter – also insbesondere endlicher – Gruppen liefert:

Satz
Über Körpern der Charakteristik $0$ gilt:
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})|j\in I\}$ die Menge der Isotypen von $V.$ Die Projektion $p_{j}: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:\rho (s)v=v\,\,\,\,\forall s\in G\}.$
Im Allgemeinen ist $\rho (s):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.$

Proposition
Die Abbildung $P$ ist eine Projektion von $V$ nach $V^{G}.$

Mit dieser Proposition können wir nun explizit den Isotyp zur trivialen Teildarstellung einer gegebenen Darstellung bestimmen.
Die Anzahl, wie oft die triviale Darstellung in $V$ auftritt, ist gegeben durch die Spur 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 somit

${\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 nicht triviale 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},...,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 nicht triviale irreduzible Darstellung $V:$

$\sum _{s\in G}\chi _{V}(s)=0.$

Beispiele
Sei $G={\text{Per}}(3)$ die Permutationsgruppe in $3$ Elementen. Sei $\rho :{\text{Per}}(3)\to {\text{GL}}_{5}(\mathbb {C} )$ eine lineare Darstellung von ${\text{Per}}(3)$ auf den Erzeugern definiert durch:

$\rho (1,2)=\left({\begin{array}{ccccc}-1&2&0&0&0\\0&1&0&0&0\\0&0&0&1&0\\0&0&1&0&0\\0&0&0&0&1\end{array}}\right),\,\,\rho (1,3)=\left({\begin{array}{ccccc}{\frac {1}{2}}&{\frac {1}{2}}&0&0&0\\{\frac {1}{2}}&-1&0&0&0\\0&0&0&0&1\\0&0&0&1&0\\0&0&1&0&0\end{array}}\right),\,\,\rho (2,3)=\left({\begin{array}{ccccc}0&-2&0&0&0\\-{\frac {1}{2}}&0&0&0&0\\0&0&1&0&0\\0&0&0&0&1\\0&0&0&1&0\end{array}}\right).$

Dann lässt sich diese Darstellung auf den ersten Blick zerlegen in die linksreguläre Darstellung der ${\text{Per}}(3),$ hier bezeichnet mit $\pi ,$ und die Darstellung $\eta :{\text{Per}}(3)\to {\text{GL}}_{2}(\mathbb {C} )$ mit

$\eta (1,2)={\begin{pmatrix}-1&2\\0&1\end{pmatrix}},\,\,\eta (1,3)={\begin{pmatrix}{\frac {1}{2}}&{\frac {1}{2}}\\{\frac {1}{2}}&-1\end{pmatrix}},\,\,\,\eta (2,3)={\begin{pmatrix}0&-2\\-{\frac {1}{2}}&0\end{pmatrix}}.$

Mit Hilfe des im nächsten Abschnitt vorgestellten Irreduzibilitätskriteriums erkennen wir, dass $\eta$ irreduzibel und $\pi$ nicht irreduzibel ist. Denn es gilt: $(\eta |\eta )=1,(\pi |\pi )=2$ mit dem Skalarprodukt aus dem Abschnitt Skalarprodukt und Charaktere.
Der Unterraum $\mathbb {C} (e_{1}+e_{2}+e_{3})$ von $\mathbb {C} ^{3}$ ist unter der linksregulären Darstellung invariant. Eingeschränkt auf diesen Unterraum ergibt sich die triviale Darstellung.
Das orthogonale Komplement zu $\mathbb {C} (e_{1}+e_{2}+e_{3})$ ist $\mathbb {C} (e_{1}-e_{2})\oplus \mathbb {C} (e_{1}+e_{2}-2e_{3}).$ Eingeschränkt auf diesen Unterraum, der nach obigen Resultaten ebenfalls $G-$invariant ist, ergibt sich die Darstellung $\tau ,$ die gegeben ist durch

$\tau (1,2)={\begin{pmatrix}-1&0\\0&1\end{pmatrix}},\,\,\,\tau (1,3)={\begin{pmatrix}{\frac {1}{2}}&{\frac {3}{2}}\\{\frac {1}{2}}&-{\frac {1}{2}}\end{pmatrix}},\,\,\,\,\tau (2,3)={\begin{pmatrix}{\frac {1}{2}}&-{\frac {3}{2}}\\-{\frac {1}{2}}&-{\frac {1}{2}}\end{pmatrix}}.$

Wie oben prüft man mit den Kriterien aus dem nächsten Anschnitt nach, dass $\tau$ irreduzibel ist. Nun sind aber $\eta$ und $\tau$ isomorph, da $\eta (s)=B\circ \tau (s)\circ B^{-1}$ für alle $s\in {\text{Per}}(3)$ gilt, wobei $B:\mathbb {C} ^{2}\to \mathbb {C} ^{2}$ gegeben ist durch die Matrix

$M_{B}={\begin{pmatrix}2&2\\0&2\end{pmatrix}}.$

Wir bezeichnen die triviale Darstellung vorübergehend mit $1.$ Eine Zerlegung von $(\rho ,\mathbb {C} ^{5})$ in irreduzible Teildarstellungen ist dann: $\rho =\tau \oplus \eta \oplus 1$ mit dem Darstellungsraum $\mathbb {C} ^{5}=\mathbb {C} (e_{1},e_{2})\oplus \mathbb {C} (e_{3}-e_{4},e_{3}+e_{4}-2e_{5})\oplus \mathbb {C} (e_{3}+e_{4}+e_{5}).$
Die kanonische Zerlegung ergibt sich, in dem wir alle isomorphen irreduziblen Teildarstellungen zusammenfassen: $\rho _{1}:=\eta \oplus \tau$ ist der $\tau -$Isotyp von $\rho$ und die kanonische Zerlegung ist gegeben durch

$\rho =\rho _{1}\oplus 1,\,\mathbb {C} ^{5}=\mathbb {C} (e_{1},e_{2},e_{3}-e_{4},e_{3}+e_{4}-2e_{5})\oplus \mathbb {C} (e_{3}+e_{4}+e_{5}).$

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} )|\,A\,\,{\text{ ist}}{\text{ obere}}{\text{ 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.

Charaktertheorie

Definition

Sei $\textstyle \rho :G\to {\text{GL}}(V)$ eine lineare Darstellung der endlichen Gruppe $\textstyle G$ in den Vektorraum $\textstyle V.$ Definiere die Abbildung $\chi _{\rho }$ durch $\textstyle \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 $\textstyle \chi _{\rho }$ heißt Charakter der Darstellung $\textstyle \rho .$
Manchmal wird der Charakter einer Darstellung $\textstyle \rho$ auch definiert als $\textstyle \chi (s)={\text{dim}}(\rho ){\text{Tr}}(\rho (s)),$ wobei $\textstyle {\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.

Beispiele
Ein einfaches Beispiel ist eine Grad $1$ Darstellung $\rho .$ Ihr Charakter ist gegeben durch $\chi =\rho .$

Betrachten wir als Beispiel die Permutationsdarstellung $V$ von $G$ assoziiert zur Linksoperation von $G$ auf einer endlichen Menge $X.$ Dann ist $\chi _{V}(s)=|\{x\in X:s.x=x\}|.$

Ein weiteres Beispiel ist der Charakter $\chi _{R}$ der regulären Darstellung $R.$
Er ist gegeben durch

$\chi _{R}(s)={\begin{cases}0\,\,\,\,\,\,\,\,\,\,\,\,&{\text{falls }}\,\,s\neq e\\|G|\,\,\,\,\,\,&{\text{falls }}\,\,s=e\end{cases}}.$

Hier ist es übrigens sinnvoll nur von der regulären Darstellung zu sprechen und links- und rechtsregulär nicht zu unterscheiden, da sie isomorph zueinander sind, und somit den gleichen Charakter besitzen.

Als letztes Beispiel betrachten wir $G=\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /2\mathbb {Z} .$ Sei $\rho :G\to {\text{GL}}_{2}(\mathbb {C} )$ definiert durch:

$\rho ({\overline {0}},{\overline {0}})=\left({\begin{array}{cc}1&0\\0&1\end{array}}\right),\,\,\rho ({\overline {1}},{\overline {0}})=\left({\begin{array}{cc}-1&0\\0&-1\end{array}}\right),\,\,\rho ({\overline {0}},{\overline {1}})=\left({\begin{array}{cc}0&1\\1&0\end{array}}\right),\,\,{\text{und }}\rho ({\overline {1}},{\overline {1}})=\left({\begin{array}{cc}0&-1\\-1&0\end{array}}\right).$

Dann ist der Charakter $\chi _{\rho }$ gegeben durch $\chi _{\rho }({\overline {0}},{\overline {0}})=2,\,\,\chi _{\rho }({\overline {1}},{\overline {0}})=-2,\,\,\chi _{\rho }({\overline {0}},{\overline {1}})=\chi _{\rho }({\overline {1}},{\overline {1}})=0.$
Wie man an diesem Beispiel sieht, ist der Charakter im Allgemeinen kein Gruppenhomomorphismus.

Eigenschaften

Wie bei den Eigenschaften linearer Darstellungen gezeigt wurde, können wir ohne Einschränkung jede Darstellung als unitär annehmen. Ein Charakter heißt unitär, wenn die zugehörige Darstellung unitär ist.
Ein Charakter heißt irreduzibel, falls er von einer irreduziblen Darstellung kommt.

Sei $\chi$ der Charakter einer (unitären) Darstellung $\rho$ vom Grad $n.$ Dann gilt:

• $\chi (e)=n,$ wobei $e$ das neutrale Element von $G$ ist.
• $\chi (s^{-1})={\overline {\chi (s)}},\,\,\,\forall \,s\in G.$
• $\chi (tst^{-1})=\chi (s),\,\,\forall \,s,t\in G.$
• $\chi (s)$ ist die Summe der Eigenwerte von $\rho (s)$ mit Vielfachheit.
• Für $s\in G$ der Ordnung $m$ gilt:
  • $\chi (s)$ ist die Summe von $n$ $m-$ten Einheitswurzeln.
  • $|\chi (s)|\leq m.$
  • $\{s\in G|\chi (s)=m\}$ ist ein Normalteiler in $G.$

Ein Beweis dieser Eigenschaften ist in [1] und [3] nachlesbar.

Charaktere spezieller Konstruktionen
Seien $\rho _{1}:G\to {\text{GL}}(V_{\rho _{1}}),\rho _{2}:G\to {\text{GL}}(V_{\rho _{2}})$ zwei lineare Darstellungen von $G$ und seien $\chi _{1},\chi _{2}$ die zugehörigen Charaktere. Dann gilt:

• Der Charakter $\chi _{1}^{*}$ der dualen Darstellung $\rho _{1}^{*}$ von $\rho _{1}$ ist gegeben durch $\chi _{1}^{*}={\overline {\chi _{1}}}.$
• Der Charakter $\chi$ der direkten Summe $V_{\rho _{1}}\oplus V_{\rho _{2}}$ entspricht $\chi _{1}+\chi _{2}.$
• Der Charakter $\chi$ des Tensorproduktes $V_{\rho _{1}}\otimes V_{\rho _{2}}$ entspricht $\chi _{1}\cdot \chi _{2}.$
• Der Charakter $\chi$ der zu ${\text{Hom}}(V_{\rho _{1}},V_{\rho _{2}})$ gehörigen Darstellung ist ${\overline {\chi _{1}}}\cdot \chi _{2}.$

Sei $\chi _{1}$ der Charakter zu $\rho _{1}:G_{1}\to {\text{GL}}(W_{\rho _{1}}),$ $\chi _{2}$ der Charakter zu $\rho _{2}:G_{2}\to {\text{GL}}(W_{\rho _{2}}),$ dann ist der Charakter $\chi$ von $\rho _{1}\otimes \rho _{2}$ gegeben durch $\chi (s_{1},s_{2})=\chi _{1}(s_{1})\cdot \chi _{2}(s_{2}).$

Sei $\rho :G\to {\text{GL}}(V)$ eine lineare Darstellung von $G$ und sei $\chi$ der zugehörige Charakter. Sei $\chi _{\sigma }^{(2)}$ der Charakter des symmetrischen Quadrates und sei $\chi _{\alpha }^{(2)}$ der Charakter des Alternierenden Quadrates. Für jedes $s\in G$ gilt:

${\begin{aligned}\chi _{\sigma }^{(2)}(s)&={\frac {1}{2}}(\chi (s)^{2}+\chi (s^{2}))\\\chi _{\alpha }^{(2)}(s)&={\frac {1}{2}}(\chi (s)^{2}-\chi (s^{2}))\\\chi ^{2}&=\chi _{\sigma }^{(2)}+\chi _{\alpha }^{(2)}\end{aligned}}$

Lemma von Schur

Seien $\rho _{1}:G\to {\text{GL}}(V_{\rho _{1}})$ und $\rho _{2}:G\to {\text{GL}}(V_{\rho _{2}})$ zwei irreduzible lineare Darstellungen. Sei $F: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}$).

Beweis
Sei $F\neq 0.$ Dann gilt $F\circ \rho _{1}(s)\,(u)=\rho _{2}(s)\circ F\,(u)=0\,\,$ für alle $u\in {\text{ker}}(F).$ Damit folgt $\rho _{1}(s)u\in {\text{ker}}(F)$ für alle $s\in G,u\in {\text{ker}}(F)$ und ${\text{ker}}(F)$ ist $G-$invariant. Da $V_{\rho _{1}}$ irreduzibel und $F\neq 0,$ folgt ${\text{ker}}(F)=0.$ Nun sei $y\in {\text{Im}}(F).$ Dann gibt es ein $v\in V_{\rho _{1}},$ sodass $Fv=y,$ und es gilt $\rho _{2}(s)y=\rho _{2}(s)F\,v=F\rho _{1}(s)v$ und damit ist auch ${\text{Im}}(F)$ ein $G-$invarianter Unterraum. Da $F\neq 0$ und $V_{\rho _{2}}$ irreduzibel ist, folgt ${\text{Im}}(F)=V_{\rho _{2}}.$ Also ist $F$ ein Isomorphismus und die erste Behauptung ist gezeigt.
Seien nun $V_{\rho _{1}}=V_{\rho _{2}},\,\,\rho _{1}=\rho _{2}.$ Da wir uns über $\mathbb {C}$ befinden, besitzt $F$ mindestens einen Eigenwert $\lambda .$ Sei $F'=F-\lambda ,$ dann ist ${\text{ker}}(F')\neq 0$ und es gilt $\rho _{2}(s)\circ F'=F'\circ \rho _{1}(s)$ für alle $s\in G.$ Nach obiger Überlegung ist dies nur möglich, wenn $F'=0,$ d.h. $F=\lambda .$ $\Box$

Skalarprodukt und Charaktere

Um einige interessante Resultate über Charaktere zu beweisen, lohnt es sich, eine etwas allgemeinere Menge an Funktionen auf einer Gruppe zu betrachten:

Die Klassenfunktionen:
Eine Funktion auf $G,$ die $\varphi (tst^{-1})=\varphi (s),\,\,\forall \,s,t\in G$ erfüllt, heißt Klassenfunktion. Die Menge aller Klassenfunktionen $\mathbb {C} _{\text{class}}(G)=\{\varphi :G\to \mathbb {C} \,|\,\varphi (sts^{-1})=\varphi (t)\,\,\forall s,t\in G\}$ ist eine $\mathbb {C} -$Algebra, deren Dimension der Anzahl an Konjugationsklassen von $G$ entspricht.

Satz
Seien $\chi _{1},...,\chi _{k}$ die verschiedenen irreduziblen Charaktere von $G.$ Eine Klassenfunktion auf $G$ ist genau dann ein Charakter von $G,$ wenn sie als Linearkombination der $\chi _{j}$ mit nicht negativen Koeffizienten dargestellt werden kann.

Beweis
Sei $\varphi \in \mathbb {C} _{\text{class}}(G),$ so dass $\textstyle \varphi =\sum _{j}c_{j}\chi _{j}$ mit $c_{j}\in \mathbb {N} _{0}$ für alle $j.$ Dann ist $\varphi$ der Charakter zu der Direkten Summe $\textstyle \sum _{j}c_{j}\tau _{j}$ der Darstellungen $\tau _{j}$, die zu den $\chi _{j}$ gehören. Umgekehrt lässt sich ein Charakter stets als Summe irreduzibler Charaktere schreiben.$\Box$

Beweise für die folgenden Resultate aus diesem Abschnitt finden sich in [1], [2] und [3].

Wir benötigen dazu allerdings zu erst noch einige Definitionen:

Auf der Menge aller komplexwertigen Funktionen $L^{1}(G)$ auf einer endlichen Gruppe $G$ kann man ein Skalarprodukt definieren:

$(f|h)_{G}={\frac {1}{|G|}}\sum _{t\in G}f(t){\overline {h(t)}}.$

Außerdem kann man auf $L^{1}(G)$ eine symmetrische Bilinearform definieren:

$\langle f,h\rangle _{G}={\frac {1}{|G|}}\sum _{t\in G}f(t)h(t^{-1}).$

Auf den Charakteren stimmen beide Formen überein. Der Index $G$ bei beiden Formen $(\cdot |\cdot )_{G}$ und $\langle \cdot ,\cdot \rangle _{G}$ kann weggelassen werden, falls bezüglich der zugrunde liegenden Gruppe keine Verwechslungsgefahr besteht.

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 ist. Diese Form ist bilinear bezüglich der direkten Summe.

Diese Bilinearformen ermöglichen es uns im Folgenden, einige wichtige Resultate in Bezug auf die Zerlegung und Irreduzibilität von Darstellungen zu erhalten.

Satz
Sind $\chi ,\chi '$ die Charaktere zweier nicht isomorpher 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}.$

Dieses Korollar ist eine direkte Folgerung aus obigem Satz, dem Lemma von Schur und der vollständigen Reduzibilität der Darstellungen.

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.

Nun erhalten wir ein sehr praktisches Resultat für die Untersuchung von Darstellungen:

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.

Zusammen mit dem ersten Satz bilden also die Charaktere irreduzibler Darstellungen von $G$ bezüglich dieses Skalarproduktes ein Orthonormalsystem auf $\mathbb {C} _{\text{class}}(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 zu einander sind.
In Worten der Gruppenalgebra erhalten wir $\mathbb {C} [G]\cong \oplus _{j}{\text{End}}(W_{j})$ als Algebren.

Als numerisches Resultat erhalten wir:

$|G|=\chi _{R}(e)={\text{dim}}(R)=\sum _{j}{\text{dim}}((W_{j})^{\oplus (\chi _{W_{j}}|\chi _{R})})=\sum _{j}(\chi _{W_{j}}|\chi _{R})\cdot {\text{dim}}(W_{j})=\sum _{j}{\text{dim}}(W_{j})^{2},$

wobei $R$ die reguläre Darstellung bezeichnet und $\textstyle \chi _{W_{j}}$ bzw. $\textstyle \chi _{R}$ die zu $\textstyle W_{j}$ bzw. $\textstyle R$ zugehörigen Charaktere sind. Ergänzend sei erwähnt, dass $e$ das neutrale Element der Gruppe bezeichnet.
Diese Formel ist eine notwendige und hinreichende Bedingung für alle irreduziblen Darstellungen einer Gruppe bis auf Isomorphie und liefert eine Möglichkeit zu überprüfen, ob man bis auf Isomorphie alle irreduziblen Darstellungen einer Gruppe gefunden hat.
Ebenso erhalten wir, wieder über den Charakter der regulären Darstellung, aber diesmal für $s\neq e,$ die Gleichheit:

$\textstyle 0=\chi _{R}(s)=\sum _{j}{\text{dim}}(W_{j})\cdot \chi _{W_{j}}(s).$

Über die Beschreibung der Darstellungen mit der Faltungsalgebra erhalten wir äquivalente Formulierungen dieser beiden letzten Gleichungen:
Die Fourier Inversionsformel:

$f(s)={\frac {1}{|G|}}\sum _{\rho \,\,{\text{ irred.}}{\text{ Darst.}}{\text{ von }}G}{\text{dim}}(V_{\rho })\cdot {\text{Tr}}(\rho (s^{-1})\cdot {\hat {f}}(\rho )).$

Außerdem kann man die Plancherel Formel zeigen:

$\sum _{s\in G}f(s^{-1})h(s)={\frac {1}{|G|}}\sum _{\rho \,\,{\text{ irred.}}{\text{ Darst.}}{\text{ von }}G}{\text{dim}}(V_{\rho })\cdot {\text{Tr}}({\hat {f}}(\rho ){\hat {h}}(\rho )).$

In beiden Formeln ist $(\rho ,V_{\rho })$ eine lineare Darstellung der Gruppe $G,$ $s\in G$ und $f,h\in L^{1}(G).$

Das obige Korollar hat noch eine weitere Konsequenz:

Lemma
Sei $G$ eine Gruppe. Dann sind äquivalent:

• $G$ ist abelsch.
• Jede Funktion auf $G$ ist eine Klassenfunktion.
• Alle irreduziblen Darstellungen von $G$ haben Grad $1.$
  

Zum Schluss erinnern wir noch einmal an die Definition der Klassenfunktionen, um zu erkennen, was für eine besondere Position die Charaktere unter ihnen einnehmen:

Orthonormaleigenschaft
Sei $G$ eine Gruppe. Die paarweise nicht isomorphen irreduziblen Charaktere von $G$ bilden eine Orthonormalbasis von $\mathbb {C} _{\text{class}}(G)$ bezüglich des am Anfang des Abschnitts definierten Skalarprodukts.
D.h. für irreduzible Charaktere $\chi$ und $\chi '$ gilt:

$(\chi |\chi ')={\begin{cases}1\,\,\,\,{\text{falls}}\,\,\chi =\chi '\\0\,\,\,\,{\text{sonst}}\end{cases}}$

Der Beweis beruht auf dem Nachweis, dass es außer der $0$ keine Klassenfunktion gibt, die auf den irreduziblen Charakteren orthogonal ist.

Äquivalent zur Orthonormaleigenschaft gilt:
Die Anzahl aller irreduziblen Darstellungen einer Gruppe $G$ bis auf Isomorphie entspricht genau der Anzahl aller Konjugationsklassen von $G.$
In Worten der Gruppenalgebra bedeutet das, es gibt genauso viele einfache $\mathbb {C} [G]-$Moduln (bis auf Isomorphie) wie Konjugationsklassen von $G.$

Induzierte Darstellungen

Wie wir im Abschnitt zu Eigenschaften linearer Darstellungen gesehen haben, kann man mit Hilfe der Einschränkung aus einer Darstellung einer Gruppe eine Darstellung einer Untergruppe erhalten.
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 :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 :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.$

Anders formuliert:
Die Darstellung $(\rho ,V_{\rho })$ ist induziert von $(\theta ,W),$ falls jedes $v\in V_{\rho }$ eindeutig als $\textstyle \sum _{r\in R}w_{r}$ geschrieben werden kann, wobei $w_{r}\in W_{r}$ für jedes $r\in R.$

Wir schreiben ${\text{Ind}}_{H}^{G}(\theta )$ oder kurz, falls keine Verwechslungsgefahr besteht, ${\text{Ind}}(\theta )$ für die von der Darstellung $\theta$ von $H$ induzierte Darstellung von $G.$ Man verwendet auch oft die Darstellungsräume anstatt der Darstellungsabbildung und schreibt $V={\text{Ind}}_{H}^{G}(W)$ bzw. kurz ${\text{Ind}}(W),$ falls die Darstellung $V$ von $W$ induziert ist.

Alternative Beschreibung der induzierten Darstellung
Über die Gruppenalgebra erhalten wir eine alternative Beschreibung der induzierten Darstellung:
Sei $G$ eine Gruppe, $V$ ein $\mathbb {C} [G]-$Modul und $W$ ein $\mathbb {C} [H]-$Untermodul von $V$ zur Untergruppe $H$ von $G.$ Dann heißt $V$ von $W$ induziert, falls $V=\mathbb {C} [G]\otimes _{\mathbb {C} [H]}W,$ wobei $G$ auf dem ersten Faktor operiert: $s\cdot (e_{t}\otimes w)=e_{st}\otimes w$ für alle $s,t\in G,w\in W.$

Eigenschaften

Die in diesem Abschnitt vorgestellten Ergebnisse werden ohne Beweis präsentiert. Diese können in [1] und [2] nachgelesen werden.

Eindeutigkeit und Existenz der induzierten Darstellung
Sei $(\theta ,W_{\theta })$ eine lineare Darstellung einer Untergruppe $H$ von $G.$ Dann existiert eine lineare Darstellung $(\rho ,V_{\rho })$ von $G,$ die von $(\theta ,W_{\theta })$ induziert wird und diese ist bis auf Isomorphie eindeutig.

Transitivität der Induktion
Sei $W$ eine Darstellung von $H.$
Für eine aufsteigende Kette von Gruppen $H\leq G\leq K$ gilt

${\text{Ind}}_{G}^{K}({\text{Ind}}_{H}^{G}(W))\cong {\text{Ind}}_{H}^{K}(W).$

Lemma
Sei $(\rho ,V_{\rho })$ von $(\theta ,W_{\theta })$ induziert und sei $\rho ':G\to {\text{GL}}(V')$ eine lineare Darstellung von $G$ und sei $F:W_{\theta }\to V'$ eine lineare Abbildung mit der Eigenschaft, dass $F\circ \theta (t)=\rho '(t)\circ F$ für alle $t\in G.$ Dann existiert eine eindeutig bestimmte lineare Abbildung $F':V_{\rho }\to V',$ die $F$ fortsetzt und für die $F'\circ \rho (s)=\rho '(s)\circ F'$ für alle $s\in G$ gilt.
D.h. wenn man $V'$ als $\mathbb {C} [G]-$Modul auffasst, gilt: ${\text{Hom}}^{H}(W_{\theta },V')\cong {\text{Hom}}^{G}(V_{\rho },V'),$ wobei ${\text{Hom}}^{G}(V_{\rho },V')$ den Vektorraum aller $\mathbb {C} [G]-$Homomorphismen von $V_{\rho }$ nach $V'$ bezeichnet. Gleiches gilt für ${\text{Hom}}^{H}(W_{\theta },V').$

Induktion auf Klassenfunktionen
Wie bei Darstellungen können wir auch, über sog. Induktion, aus Klassenfunktionen auf einer Untergruppe eine Klassenfunktion auf der großen Gruppe erhalten.
Sei $\varphi$ eine Klassenfunktion auf $H.$ Definiere die Funktion $\varphi '$ auf $G$ durch

$\varphi '(s)={\frac {1}{|H|}}\sum _{t\in G \atop t^{-1}st\in H}^{}\varphi (t^{-1}st).$

Wir sagen, $\varphi '$ ist von $\varphi$ induziert und schreiben ${\text{Ind}}_{H}^{G}(\varphi )=\varphi '$ oder ${\text{Ind}}(\varphi )=\varphi '.$

Proposition
Die Funktion ${\text{Ind}}(\varphi )$ ist eine Klassenfunktion auf $G.$ Falls $\varphi$ der Charakter einer Darstellung $W$ von $H$ ist, dann ist ${\text{Ind}}(\varphi )$ der Charakter der induzierten Darstellung ${\text{Ind}}(W)$ von $G.$

Lemma
Falls $\psi$ eine Klassenfunktion auf $H$ ist und $\varphi$ eine Klassenfunktion auf $G,$ gilt:

${\text{Ind}}(\psi \cdot {\text{Res}}\varphi )=({\text{Ind}}\psi )\cdot \varphi .$

Satz
Sei $(\rho ,V_{\rho })$ die durch die Darstellung $(\theta ,W_{\theta })$ der Untergruppe $H$ induzierte Darstellung von $G$ und seien $\chi _{\rho },\chi _{\theta }$ die korrespondierenden Charaktere. Sei $R$ ein Vertretersystem von $G/H.$ Für jedes $t\in G$ gilt:

$\chi _{\rho }(t)=\sum _{r\in R, \atop r^{-1}tr\in H}^{}\chi _{\theta }(r^{-1}tr)={\frac {1}{|H|}}\sum _{s\in G, \atop s^{-1}ts\in H}^{}\chi _{\theta }(s^{-1}ts).$

Frobeniusreziprozität

Die Frobeniusreziprozität sagt uns einerseits, dass die Abbildungen ${\text{Res}}$ und ${\text{Ind}}$ adjungiert zu einander 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.$

Frobeniusreziprozität

Sei $\psi \in \mathbb {C} _{\text{class}}(H)$ und sei $\varphi \in \mathbb {C} _{\text{class}}(G),$ dann gilt

$\langle \psi ,{\text{Res}}\varphi \rangle _{H}=\langle {\text{Ind}}\psi ,\varphi \rangle _{G}$

Die Aussage gilt ebenso für das Skalarprodukt.

Beweis
Da sich jede Klassenfunktion als Linearkombination irreduzibler Charaktere schreiben lässt, und $\langle \cdot ,\cdot \rangle$ eine Bilinearform ist, können wir ohne Einschränkung $\psi$ bzw. $\varphi$ als Charakter einer irreduziblen Darstellung von $H$ in $W$ bzw. von $G$ in $V$ annehmen. Wir setzen $\psi (s)=0$ für $s\in G\setminus H.$
Dann gilt:

${\begin{aligned}\langle {\text{Ind}}(\psi ),\varphi \rangle _{G}&={\frac {1}{|G|}}\sum _{t\in G}{\text{Ind}}(\psi )(t)\varphi (t^{-1})\\&={\frac {1}{|G|}}\sum _{t\in G}{\frac {1}{|H|}}\sum _{s\in G \atop s^{-1}ts\in H}\psi (s^{-1}ts)\varphi (t^{-1})\\&={\frac {1}{|G|}}{\frac {1}{|H|}}\sum _{t\in G}\sum _{s\in G}\psi (s^{-1}ts)\varphi ((s^{-1}ts)^{-1})\\&={\frac {1}{|G|}}{\frac {1}{|H|}}\sum _{t\in G}\sum _{s\in G}\psi (t)\varphi (t^{-1})\\&={\frac {1}{|H|}}\sum _{t\in G}\psi (t)\varphi (t^{-1})\\&={\frac {1}{|H|}}\sum _{t\in H}\psi (t)\varphi (t^{-1})\\&={\frac {1}{|H|}}\sum _{t\in H}\psi (t){\text{Res}}(\varphi )(t^{-1})\\&=\langle \psi ,{\text{Res}}(\varphi )\rangle _{H}\end{aligned}}$

Dabei haben wir nur die Definition der Induktion auf Klassenfunktionen eingesetzt und die Eigenschaften der Charaktere ausgenutzt. $\Box$

Alternativer Beweis
In der alternativen Beschreibung der induzierten Darstellung über die Gruppenalgebra, ist die Frobeniusreziprozität ein Spezialfall der Gleichung für den Wechsel zwischen Ringen:

${\text{Hom}}_{\mathbb {C} [H]}(W,U)={\text{Hom}}_{\mathbb {C} [G]}(\mathbb {C} [G]\otimes _{\mathbb {C} [H]}W,U).$

Diese Gleichung ist per definitionem äquivalent zu

$\langle W,{\text{Res}}(U)\rangle _{H}=\langle W,U\rangle _{H}=\langle {\text{Ind}}(W),U\rangle _{G}.$

Und da diese Bilinearform mit der Bilinearform auf den dazugehörigen Charakteren übereinstimmt, folgt der Satz ganz ohne Nachrechnen. $\Box$

Kriterium von Mackey

George Mackey hat ein Kriterium aufgestellt um die Irreduzibilität von induzierten Darstellungen zu überprüfen.
Dazu benötigen wir zuerst noch eine Definition und einige Festlegungen bezüglich der Notation.

Zwei Darstellungen $V_{1}$ und $V_{2}$ einer Gruppe $G$ heißen disjunkt, falls sie keine irreduzible Komponente gemeinsam haben, d.h. falls $\langle V_{1},V_{2}\rangle =0.$

Sei $G$ eine Gruppe und sei $H$ eine Untergruppe. Definiere $H_{s}=sHs^{-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}}_{s}(\rho )$ von $H_{s}.$ Wir schreiben ${\text{Res}}_{s}(\rho )$ für ${\text{Res}}_{H_{s}}(\rho ).$ Außerdem definiert $\rho$ eine weitere Darstellung von $H_{s}$ definiert durch $\rho ^{s}(t)=\rho (s^{-1}ts).$ Diese beiden Darstellungen sollten nicht verwechselt werden.

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 [1].

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.$\Box$

Anwendungen auf spezielle Gruppen

In diesem Abschnitt werden einige Anwendungen der bisher vorgestellten Theorie auf normale Untergruppen und auf eine besondere Gruppe, das semidirekte Produkt einer Untergruppe mit einem abelschen Normalteiler, vorgestellt.

Proposition
Sei $A$ eine normale Untergruppe der Gruppe $G$ und sei $\rho :G\to {\text{GL}}(V)$ eine irreduzible Darstellung von $G.$ Dann gilt:

• entweder gibt es eine echte Untergruppe $H$ von $G,$ die $A$ enthält und eine irreduzible Darstellung $\eta$ von $H,$ die $\rho$ induziert
• oder die Einschränkung von $\rho$ auf $A$ ist isotypisch.

Falls $A$ abelsch ist, ist der zweite Punkt der obigen Proposition äquivalent dazu, dass $\rho (a)$ eine Homothetie ist für jedes $a\in A.$

Wir erhalten außerdem das folgende
Korollar
Sei $A$ eine abelsche, normale Untergruppe von $G$ und $\tau$ eine beliebige irreduzible Darstellung von $G.$ Sei $(G:A)$ der Index von $A$ in $G.$
Dann gilt: ${\text{deg}}(\tau )|(G:A).$
Ist $A$ eine abelsche Untergruppe von $G$ (nicht unbedingt normal), so gilt im Allgemeinen nicht mehr ${\text{deg}}(\tau )|(G:A),$ jedoch gilt weiterhin ${\text{deg}}(\tau )\leq (G:A).$

Im Folgenden zeigen wir, wie alle irreduziblen Darstellungen einer Gruppe $G,$ die semidirektes Produkt eines abelschen Normalteilers $A\vartriangleleft G$ und einer Untergruppe $H\leq G$ sind, klassifiziert werden.

Seien im Folgenden $A$ und $H$ Untergruppen der Gruppe $G,$ wobei $A$ normal ist. Im folgenden nehmen wir an, dass $A$ abelsch ist, und $G$ das semidirekte Produkt von $H$ und $A,$ also $G=A\rtimes H$.
Nun klassifizieren wir die irreduziblen Darstellungen einer solchen Gruppe $G,$ indem wir zeigen, dass die irreduziblen Darstellungen von $G$ aus bestimmten Untergruppen von $H$ konstruiert werden können. Dies ist die Methode der kleinen Gruppen von Wigner und Mackey.

Da $A$ abelsch ist, haben die irreduziblen Darstellungen von $A$ Grad $1$ und die zugehörigen Charaktere bilden eine Gruppe $\mathrm {X} ={\text{Hom}}(A,\mathbb {C} ^{\times }).$ Die Gruppe $G$ operiert auf $\mathrm {X}$ durch $(s\chi )(a)=\chi (s^{-1}as)$ für $s\in G,\chi \in \mathrm {X} ,a\in A.$
Sei $(\chi _{j})_{j\in \mathrm {X} /H}$ ein Vertretersystem der Bahn von $H$ in $\mathrm {X} .$ Für jedes $j\in \mathrm {X} /H$ sei $H_{j}=\{t\in H:t\chi _{j}=\chi _{j}\}.$ Dies ist eine Untergruppe von $H.$ Sei $G_{j}=A\cdot H_{j}$ die korrespondierende Untergruppe von $G.$ Dann dehnen wir die Funktion $\chi _{j}$ auf $G_{j}$ aus, in dem wir $\chi _{j}(at)=\chi _{j}(a)$ für $a\in A,t\in H_{j}$ setzen.
Damit ist $\chi _{j}$ eine Klassenfunktion auf $G_{j}.$ Da $t\chi _{j}=\chi _{j}$ für alle $t\in H_{j},$ kann man zeigen, dass $\chi _{j}$ außerdem ein Gruppenhomomorphismus von $G_{j}$ nach $\mathbb {C} ^{\times }$ ist. Es handelt sich also um eine Darstellung von $G_{j}$ vom Grad $1,$ die ihrem eigenen Charakter entspricht.
Sei nun $\rho$ eine irreduzible Darstellung von $H_{j}.$ Dann erhält man eine irreduzible Darstellung ${\tilde {\rho }}$ von $G_{j},$ in dem man $\rho$ mit der kanonischen Projektion $G_{j}\to H_{j}$ verknüpft. Schließlich bilden wir das Tensorprodukt von $\chi _{j}$ und ${\tilde {\rho }}$ und erhalten eine irreduzible Darstellung $\chi _{j}\otimes {\tilde {\rho }}$ von $G_{j}.$
Um nun die Klassifizierung zu zeigen betrachten wir die Darstellung $\theta _{j,\rho }$ von $G,$ die von $\chi _{j}\otimes {\tilde {\rho }}$ induziert ist.
Damit erhalten wir folgendes Ergebnis:

Proposition

• $\theta _{j,\rho }$ ist irreduzibel.
• Falls $\theta _{j,\rho }$ und $\theta _{j',\rho '}$ isomorph sind, dann ist $j=j'$ und $\rho$ ist isomorph zu $\rho '.$
• Jede irreduzible Darstellung von $G$ ist isomorph zu einer der $\theta _{j,\rho }.$

Für den Beweis der Proposition wird unter anderem das Kriterium von Mackey und eine Folgerung aus der Frobeniusreziprozität benötigt. Mehr Details finden sich in [1].
D.h. wir haben alle irreduziblen Darstellungen der Gruppe $G=A\rtimes H$ klassifiziert.

Darstellungsring

Der Darstellungsring von $G$ wird definiert als die abelsche Gruppe

$R(G)=\{\sum _{j=1}^{m}a_{j}\tau _{j}|a_{j}\in \mathbb {Z} ,\tau _{j},j=1,...,m\,\,{\text{ alle}}{\text{ irreduzible}}{\text{ Darstellungen}}{\text{ von }}G\,\,{\text{ bis}}{\text{ auf}}{\text{ Isomorphie}}\},$

die mit Multiplikation durch das Tensorprodukt zum Ring wird. Die Elemente von $R(G)$ heißen virtuelle Darstellungen.

Der Charakter definiert einen Ringhomomorphismus in die Menge aller Klassenfunktionen auf $G$ mit komplexen Werten

${\begin{aligned}\chi :R(G)&\to \mathbb {C} _{\text{class}}(G)\\\sum a_{j}\tau _{j}&\mapsto \sum a_{j}\chi _{j},\end{aligned}}$

wobei $\chi _{j}$ die zu $\tau _{j}$ gehörigen irreduziblen Charaktere sind.

Da eine Darstellung durch seinen Charakter festgelegt ist, ist $\chi$ injektiv. Die Bilder von $\chi$ heißen virtuelle Charaktere.
Da die irreduziblen Charaktere eine Orthonormalbasis von $\mathbb {C} _{\text{class}}$ bilden, induziert $\chi$ einen Isomorphismus

$\chi _{\mathbb {C} }:R(G)\otimes \mathbb {C} \longrightarrow \mathbb {C} _{\text{class}}(G),$

in dem man die Abbildung auf einer Basis aus reinen Tensoren $(\tau _{j}\otimes 1)_{j=1,...m}$ definiert durch $\chi _{\mathbb {C} }(\tau _{j}\otimes 1)=\chi _{j}$ bzw. $\chi _{\mathbb {C} }(\tau _{j}\otimes z)=z\chi _{j},$ und dann bilinear fortsetzt.

Wir schreiben ${\mathcal {R}}^{+}(G)$ für die Menge aller Charaktere auf $G$ und ${\mathcal {R}}(G)$ für die von ${\mathcal {R}}^{+}(G)$ erzeugte Gruppe, d.h. für die Menge aller Differenzen von zwei Charakteren. Es gilt

${\mathcal {R}}(G)=\mathbb {Z} \chi _{1}\oplus \cdots \oplus \mathbb {Z} \chi _{m}\,\,\,{\text{und}}\,\,\,{\mathcal {R}}(G)={\text{Im}}(\chi )=\chi (R(G)).$

Damit gilt also $R(G)\cong {\mathcal {R}}(G),$ also entsprechen sich virtuelle Charaktere und virtuelle Darstellungen in optimaler Weise.

Ein Element von ${\mathcal {R}}(G)$ heißt virtueller Charakter. Da das Produkt zweier Charaktere einen Charakter liefert, ist ${\mathcal {R}}(G)$ ein Unterring des Rings $\mathbb {C} _{\text{class}}(G)$ aller Klassenfunktionen auf $G.$ Da die $\chi _{i}$ eine Basis von $\mathbb {C} _{\text{class}}(G)$ bilden, erhalten wir, wie schon für $R(G),$ die Isomorphie $\mathbb {C} \otimes {\mathcal {R}}(G)\cong \mathbb {C} _{\text{class}}(G).$

Sei $H$ eine Untergruppe von $G,$ so definiert die Einschränkung einen Ringhomomorphismus

${\begin{aligned}{\mathcal {R}}(G)&\to {\mathcal {R}}(H)\\\phi &\mapsto \phi |_{H},\end{aligned}}$

den wir mit ${\text{Res}}_{H}^{G}$ oder ${\text{Res}}$ bezeichnen. Ebenso definiert die Induktion auf Klassenfunktionen einen Homomorphismus abelscher Gruppen $\textstyle {\mathcal {R}}(H)\to {\mathcal {R}}(G),$ der mit ${\text{Ind}}_{H}^{G}$ bzw. ${\text{Ind}}$ bezeichnet wird.
Nach der Frobeniusreziprozität sind die beiden Homomorphismen adjungiert zueinander bezüglich der bilinearen Formen $\langle \cdot ,\cdot \rangle _{H}$ und $\langle \cdot ,\cdot \rangle _{G}.$ Weiterhin zeigt die Formel

${\text{Ind}}(\varphi \cdot {\text{Res}}(\psi ))={\text{Ind}}(\varphi )\cdot \psi ,$

dass das Bild von ${\text{Ind}}:{\mathcal {R}}(H)\to {\mathcal {R}}(G)$ ein Ideal des Ringes ${\mathcal {R}}(G)$ ist.
Analog kann man über die Einschränkung von Darstellungen die Abbildung ${\text{Res}}$ und über die Induktion die Abbildung ${\text{Ind}}$ für $R(G)$ definieren. Mit der Frobeniusreziprozität erhält man dann, dass die Abbildungen adjungiert zueinander sind und dass das Bild ${\text{Im}}({\text{Ind}})={\text{Ind}}(R(H))$ ein Ideal in $R(G)$ ist.

Falls $A$ ein kommutativer Ring ist, lassen sich die Homomorphismen ${\text{Res}}$ und ${\text{Ind}}$ zu $A-$linearen Abbildungen fortsetzen:

${\begin{aligned}A\otimes {\text{Res}}:A\otimes R(G)&\to A\otimes R(H)\\(a\otimes \sum a_{i}\tau _{i})&\mapsto (a\otimes \sum a_{i}{\text{Res}}(\tau _{i}))\end{aligned}}$

${\begin{aligned}A\otimes {\text{Ind}}:A\otimes R(H)&\to A\otimes R(G)\\(a\otimes \sum a_{j}\eta _{j})&\mapsto (a\otimes \sum a_{j}{\text{Ind}}(\eta _{j}))\end{aligned}}$

wobei $\eta _{j}$ die irreduziblen Darstellungen von $H$ bis auf Isomorphie sind.

Mit $A=\mathbb {C}$ erhalten wir insbesondere, dass ${\text{Ind}}$ und ${\text{Res}}$ Homomorphismen zwischen $\mathbb {C} _{\text{class}}(G)$ und $\mathbb {C} _{\text{class}}(H)$ liefern.

Seien $G_{1}$ und $G_{2}$ zwei Gruppen mit jeweiligen Darstellungen $(\rho _{1},V_{\rho _{1}})$ und $(\rho _{2},V_{\rho _{2}}),$ dann ist $\rho _{1}\otimes \rho _{2}$ eine Darstellung des direkten Produkts $G_{1}\times G_{2},$ wie in einem früheren Abschnitt gezeigt wurde. In diesem Zusammenhang wurde auch klar, dass alle irreduziblen Darstellungen von $G_{1}\times G_{2}$ genau die Darstellungen $\eth _{1}\otimes \eta _{2}$ sind, für die $\eta _{1},\eta _{2}$ irreduzible Darstellungen von $G_{1}$ bzw. $G_{2}$ sind. Dies überträgt sich auf den Darstellungsring als Identität $R(G_{1}\times G_{2})=R(G_{1})\otimes _{\mathbb {Z} }R(G_{2}),$ wobei $R(G_{1})\otimes _{\mathbb {Z} }R(G_{2})$ das Tensorprodukt der Darstellungsringe als $\mathbb {Z} -$Moduln ist.

Satz von Artin

Satz
Sei $X$ eine Familie von Untergruppen einer endlichen Gruppe $G.$ Sei ${\text{Ind}}:\bigoplus _{H\in X}{\mathcal {R}}(H)\to {\mathcal {R}}(G)$ der Homomorphismus, definiert durch die Familie der ${\text{Ind}}_{H}^{G},\,\,H\in X.$ Dann sind die folgenden Eigenschaften äquivalent:

• Der Kokern von ${\text{Ind}}:\bigoplus _{H\in X}{\mathcal {R}}(H)\to {\mathcal {R}}(G)$ ist endlich.
• $G$ ist die Vereinigung der Konjugate der zu $X$ gehörenden Untergruppen, also $G=\bigcup _{H\in X \atop s\in G}sHs^{-1}.$
  

Da ${\mathcal {R}}(G)$ als Gruppe endlich erzeugt ist, kann man den ersten Punkt wie folgt umformulieren:

• Für jeden Charakter $\chi$ von $G$ existieren virtuelle Charaktere $\chi _{H}\in {\mathcal {R}}(H),\,H\in X$ und eine ganze Zahl $d\geq 1,$ sodass $d\cdot \chi =\sum _{H\in X}{\text{Ind}}_{H}^{G}(\chi _{H}).$

Der Satz gilt analog für die Ringe $R(H)$ und $R(G),$ da $R(G)\cong {\mathcal {R}}(G).$

Dieser Satzes wird in [1] bewiesen.

Korollar
Jeder Charakter von $G$ ist eine rationale Linearkombination von Charakteren, die von Charakteren zyklischer Untergruppen von $G$ induziert werden.

Dies folgt sofort aus dem Satz von Artin, da $G$ die Vereinigung aller Konjugate seiner zyklischen Untergruppen ist.

Satz von Brauer

Zu erst benötigen wir einige Definitionen:

Eine Gruppe heißt $p-$elementar, falls sie das direkte Produkt einer zyklischen Gruppe von Primzahl-Ordnung $p$ mit einer $p-$Gruppe ist. Eine Untergruppe von $G$ heißt elementar, falls sie $p-$elementar für mindestens eine Primzahl $p$ ist.

Eine Darstellung von $G$ heißt monomial, falls sie von einer Grad$-1-$Darstellung einer Untergruppe von $G$ induziert ist.

Satz von Brauer

Jeder Charakter von $G$ ist eine ganzzahlige Linearkombination von Charakteren, die von Charakteren elementarer Untergruppen induziert werden.

Ein Beweis und eine ausführlichere Erläuterung der von Brauer aufgestellten Theorie findet sich in [1] und [6].

Da $p-$elementare Gruppen nilpotent und damit superauflösbar sind, kann folgender Satz aus [1] angewendet werden:

Satz
Sei $G$ eine superauflösbare Gruppe. Dann ist jede irreduzible Darstellung von $G$ induziert von einer Darstellung von Grad $1$ einer Untergruppe von $G.$ D.h. jede irreduzible Darstellung von $G$ ist monomial.

Damit erhalten wir ein Resultat aus dem Satz von Brauer:

Satz

Jeder Charakter von $G$ ist eine ganzzahlige Linearkombination von monomialen Charakteren.

Reelle Darstellungen

Für Beweise und mehr Informationen zu Darstellungen über allgemeinen Unterkörpern von $\mathbb {C}$ siehe [2].

Falls eine Gruppe $G$ auf einem reellen Vektorraum $V_{0}$ operiert, dann heißt die korrespondierende Darstellung auf dem Vektorraum $V=V_{0}\otimes _{\mathbb {R} }\mathbb {C}$ reell.
Der Vektorraum $V=V_{0}\otimes _{\mathbb {R} }\mathbb {C}$ ist ein komplexer Vektorraum, auch genannt die Komplexifizierung von $V_{0}.$ Diese korrespondierende Darstellung ist gegeben durch $s.(v_{0}\otimes z)=(s.v_{0})\otimes z$ für alle $s\in G,v_{0}\in V_{0},z\in \mathbb {C} .$
Für eine reelle Darstellung $\rho$ ist die lineare Abbildung $\rho (s)$ reellwertig für alle $s\in G.$ Damit folgt, dass der Charakter einer reellen Darstellung stets auch reellwertig ist.
Allerdings ist nicht jede Darstellung, die einen reellwertigen Charakter hat, reell. Um sich das klar zu machen, sei $G\subset {\text{SU}}(2)$ eine endliche nicht abelsche Untergruppe der Gruppe

$SU(2)=\{{\begin{pmatrix}a&b\\-{\overline {b}}&{\overline {a}}\end{pmatrix}}:\,\,|a|^{2}+|b|^{2}=1\}.$

Dann operiert $G$ auf $V=\mathbb {C} ^{2}.$ Da die Spur einer Matrix aus ${\text{SU}}(2)$ reell ist, ist der Charakter der Darstellung reellwertig.
Angenommen $\rho$ wäre eine reelle Darstellung, dann dürfte $G$ nur aus reellwertigen Matrizen bestehen und wäre somit eine Untergruppe von ${\text{SU}}(2)\cap {\text{GL}}_{2}(\mathbb {R} )={\text{SO}}(2)=S^{1},$ der Drehgruppe. Diese ist abelsch, also wäre auch $G$ abelsch. Wir hatten aber $G$ als nicht abelsch gewählt.
Nun müssen wir noch zeigen, dass eine nicht abelsche endliche Untergruppe von ${\text{SU}}(2)$ existiert. Um eine solche Gruppe zu finden, beachte, dass man ${\text{SU}}(2)$ mit den Einheiten der Quaternionen identifizieren kann. Wir setzen nun $G=\{\pm 1,\pm i,\pm j,\pm ij\}.$ Gebe nun eine zweidimensionale Darstellung von $G$ an, die nicht reellwertig ist, deren Charakter aber reellwertig ist:
Sei $\rho :G\to {\text{GL}}_{2}(\mathbb {C} )$ ein Gruppenhomomorphismus festgelegt durch:

$\rho (1)={\text{E}}_{2},\rho (-1)=-{\text{E}}_{2}$

$\rho (i)={\begin{pmatrix}i&0\\0&-i\end{pmatrix}},\rho (j)={\begin{pmatrix}0&i\\i&0\end{pmatrix}}.$

Dann ist das Bild von $\rho$ nicht reellwertig, aber Teilmenge von ${\text{SU}}(2)$ und damit ist der Charakter der Darstellung reell.

Lemma
Eine irreduzible Darstellung $V$ von $G$ ist genau dann reell, wenn es eine nicht-ausgeartete symmetrische Bilinearform $B$ auf $V\times V$ gibt, die von $G$ erhalten wird.

Eine irreduzible Darstellung von $G$ auf einem Vektorraum über $\mathbb {R}$ kann bei Ausdehnung des Grundkörpers auf $\mathbb {C}$ reduzibel werden. Ein Beispiel ist die irreduzible Darstellung der zyklischen Gruppe $\mathbb {Z} /m\mathbb {Z}$ nach $\mathbb {R} ^{2},$ gegeben durch

$k\mapsto {\begin{pmatrix}{\text{cos}}({\frac {2\pi ik}{m}})&{\text{sin}}({\frac {2\pi ik}{m}})\\-{\text{sin}}({\frac {2\pi ik}{m}})&{\text{cos}}({\frac {2\pi ik}{m}})\end{pmatrix}},$

die über $\mathbb {C}$ reduzibel wird.
Das bedeutet, dass man durch die Klassifikation aller irreduziblen Darstellungen über $\mathbb {C} ,$ die reell sind, noch nicht alle irreduziblen reellen Darstellungen klassifiziert hat.
Man erhält jedoch folgendes:
Sei $V_{0}$ ein reeller Vektorraum, auf dem $G$ irreduzibel operiert, $V=V_{0}\otimes \mathbb {C}$ die korrespondierende reelle Darstellung von $G.$ Falls $V$ nicht irreduzibel ist, hat es genau zwei irreduzible Faktoren und diese sind konjugierte komplexe Darstellungen von $G.$

Definition
Eine quaternionische Darstellung ist eine (komplexe) Darstellung $V,$ die einen $G-$invarianten Homomorphismus $J:V\to V$ besitzt, der antilinear ist und $J^{2}=-{\text{Id}}$ erfüllt.
Somit definiert eine schiefsymmetrische nicht-ausgeartete $G-$invariante Bilinearform eine quaternionische Struktur auf $V.$

Satz
Eine irreduzible Darstellung $V$ ist genau eine der folgenden:

1. komplex: $\chi _{V}$ ist nicht reellwertig und $V$ hat keine $G-$invariante nicht-ausgeartete Bilinearform
2. reell: $V=V_{0}\otimes \mathbb {C} ,$ eine reelle Darstellung; $V$ hat eine $G-$invariante symmetrische nicht-ausgeartete Bilinearform
3. quaternionisch: $\chi _{V}$ ist reell, aber $V$ ist nicht reell; $V$ hat eine $G$ invariante schiefsymmetrische nicht-ausgeartete Bilinearform.

Ausblick - Kompakte Gruppen

Die Theorie der Darstellungen kompakter Gruppen lässt sich in gewissen Maßen auf lokalkompakte Gruppen ausweiten. In diesem Zusammenhang entfaltet die Darstellungstheorie große Bedeutung für die Harmonische Analyse und die Untersuchung automorpher Formen. Für genauere Einblicke, Beweise und weiter reichende Informationen als in diesem kurzen Überblick gegeben werden, können [4] und [5] herangezogen werden.

Definition und Eigenschaften

Eine topologische Gruppe ist eine Gruppe mit einer Topologie, bezüglich der die Gruppenverknüpfung und die Inversenbildung stetig sind. Eine solche Gruppe heißt kompakt, falls jede in der Topologie offene Überdeckung von $G$ eine endliche Teilüberdeckung besitzt. Abgeschlossene Untergruppen einer kompakten Gruppe sind wieder kompakt.

Sei $G$ eine kompakte Gruppe und sei $V$ ein endlich dimensionaler $\mathbb {C} -$Vektorraum. Eine lineare Darstellung von $G$ nach $V$ ist ein stetiger Gruppenhomomorphismus $\rho :G\to {\text{GL}}(V),$ d.h. $\rho (s)v$ ist eine stetige Funktion in den zwei Variablen $s\in G,v\in V.$
Eine lineare Darstellung von $G$ in einen Banachraum $V$ wird definiert als stetiger Gruppenhomomorphismus von $G$ in die Menge aller bijektiven, beschränkten linearen Operatoren auf $V$ mit stetigem Inversem. Da $\pi (s)^{-1}=\pi (s^{-1})$ kann auf die letzte Forderung verzichtet werden. Ab jetzt werden wir uns besonders mit Darstellungen kompakter Gruppen in Hilberträumen beschäftigen.

Wie bei endlichen Gruppen kann man die Gruppenalgebra und die Faltungsalgebra definieren. Allerdings liefert die Gruppenalgebra im Falle nicht-endlicher Gruppen keine hilfreichen Informationen, da die Stetigkeitsbedingung bei der Bildung verloren geht. Stattdessen nimmt die Faltungsalgebra $L^{1}(G)$ ihren Platz ein.

Die meisten Eigenschaften von Darstellungen endlicher Gruppen lassen sich mit entsprechenden Änderungen auf kompakte Gruppen übertragen. Dafür benötigen wir eine Entsprechung für die Summation über einer endlichen Gruppe:

Existenz und Eindeutigkeit des Haarmaßes auf $G$
Auf einer kompakten Gruppe $G$ existiert genau ein Maß $dt,$ sodass:

• $\int _{G}^{}f(t)dt=\int _{G}f(st)dt$ für alle $s\in G,$ d.h. das Maß ist linksinvariant.
• $\int _{G}dt=1,$ also die gesamte Gruppe hat Maß $1.$

Ein solches linksinvariantes, normiertes Maß heißt Haarmaß der Gruppe $G.$
Da $G$ kompakt ist, kann man zeigen, dass dieses Maß auch rechtsinvariant ist, d.h. es gilt zusätzlich

• $\int _{G}^{}f(t)dt=\int _{G}f(ts)dt$ für alle $s\in G.$

Auf einer endlichen Gruppe ist das Haarmaß mit der Normierungseigenschaft von oben gegeben durch $dt(s)={\frac {1}{|G|}}$ für alle $s\in G.$

Alle Definitionen zu Darstellungen endlicher Gruppen, die im Abschnitt Eigenschaften angegeben werden, gelten auch für Darstellungen kompakter Gruppen. Es gibt einige wenige Modifizierungen:
Für eine Unterdarstellung benötigt man nun einen abgeschlossenen Unterraum. Bei endlich dimensionalen Darstellungsräumen wird dies nicht gefordert, da in diesem Falle jeder Unterraum abgeschlossen ist. Desweiteren heißen zwei Darstellungen $\rho ,\pi$ einer kompakten Gruppe $G$ äquivalent, falls es einen linearen Operator $T$ zwischen den jeweiligen Darstellungsräumen gibt, der stetig und invertierbar ist, und dessen Inverses ebenfalls stetig ist und der $T\rho (s)=\pi (s)T$ für alle $s\in G$ erfüllt.
Ist $T$ unitär, so heißen die beiden Darstellungen unitär äquivalent.
Um ein $G-$invariantes Skalarprodukt aus einem nicht invarianten zu erhalten, verwendet man nun nicht die Summe über $G,$ sondern das Integral. Ist $(\cdot |\cdot )$ ein Skalarprodukt auf einem Hilbertraum $V,$ das bezüglich der Darstellung $\rho$ von $G$ nicht invariant ist, so bildet

$(v|u)_{\rho }=\int _{G}(\rho (t)v|\rho (t)u)dt$

ein $G-$invariantes Skalarprodukt auf $V,$ auf Grund der Haarmaßeigenschaften von $dt.$
Damit können Darstellungen auf Hilberträumen ohne Einschränkung als unitär angesehen werden.

Sei $G$ eine kompakte Gruppe und sei $s\in G.$ Auf dem Hilbertraum $L^{2}(G)$ der quadratisch integrierbaren Funktionen auf $G$ wird der Operator $L_{s}$ definiert durch $L_{s}\Phi (t)=\Phi (s^{-1}t),$ wobei $\Phi \in L^{2}(G),t\in G.$
Die Abbildung $s\mapsto L_{s}$ ist eine unitäre Darstellung von $G.$ Sie heißt die linksreguläre Darstellung. Man kann auch die rechtsreguläre Darstellung definieren. Da das Haarmaß auf $G$ zusätzlich rechtsinvariant ist, ist der Operator $R_{s}$ auf $L^{2}(G)$ gegeben durch $R_{s}\Phi (t)=\Phi (ts).$ Die rechtsreguläre Darstellung ist dann die unitäre Darstellung, die gegeben ist durch $s\mapsto R_{s}.$ Die beiden Darstellungen $s\mapsto L_{s}$ und $s\mapsto R_{s}$ sind dual zueinander.
Falls $G$ nicht endlich ist, haben diese Darstellungen keinen endlichen Grad. Für eine endliche Gruppe sind die links- und rechtsreguläre Darstellung, wie am Anfang definiert, isomorph zu der eben definierten Rechts- bzw. linksregulären Darstellung, da in diesem Fall $L^{2}(G)\cong L^{1}(G)\cong \mathbb {C} [G].$

Konstruktionen und Zerlegungen

Die verschiedenen Konstruktionsmöglichkeiten von neuen Darstellungen aus Gegebenen funktioniert für kompakte Gruppen ebenso wie bei endlichen Gruppen, mit Ausnahme der dualen Darstellung, auf die noch eingegangen wird. Die direkte Summe und das Tensorprodukt mit jeweils endlich vielen Summanden/Faktoren werden jedoch genau gleich definiert wie bei endlichen Gruppen. Dies gilt auch für das symmetrische und alternierende Quadrat. Um auch für kompakte Gruppen das Resultat zu erhalten, dass die irreduziblen Darstellungen des Produkts zweier Gruppen bis auf Isomorphie genau die Tensorprodukte der irreduziblen Darstellungen der einzelnen Gruppen sind, benötigen wir ein Haarmaß auf dem direkten Produkt. Das direkten Produkt zweier kompakter Gruppen $G_{1}\times G_{2}$ liefert mit der Produkttopologie wieder eine kompakte Gruppe. Das Haarmaß auf dieser Gruppe ist gegeben durch das Produkt der Haarmaße auf den einzelnen Gruppen.

Für die duale Darstellung auf kompakten Gruppen benötigen wir den topologischen Dual $V'$ des Vektorraums $V.$ Dies ist der Vektorraum aller stetigen Linearformen auf $V.$ Sei $\pi$ eine Darstellung der kompakten Gruppe $G$ in $V.$ Die duale Darstellung $\pi ':G\to {\text{GL}}(V')$ ist dann definiert durch die Eigenschaft $\langle \pi '(s)v',\pi (s)v\rangle =\langle v',v\rangle :=v'(v)$ für alle $v\in V,v'\in V',s\in G.$ Es ergibt sich damit, dass die duale Darstellung gegeben ist durch $\pi '(s)v'=v'\circ \pi (s^{-1})$ für alle $v'\in V',s\in G.$ Dies ist wieder ein stetiger Gruppenhomomorphismus und damit eine Darstellung.
Auf Hilberträumen gilt: $\pi$ ist genau dann irreduzibel, wenn $\pi '$ irreduzibel ist.

Durch Übertragung der Resultate aus dem Abschnitt Zerlegungen erhalten wir folgende Sätze:

Satz
Jede irreduzible Darstellung $(\tau ,V_{\tau })$ einer kompakten Gruppe $G$ in einen Hilbertraum ist endlich dimensional und es gibt ein Skalarprodukt auf $V_{\tau },$ sodass $\tau$ unitär ist. Dieses Skalarprodukt ist auf Grund der Normiertheit des Haar Maßes eindeutig.
Jede Darstellung einer kompakten Gruppe ist isomorph zu einer direkten Hilbertsumme irreduzibler Darstellungen.

Sei $(\rho ,V_{\rho })$ eine unitäre Darstellung der kompakten Gruppe $G.$ Für eine irreduzible Darstellung $(\tau ,V_{\tau })$ definieren wir wie bei endlichen Gruppen den Isotyp von $\tau$ bzw. die isotypische Komponente in $\rho$ als den Unterraum

$V_{\rho }(\tau )=\sum _{U\subset V_{\rho } \atop U\cong V_{\tau }}U.$

Dies ist die Summe aller invarianten abgeschlossenen Unterräume $U,$ die $G-$isomorph zu $V_{\tau }$ sind.
Man beachte, dass die Isotypen nicht äquivalenter, irreduzibler Darstellungen paarweise orthogonal sind.

Satz

• $V_{\rho }(\tau )$ ist ein abgeschlossener invarianter Unterraum von $V_{\rho }.$
• $V_{\rho }(\tau )$ ist $G-$isomorph zu einer direkten Summe von Kopien von $V_{\tau }.$
• $V_{\rho }$ ist die direkte Hilbertsumme der Isotypen $V_{\rho }(\tau ),$ wobei $\tau$ alle Isomorphieklassen der irreduziblen Darstellungen durchläuft. Diese Zerlegung ist die kanonische Zerlegung.

Die zur kanonischen Zerlegung gehörende Projektion $p_{\tau }:V\to V(\tau ),$ wobei $V(\tau )$ ein Isotyp von $V$ ist, ist bei kompakten Gruppen gegeben durch

$p_{\tau }(v)=n_{\tau }\int _{G}{\overline {\chi _{\tau }(t)}}\rho (t)(v)dt,$

wobei $n_{\tau }={\text{dim}}(V(\tau ))$ und $\chi _{\tau }$ der zur irreduziblen Darstellung $\tau$ gehörige Charakter ist.

Projektionsformel
Für jede Darstellung $(\rho ,V)$ einer kompakten Gruppe $G$ definiere $V^{G}=\{v\in V:\rho (s)v=v\,\,\,\forall s\in G\}.$
Im Allgemeinen ist $\rho (s):V\to V$ nicht $G-$linear. Setze $\textstyle Pv:=\int _{G}\rho (s)vds.$ Die Abbildung $P$ ist definiert als Endomorphismus auf $V$ durch die Eigenschaft

$(\int _{G}\rho (s)vds|w)=\int _{G}(\rho (s)v|w)ds,$

die für das Skalarprodukt des Hilbertraums $V$ gilt.

Dann ist $P$ eine $G-$lineare Abbildung, denn es gilt

${\begin{aligned}(\int _{G}\rho (s)(\rho (t)v)ds|w)&=\int _{G}(\rho (tst^{-1})(\rho (t)v)|w)ds\\&=\int _{G}(\rho (ts)v|w)ds\\&=\int (\rho (t)\rho (s)v|w)ds\\&=(\rho (t)\int _{G}\rho (s)vds|w),\end{aligned}}$

wobei wir die Invarianz des Haarmaßes ausgenutzt haben.

Proposition
Die Abbildung $P$ ist eine Projektion von $V$ nach $V^{G}.$

Falls die Darstellung endlich dimensional ist kann man wie bei endlichen Gruppen die direkte Summe der trivialen Teildarstellungen bestimmen.

Charaktere, Lemma von Schur und das Skalarprodukt

Die Darstellungen kompakter Gruppen betrachtet man im Allgemeinen auf Hilbert- oder Banachräumen. Diese sind meist nicht endlich-dimensional. Es ist also für beliebige Darstellungen kompakter Gruppen nicht sinnvoll von Charakteren zu sprechen. Allerdings kann man sich meist auf den endlich-dimensionalen Fall einschränken:
Da irreduzible Darstellungen kompakter Gruppen endlich-dimensional und mit den Resultaten aus dem ersten Unterkapitel ohne Einschränkung unitär sind, können irreduzible Charaktere analog wie für endliche Gruppen definiert werden.
Wie bei endlichen Gruppen vertragen sich die Charaktere mit den Konstruktionen, solange die konstruierten Darstellungen endlich dimensional bleiben.

Auch für kompakte Gruppen gilt das Lemma von Schur:
Sei $(\pi ,V)$ eine irreduzible unitäre Darstellung einer kompakten Gruppe $G.$ Dann ist jeder beschränkte Operator $T:V\to V$ mit der Eigenschaft $T\circ \pi (s)=\pi (s)\circ T,$ ein skalares Vielfaches der Identität, d.h. es gibt ein $\lambda \in \mathbb {C}$ sodass $T=\lambda {\text{Id}}.$

Auf der Menge $L^{2}(G)$ aller quadratisch integrierbaren Funktionen einer kompakten Gruppe kann man ein Skalarprodukt definieren, durch

$(\Phi |\Psi )=\int _{G}\Phi (t){\overline {\Psi (t)}}dt.$

Ebenso definiert man auf $L^{2}(G)$ für eine kompakten Gruppe $G$ eine Bilinearform durch

$\langle \Phi ,\Psi \rangle =\int _{G}\Phi (t)\Psi (t^{-1})dt.$

Analog zu endlichen Gruppen gelten damit folgende Resultate:

Satz
Sind $\chi ,\chi '$ die Charaktere zweier nicht isomorpher irreduzibler Darstellungen $V,V',$ so gilt

• $(\chi |\chi ')=0.$
• $(\chi |\chi )=1,$ d.h. $\chi$ hat „Norm“ $1.$

Satz
Sei $V$ eine Darstellung von $G.$ Es gelte $V=W_{1}\oplus \cdots \oplus W_{k},$ wobei die $W_{i}$ irreduzibel sind. Da die direkte Summe endlich ist, lässt sich für $V$ durch die Summe der irreduziblen Charaktere ein Charakter $\xi$ definieren. Sei nun $(\tau ,W)$ eine irreduzible Darstellung von $G$ mit Charakter $\chi .$ Dann gilt:
Die Anzahl an Teildarstellungen $W_{i}$ 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:

${\text{dim}}(W)(\xi |\chi )={\text{dim}}(V(\tau ))={\text{dim}}(W)\langle V,W\rangle .$

Satz
Zwei irreduzible Darstellungen mit dem gleichen Charakter sind isomorph.

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.

Zusammen mit dem ersten Satz bilden also die Charaktere irreduzibler Darstellungen von $G$ bezüglich dieses Skalarproduktes ein Orthonormalsystem auf $L^{2}(G).$

Korollar
Jede irreduzible Darstellung $V$ von $G$ ist ${\text{dim}}(V)-$mal in der linksregulären Darstellung enthalten.

Lemma
Sei $G$ eine kompakte Gruppe. Dann sind äquivalent:

• $G$ ist abelsch.
• Alle irreduziblen Darstellungen von $G$ haben Grad $1.$

Orthonormaleigenschaft
Sei $G$ eine Gruppe. Die paarweise nicht isomorphen irreduziblen Charaktere von $G$ bilden eine Orthonormalbasis von $L^{2}(G).$

Dies zeigt man, analog wie bei endlichen Gruppen, in dem man beweist, dass es außer der $0$ keine quadratisch integrierbare Funktion gibt, die auf den irreduziblen Charakteren orthogonal ist.

Wie bei endlichen Gruppen gilt auch: Die Anzahl der irreduziblen Darstellungen einer Gruppe $G$ bis auf Isomorphie entspricht der Anzahl an Konjugationsklassen von $G.$ Allerdings hat eine kompakte Gruppe im Allgemeinen unendlich viele Konjugationsklassen.

Induzierte Darstellungen

Falls $H$ eine abgeschlossene Untergruppe von endlichem Index in der kompakten Gruppe $G$ ist, kann die Definition der induzierten Darstellung wie bei endlichen Gruppen übernommen werden.
Die induzierte Darstellung kann jedoch auch allgemeiner definiert werden, sodass die Definition auch gültig ist, falls der Index von $H$ in $G$ nicht endlich ist.
Sei dazu $(\eta ,V_{\eta })$ eine unitäre Darstellung der abgeschlossenen Untergruppe $H.$ Die stetig induzierte Darstellung ${\text{Ind}}_{H}^{G}(\eta )=(I,V_{I})$ wird wie folgt definiert:
Mit $V_{I}$ bezeichnen wir den Hilbertraum aller messbaren, quadratisch integrierbaren Funktionen $\Phi :G\to V_{\eta }$ mit der Eigenschaft, dass $\Phi (ls)=\eta (l)\Phi (s)$ für alle $l\in H,s\in G.$ Die Norm ist $||\Phi ||_{G}={\text{sup}}_{s\in G}||\Phi (s)||$ und die Darstellung $I$ ist gegeben durch Rechtstranslation: $I(s)\Phi (k)=\Phi (ks).$
Die induzierte Darstellung ist dann wieder eine unitäre Darstellung.
Da $G$ kompakt ist, zerfällt die induzierte Darstellung in die direkte Summe irreduzibler Darstellungen von $G.$ Dabei gilt, dass alle irreduziblen Darstellungen, die zum gleichen Isotyp gehören, mit der Vielfachheit auftreten, die ${\text{dim}}({\text{Hom}}_{G}(V_{\eta },V_{I}))$ entspricht.
Sei $(\rho ,V_{\rho })$ eine Darstellung von $G,$ dann gibt es einen kanonischen Isomorphismus

$T:{\text{Hom}}_{G}(V_{\rho },I_{H}^{G}(\eta ))\to {\text{Hom}}_{H}(V_{\rho }|_{H},V_{\eta }).$

Die Frobeniusreziprozität überträgt sich mit der modifizierten Definition des Skalarproduktes und der Bilinearform auf kompakte Gruppen, wobei der Satz anstatt für Klassenfunktionen, hier für quadratisch integrierbare Funktionen auf $G$ gilt und die Untergruppe $H$ abgeschlossen sein muss.

Satz von Peter-Weyl

Siehe auch: Satz von Peter-Weyl

Ein weiteres wichtiges Resultat zur Darstellungstheorie kompakter Gruppen ist der Satz von Peter-Weyl. Dieser wird üblicher Weise in der Harmonischen Analyse bewiesen, in der er eine zentrale Stelle einnimmt.

Satz von Peter-Weyl
Sei $G$ eine kompakte Gruppe. Für jede irreduzible Darstellung $(\tau ,V_{\tau })$ von $G$ sei $e_{1},...,e_{{\text{dim}}(\tau )}$ eine Orthonormalbasis von $V_{\tau }.$
Definiere die Matrixkoeffizienten $\tau _{k,l}(s)=\langle \tau (s)e_{k},e_{l}\rangle$ für $1\leq k,l\leq {\text{dim}}(\tau ),s\in G.$
Dann ist

$({\sqrt {{\text{dim}}(\tau )}}\tau _{k,l})_{k,l}$

eine Orthonormalbasis von $L^{2}(G).$

Zweite Version des Satzes von Peter-Weyl
Es gibt einen natürlichen $G\times G-$Isomorphismus

$L^{2}(G)\cong _{G\times G}{\widehat {\bigoplus }}_{\tau \in {\hat {G}}}{\text{End}}(V_{\tau })\cong _{G\times G}{\widehat {\bigoplus }}_{\tau \in {\hat {G}}}\tau \otimes \tau ^{*}$

wobei ${\hat {G}}$ die Menge aller irreduziblen Darstellungen von $G$ bis auf Isomorphie bezeichnet und $V_{\tau }$ den zur Darstellung $\tau$ gehörigen Darstellungsraum.

Dieser Isomorphismus bildet ein gegebenes $\Phi \in L^{2}(G)$ ab auf $\sum _{\tau \in {\hat {G}}}\tau (\Phi ),$ wobei

$\tau (\Phi )=\int _{G}\Phi (t)\tau (t)dt\in {\text{End}}(V_{\tau }).$

Auf diese Weise erhalten wir eine Verallgemeinerung der Fourierreihe für Funktionen auf kompakten Gruppen.
Dieser Satz ist lediglich eine Umformulierung der ersten Version.

Einen Beweis dieses Satzes und mehr Informationen zu Darstellungstheorie kompakter Gruppen findet man in [5].

Literatur

• [1] Serre, Jean-Pierre: Linear Representations of Finite Groups. Springer Verlag, New York 1977, ISBN 0-387-90190-6.
• [2] Fulton, William; Harris, Joe: Representation Theory A First Course. Springer-Verlag, New York 1991, ISBN 0-387-97527-6.
• [3] Alperin, J.L.; Bell, Rowen B.: Groups and Represenations Springer-Verlag, New York 1995, ISBN 0-387-94525-3.
• [4] Deitmar, Anton: Automorphe Formen Springer-Verlag 2010, ISBN 978-3-642-12389-4, S.89-93,185-189
• [5] Echterhoff, Siegfried; Deitmar, Anton: Principles of harmonic analysis Springer-Verlag 2009, ISBN 978-0-387-85468-7, S.127-150
• [6] Lang, Serge: Algebra Springer-Verlag, New York 2002, ISBN 0-387-95385-X, S. 663-729