Endlicher Ringhomomorphismus/Spektrumsabbildung/Fasern endlich/Fakt

Es sei

ein endlicher Ringhomomorphismus zwischen kommutativen Ringen.

Dann bestehen die Fasern der Spektrumsabbildung

aus endlich vielen Punkten.