Sei \(I\subseteq \mathbb{Z}\) ein Ideal. OBdA \(I \not =0\). Sei \(M=\{|x| : x \in I-\{0\}\}\subseteq \mathbb {N} \). Dann ist \(M\not =\emptyset\), Wahlordnung der natürlichen Zahlen sagt, es gibt ein minimalen Elememt \(|x| \in M\) mit \(x \in I\). Dann ist \(I=(x)\), wende Divisionsalgorithmus an.

Moin,
das liegt daran, dass $\mathbb{Z}$ ein Hauptidealring ist. Das kann man z.B. mit dem Lemma von Bezout zeigen. Das besagt, dass man für $a,b \in \mathbb{N}$ $x_1,x_2\in\mathbb{Z}$ finden kann, s.d. $$\gcd({a,b})=x_1*a+x_2*b$$Daraus folgt dann induktiv, dass es für eine beliebige Menge natürlicher Zahlen $a_1,a_2,...,a_n$ gilt, dass$$(a_1,a_2,...,a_n)=(\gcd(a_1,...,a_n))$$also von genau einem Element erzeugt.
LG

chatgpt kollege