Zahlentheorie/Ganzheitring/Ideale/Zerlegung in Primideale/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir benutzen Fakt, also die bijektive Beziehung zwischen Idealen und effektiven Divisoren. Auf der Seite der Divisoren haben wir offenbar eine eindeutige Darstellung

mit geeigneten Primidealen . Wendet man auf diese Darstellung die Abbildung an, so erhält man links das Ideal zurück. Es genügt also zu zeigen, dass der Divisor rechts auf das Ideal abgebildet wird. Dies folgt aber direkt aus Fakt.

Zur bewiesenen Aussage