Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 3/kontrolle

Lineare Operationen

Eine Operation einer Gruppe ${}G$ auf einer (geometrischen) Menge ${}M$ ist das gleiche wie ein Gruppenhomomorphismus der Gruppe in die Permutationsgruppe des geometrischen Objektes. Häufig betrachtet man nur solche Operationen, deren zugehörige Permutationen Automorphismen sind, also die relevanten geometrischen Eigenschaften des Objektes respektieren. Bei einer Operation auf einer Mannigfaltigkeit wird man beispielsweise fordern, dass die Automorphismen Diffeomorphismen sind. Wenn das geometrische Objekt ein Vektorraum ist, so interessiert man sich insbesondere für die linearen Automorphismen.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$- Vektorraum. Es sei ${}G$ eine Gruppe. Eine Operation

$\mu \colon G\times V\longrightarrow V$

heißt linear, wenn für jedes ${}\sigma \in G$ die Abbildung

$V\longrightarrow V,\,v\longmapsto \mu (\sigma ,v),$

${}K$- linear ist.

Bei einer linearen Operation sind die Abbildungen ${}\varphi _{\sigma }=\mu (\sigma ,-)$ sogar ${}K$- Automorphismen. Eine lineare Operation ist das gleiche wie ein Gruppenhomomorphismus

$G\longrightarrow \operatorname {GL} _{}{\left(V\right)}.$

Beispiel Referenznummer erstellen

Es sei ${}V$ ein ${}K$- Vektorraum über einem Körper ${}K$. Die allgemeine lineare Gruppe ${}\operatorname {GL} _{}{\left(V\right)}$ operiert in natürlicher Weise linear auf ${}V$. Die Elemente ${}\varphi \in \operatorname {GL} _{}{\left(V\right)}$ sind ja definiert als ${}K$- Automorphismen von ${}V$ in sich und somit ist die Abbildung

$\operatorname {GL} _{}{\left(V\right)}\times V\longrightarrow V,\,(\varphi ,v)\longmapsto \varphi (v),$

wohldefiniert. Da die Verknüpfung auf ${}\operatorname {GL} _{}{\left(V\right)}$ einfach die Hintereinanderschaltung von Abbildungen ist, ergibt sich sofort

${}\varphi (\psi (v))=(\varphi \circ \psi )(v)\,,$

sodass es sich um eine Gruppenoperation handelt. Diese Operation besitzt nur zwei Bahnen, nämlich den Nullpunkt ${}0$ und ${}V\setminus \{0\}$, da es zu zwei von ${}0$ verschiedenen Vektoren ${}v_{1}$ und ${}v_{2}$ stets einen Automorphismus gibt, der ${}v_{1}$ in ${}v_{2}$ überführt.

Beispiel Beispiel 3.3 ändern

Es sei ${}V$ ein ${}K$- Vektorraum über einem Körper ${}K$. Die natürliche lineare Operation der allgemeinen linearen Gruppe ${}\operatorname {GL} _{}{\left(V\right)}$ auf ${}V$, also die Abbildung

$\operatorname {GL} _{}{\left(V\right)}\times V\longrightarrow V,\,(\varphi ,v)\longmapsto \varphi (v),$

induziert für jede Untergruppe ${}G\subseteq \operatorname {GL} _{}{\left(V\right)}$ eine lineare Operation

$G\times V\longrightarrow V,\,(\varphi ,v)\longmapsto \varphi (v).$

Diese einfache Konstruktion beinhaltet eine Vielzahl von interessanten Operationen. Wichtige Untergruppen der ${}\operatorname {GL} _{}{\left(V\right)}$ sind die spezielle lineare Gruppe ${}\operatorname {SL} _{}{\left(V\right)}$ (dazu muss ${}V$ endlichdimensional sein) und alle endlichen Gruppen (wenn die Dimension von ${}V$ hinreichend groß ist). Wenn der Vektorraum weitere Strukturen trägt, beispielsweise eine Bilinearform (beispielsweise ein Skalarprodukt bei ${}K=\mathbb {R}$ oder ${}K={\mathbb {C} }$), so lassen sich weitere wichtige Untergruppen definieren, wie die orthogonale Gruppe ${}\operatorname {O} _{}{\left(V\right)}$ und die eigentliche Isometriegruppe ${}\operatorname {SO} _{}\,(V)$.

