MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Yeasterday I asked a question on math stackexchange which simplifies to the following:

Assume that $G$ is a graded ring and $A \subseteq G$ is a homogeneous radical ideal. Is it true that $IV(A) = A $? Here $I(X) $ is the homogeneous ideal generated by homogeneous elements that vanish at every point of $X$ and $V(S)$ is the set of relevent primes that contain $S$.

It is still unanswered. As explained in the math stackexchange question, it suffices to prove the following: If $A \subseteq \mathfrak{p}$ is a prime, then there exists a relevent homogeneous prime $ \mathfrak{q}$ such that $A \subseteq \mathfrak{q} \subseteq \mathfrak{p}$. I understand how to deal with the case when $ \mathfrak{p}$ does not contain the irrelvent ideal, but I am stuck with the case when $ \mathfrak{p}$ does contain the irrelevent ideal. Even in the special case $G = \mathbb{Z}[X,Y] $ I am not sure how to proceed. The primes containing $ (X,Y) $ all look like $(p,X,Y)$ for some prime $ p $, but I don't know how to "choose a line" which passes through this point like you can in the case of $ \mathbb{C}[X,Y]$. I debated whether to ask this question here, but I feel like somthing interesting is going and I just can't see it. I am looking forward to reading some enightened responses!

share|cite|improve this question
The Nullstellensatz is a theorem about ideals in a polynomial ring over an algebraically closed field: The statement you are looking for is not true, even for $G=\mathbb{R}[x,y]$ and $A=(x^2+y^2)$. – J.C. Ottem May 19 '13 at 22:14
@J.C Ottem: I don't understand your example. $A$ is a relevent homogeneous maximal ideal. This means that $V(A) = \{ A \}$ so $IV(A) = A$ – Daniel Barter May 19 '13 at 22:37
I meant that the equality $I(Z(A))=\sqrt{A}$, which is the usual statement of the Nullstellensatz does not hold in this case. – J.C. Ottem May 19 '13 at 22:53
@Ottem: Oh i see what you mean. I definitely what to include the "non line" points in Z(A) – Daniel Barter May 19 '13 at 22:56
You can find "Projective Nullstellensatz" in the wiki entry "Hilbert's Nullstellensatz". Hopefully it will answer your question. – Xiaobo Zhuang May 20 '13 at 15:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.