Intereting Posts

Resultant of Two Univariate Polynomials
What are the rules for complex-component vectors and why?
Have $\alpha:G \to H$. If a subgroup $U$ is normal in $H$ prove the pre-image of $U$ is normal in $G$.
What is the importance of functions of class $C^k$?
How to show $\mathbb R^n/\mathbb Z^n$ is diffeomorphic to torus $\mathbb T^n$?
Intuition surrounding units in $R$
How to prove a number system is a fraction field of another?
opposite of disjoint
Find solution of equation $(z+1)^5=z^5$
show that the interval of the form $$ is open set in metric subspace $$ but not open in $\mathbb R^1$
Formula for $\zeta(3)$ -verification
Maximum value of multiplicative order
Average number of trials until drawing $k$ red balls out of a box with $m$ blue and $n$ red balls
Closed form solution for the zeros of an infinite sum
$PGL(n, F)=PSL(n, F)$

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]$.

- Is there a classification of local rings with trivial group of units?
- Existence of valuation rings in an algebraic function field of one variable
- $M\oplus A \cong A\oplus A$ implies $M\cong A$?
- Finding all invertible elements of $S^{-1}D$, $D$ is a Noetherian integral domain
- When does intersection commute with tensor product
- Does a regular function on an affine variety lie in the coordinate ring?(Lemma 2.1, Joe Harris)
- $R$-linear injection
- Scheme: Countable union of affine lines
- $\operatorname{height} \mathfrak{p} + \dim A / \mathfrak{p} = \dim A$
- inverse limit of isomorphic vector spaces

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!

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)$.

- When can a function not be factored?
- Hints about Exercise 4.2 in Miles Reid, Undergraduate Commutative Algebra
- Prove that $A \subset B$ if and only if $A \cap B = A$
- the Riemann integrability of inverse function
- Is it possible to find a companion matrix of a polynomial which is also hermitian?
- Are the $C$-points of a simply connected algbraic group simply connected?
- Permutations with k inversions. Combinatorial proof.
- How to Self-Study Mathematical Methods?
- How do you prove this very different method for evaluating $\sum_{k=1}^nk^p$
- Intuitive Proof of the Chain Rule in 1 Variable
- An example of a regular function over an open set
- Solve $\lim_{x\to0}{\frac{x^2\cdot\sin\frac{1}{x}}{\sin x}}$
- How to rotate n individuals at a dinner party so that every guest meets every other guests
- Show that $f(x)=\frac{x}{1+|x|}$ is uniformly continuous.
- Why is full- & faithful- functor defined in terms of Set properties?