Kurs:Singularitätentheorie (Osnabrück 2019)/Arbeitsblatt 7/kontrolle

Aufgabe Aufgabe 7.1 ändern

Es sei ${}G$ eine Gruppe und ${}M$ eine Menge. Es sei ${}\operatorname {Perm} \,(M)$ die Gruppe der Permutationen auf ${}M$. Zeige folgende Aussagen.

1. Wenn ${}G$ auf ${}M$ operiert, so ist die Abbildung

   $G\longrightarrow \operatorname {Perm} \,(M),\,g\longmapsto (x\mapsto gx),$

   ein Gruppenhomomorphismus.

2. Wenn umgekehrt ein Gruppenhomomorphismus

   $\varphi \colon G\longrightarrow \operatorname {Perm} \,(M),\,g\longmapsto \varphi (x),$

   vorliegt, so wird durch

   $G\times M\longrightarrow M,\,(g,x)\longmapsto (\varphi (g))(x),$

   eine Gruppenoperation von ${}G$ auf ${}M$ definiert.

Aufgabe Referenznummer erstellen

Zeige, dass die ${}G$- Äquivalenz bei einer Gruppenoperation in der Tat eine Äquivalenzrelation ist.

Aufgabe Referenznummer erstellen

Es sei ${}n\in \mathbb {N}$. Betrachte die Gruppenoperation der ${}n$-ten Einheitswurzeln durch Multiplikation auf ${}{\mathbb {C} }$. Bestimme die Bahnen und die Isotropiegruppen dieser Operation. Kann man die Quotientenabbildung durch eine polynomiale Funktion realisieren?

Aufgabe Referenznummer erstellen

Es sei ${}G$ eine Gruppe, die auf einem kommutativen Ring ${}R$ als Gruppe von Ringautomorphismen operiere. Zeige die folgende Aussagen.

1. Für die Einheiten gilt

   ${}{\left(R^{G}\right)}^{\times }=R^{G}\cap R^{\times }\,.$

2. Wenn ${}R$ ein Körper ist, so ist auch ${}R^{G}$ ein Körper.

Aufgabe Referenznummer erstellen

Es sei ${}S$ ein kommutativer Ring mit ${}2\neq 0$ und ${}a\in S$. Zeige, dass die Gruppe ${}\mathbb {Z} /(2)\cong \{1,-1\}$ auf der quadratischen Erweiterung

${}R:=S[X]/(X^{2}-a)\,$

als Gruppe von ${}S$- Algebrahomomorphismen operiert, indem ${}-1$ durch ${}X\mapsto -X$ wirkt. Bestimme den Fixring zu dieser Operation.

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring, auf dem eine Gruppe ${}G$ als Gruppe von Ringautomorphismen operiere. Es sei ${}{\mathfrak {a}}\subseteq R$ ein Ideal, das unter der Gruppenoperation invariant ist (es gelte also ${}f\sigma \in {\mathfrak {a}}$ für ${}f\in {\mathfrak {a}}$ und jedes ${}\sigma \in G$). Zeige die folgenden Aussagen.

1. Es gibt eine natürliche Operation von ${}G$ auf dem Restklassenring ${}R/{\mathfrak {a}}$.
2. Es gibt einen Ringhomomorphismus

   $\psi \colon R^{G}/{\left({\mathfrak {a}}\cap R^{G}\right)}\longrightarrow {\left(R/{\mathfrak {a}}\right)}^{G}.$

3. Die Abbildung ${}\psi$ aus Teil (2) ist injektiv.
4. Wenn ${}G$ endlich ist und ${}R$ einen Körper der Charakteristik ${}0$ enthält, so ist ${}\psi$ surjektiv.

Aufgabe Referenznummer erstellen

