Z ist Hauptidealbereich/Fakt

Der Ring ${}\mathbb {Z}$ der ganzen Zahlen

ist ein Hauptidealbereich.

Zum Beweis, Alternativen Beweis erstellen