Polynomring/Körper/Hyperfläche/Dimension/Fakt/Beweis

Beweis

Nach Fakt gibt es eine endliche Erweiterung

Nach Fakt stimmen die Dimensionen der beiden Ringe überein. Also hat der Hyperflächenring die gleiche Dimension wie der Polynomring in Variablen, die nach Fakt gleich ist.