Es sei ${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$ eine endliche Untergruppe mit der zugehörigen Operation auf dem affinen Raum ${}K^{n}$. Es sei ${}K$ unendlich. Zeige, dass es eine nichtleere Zariski-offene Teilmmenge ${}U\subseteq K^{n}$ derart gibt, dass die Bahnen zu ${}x\in U$ aus ${}{\#\left(G\right)}$ Elementen besteht.

Gemäß Aufgabe 7.1 ergibt eine Gruppenoperation für jedes ${}g\in G$ eine Bijektion ${}x\mapsto gx$ auf ${}M$. Wenn ${}M$ zusätzliche Strukturen besitzt, so verlangt man häufig, dass diese Bijektionen diese Strukturen respektieren, also beispielsweise linear oder stetig sind. Man spricht dann von einer linearen oder von einer stetigen Operation oder sagt, dass die Gruppe als Gruppe von Automorphismen oder als Gruppe von Homöomorphismen operiert.

Aufgabe Referenznummer erstellen

Es sei ${}X$ ein topologischer Raum, auf dem eine Gruppe ${}G$ operiere, wobei zu jedem ${}g\in G$ die Abbildung ${}x\mapsto gx$ stetig sei. Zeige, dass dadurch eine Operation (von rechts) von ${}G$ auf dem Ring der stetigen Funktionen ${}C(X,\mathbb {R} )$ als Gruppe von Ringautomorphismen gegeben ist.

Aufgabe Referenznummer erstellen

Es sei

$f\colon {\mathbb {C} }\longrightarrow {\mathbb {C} }$

eine stetige Funktion. Zeige, dass die beiden folgenden Aussagen äquivalent sind.

1. Es gibt eine stetige Funktion

   $g\colon \mathbb {R} _{\geq 0}\longrightarrow {\mathbb {C} }$

   mit ${}f(z)=g(\vert {z}\vert )$ für alle ${}z\in {\mathbb {C} }$.

2. Für alle ${}n$-ten Einheitswurzeln ${}\zeta \in {\mathbb {C} }$ (alle $n\in \mathbb {N}$) ist ${}f(\zeta z)=f(z)$ für alle ${}z\in {\mathbb {C} }$.
3. Für alle ${}w\in {\mathbb {C} }$ mit ${}\vert {w}\vert =1$ ist ${}f(wz)=f(z)$ für alle ${}z\in {\mathbb {C} }$.

Aufgabe Referenznummer erstellen

Wir betrachten die Menge der quadratischen Polynome

$M={\left\{aX^{2}+bX+c\mid a,b,c\in K,\,a\neq 0\right\}}$

über einem Körper ${}K$, und es sei ${}G$ die Menge der Transformationen vom Typ ${}X\mapsto \alpha X+\beta$ mit ${}\alpha \neq 0$.

a) Zeige, dass ${}G$ auf ${}M$ in natürlicher Weise operiert.

b) Zeige, dass ${}G$ auf ${}K$ durch Multiplikation mit ${}\alpha ^{2}$ operiert.

c) Zeige, dass die Diskriminante, also der Ausdruck ${}b^{2}-4ac$, der einem quadratischen Polynom zugeordnet ist, ${}G$- verträglich bezüglich dieser beiden Operationen ist.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}G$ eine Gruppe. Dann können wir den Monoidring ${}K[G]$ betrachten. Es sei nun weiter ${}M$ ein ${}K[G]$-Modul. Zeige, dass

1. ${}M$ nichts anderes ist als ein ${}K$-Vektorraum ${}V$ zusammen mit einem Gruppenhomomorphismus ${}\rho \colon G\rightarrow \operatorname {Aut} _{K}(V)$.
2. ein ${}K[G]$-Modulhomomorphismus ${}\varphi \colon M\rightarrow M$ eine ${}K$-lineare Abbildung ist, für die zusätzlich ${}\varphi \circ \rho (g)=\rho \circ \varphi$ für alle ${}g\in G$ gilt.

Bemerkung: ${}\rho$ heißt dann eine Darstellung von ${}G$. Solche Darstellungen sind oft einfacher zu handhaben als ${}G$ und man kann mit Hilfe von ${}\rho$ oft hilfreiche Erkenntnisse über ${}G$ selbst gewinnen.

Aufgabe Referenznummer erstellen

Es sei ${}\zeta \in {\mathbb {C} }$ eine ${}n$-te primitive Einheitswurzel. Zeige, dass die zyklische Gruppe

