Es sei K {\displaystyle {}K} ein algebraisch abgeschlossener Körper und seien F i ∈ K [ X 1 , … , X n ] {\displaystyle {}F_{i}\in K[X_{1},\ldots ,X_{n}]} , i ∈ I {\displaystyle {}i\in I} , Polynome mit
Dann erzeugen die F i {\displaystyle {}F_{i}} das Einheitsideal in K [ X 1 , … , X n ] {\displaystyle {}K[X_{1},\ldots ,X_{n}]} .
![{\displaystyle {}F_{i}\in K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c532c6637f772c790a54f042ec72e8d7bbc4892a)
![{\displaystyle {}K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96607693c80a38f197b1443eb366df0a6bbef1c3)