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

Aufgaben

Aufgabe

Zeige, dass zu einer endlichen Körpererweiterung ${}\mathbb {Q} \subseteq K$ die Menge

${\left\{x\in K^{\times }\mid \vert {\tau (x)}\vert =1{\text{ für alle Einbettungen }}\tau \right\}}$

eine Untergruppe der Einheitengruppe von ${}K$ ist, die die Einheitswurzelgruppe ${}\mu _{}{\left(K\right)}$ umfasst, und dass die Einheitswurzelgruppe im Allgemeinen kleiner ist.

Aufgabe

Es sei ${}\mathbb {Q} \subseteq K$ eine endliche Körpererweiterung mit ausschließlich reellen Einbettungen. Es sei ${}K\subseteq L$ eine quadratische Körpererweiterung und ${}L$ besitze keine reelle Einbettung. Zeige, dass ein kommutatives Diagramm

${\begin{matrix}K^{\times }&{\stackrel {\tau ^{\mathbb {R} }}{\longrightarrow }}&{\left(\mathbb {R} ^{\times }\right)}^{r}&{\stackrel {\ln \vert {-}\vert }{\longrightarrow }}&\mathbb {R} ^{r}&\\\downarrow &&\downarrow &&\downarrow &&\\L^{\times }&{\stackrel {\tau ^{\mathbb {R} }}{\longrightarrow }}&{\left({\mathbb {C} }^{\times }\right)}^{r}&{\stackrel {2\ln \vert {-}\vert }{\longrightarrow }}&\mathbb {R} ^{r}&\!\!\!\!\!\\\end{matrix}}$

existiert, wobei die Abbildungen rechts komponentenweise zu verstehen sind und wobei die horizontalen Abbildungen die logarithmischen Gesamtabbildungen sind.

Aufgabe

Skizziere die Situation in Lemma 28.6 für verschiedene Zahlbereiche von kleinem Grad.

Aufgabe

Es sei ${}V$ ein euklidischer Vektorraum, ${}\Delta \subseteq V$ eine diskrete Untergruppe und ${}B\subseteq V$ eine beschränkte Teilmenge derart, dass ${}\bigcup _{v\in \Delta }v+B=V$ ist. Zeige, dass ${}\Delta$ ein Gitter ist.

Aufgabe

Im Folgenden sind die Graphen zu normierten irreduziblen Polynomen ${}F$ vom Grad ${}4$ mit ganzzahligen Koeffizienten abgebildet. Es sei ${}R$ der Zahlbereich zur Körpererweiterung ${}\mathbb {Q} \subseteq K=\mathbb {Q} [X]/(F)$. Bestimme den Rang der Einheitengruppe ${}R^{\times }$.

a)

b)

c)

Aufgabe *

Es sei ${}R$ ein Zahlbereich und es seien ${}u,v\in R^{\times }$ Einheiten und ${}a,b$ von ${}0$ verschiedene ganze Zahlen mit ${}u^{a}=v^{b}$. Zeige, dass es ganze Zahlen ${}c,d$ und Einheitswurzeln ${}\zeta ,\xi \in \mu _{}{\left(R\right)}$ und eine Einheit ${}w$ derart gibt, dass ${}u=\zeta w^{c}$ und ${}v=\xi w^{d}$ gilt.

Aufgabe

Es sei ${}R$ ein Zahlbereich und ${}u\in R^{\times }$ eine Einheit, die keine Einheitswurzel sei. Zeige, dass man aus ${}u$ nur zu endlich vielen Exponenten Wurzeln ziehen kann.

Aufgabe

Es sei ${}R$ ein Zahlbereich und sei ${}u\in R^{\times }$ Teil eines Systems von Fundamentaleinheiten. Zeige, dass ${}u$ keinerlei Wurzel besitzt.

Aufgabe *

Es sei ${}R$ ein Zahlbereich und sei ${}u\in R^{\times }$ derart, dass ${}\zeta u$, wobei ${}\zeta$ eine Einheitswurzel in ${}R$ bezeichnet, in ${}R$ keinerlei Wurzel besitze. Zeige, dass dann ${}u$ Teil eines Systems von Fundamentaleinheiten ist.