$Z_{n}={\left\{{\begin{pmatrix}\zeta ^{j}&0\\0&\zeta ^{-j}\end{pmatrix}}\mid j=0,\ldots ,n-1\right\}}\subseteq \operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}$

auf der Punktmenge

${\left\{{\begin{pmatrix}\zeta ^{j}\\\zeta ^{-j}\end{pmatrix}}\mid j=0,\ldots ,n-1\right\}}$

treu operiert, dass sie bei ${}n$ ungerade auf der Geradenmenge

${\left\{\langle {\begin{pmatrix}\zeta ^{j}\\\zeta ^{-j}\end{pmatrix}}\rangle \mid j=0,\ldots ,n-1\right\}}$

ebenfalls treu operiert und dass sie bei ${}n$ gerade auf der Geradenmenge

${\left\{\langle {\begin{pmatrix}\zeta ^{j}\\\zeta ^{-j}\end{pmatrix}}\rangle \mid j=0,\ldots ,{\frac {n}{2}}-1\right\}}$

operiert, aber nicht treu. Was ist in diesem Fall der Kern der Operation?

Aufgabe Referenznummer erstellen

Zeige, dass die binäre Diedergruppe ${}BD_{1}$ eine zyklische Gruppe der Ordnung ${}4$ ist.

Aufgabe Referenznummer erstellen

Wir betrachten die binäre Diedergruppe ${}BD_{n}$. Zeige, dass bei ${}n\geq 3$ die von

${}B={\begin{pmatrix}0&{\mathrm {i} }\\{\mathrm {i} }&0\end{pmatrix}}\,$

erzeugte Untergruppe kein Normalteiler ist.

Aufgabe Referenznummer erstellen

Es sei ${}\zeta \in {\mathbb {C} }$ eine ${}2n$-te primitive Einheitswurzel. Zeige, dass die binäre Diedergruppe ${}BD_{n}$ auf der Geradenmenge

${\left\{\langle {\begin{pmatrix}\zeta ^{j}\\\zeta ^{-j}\end{pmatrix}}\rangle \mid j=0,\ldots ,n-1\right\}}\cup \{\langle {\begin{pmatrix}1\\0\end{pmatrix}}\rangle ,\,\langle {\begin{pmatrix}0\\1\end{pmatrix}}\rangle \}$

operiert.

Aufgabe Referenznummer erstellen

Zeige, dass die in Beispiel 7.7, Beispiel 7.8, Beispiel 7.9 und Beispiel 7.10 beschriebenen Gruppen bereits Untergruppen der ${}\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$ sind.

Aufgabe Referenznummer erstellen

Zeige, dass die Matrix

$F={\frac {1}{\sqrt {5}}}{\begin{pmatrix}-\xi +\xi ^{4}&\xi ^{2}-\xi ^{3}\\\xi ^{2}-\xi ^{3}&\xi -\xi ^{4}\end{pmatrix}}$

zu ${}\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$ gehört.

Aufgabe Aufgabe 7.18 ändern

Es sei ${}G\subseteq \operatorname {GL} _{n}\!{\left({\mathbb {C} }\right)}$ eine endliche Untergruppe und es sei ${}\left\langle -,-\right\rangle$ das Standardskalarprodukt auf dem ${}{\mathbb {C} }^{n}$. Zeige, dass durch

