Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Arbeitsblatt 22/kontrolle

Aufgaben

Aufgabe Referenznummer erstellen

Es sei ${}R$ eine Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Galoiserweiterung mit Galoisgruppe ${}G$. Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$, sei ${}{\mathfrak {p}}$ ein Primideal von ${}R$ mit der Faser ${}\{{\mathfrak {q}}_{1},\ldots ,{\mathfrak {q}}_{k}\}$. Zeige, dass es einen natürlichen Gruppenhomomorphismus

$G\longrightarrow \operatorname {Perm} \,({\mathfrak {q}}_{1},\ldots ,{\mathfrak {q}}_{k})$

gibt, und dass dessen Kern gleich ${}\bigcap _{j=1}^{k}G_{{\mathfrak {q}}_{j}}$ ist.

Aufgabe Referenznummer erstellen

Es sei ${}R$ eine Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Galoiserweiterung mit einer kommutativen Galoisgruppe ${}G$. Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$ und sei ${}{\mathfrak {p}}$ ein Primideal von ${}R$. Zeige, dass die Zerlegungsgruppen ${}G_{\mathfrak {q}}$ für alle Primideale ${}{\mathfrak {q}}$ aus ${}S$ oberhalb von ${}{\mathfrak {p}}$ übereinstimmen.

Aufgabe Referenznummer erstellen

Es sei ${}R$ eine Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Galoiserweiterung mit Galoisgruppe ${}G$. Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$, sei ${}{\mathfrak {p}}$ ein Primideal von ${}R$ mit der Faser ${}\{{\mathfrak {q}}_{1},\ldots ,{\mathfrak {q}}_{k}\}$. Zeige, dass der Divisor ${}\sum _{j=1}^{k}{\mathfrak {q}}_{j}$ unter der natürlichen Operation der Galoisgruppe auf der Divisorengruppe invariant ist.

Aufgabe Referenznummer erstellen

Es sei ${}G$ eine Gruppe, die auf einem kommutativen Ring ${}R$ als Gruppe von Ringautomorphismen und damit auf ${}\operatorname {Spek} {\left(R\right)}$ operiere. Es sei ${}{\mathfrak {p}}\in \operatorname {Spek} {\left(R\right)}$. Zeige, dass der Stabilisator ${}G_{\mathfrak {p}}$ auf dem lokalen Ring ${}R_{\mathfrak {p}}$ und auf dem Restekörper ${}\kappa ({\mathfrak {p}})$ in natürlicher Weise operiert.

Aufgabe * Aufgabe 22.5 ändern

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq M$ eine endliche Galoiserweiterung mit Galoisgruppe ${}G$. Es sei ${}T$ der ganze Abschluss von ${}R$ in ${}M$. Es sei ${}N\subseteq G$ ein Normalteiler von ${}G$ mit Restklassengruppe ${}H=G/N$ und es sei ${}S=T^{N}$ und ${}L=M^{N}$ der zugehörige Zwischenring bzw. Zwischenkörper, auf dem ${}H$ galoissch operiert mit Fixring ${}R$ bzw. Fixkörper ${}K$. Es sei ${}{\mathfrak {r}}$ ein Primideal von ${}T$ über ${}{\mathfrak {q}}$ in ${}S$. Zeige, dass zwischen den Zerlegungsgruppen ein natürlicher surjektiver Gruppenhomomorphismus

$G_{\mathfrak {r}}\longrightarrow H_{\mathfrak {q}}$

besteht, dessen Kern gleich ${}N\cap G_{\mathfrak {r}}$ ist.

Aufgabe Referenznummer erstellen

Es sei ${}R$ eine Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Galoiserweiterung. Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$, ${}{\mathfrak {q}}$ ein Primideal in ${}S$ und ${}Z_{\mathfrak {q}}$ der zugehörige Zerlegungskörper. Zeige, dass ${}K\subseteq Z_{\mathfrak {q}}$ galoissch ist.