Aufgabe

Es sei ${}R$ ein Zahlbereich mit ${}r\geq 1$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen. Es gelte ${}r+s\geq 3$ und es sei ${}R\subseteq \mathbb {R}$ eine fixierte reelle Einbettung. Zeige, dass es zu jedem ${}\delta >0$ Einheiten ${}u\in R$ mit ${}1<u\leq 1+\delta$ gibt.

Aufgabe

Es sei ${}S=\mathbb {Z} [Y]/{\left(Y^{2}-6Y+1\right)}$ und ${}p$ eine ungerade Primzahl derart, dass ${}Y^{2}-6Y+1$ in ${}\mathbb {Z} /(p)[X]$ irreduzibel ist. Zeige, dass ${}Y$ kein Erzeuger der multiplikativen Gruppe von ${}\mathbb {Z} /(p)[Y]/{\left(Y^{2}-6Y+1\right)}$ ist.

Aufgabe *

Es sei ${}R=\mathbb {Z} [X]/(F)$ ein Zahlbereich mit einem normierten ganzzahligen irreduziblen Polynom ${}F$. Sei ${}n\in \mathbb {N} _{+}$ fixiert. Es sei ${}p$ eine Primzahl mit den folgenden Eigenschaften.

1. ${}n$ und ${}p-1$ sind nicht teilerfremd.
2. ${}F$ ist irreduzibel in ${}\mathbb {Z} /(p)[X]$.
3. Die Restklasse von ${}X$ in ${}L=\mathbb {Z} /(p)[X]/(F)$ ist ein Erzeuger der multiplikativen Gruppe ${}L^{\times }$

Zeige, dass dann ${}X$ in ${}R$ keine ${}n$-te Wurzel besitzt.

Aufgabe

Es sei ${}R=\mathbb {Z} [X]/(F)$ ein Zahlbereich mit einem normierten ganzzahligen irreduziblen Polynom ${}F$. Sei ${}n\in \mathbb {N} _{+}$ fixiert. Es sei ${}p$ eine Primzahl derart, dass ${}p-1$ nicht teilerfremd zu ${}n$ sei. Es sei ${}L$ ein Restekörper des Faserringes ${}R/pR$ mit der Eigenschaft, dass die Restklasse von ${}X$ in ${}L$ ein Erzeuger der multiplikativen Gruppe ${}L^{\times }$ sei. Zeige, dass dann ${}X$ in ${}R$ keine ${}n$-te Wurzel besitzt.

Aufgabe *

Es sei ${}R=\mathbb {Z} [X]/{\left(X^{3}-3X+1\right)}$. Zeige mit Aufgabe 28.13, dass die Restklasse ${}x$ von ${}X$ in ${}R$ keine dritte Wurzel besitzt.

Aufgabe *

Wir betrachten das Polynom ${}F=X^{3}-3X+1$ über ${}\mathbb {Z} /(7)$.

1. Zeige, dass ${}F$ ein irreduzibles Polynom in ${}\mathbb {Z} /(7)[X]$ ist.
2. Es sei ${}x$ die Restklasse von ${}X$ in ${}\mathbb {Z} /(7)[X]/{\left(X^{3}-3X+1\right)}$. Berechne ${}x^{7}$ und ${}x^{49}$.
3. Zeige, dass ${}x$ in ${}\mathbb {Z} /(7)[X]/{\left(X^{3}-3X+1\right)}$ eine dritte Wurzel besitzt.

Aufgabe

Es seien ${}G$ und ${}H$ kommutative Gruppen und sei ${}\varphi \colon G\rightarrow H$ ein Gruppenhomomorphismus.

