Definition:Vanishing Ideal of Set of Prime Ideals

Definition

Let $A$ be a commutative ring with unity.

Let $V \subseteq \Spec A$ be a set of prime ideals of $A$.

Its vanishing ideal is its intersection, the set of elements of $A$ that are in each $\mathfrak p \in V$:

$\map I V = \bigcap V$

Also see

• Definition:Zero Locus of Subset of Ring