Aufgabe Referenznummer erstellen

Es sei ${}R$ eine Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Galoiserweiterung. Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$, ${}{\mathfrak {q}}$ ein Primideal in ${}S$ und ${}Z_{\mathfrak {q}}$ der zugehörige Zerlegungskörper. Zeige, dass ${}K\subseteq Z_{\mathfrak {q}}$ galoissch ist.

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq L$ eine endliche Galoiserweiterung mit Galoisgruppe ${}G$. Es sei ${}S$ der ganze Abschluss von ${}R$ in ${}L$ und seien ${}{\mathfrak {q}}$ und ${}{\mathfrak {q}}'$ Primideale von ${}S$ über ${}{\mathfrak {p}}$. Zeige, dass es ein natürliches kommutatives Diagramm

${\begin{matrix}G_{\mathfrak {q}}&{\stackrel {}{\longrightarrow }}&\operatorname {Gal} \,(\kappa ({\mathfrak {q}}){|}\kappa ({\mathfrak {p}}))&\\\downarrow &&\downarrow &\\G_{{\mathfrak {q}}'}&{\stackrel {}{\longrightarrow }}&\operatorname {Gal} \,(\kappa ({\mathfrak {q}}'){|}\kappa ({\mathfrak {p}}))&\!\!\!\!\!\\\end{matrix}}$

von Gruppenhomomorphismen gibt, wobei die vertikalen Abbildungen Isomorphismen sind.

Aufgabe Referenznummer erstellen

Bestimme für den Zahlbereich ${}\mathbb {Z} [{\mathrm {i} }]$ den Zerlegungskörper und den Trägheitskörper für die Primideale oberhalb von ${}(2),(3),(5)$.

Aufgabe Referenznummer erstellen

Zeige, dass eine kubische Körpererweiterung ${}\mathbb {Q} \subseteq L$ im Allgemeinen nicht galoissch ist, „obwohl“ die Körpererweiterungen ${}\mathbb {Z} /(p)\subseteq \kappa ({\mathfrak {q}})$ für jedes maximale Ideal ${}{\mathfrak {q}}$ des zugehörigen Zahlbereiches ${}S$ (mit ${}p\in {\mathfrak {q}}$) galoissch ist. Man folgere, dass in diesem Fall die Gruppenhomomorphismen aus Lemma 22.5 nicht surjektiv sind.

Aufgabe Referenznummer erstellen

Man gebe ein Beispiel für eine Galoiserweiterung ${}\mathbb {Q} \subseteq L$ derart, dass nicht jeder Zwischenkörper der Erweiterung als Zerlegungskörper eines Primideals des zugehörigen Zahlbereichs auftritt.

Aufgabe Referenznummer erstellen

Wir betrachten die Galoiserweiterung ${}\mathbb {Q} \subseteq \mathbb {Q} [{\sqrt {2}},{\sqrt {3}},{\sqrt {7}}]$ mit der Galoisgruppe

${}G=\mathbb {Z} /(2)\times \mathbb {Z} /(2)\times \mathbb {Z} /(2)\,.$

Bestimme die Zerlegungsgruppe und die Trägheitsgruppe für die Primideale im zugehörigen Zahlbereich oberhalb von ${}(7)$.

Aufgabe Referenznummer erstellen

Es sei ${}q\in \mathbb {Q}$ eine rationale Zahl, die in ${}\mathbb {Q}$ keine dritte Wurzel besitzt, sodass ${}\mathbb {Q} \subseteq L=\mathbb {Q} [X]/(X^{3}-q)$ eine Körpererweiterung vom Grad ${}3$ ist. Zeige, dass das Polynom ${}X^{3}-q$ in ${}L$ genau eine Nullstelle hat und dass diese Körpererweiterung nicht galoissch ist.

Aufgabe * Referenznummer erstellen

