Es sei F ∈ K [ X 1 , … , X n ] {\displaystyle {}F\in K[X_{1},\ldots ,X_{n}]} ein Polynom ≠ 0 {\displaystyle {}\neq 0} über einem Körper K {\displaystyle {}K} .
Dann besitzt der Restklassenring K [ X 1 , … , X n ] / ( F ) {\displaystyle {}K[X_{1},\ldots ,X_{n}]/(F)} die Dimension n − 1 {\displaystyle {}n-1} .
![{\displaystyle {}F\in K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb9907eef7712dd23f5765db372457691aa7d626)
![{\displaystyle {}K[X_{1},\ldots ,X_{n}]/(F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bafa29c52e7bd8220257a7d3c381146aeb861a94)