Beispiel Beispiel 3.4 ändern

Die symmetrische Gruppe ${}S_{n}$ ist die Gruppe der Permutationen auf der Menge ${}I={\{1,\ldots ,n\}}$, also

${}S_{n}={\left\{\sigma :I\rightarrow I\mid \sigma {\text{ Bijektion}}\right\}}\,$

mit der Hintereinanderschaltung als Verknüpfung. Das neutrale Element ist die Identität. Eine Permutation wird typischerweise als Wertetabelle geschrieben,

${\begin{pmatrix}1&\ldots &n\\\sigma (1)&\ldots &\sigma (n)\end{pmatrix}}.$

${}S_{n}$ ist eine Gruppe mit ${}n!$ Elementen.

Die Permutationsgruppe ${}S_{n}$ operiert als Gruppe von linearen Automorphismen auf ${}K^{n}$ wie folgt: Der ${}i$-te Basisvektor ${}e_{i}$ wird auf ${}e_{\sigma (i)}$ geschickt, also ${}e_{i}\mapsto e_{\sigma (i)}$. Dies definiert nach Satz 12.3 (Mathematik (Osnabrück 2009-2011)) einen linearen Automorphismus

$\sigma \colon K^{n}\longrightarrow K^{n},$

den wir ebenfalls mit ${}\sigma$ bezeichnen. In Matrizenschreibweise wird diese lineare Abbildung durch diejenige Matrix beschrieben, bei der in der ${}i$-ten Spalte in der ${}\sigma (i)$-ten Zeile eine ${}1$ steht, und sonst überall ${}0$. Eine solche Matrix nennt man eine Permutationsmatrix. Wenn ${}E_{ij}$ diejenige Matrix bezeichnet, die genau an der Stelle ${}ij$ (${}i$-te Zeile, ${}j$-te Spalte) eine ${}1$ und sonst überall eine ${}0$ als Eintrag besitzt, so ist die zu ${}\sigma$ gehörende Permutationsmatrix gleich

${}E_{\sigma }=\sum _{j=1}^{n}E_{\sigma (j)j}\,.$

Diese Matrix ist in gewissem Sinn der Graph der Permutation.

Die Menge der Permutationsmatrizen bilden eine endliche Untergruppe der allgemeinen linearen Gruppe ${}\operatorname {GL} _{n}\!{\left(K\right)}$, und die Zuordnung ${}\sigma \mapsto E_{\sigma }$ ist ein Gruppenisomorphismus zwischen der Permutationsgruppe ${}S_{n}$ und dieser endlichen Untergruppe. Nach Beispiel 3.3 operiert die Permutationsgruppe ${}S_{n}$ linear auf dem ${}K^{n}$.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}G$ eine Gruppe, die auf einem ${}K$- Vektorraum ${}V$ linear operiere. Ein Untervektorraum ${}U\subseteq V$ heißt invariant, wenn für alle ${}\sigma \in G$ und alle ${}v\in U$ auch ${}\sigma v\in U$ ist.

Dies kann man auch so ausdrücken, dass jede zu ${}\sigma \in G$ gehörende Abbildung ${}\varphi _{\sigma }$ den Unterraum ${}U$ in sich selbst abbildet. D.h. ${}U$ ist ${}\varphi _{\sigma }$- invariant für jedes ${}\sigma \in V$. Bei endlichdimensionalem ${}V$ ist dann sogar stets

${}\varphi _{\sigma }(U)=U\,.$

Die Operation lässt sich in natürlicher Weise auf einen jeden invarianten Unterraum einschränken. Man nennt diese Räume daher auch einfach ${}G$-Räume.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}G$ eine Gruppe, die auf einem ${}K$- Vektorraum ${}V$ linear operiere. Der Untervektorraum

${\left\{v\in V\mid \sigma v=v{\text{ für alle }}\sigma \in G\right\}}$

heißt der Fixraum der Gruppenoperation.

Der Fixraum ist einfach die Menge aller Fixpunkte der Operation. Er ist ein ${}G$-invarianter Untervektorraum.