1. Zeige, dass dies einen Homomorphismus

   $\operatorname {Tor} {\left(G\right)}\longrightarrow \operatorname {Tor} {\left(H\right)}$

   zwischen den Torsionsuntergruppen und einen Homomorphismus

   $G/\operatorname {Tor} {\left(G\right)}\longrightarrow H/\operatorname {Tor} {\left(H\right)}$

   derart induziert, dass sich ein kommutatives Diagramm

   ${\begin{matrix}0&{\stackrel {}{\longrightarrow }}&\operatorname {Tor} {\left(G\right)}&{\stackrel {}{\longrightarrow }}&G&{\stackrel {}{\longrightarrow }}&G/\operatorname {Tor} {\left(G\right)}&{\stackrel {}{\longrightarrow }}&0&\\\downarrow &&\downarrow &&\downarrow &&\downarrow &&\downarrow &\\0&{\stackrel {}{\longrightarrow }}&\operatorname {Tor} {\left(H\right)}&{\stackrel {}{\longrightarrow }}&H&{\stackrel {}{\longrightarrow }}&H/\operatorname {Tor} {\left(H\right)}&{\stackrel {}{\longrightarrow }}&0&\!\!\!\!\!\end{matrix}}$

   mit exakten Zeilen ergibt.

2. Sei ${}\varphi$ injektiv. Zeige, dass dann auch die induzierten Homomorphismen aus (1) injektiv sein müssen.
3. Sei ${}\varphi$ surjektiv. Müssen die induzierten Homomorphismen aus (1) surjektiv sein?

Aufgabe

Es seien ${}R$ und ${}S$ Zahlbereiche und sei ${}\varphi \colon R\rightarrow S$ ein Ringhomomorphismus. Zeige, dass ein kommutatives Diagramm

${\begin{matrix}1&{\stackrel {}{\longrightarrow }}&\mu _{}{\left(R\right)}&{\stackrel {}{\longrightarrow }}&R^{\times }&{\stackrel {}{\longrightarrow }}&R^{\times }/\mu _{}{\left(R\right)}&{\stackrel {}{\longrightarrow }}&1&\\\downarrow &&\downarrow &&\downarrow &&\downarrow &&\downarrow &\\1&{\stackrel {}{\longrightarrow }}&\mu _{}{\left(S\right)}&{\stackrel {}{\longrightarrow }}&S^{\times }&{\stackrel {}{\longrightarrow }}&S^{\times }/\mu _{}{\left(S\right)}&{\stackrel {}{\longrightarrow }}&1&\!\!\!\!\!\end{matrix}}$

von Gruppenhomomorphismen mit exakten Zeilen existiert, und dass die vertikalen Homomorphismen injektiv sind.

Aufgabe *

Es seien ${}R$ und ${}S$ Zahlbereiche und sei ${}\varphi \colon R\rightarrow S$ ein Ringhomomorphismus vom Grad ${}d$. Es sei ${}u\in R^{\times }$ eine Einheit, die in ${}R^{\times }/\mu _{}{\left(R\right)}$ keinerlei Wurzel besitze (dazu ist äquivalent, dass ${}u$ Teil eines Systems von Fundamentaleinheiten ist). Es sei ${}v\in S$ mit

${}u=v^{n}\,.$

Zeige, dass ${}n$ ein Teiler von ${}d$ ist.

Aufgabe

Es sei ${}R_{n}$ der ${}n$-te Kreisteilungsring und ${}S_{n}=R_{n}\cap \mathbb {R}$, vergleiche Aufgabe 17.5. Zeige, dass die Restklassengruppe ${}R_{n}^{\times }/S_{n}^{\times }$ endlich sind.

Aufgabe *

Es sei ${}p$ eine Primzahl, ${}R_{p}$ der ${}p$-te Kreisteilungsring und ${}S_{p}=R_{p}\cap \mathbb {R}$, vergleiche Aufgabe 17.5. Zeige, dass für die Einheitengruppen die Beziehung

${}R_{p}^{\times }=\mu _{}{\left(R_{p}\right)}\cdot S_{p}^{\times }\,$

gilt. D.h. die Einheitengruppe wird von den Einheitswurzeln und den reellen Einheiten erzeugt.

Aufgabe

Es sei ${}R$ ein Zahlbereich und sei ${}u\in R^{\times }$ Teil eines Systems von Fundamentaleinheiten von ${}R$. Zeige, dass es eine Erweiterung von Zahlbereichen ${}R\subseteq S$ derart gibt, dass ${}u$ in ${}S$ nicht zu einem System von Fundamentaleinheiten gehört.

