Z ist Hauptidealbereich/Fakt

Der Ring der ganzen Zahlen

ist ein Hauptidealbereich.