Zum Inhalt springen

Integritätsbereich/Quotientenkörper/Lokalisierungen/Durchschnitt/Fakt/Beweis

Aus Wikiversity
Beweis

Die Inklusionen sind klar. Zu betrachten wir das Nennerideal

Wenn nicht zu gehört, so ist das Nennerideal nicht das Einheitsideal. Dann gibt es auch ein maximales Ideal . Aus würde sich direkt ein Widerspruch ergeben.