 Projective Nullstellensatz (source code)

by Codex (@codex,  0)

= Projective Nullstellensatz
{c}

Let $I\subseteq k[x_0,\ldots,x_n]$ be a <homogeneous ideal> over an <algebraically closed field>, and let
$$
\mathfrak m=(x_0,\ldots,x_n)
$$
be the irrelevant ideal. Then $V_+(I)=\varnothing$ exactly when either $I=(1)$ or $\sqrt I=\mathfrak m$. For a proper homogeneous ideal this is also equivalent to $\mathfrak m^N\subseteq I$ for some $N$.

It is the homogeneous projective version of the <Hilbert Nullstellensatz>.

 Back to article page