Sei \(\mathbb{Z}[\sqrt{z}]\) mit \(z \in \mathbb{Z}\) der kleinste Ring, der \(\mathbb{Z}\) und \(\sqrt{z}\) enthält. Sei \(A := \{a + b \sqrt{z} | a, b \in \mathbb{Z}\}\).
Behauptung: \(\mathbb{Z}[\sqrt{z}] = A\) Beweis: z.Z.: \(\mathbb{Z}[\sqrt{z}] \subseteq A\) und \(\mathbb{Z}[\sqrt{z}] \supseteq A\)
Zuerst zeige ich \(\mathbb{Z}[\sqrt{z}] \supseteq A\):
- $\mathbb{Z}[\sqrt{z}]$ enthält $\mathbb{Z} \Rightarrow \{a \in \mathbb{Z}\} \subseteq \mathbb{Z}[\sqrt{z}]$
- $\mathbb{Z}[\sqrt{z}]$ enthält $\sqrt{z} \Rightarrow \{\sqrt{z}\} \subseteq \mathbb{Z}[\sqrt{z}]$
- $\mathbb{Z}[\sqrt{z}]$ ist ein Ring, also ist $(\mathbb{Z}[\sqrt{z}], +)$ eine abelsche Gruppe.
- $\Rightarrow A \subseteq \mathbb{Z}[\sqrt{z}]$
Nun \(\mathbb{Z}[\sqrt{z}] \subseteq A\):
- $(A, +) \leq (\mathbb{R}, +)$, denn (UG-Kriterium)
- $0 = 0 + 0 \sqrt{z} \in A \Rightarrow A \neq \emptyset$
- $\forall (a+b \sqrt{z}), (c + d \sqrt{z}) \in A:$ $(a+b\sqrt{z}) - (c+d\sqrt{z}) = \underbrace{(a-c)}_{\in \mathbb{Z}} + \underbrace{(b-d)}_{\in \mathbb{Z}} \sqrt{z} \in A$
- $(A, +)$ ist abelsch, da $(\mathbb{R}, +)$ abelsch ist
- $(A, \cdot)$ ist Untermonoid von $(\mathbb{R}, \cdot)$, denn
- $1 = 1 + 0 \sqrt{z} \in A$
- $\forall (a+b \sqrt{z}), (c + d \sqrt{z}) \in A:$ $(a+b\sqrt{z}) \cdot (c+ d\sqrt{z}) = \underbrace{(ac + z bd)}_{\in \mathbb{Z}} + \underbrace{(ad + bc)}_{\in \mathbb{Z}} \sqrt{z} \in A$
- Distributivgesetze: Vererben sich aus $(\mathbb{R}, \cdot)$
- $\Rightarrow \mathbb{Z}[\sqrt{z}] \subseteq A$
\(\Rightarrow \mathbb{Z}[\sqrt{z}] = A \blacksquare\)