Aufgabe *

Man gebe Beispiele für eine endliche Galoiserweiterung ${}\mathbb {Q} \subseteq K$ mit zugehörigem Zahlbereich ${}R$ derart, dass der natürliche Gruppenhomomorphismus

$\operatorname {Gal} \,(K{|}\mathbb {Q} )\longrightarrow \operatorname {Aut} \,(R^{\times })$

1. bijektiv,
2. injektiv und nicht surjektiv,
3. surjektiv und nicht injektiv,
4. weder injektiv noch surjektiv

ist.

Aufgabe

Es sei ${}\mathbb {Q} \subseteq K$ eine endliche Körpererweiterung mit Galoisgruppe ${}G$ und sei ${}R$ der zugehörige Zahlbereich mit ${}r$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen. Zeige, dass die Galoisgruppe in natürlicher Weise auf der Gruppe ${}\mathbb {Z} ^{r+s-1}$ durch lineare Automorphismen wirkt.

Aufgabe

Es sei ${}R$ ein reell-quadratischer Zahlbereich. Zeige, dass die Konjugation auf

${}R^{\times }/\{\pm 1\}\cong \mathbb {Z} \,$

als Negation wirkt.

Aufgabe

Es sei ${}\mathbb {Q} \subseteq K$ eine endliche Körpererweiterung mit Galoisgruppe ${}G$ und sei ${}R$ der zugehörige Zahlbereich mit ${}r$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen. Zeige, dass die Galoisgruppe in natürlicher Weise auf der Gruppe ${}\mathbb {Z} ^{r+s-1}$ durch lineare Automorphismen wirkt.

Aufgabe *

Wir betrachten den Zahlbereich ${}R=\mathbb {Z} [X]/{\left(X^{3}-3X+1\right)}$. Es ist (vergleiche Beispiel 25.5)

${}\operatorname {Gal} \,(R{|}\mathbb {Z} )\cong \mathbb {Z} /(3)=\langle \varphi \rangle \,$

und

${}R^{\times }/\{\pm 1\}\cong \mathbb {Z} ^{2}\,$

Bestimme die Matrix, die die Wirkung von ${}\varphi$ auf ${}\mathbb {Z} ^{2}$ beschreibt.

Aufgabe

Es sei ${}R$ ein kommutativer Ring und ${}A$ eine kommutative ${}R$- Algebra. Zeige, dass durch

$A^{\times }\longrightarrow \Omega _{A{|}R},\,f\longmapsto {\frac {df}{f}},$

ein Gruppenhomomorphismus von der Einheitengruppe in den Modul der Kähler-Differentiale definiert wird.

Die vorstehende Abbildung heißt logarithmische Ableitung.

Aufgabe *

Beschreibe die logarithmische Ableitung explizit für die imaginär-quadratischen Zahlbereiche.

Aufgabe *

Es sei ${}p$ eine Primzahl und ${}R_{p}$ der ${}p$-te Kreisteilungsring. Zeige, dass durch die logarithmische Ableitung ein Gruppenhomomorphismus

$\mu _{}{\left(R_{p}\right)}\longrightarrow \Omega _{R_{p}{|}\mathbb {Z} }$

gegeben ist, dessen Kern gleich ${}\{\pm 1\}$ ist.

Aufgabe *

Es sei ${}R$ ein Zahlbereich mit ${}r$ reellen und ${}s$ Paaren von komplexen Einbettungen. Es sei ${}f\in R$, ${}f\neq 0$, ein Element mit der Primidealzerlegung

${}(f)={\mathfrak {p}}_{1}^{r_{1}}\cdots {\mathfrak {p}}_{k}^{r_{k}}\,.$

Zeige, dass die Einheitengruppe ${}R_{f}^{\times }$ der Nenneraufnahme ${}R_{f}$ isomorph zu ${}\mu _{}{\left(R\right)}\times \mathbb {Z} ^{r+s+k-1}$ ist.