Ganze Ringerweiterung/Spektrumsabbildung/Dimensionsgleichheit/Fakt

Es sei

ein injektiver ganzer Ringhomomorphismus.

Dann ist