Darstellungstheorie

Eine lineare Operation einer Gruppe auf einem Vektorraum nennt man auch eine Darstellung der Gruppe. In der Darstellungstheorie steht die Frage im Mittelpunkt, auf wie viele (wesentlich verschiedene) Arten eine bestimmte Gruppe auf einem Vektorraum operieren kann. Mit dieser Kenntnis kann man sowohl die Gruppe selbst als auch ihre Operationen besser verstehen.

Definition Referenznummer erstellen

Es sei ${}G$ eine Gruppe, ${}K$ ein Körper und ${}V$ ein (endlichdimensionaler) ${}K$- Vektorraum. Einen Gruppenhomomorphismus

$\rho \colon G\longrightarrow \operatorname {GL} _{}{\left(V\right)}$

nennt man eine (endlichdimensionale) Darstellung (über ${}K$).

Man spricht auch von einer linearen Darstellung. Bei ${}V=K^{r}$ spricht man auch von einer Matrix-Darstellung. Das Bild der Darstellung ist eine Untergruppe der allgemeinen linearen Gruppe. Die Dimension des Vektorraumes ${}V$ nennt man auch die Dimension der Darstellung.

Eine Darstellung von ${}G$ in ${}\operatorname {GL} _{}{\left(V\right)}$ ist das gleiche wie eine Operation von ${}G$ auf ${}V$. Die Darstellungstheorie einer gegebenen Gruppe beschäftigt sich mit der Menge aller möglichen Darstellungen zu dieser Gruppe.

Eine Darstellung

$\rho \colon G\longrightarrow \operatorname {GL} _{}{\left(V\right)}$

einer Gruppe in einen ${}K$- Vektorraum ${}V$ heißt treu, wenn ${}\rho$ injektiv ist.

Man interessiert sich hauptsächlich für die treuen Darstellungen. Wenn eine Darstellung der Gruppe ${}G$ nicht treu ist, so besitzt sie einen nichttrivialen Kern ${}H\subseteq G$, und es ergibt sich nach Satz 5.12 (Körper- und Galoistheorie (Osnabrück 2011)) eine treue Darstellung der Restklassengruppe ${}G/H$.

Man unterscheide sorgfältig zwischen abstrakten intrinsischen Eigenschaften einer Gruppe und Eigenschaften, die mit ihrer Einbettung in die allgemeine lineare Gruppe zusammenhängen. Die Eigenschaften einer linearen Operation hängen von beiden ab.

Definition Referenznummer erstellen

Es sei ${}G$ eine endliche Gruppe und ${}K$ ein Körper. Unter der regulären Darstellung von ${}G$ versteht man den Gruppenhomomorphismus

$G\longrightarrow \operatorname {GL} _{}{\left(K^{G}\right)},\,\sigma \longmapsto {\left(e_{\tau }\mapsto e_{\sigma \tau }\right)}.$

Diese Darstellung ist die Verknüpfung des injektiven Gruppenhomomorphismus

$G\longrightarrow \operatorname {Perm} \,(G),\,\sigma \longmapsto {\left(\tau \mapsto \sigma \tau \right)},$

der auch im Satz von Cayley auftaucht, mit dem ebenfalls injektiven Gruppenhomomorphismus, der einer Permutation ${}\pi$ auf einer Menge ${}I$ (die im vorliegenden Fall ${}G$ ist) ihre lineare, durch ${}e_{i}\mapsto e_{\pi (i)}$ festgelegte Realisierung zuordnet. Insbesondere ist die reguläre Darstellung treu, und somit gibt es für jede endliche Gruppe überhaupt eine treue Darstellung. Es lässt sich also jede endliche Gruppe als Untergruppe der Gruppe der invertierbaren Matrizen realisieren, und zwar über jedem Körper.

Charaktere

Definition Referenznummer erstellen

Es sei ${}G$ ein Monoid und ${}K$ ein Körper. Dann heißt ein Monoidhomomorphismus

$\chi \colon G\longrightarrow (K^{\times },1,\cdot )$

ein Charakter von ${}G$ in ${}K$.

