Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In Reid's commutative algebra, the author gives some exposition about the Nullstellensatz, $I(V(J))=\operatorname{rad}(J)$. But I can't understand it: The Nullstellensatz says that we can take the intersection just over maximal ideals of $k[X_1,\cdots,X_n]$.

share|improve this question

2 Answers 2

up vote 8 down vote accepted

In a commutative ring $A$, an ideal $I\subset A$ has two radicals:
a) The nilpotent radical $\sqrt I=Rad(I)=\cap_{I\subset P \:prime}$ which is the intersection of all prime ideals containing $I$.
b) The Jacobson radical $J(I)=\cap_{I\subset M \: maximal}$ which is the intersection of all maximal ideals containing $I$.
Now, there is a class of rings, deservedly called Jacobson rings, for which the two radicals coincide. Any algebra of finite type over a field is a Jacobson ring, and so there is no contradiction in the statements you mention in your question.

Warning Many rings are not Jacobson rings. For example a local domain (A,M) which is not a field is never Jacobson because the nilpotent ideal $(0)$ has $Rad((0))=(0)$ whereas $J((0))=M$.
So, beware: the local rings $\mathcal O_{X,x}$ of points $x\in X$ of the affine algebraic $k$-variety $X=Spec(A)$ are not Jacobson rings even though the finitely generated $k$-algebra $A$ is a Jacobson ring!

share|improve this answer

Because the maximal ideals correspond to points in $k^n$. Then $f(a_1,\ldots,a_n)=0$ iff $f \in (X_1-a_1,\ldots,X_n-a_n)$.

share|improve this answer

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.