Wir betrachten die Galoiserweiterung

${}\mathbb {Q} \subseteq \mathbb {Q} [\zeta ,{\sqrt[{3}]{2}}]\,,$

wobei ${}\zeta ={\frac {-1+{\mathrm {i} }{\sqrt {3}}}{2}}$ die dritte Einheitswurzel bezeichnet. Man gebe Beispiele für Primzahlen ${}p\geq 5$ derart, dass darüber im zugehörigen Zahlbereich zwei bzw. drei bzw. sechs Primideale liegen.

Aufgabe * Referenznummer erstellen

Wir betrachten die Galoiserweiterung

${}\mathbb {Q} \subseteq \mathbb {Q} [\zeta ,{\sqrt[{3}]{2}}]\,,$

wobei ${}\zeta ={\frac {-1+{\mathrm {i} }{\sqrt {3}}}{2}}$ die dritte Einheitswurzel bezeichnet. Man gebe ein Beispiel für eine Primzahl derart, dass die Zerlegungsgruppen der Primideale im zugehörigen Zahlbereich verschieden sind.

Aufgabe Referenznummer erstellen

Bestimme für die reelle Quadratabbildung

$\mathbb {R} [Y]\longrightarrow \mathbb {R} [X],\,Y\longmapsto X^{2},$

den Zerlegungskörper und den Trägheitskörper für die Primideale ${}{\mathfrak {q}}$ in ${}\mathbb {R} [X]$.

Aufgabe Referenznummer erstellen

Es sei ${}P\in {\mathbb {C} }[X]$ ein nichtkonstantes Polynom mit der Eigenschaft, dass

${\mathbb {C} }[Y]\longrightarrow {\mathbb {C} }[X],\,Y\longmapsto P,$

eine Galoiserweiterung (im Funktionenkörper) ist. Zeige, dass die Zerlegungsgruppe zu einem Primideal ${}(X-a)$ bis auf endlich viele Ausnahmen trivial ist, und dass sie stets mit der Trägheitsgruppe übereinstimmt.

Aufgabe Aufgabe 22.18 ändern

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ und sei ${}K\subseteq M$ eine endliche Galoiserweiterung mit Galoisgruppe ${}G$. Es sei ${}T$ der ganze Abschluss von ${}R$ in ${}M$. Es sei ${}N\subseteq G$ ein Normalteiler von ${}G$ mit Restklassengruppe ${}H=G/N$ und es sei ${}S=T^{N}$ und ${}L=M^{N}$ der zugehörige Zwischenring bzw. Zwischenkörper, auf dem ${}H$ galoissch operiert mit Fixring ${}R$. Es sei ${}{\mathfrak {r}}$ ein Primideal von ${}T$ über ${}{\mathfrak {q}}$ in ${}S$ und ${}{\mathfrak {p}}$ in ${}R$. Zeige, dass ein kommutatives Diagramm

${\begin{matrix}G_{\mathfrak {r}}&{\stackrel {}{\longrightarrow }}&\operatorname {Gal} \,(\kappa ({\mathfrak {r}}){|}\kappa ({\mathfrak {p}}))&\\\downarrow &&\downarrow &\\H_{\mathfrak {q}}&{\stackrel {}{\longrightarrow }}&\operatorname {Gal} \,(\kappa ({\mathfrak {q}}){|}\kappa ({\mathfrak {p}}))&\!\!\!\!\!\\\end{matrix}}$

von Gruppenhomomorphismen vorliegt, wobei die horizontalen Abbildungen von Lemma 22.5 herrühren (alle Erweiterungen der Restekörper seien separabel), die linke Abbildung von Aufgabe 22.5 herrührt und die rechte vertikale Abbildung durch die Körperkette

${}\kappa ({\mathfrak {p}})\subseteq \kappa ({\mathfrak {q}})\subseteq \kappa ({\mathfrak {r}})\,$

gegeben ist.