Die Menge der Charaktere von ${}G$ nach ${}K$ bezeichnen wir mit ${}\operatorname {Char} \,(G,K)$. Mit dem trivialen Charakter (also der konstanten Abbildung nach ${}1$) und der Verknüpfung

${}{\left(\chi _{1}\cdot \chi _{2}\right)}(g):=\chi _{1}(g)\cdot \chi _{2}(g)\,$

ist ${}\operatorname {Char} \,(G,K)$ selbst ein Monoid, und zwar ein Untermonoid des Abbildungsmonoid von ${}G$ nach ${}K^{\times }$. Da es zu jedem Charakter den inversen Charakter ${}\chi ^{-1}$ gibt, der durch

${}\chi ^{-1}(g)=(\chi (g))^{-1}\,$

definiert ist, bildet ${}\operatorname {Char} \,(G,K)$ sogar eine kommutative Gruppe(siehe unten).

Definition Referenznummer erstellen

Es sei ${}G$ ein Gruppe und ${}K$ ein Körper. Dann nennt man die Menge der Charaktere

${}G^{\vee }:=\operatorname {Char} \,(G,K)={\left\{\chi :G\rightarrow K^{\times }\mid \chi {\text{ Charakter}}\right\}}\,$

die Charaktergruppe von ${}G$ (in ${}K$).

Ein Charakter einer Gruppe ist nichts anderes als eine eindimensionale Darstellung.

Lemma Lemma 3.11 ändern

Es sei ${}G$ eine Gruppe, ${}K$ ein Körper und ${}G^{\vee }=\operatorname {Char} \,(G,K)$ die Charaktergruppe zu ${}G$. Dann gelten folgende Aussagen.

1. ${}G^{\vee }$ ist eine kommutative Gruppe.
2. Bei einer direkten Gruppenzerlegung ${}G=G_{1}\times G_{2}$ ist ${}(G_{1}\times G_{2})^{\vee }=G_{1}^{\vee }\times G_{2}^{\vee }$.

Beweis

Siehe Aufgabe 3.9.

$\Box$

Lemma Referenznummer erstellen

Es sei ${}G$ eine endliche kommutative Gruppe mit dem Exponenten ${}m$, und es sei ${}K$ ein Körper, der eine primitive ${}m$-te Einheitswurzel besitzt.

Dann sind ${}G$ und ${}G^{\vee }$ isomorphe Gruppen.

Beweis

Nach Lemma 3.11  (2) und Korollar Anhang 4.2 (Körper- und Galoistheorie (Osnabrück 2011)) kann man annehmen, dass ${}G=\mathbb {Z} /(n)$ eine endliche zyklische Gruppe ist, und dass ${}K$ eine ${}n$-te primitive Einheitswurzel besitzt. Jeder Gruppenhomomorphismus

$\varphi \colon G\longrightarrow K^{\times }$

ist durch ${}\zeta =\varphi (1)$ eindeutig festgelegt, und wegen

${}\zeta ^{n}=(\varphi (1))^{n}=\varphi (n)=\varphi (0)=1\,$

ist ${}\zeta$ eine ${}n$-te Einheitswurzel. Umgekehrt kann man zu jeder ${}n$-ten Einheitswurzel ${}\zeta$ durch die Zuordnung ${}1\mapsto \zeta$ nach Lemma 4.4 (Körper- und Galoistheorie (Osnabrück 2011)) und Satz 5.10 (Körper- und Galoistheorie (Osnabrück 2011)) einen Gruppenhomomorphismus von ${}\mathbb {Z} /(n)$ nach ${}K^{\times }$ definieren. Die Menge der ${}n$-ten Einheitswurzeln ist, da eine primitive Einheitswurzel vorhanden ist, eine zyklische Gruppe der Ordnung ${}n$. Also gibt es ${}n$ solche Homomorphismen. Wenn ${}\zeta$ eine primitive Einheitswurzel ist, dann besitzt der durch ${}1\mapsto \zeta$ festgelegte Homomorphismus die Ordnung ${}n$ und ist damit ein Erzeuger der Charaktergruppe, also ${}(\mathbb {Z} /(n))^{\vee }\cong \mathbb {Z} /(n)$.

$\Box$

Darstellungen der zyklischen Gruppe

