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} .