Let A be a Noetherian ring, Is the set of prime ideals $\{p\in \operatorname{Spec} A| A_p$ is a reduced ring $\}$ an open subset of $\operatorname{Spec} A$ in Zariski topology?
the reduced locus of a Noetherian ring
4
$\begingroup$
commutative-algebra
-
0A similar problem: if $A$ is a noetherian ring, then the set of prime ideals $P$ of $A$ such that $A_P$ is a domain is an open subset of $\mathrm{Spec} A$. – 2011-09-28
1 Answers
7
Yes.
The key to your question is the easy to prove equality (in case of emergency: Atiyah-Macdonald, Corollary (3.12)) $Nil(A_{\mathfrak p})= (Nil (A))_{\mathfrak p}$
Since $A_{\mathfrak p}$ reduced means $Nil (A_{\mathfrak p})=0$, you are asking in effect about the set of points ${\mathfrak p}\in Spec(A)$ such that $(Nil (A))_{\mathfrak p}=0$.
This set is the complement of the closed set $supp (Nil(A))=V(Ann(Nil (A)))$ and is thus open.
-
0Thanks, the proof is elegant! – 2011-09-27