Kommutativer Ring/Spektrumsabbildung/Faser/Fakt

Aus Wikiversity

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 .