Es sei F ∈ K [ X 1 , … , X k ] {\displaystyle {}F\in K[X_{1},\ldots ,X_{k}]} ein Polynom mit Restklassenring
Dann ist
mit
und
![{\displaystyle {}F\in K[X_{1},\ldots ,X_{k}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e02b4bf433683e680193a71820a9392dd506c0a)
ein Polynom mit Restklassenring
![{\displaystyle {}R=K[X_{1},\ldots ,X_{k}]/(F)\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62412c08b5cdfdfe9d441c09cc0321945654853a)
![{\displaystyle {}R\otimes _{K}R\cong R[A_{1},\ldots ,A_{k}]/(G)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a806ed14e7a330b3d69b0fc14165500e4a027da8)
