Kommutativer Ring/Spektrumsabbildung/Faser/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei

ein Ringhomomorphismus zwischen zwei kommutativen Ringen und es sei

die zugehörige Spektrumsabbildung.

Dann ist die Faser über einem Primideal gleich .

D.h. die Faser besteht aus allen Primidealen mit und mit .

Zum Beweis, Alternativen Beweis erstellen