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

Beweis

Der Quotientenkörper von ${}R_{f}$ stimmt mit dem Quotientenkörper von ${}R$ überein. Da mit ${}R$ auch ${}R_{f}$ von endlichem Typ über ${}K$ ist, folgt die Aussage aus Fakt.