Sei T ⊆ A K n {\displaystyle {}T\subseteq {{\mathbb {A} }_{K}^{n}}} eine Teilmenge. Dann nennt man
das Verschwindungsideal zu T {\displaystyle {}T} . Es wird mit Id ( T ) {\displaystyle {}\operatorname {Id} \,(T)} bezeichnet.
![{\displaystyle {\left\{F\in K[X_{1},\ldots ,X_{n}]\mid F(P)=0{\text{ für alle }}P\in T\right\}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c25fc19aca419dc3b648334241bf0d2325f73e7a)
