From 73574ae4efd93a398c98163c2ec9223ad304fd1e Mon Sep 17 00:00:00 2001 From: Anton Mosich Date: Tue, 13 Dec 2022 13:03:35 +0100 Subject: [PATCH] Add VO 13.12.2022 --- Algebra.tex | 117 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 117 insertions(+) diff --git a/Algebra.tex b/Algebra.tex index f708b42..6bbddf6 100644 --- a/Algebra.tex +++ b/Algebra.tex @@ -2765,4 +2765,121 @@ Wir zeigen nun, dass jeder Hauptidealbereich faktoriell ist. \end{enumerate} \end{proof} +\section{Quadratische Zahlenkörper und Zahlringe} +\begin{defin} + Für $d \neq 0, 1$ quadratfrei definiere + \[ + \Q\left(\sqrt d\right) := \left\{a + b\sqrt d | a, b \in \Q\right\} \ssq \C. + \] + $\Q\left(\sqrt{d}\right)$ heißt quadratischer Zahlkörper. +\end{defin} + +Ein Element $\alpha + \beta \sqrt d, (\alpha, \beta) \in \Q \times \Q$, heißt ganz in +$\Q\left(\sqrt{d}\right)$, falls das normierte Polynom $f \in \Q[x]$ von kleinstem Grad mit +$f\left(\alpha + \beta \sqrt d\right) = 0$ schon in $\Z[x]$ liegt (das heißt +$\alpha + \beta \sqrt d$ Nullstelle eines \underline{normierten} Polynoms aus $\Z[x]$ ist). +Falls $\alpha \in \Q \cap \Q\left(\sqrt d\right), \alpha = \frac ab$, so hat $f(x) = bx -a$ eine Nullstelle +in $\frac ab$, liegt in $\Z[x]$, ist normiert $\iff b = 1$. +$\alpha = \frac ab$ ist ganz in $\Q\left(\sqrt d\right) \iff b = \pm 1$. + +Für $\alpha + \beta \sqrt d \in \Q\left(\sqrt d\right) \setminus \Q:$ +\[ + \left(x- \left(\alpha + \beta \sqrt d\right)\right)\left(x - \left(\alpha - \beta \sqrt d\right)\right) + = x^2 - 2\alpha x + \left(\alpha^2 - d\beta^2\right) \in \Q[x] +\] +$\alpha + \beta \sqrt d$ ist ganz $\iff P(x) \in \Z[x]$. + +$P(x) \in \Z[x] \iff 2\alpha \in \Z \land \alpha^2 - d \beta^2 \in \Z$. +\begin{description} + \item[1. Fall:] $\alpha \in \Z \land \alpha^2 - d \beta^2 \in \Z \iff (\alpha, \beta) \in \Z \times \Z$ + \item[2. Fall:] $\alpha = \frac u2$, dann muss auch $\beta = \frac v2$. + $\frac {u^2} 4 - \frac {dv^2} 4 \in \Z \iff u^2 - db^2 \equiv 0 \pmod 4$. Es ist $u^2 \equiv 1 \pmod 4 + \land v^2 \equiv 1 \pmod 4$. Falls $d \equiv 2, 3 \pmod 4$: diese Gleichung ist nie erfüllt. Falls aber + $d \equiv 1 \pmod 4$ ist sie immer erfüllt. +\end{description} +Wir erhalten: +\[ + \alpha + \beta \sqrt d\text{ ist ganz in }\Q\left(\sqrt d\right) \iff + \begin{cases} + \alpha, \beta \in \Z & \text{für } d\equiv 2, 3 \pmod 4 \\ + (\alpha, \beta \in \Z) \lor (2\alpha, 2\beta \in \Z & \text{mit } 2 \alpha \equiv 2\beta \pmod 2) + \end{cases} +\] + +\begin{defin} + Der Ring $\mathcal O_d$ der ganzen Zahlen in $\Q\left(\sqrt d\right)$ ist $\Z + \Z\omega$, wobei + $\omega = \frac{1+ \sqrt d}2$ für $d \equiv 1 \pmod 4$ und $\omega = \sqrt d$ für $d \equiv 2, 3\pmod 4$. +\end{defin} +Überprüfe: $\mc O_d$ ist wirklich ein Ring. + +\begin{defin} + In $\Q\left(\sqrt d\right)$ definieren wir die Norm von $\alpha + \beta \sqrt d$ durch + \[ + \mc N\left(\alpha + \beta \sqrt d\right) = + \left(\alpha + \beta \sqrt d\right)\left(\alpha - \beta \sqrt d\right) = + \alpha^2 - d \beta^2 + \] +\end{defin} +Es gilt: $\mc N(xy) = \mc N(x) \mc N(y)$ für $x, y \in Q\left(\sqrt d\right)$ ($\mc N$ ist multiplikativ). + +\begin{bemerkung} + $x \in \mc O_d^* \iff \mc N(x) = \pm 1 (\in \Z^*)$ \\ + $x \in \mc O_d^* \iff \exists y \in \mc O_d: xy = 1$. Es folgt $\mc N(xy) = \mc N(x) \mc N(y) = 1$. + $\mc N(x), \mc N(y) \in \Z$ (klar falls $x, y \in \Z + \Z\sqrt d, \frac{u^2}4+\frac{v^2}4d = + \frac{u^2+v^2 d}4 \in \Z$). $\implies \mc N(x) \in \pm 1$. \\ + Falls $\mc N(x) = \pm 1, x = \alpha + \beta \sqrt d, \implies + \left(\alpha + \beta \sqrt d\right) \left(a - \beta \sqrt d\right) = \pm 1$, das heißt $x \in \mc O_d^*$. +\end{bemerkung} + +Für welche $d$ ist $\mc O_d$ faktoriell und wie weist man es nach? +Es sind jedenfalls nicht alle $\mc O_d$ sind faktoriell, z.B. $\mc O_{-5}$ ist es nicht! +Siehe dazu \ref{bsp:2.6.4}. + +In $\mc O_{-5} = \Z + \Z\sqrt{-5}$ gilt $6 = 2 \cdot 3 = \left(1+\sqrt{-5}\right)\left(1-\sqrt{-5}\right)$. +Wir wissen bereits: $1 + \sqrt{-5}$ ist irreduzibel in $\mc O_{-5}$. +Wäre $\mc O_{-5}$ faktoriell, so folgte daraus: $1 + \sqrt{-5}$ ist prim. +$1+ \sqrt{-5} | 2 \lor 1 + \sqrt{-5} | 3$, was aber nicht der Fall ist. + +$\mc O_{10}$ ist auch nicht faktoriell, +$6 = 2 \cdot 3 = \left(4 + \sqrt{10}\right)\left(4 - \sqrt{10}\right)$ + +\begin{defin} + Eine Funktion $\nu: R \setminus \{0\} \to \Z^+$ mit $\nu(mn) \ge \nu(m) \forall m, n \in R\setminus\{0\}$ + heißt euklidische Normfunktion auf dem Integritätsbereich $R$, falls für $m, n \in R, m \neq 0$ + Elemente $q, r \in R$ existieren mit $n = qm + r$ und $\nu(r) < \nu(m)$ oder $r = 0$. Der Ring $R$ heißt + dann euklidischer Ring. +\end{defin} + +\begin{bsp} + \begin{enumerate} + \item $R = \Z, \nu = \abs{\cdot}$. Satz von der Division mit Rest liefert: \Z\ ist euklidisch. + \item $R = \Z + \Z i (= \mc O_{-1}), \nu = \mc N$. Seien $a, b \in \Z[i]$. Zu zeigen: $\exists + q, r \in \Z[i]$ mit $a = qb + r$ und $\underbrace{\mc N(r) < \mc N(b)}_{\text{sogar }\mc N(r) \le \frac{\N(b)} 2} \lor r = 0$. + Schreiben $\frac ab = \xi + i \eta$ mit $\xi, \eta \in \Q$. Es existieren $k, l \in \Z$ mit + $\abs{\xi - k} \le \frac 12, \abs{\eta - l} \le \frac 12$. $\mc N((\xi + i \eta) - (k + i l)) = + \mc N(\underbrace{(\xi - k)}_{\abs{\cdot} \le \frac 12} + i \underbrace{(\eta - l)}_{\abs{\cdot}\le \frac 12}) \le \frac 12$ + Setze nun: $q := k + il, r = a - qb$ + \begin{align*} + \mc N(r) & = \mc N(a - qb) = \mc N(a - (k + il)b) = \mc N(b\left(\frac ab - (k + il)\right)) \\ + & = \mc N(b) \cdot \underbrace{\mc N(\frac{a}{b} - (k + il))}_{\le \frac 12} + \le \frac 12 \mc N(b) + \end{align*} + Es folgt: $\Z[i]$ ist euklidisch mit $\nu = \mc N$. + \end{enumerate} +\end{bsp} + +\begin{satz} + $R$ euklidisch $\implies R$ HIB ($\implies R$ faktoriell) +\end{satz} +\begin{proof} + Sei $I \ideal R$. Ist $I = \{0\} \implies I = (0)$.\\ + Falls $I \neq (0)$, so existiert ein $0 \neq a \in I$ mit $\nu(a)$ ist minimal. $(a) \in I$ und wir + behaupten: $(a) = I$. Sei $b \in I$. Dann ist $b = qa + r$ mit $q, r \in R$ und $\nu(r) < \nu(a)$ oder + $r = 0$ (da $R$ euklidisch!). + $r = \underbrace{b}_{\in I} - \underbrace{q}_{\in I}\underbrace{a}_{\in I} \in I$, ein Widerspruch zu + $\nu(a)$ minimal, es sei denn $r = 0$ und $b \in (a)$. Da $b$ beliebig war, folgt $(a) = I$. +\end{proof} + +$\mc O_{-43}$ ist HIB, aber nicht euklidisch. + \end{document}