Ganzer Ringhomomorphismus/Injektiv/Surjektiv/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Lying over für ganze Ringerweiterungen

Es sei

ein injektiver ganzer Ringhomomorphismus.

Dann ist die Spektrumsabbildung

surjektiv.

Zum Beweis, Alternativen Beweis erstellen