Eine endliche zyklische Gruppe ${}\mathbb {Z} /(r)$ lässt sich auf unterschiedliche Weise als Untergruppe der allgemeinen linearen Gruppe ${}\operatorname {GL} _{}{\left(V\right)}$ bzw. ${}\operatorname {GL} _{n}\!{\left(K\right)}$ auffassen, wie die folgenden Beispiele zeigen.

Beispiel Beispiel 3.13 ändern

Es sei ${}K$ ein Körper, der eine ${}r$-te primitive Einheitswurzel ${}\zeta$ besitzt. Dann ist die Untergruppe

${}\mu _{r}{\left(K\right)}:={\left\{\zeta ^{i}\mid i=0,1,\ldots ,r-1\right\}}\subseteq K^{\times }\,$

eine zyklische Gruppe der Ordnung ${}r$. Somit ist die Zuordnung

$\mathbb {Z} /(r)\longrightarrow K^{\times },\,i\longmapsto \zeta ^{i},$

eine (treue) eindimensionale Darstellung (also ein Charakter) einer zyklischen Gruppe.

Beispiel Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}G=\mathbb {Z} /(r)$. Der Erzeuger ${}1$ operiert auf ${}\mathbb {Z} /(r)$ durch Addition mit ${}1$, die zugehörige Permutation ist also durch ${}k\mapsto k+1$ (und ${}r\mapsto 1$) gegeben. Die zugehörige Permutationsmatrix ist

${\begin{pmatrix}0&0&\ldots &0&1\\1&0&0&\ldots &0\\0&1&0&\ldots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\ldots &0&1&0\end{pmatrix}}.$

Somit ist die Zuordnung

$\mathbb {Z} /(r)\longrightarrow \operatorname {GL} _{r}\!{\left(K\right)},\,i\longmapsto {\begin{pmatrix}0&0&\ldots &0&1\\1&0&0&\ldots &0\\0&1&0&\ldots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\ldots &0&1&0\end{pmatrix}}^{i},$

die reguläre Darstellung der zyklischen Gruppe.

Beispiel Beispiel 3.15 ändern

Es sei ${}K$ ein Körper und ${}\zeta _{1},\ldots ,\zeta _{n}\in K$ seien Einheitswurzeln. Dann ist

${\left\{{\begin{pmatrix}\zeta _{1}^{i}&0&\cdots &\cdots &0\\0&\zeta _{2}^{i}&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&\zeta _{n-1}^{i}&0\\0&\cdots &\cdots &0&\zeta _{n}^{i}\end{pmatrix}}\mid i=0,1,\ldots \right\}},$

eine zyklische Untergruppe der allgemeinen linearen Gruppe ${}\operatorname {GL} _{n}\!{\left(K\right)}$. Ihre Ordnung ist das kleinste gemeinsame Vielfache (nennen wir es ${}r$) der Ordnungen der ${}\zeta _{j}$. Die Zuordnung

$\mathbb {Z} /(r)\longrightarrow \operatorname {GL} _{n}\!{\left(K\right)},\,i\longmapsto {\begin{pmatrix}\zeta _{1}^{i}&0&\cdots &\cdots &0\\0&\zeta _{2}^{i}&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&\zeta _{n-1}^{i}&0\\0&\cdots &\cdots &0&\zeta _{n}^{i}\end{pmatrix}},$

ist eine ${}n$-dimensionale Darstellung einer zyklischen Gruppe.

Beispiel Beispiel 3.16 ändern

Es sei ${}K$ ein Körper, der eine ${}r$-te primitive Einheitswurzel ${}\zeta$ besitzt. Dann ist die Untergruppe

${\left\{{\begin{pmatrix}\zeta ^{i}&0\\0&\zeta ^{-i}\end{pmatrix}}\mid i=0,1,\ldots ,r-1\right\}},$

der speziellen linearen Gruppe ${}\operatorname {SL} _{2}\!{\left(K\right)}$ eine zyklische Gruppe der Ordnung ${}r$ ist. Die Zuordnung

$\mathbb {Z} /(r)\longrightarrow \operatorname {SL} _{2}\!{\left(K\right)},\,i\longmapsto {\begin{pmatrix}\zeta ^{i}&0\\0&\zeta ^{-i}\end{pmatrix}},$

