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

Aufgaben

Aufgabe Referenznummer erstellen

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 Referenznummer erstellen

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 Referenznummer erstellen

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

Aufgabe Aufgabe 28.4 ändern

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 Referenznummer erstellen

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 * Referenznummer erstellen

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 Referenznummer erstellen

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 Referenznummer erstellen

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

Aufgabe * Referenznummer erstellen

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 Referenznummer erstellen

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 Referenznummer erstellen

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 * Referenznummer erstellen

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 Aufgabe 28.13 ändern

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 * Referenznummer erstellen

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 * Referenznummer erstellen

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 Referenznummer erstellen

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 Referenznummer erstellen

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 * Referenznummer erstellen

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 Referenznummer erstellen

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 * Referenznummer erstellen

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 Referenznummer erstellen

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 * Referenznummer erstellen

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 Referenznummer erstellen

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 Referenznummer erstellen

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

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

als Negation wirkt.

Aufgabe Referenznummer erstellen

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 * Referenznummer erstellen

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 Referenznummer erstellen

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 * Referenznummer erstellen

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

Aufgabe * Referenznummer erstellen

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 * Aufgabe 28.30 ändern

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.