${}\Phi (w,z):={\frac {1}{\#\left(G\right)}}\sum _{\sigma \in G}\left\langle \sigma w,\sigma z\right\rangle \,$

ein Skalarprodukt auf ${}{\mathbb {C} }^{n}$ definiert wird.

Aufgabe Referenznummer erstellen

Es sei ${}M\in \operatorname {Mat} _{n}({\mathbb {C} })$ eine Matrix und

$\varphi \colon {\mathbb {C} }^{n}\longrightarrow {\mathbb {C} }^{n}$

die zugehörige lineare Abbildung. Zeige, dass ${}\varphi$ genau dann unitär ist, wenn ${}{}^{t}M\cdot {\overline {M}}$ die Einheitsmatrix ist.

Aufgabe Referenznummer erstellen

Bestimme die Eigenwerte und die Eigenvektoren der Matrix

${\frac {1}{\sqrt {2}}}{\begin{pmatrix}\zeta ^{7}&\zeta ^{7}\\\zeta ^{5}&\zeta \end{pmatrix}}$

mit ${}\zeta ={\frac {1+{\mathrm {i} }}{\sqrt {2}}}$.

Aufgabe Referenznummer erstellen

Zeige, dass die Matrix

${\frac {1}{\sqrt {2}}}{\begin{pmatrix}{\mathrm {i} }&-{\mathrm {i} }\\\zeta &-{\mathrm {i} }\end{pmatrix}}$

zur binären Oktaedergruppe gehört (dabei ist ${}\zeta$ eine primitive achte Einheitswurzel). Gehört sie auch zur binären Tetraedergruppe?

Aufgabe Referenznummer erstellen

Zeige, dass die binäre Ikosaedergruppe ${}120$ Elemente besitzt.

Aufgabe Referenznummer erstellen

Es sei ${}n\in \mathbb {N} _{+}$ und ${}\alpha ={\frac {360}{n}}$. Betrachte die Untergruppe der Drehmatrizen

${}G={\left\{{\begin{pmatrix}\operatorname {cos} \,\alpha &-\operatorname {sin} \,\alpha \\\operatorname {sin} \,\alpha &\operatorname {cos} \,\alpha \end{pmatrix}}^{j}\mid j=0,\ldots ,n-1\right\}}\subseteq \operatorname {SL} _{2}\!{\left(\mathbb {R} \right)}\,.$

Zeige, dass diese Gruppe, aufgefasst in ${}\operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}$, konjugiert zu ${}Z_{n}$ aus Beispiel 7.7 ist.

Aufgabe Referenznummer erstellen

Es sei ${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$ eine Untergruppe der allgemeinen linearen Gruppe über einem Körper ${}K$ und ${}K\subseteq L$ eine Körpererweiterung. Zeige

${}K[X_{1},\ldots ,X_{n}]^{G}=K[X_{1},\ldots ,X_{n}]\cap L[X_{1},\ldots ,X_{n}]^{G}\,.$

Aufgabe Referenznummer erstellen

Betrachte die Untergruppe der Drehmatrizen, die durch die Vierteldrehung

${\begin{pmatrix}0&-1\\1&0\end{pmatrix}}$

erzeugt wird. Bestimme den reellen und den komplexen Invariantenring zur zugehörigen linearen Operation.

Aufgabe Referenznummer erstellen

Bestimme zu einer speziellen unitären Matrix

${\begin{pmatrix}u&-{\overline {v}}\\v&{\overline {u}}\end{pmatrix}}\in \operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$

die Eigenwerte und die Eigenvektoren.

Aufgabe Referenznummer erstellen

Zeige, dass zu einer speziellen unitären Matrix

${\begin{pmatrix}u&-{\overline {v}}\\v&{\overline {u}}\end{pmatrix}}\in \operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$

die beiden Eigenvektoren, aufgefasst in ${}{\mathbb {P} }_{\mathbb {C} }^{1}\cong S^{2}$, antipodal sind.

Aufgabe Aufgabe 7.28 ändern

Es sei ${}G\subseteq \operatorname {SU} _{n}\!$ eine endliche Untergruppe. Zeige, dass man die natürlich Operation von ${}G$ auf dem ${}{\mathbb {C} }^{n}$ auf einen jeden offenen Ball der Form ${}U{\left(0,r\right)}\subseteq {\mathbb {C} }^{n}$ einschränken kann.

Aufgabe Referenznummer erstellen

Zeige, dass zu einer diagonalisierbaren Matrix

${\begin{pmatrix}u&v\\w&z\end{pmatrix}}\in \operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}$

die beiden Eigenvektoren, aufgefasst in ${}{\mathbb {P} }_{\mathbb {C} }^{1}\cong S^{2}$, nicht antipodal sein müssen.

Aufgabe Referenznummer erstellen

Überprüfe, dass die in Vorlesung 24 angegebenen Abbildungen eine Homöomorphie zwischen ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ und ${}S^{2}$ stiften.

Aufgabe Referenznummer erstellen

Es sei ${}M\in \operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}$ eine spezielle Matrix mit der zugehörigen Abbildung