ist eine zweidimensionale Darstellung einer zyklischen Gruppe.

Beispiel Referenznummer erstellen

Eine jede invertierbare Matrix ${}M\in \operatorname {GL} _{n}\!{\left(K\right)}$ endlicher Ordnung über einem Körper ${}K$ erzeugt eine endliche zyklische Untergruppe der allgemeinen linearen Gruppe. Ihre Determinante muss eine Einheitswurzel sein, deren Ordnung die Ordnung der Matrix teilt. Auch die Eigenwerte einer solchen Matrix müssen Einheitswurzeln sein. Wie das reelle Beispiel ${}{\begin{pmatrix}0&1\\-1&0\end{pmatrix}}$ zeigt, muss eine Matrix endlicher Ordnung weder diagonalisierbar noch trigonalisierbar sein. Über einem endlichen Körper besitzt jede invertierbare Matrix eine endliche Ordnung.

Beispiel Beispiel 3.18 ändern

Es sei ${}K$ ein Körper der positiven Charakteristik ${}p>0$. Dann bilden die Matrizen

${\left\{{\begin{pmatrix}1&a\\0&1\end{pmatrix}}\mid a\in \mathbb {Z} /(p)\right\}}$

eine zyklische Untergruppe der ${}\operatorname {SL} _{2}\!{\left(K\right)}$ mit ${}p$ Elementen.

Satz Satz 3.19 ändern

Es sei ${}K$ ein algebraisch abgeschlossener Körper der Charakteristik ${}0$.

Dann ist jede invertierbare Matrix ${}M\in \operatorname {GL} _{n}\!{\left(K\right)}$, die endliche Ordnung besitzt, diagonalisierbar.

Beweis

Die Matrix ist trigonalisierbar und besitzt eine jordansche Normalform. Wir zeigen, dass die einzelnen Jordanblöcke

${\begin{pmatrix}\lambda &1&0&\cdots &\cdots &0\\0&\lambda &1&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&\lambda &1&0\\0&\cdots &\cdots &0&\lambda &1\\0&\cdots &\cdots &\cdots &0&\lambda \end{pmatrix}}$

trivial sind. Wegen der endlichen Ordnung muss ${}\lambda$ eine Einheitswurzel sein. Durch Multiplikation mit ${}\lambda ^{-1}E_{n}$ können wir davon ausgehen, dass eine Matrix der Form

${\begin{pmatrix}1&a&0&\cdots &\cdots &0\\0&1&a&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&1&a&0\\0&\cdots &\cdots &0&1&a\\0&\cdots &\cdots &\cdots &0&1\end{pmatrix}}$

(mit ${}a\neq 0$) vorliegt. Wenn dies keine ${}1\times 1$-Matrix ist, so gibt es zwei Vektoren ${}u,v$, wobei ${}u$ ein Eigenvektor ist und ${}v$ auf ${}v+au$ abgebildet wird. Die ${}k$-te Iteration der Matrix schickt dann ${}v$ auf ${}v+kau$ und wegen Charakteristik ${}0$ ist dies nicht ${}v$, im Widerspruch zur endlichen Ordnung.

$\Box$

Korollar Referenznummer erstellen

Es sei ${}K$ ein algebraisch abgeschlossener Körper der Charakteristik ${}0$.

Dann ist jede Darstellung einer endlichen zyklischen Gruppe ${}\mathbb {Z} /(r)$ in ${}\operatorname {GL} _{n}\!{\left(K\right)}$ in einer geeigneten Basis von der Form

$\mathbb {Z} /(r)\longrightarrow \operatorname {GL} _{n}\!{\left(K\right)},\,i\longmapsto {\begin{pmatrix}\zeta _{1}^{i}&0&\cdots &\cdots &0\\0&\zeta _{2}^{i}&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&\zeta _{n-1}^{i}&0\\0&\cdots &\cdots &0&\zeta _{n}^{i}\end{pmatrix}},$

mit gewissen Einheitswurzeln ${}\zeta _{j}$.

Beweis

Dies folgt unmittelbar aus Satz 3.19.

$\Box$

Fußnoten

<< | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)