Es sei K {\displaystyle {}K} ein Körper und sei F j ∈ K [ X 1 , … , X n ] {\displaystyle {}F_{j}\in K[X_{1},\ldots ,X_{n}]} , j ∈ J {\displaystyle {}j\in J} , eine Familie von Polynomen in n {\displaystyle {}n} Variablen. Es sei a {\displaystyle {}{\mathfrak {a}}} das von den F j {\displaystyle {}F_{j}} erzeugte Ideal in K [ X 1 , … , X n ] {\displaystyle {}K[X_{1},\ldots ,X_{n}]} . Dann ist
ein
Körper
und sei
![{\displaystyle {}F_{j}\in K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/828d02bb168ec2600a12363c7cc0fef1fdf26a7a)
, 
,
eine Familie von Polynomen in 
Variablen. Es sei 
das von den 
erzeugte Ideal
in ![{\displaystyle {}K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96607693c80a38f197b1443eb366df0a6bbef1c3)
. Dann ist