$\varphi \colon {\mathbb {P} }_{\mathbb {C} }^{1}\cong S^{2}\longrightarrow {\mathbb {P} }_{\mathbb {C} }^{1}\cong S^{2}.$

Zeige, dass ${}\varphi$ keine längentreue Abbildung und nicht zu einer linearen Abbildung von ${}\mathbb {R} ^{3}$ nach ${}\mathbb {R} ^{3}$ fortsetzbar sein muss.

Aufgabe Referenznummer erstellen

Es seien ${}a,b,c,d$ reelle Zahlen mit

${}a^{2}+b^{2}+c^{2}+d^{2}=1\,.$

Zeige, das die Determinante der Matrix

${\begin{pmatrix}a^{2}+b^{2}-c^{2}-d^{2}&2(-ad+bc)&2(ac+bd)\\2(ad+bc)&a^{2}-b^{2}+c^{2}-d^{2}&2(-ab+cd)\\2(-ac+bd)&2(ab+cd)&a^{2}-b^{2}-c^{2}+d^{2}\end{pmatrix}}$

gleich ${}1$ ist.

Aufgabe Referenznummer erstellen

Zeige, dass die (komponentenweise) komplexe Konjugation einen Gruppenautomorphismus auf ${}\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$ induziert, der unter der in Satz 7.13 beschriebenen Abbildung

$\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}\longrightarrow \operatorname {SO} _{3}\!{\left(\mathbb {R} \right)},$

mit der Konjugation mit ${}{\begin{pmatrix}1&0&0\\0&-1&0\\0&0&1\end{pmatrix}}$ auf ${}\operatorname {SO} _{3}\!{\left(\mathbb {R} \right)}$ verträglich ist. Zeige ferner, dass die komplexe Konjugation auf ${}\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$ auch als Konjugation mit der Matrix ${}{\begin{pmatrix}0&1\\-1&0\end{pmatrix}}$ realisiert werden kann.

Aufgabe Referenznummer erstellen

Zeige, dass man die Kleinsche Vierergruppe nicht als Untergruppe der ${}\operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}$, wohl aber als Untergruppe der ${}\operatorname {GL} _{2}\!{\left({\mathbb {C} }\right)}$ realisieren kann.

Aufgabe Referenznummer erstellen

Man gebe ein Beispiel von zwei endlichen Untergruppen ${}G,H\subseteq \operatorname {GL} _{2}\!{\left({\mathbb {C} }\right)}$, die zueinander isomorph, aber nicht zueinander konjugiert sind.

Aufgabe Referenznummer erstellen

Man gebe ein Beispiel von zwei endlichen Untergruppen ${}G,H\subseteq \operatorname {SL} _{3}\!{\left({\mathbb {C} }\right)}$, die zueinander isomorph, aber nicht zueinander konjugiert sind.

Aufgabe Referenznummer erstellen

Zeige, dass die binäre Ikosaedergruppe nicht isomorph zur Permutationsgruppe ${}S_{5}$ ist.

Aufgabe Referenznummer erstellen

Bestimme die Ordnungen der Elemente der binären Ikosaedergruppe.

Aufgabe Referenznummer erstellen

Zeige, dass die in Beispiel 7.8, Beispiel 7.9, Beispiel 7.10 und Beispiel 7.11 beschriebenen Gruppen unter dem surjektiven Gruppenhomomorphismus

$\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}\longrightarrow \operatorname {SO} _{3}\!{\left(\mathbb {R} \right)}$

die Urbildgruppen der entsprechenden reellen Gruppen sind.

Aufgabe Referenznummer erstellen

Wir betrachten die Gruppenoperation

${\mathbb {K} }^{\times }\times {\mathbb {K} }^{2}\longrightarrow {\mathbb {K} }^{2},\,(u,x,y)\longmapsto (ux,u^{-1}y).$

Bestimme die Bahnen der Operation. Ist der Quotient (versehen mit der Bildtopologie) ein Hausdorff-Raum?