Algebra/Körper/Endlicher Typ/Integer/Nenneraufnahme/Dimension/Fakt

Es sei ${}R$ eine integre ${}K$ -Algebra vom endlichen Typ über einem Körper ${}K$ und ${}f\in R$ ein von ${}0$ verschiedenes Element.

Dann stimmt die Dimension der Nenneraufnahme ${}R_{f}$ mit der Dimension von ${}R$ überein.