Z ist Hauptidealbereich/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Zunächst ist ein Integritätsbereich. Es sei ein Ideal. Damit ist insbesondere eine (additive) Untergruppe von und hat nach Fakt die Gestalt . Damit handelt es sich um ein Hauptideal.

Zur bewiesenen Aussage