Aufgabe Referenznummer erstellen

Bestimme für einen quadratischen Zahlbereich ${}\mathbb {Q} \subseteq R$, für welche Primzahlen ${}p$ das Artinsymbol ${}{\left(p,Q(R)/\mathbb {Q} \right)}$ die Identität oder die Konjugation ist.

Aufgabe * Aufgabe 22.20 ändern

Es sei ${}R=\mathbb {Z} [X]/{\left(X^{3}-3X+1\right)}$. Bestätige für die Primzahlen

${}p=2,5,7,11,13,17\,,$

dass in ${}R/(p)=\mathbb {Z} /(p)[X]/{\left(X^{3}-3X+1\right)}$ eine der Beziehung

${}X^{p}={\begin{cases}X\\X^{2}-2\\-X^{2}-X+2\end{cases}}\,$

gilt. Wie sieht es bei ${}p=3$ aus?

Aufgabe * Referenznummer erstellen

Es sei ${}R=\mathbb {Z} [X]/{\left(X^{3}-3X+1\right)}$. Es sei ${}p\neq 3$ eine Primzahl und ${}K$ eine Restekörper von ${}\mathbb {Z} /(p)[X]/{\left(X^{3}-3X+1\right)}$. Zeige, dass in ${}K$ eine der Beziehung

${}X^{p}={\begin{cases}X\\X^{2}-2\\-X^{2}-X+2\end{cases}}\,$

gilt. Wie sieht es bei ${}p=3$ aus?

Die Situation der beiden vorstehenden Aufgaben wird in Aufgabe 23.16 wieder aufgegriffen.

Aufgabe Referenznummer erstellen

Berechne die Potenzen ${}X^{p}$ in ${}\mathbb {Z} /(p)[X]/{\left(X^{3}-2\right)}$ für die Primzahlen

${}p=2,3,\ldots \,.$

Gibt es da irgendeine Regelmäßigkeit?

Aufgabe * Aufgabe 22.23 ändern

Es sei ${}\zeta$ eine primitive neunte Einheitswurzel in einem Körper ${}L$. Zeige, dass die Elemente

$\zeta +\zeta ^{8},\,\,\zeta ^{2}+\zeta ^{7}\,{\text{ und }}\,\zeta ^{4}+\zeta ^{5}$

die Nullstellen des Polynoms ${}X^{3}-3X+1$ sind.

Aufgabe Aufgabe 22.24 ändern

Es sei ${}\mathbb {Q} \subseteq L$ eine Galoiserweiterung mit einer abelschen Galoisgruppe ${}G$ und es sei ${}S$ der zugehörige Zahlbereich. Es sei ${}N\subseteq G$ eine Untergruppe mit der Restklassengruppe ${}H=G/N$ und ${}R=S^{N}\subseteq K=L^{N}$. Es sei ${}p$ eine Primzahl und ${}{\mathfrak {q}}$ ein unverzweigtes Primideal von ${}S$ oberhalb von ${}(p)$ und ${}{\mathfrak {p}}={\mathfrak {q}}\cap R$. Zeige unter Verwendung des kommutativen Diagrammes

${\begin{matrix}G_{\mathfrak {q}}&{\stackrel {}{\longrightarrow }}&\operatorname {Gal} \,(\kappa ({\mathfrak {q}}){|}\mathbb {Z} /(p))&\\\downarrow &&\downarrow &\\H_{\mathfrak {p}}&{\stackrel {}{\longrightarrow }}&\operatorname {Gal} \,(\kappa ({\mathfrak {p}}){|}\mathbb {Z} /(p))&\!\!\!\!\!\\\end{matrix}}$

aus Aufgabe 22.18, dass das Artinsymbol ${}{\left(p,L/\mathbb {Q} \right)}$ auf das Artinsymbol ${}{\left(p,K/\mathbb {Q} \right)}$ abgebildet wird.