Intereting Posts

last $2$ digit and last $3$ digit in $\displaystyle 2011^{{2012}^{2013}}$
Cardinality of power set of empty set
Polynomials are dense in $L^2$
Finite-dimensional subspace normed vector space is closed
Does every Cauchy net of hyperreals converge?
Why is the Logarithm of a negative number undefined?
Geometric series of an operator
Induction Proof with a $\neq$ 1
Ring homomorphisms from $\Bbb Q$ into a ring
Termwise differentiation for absolutely convergent series
Removing the star without changing homology
What is the intuition behind differential forms?
Representation of integers by Fibonacci numbers
Number of monic irreducible polynomials of prime degree $p$ over finite fields
Is the complement of the closed unit disk in the plane homeomorphic with $\mathbb R^2\setminus \{(0,0)\} $ ?

Here is the question that I came up with, which I am having trouble proving or disproving:

**Let $A$ be a ring (commutative). Let $p \in Spec(A)$ such that $A_p$ is reduced. Then there exists an open neighborhood of $U \subset Spec(A)$ containing $p$ such that $\forall q \in U$, $A_q$ is reduced.**

Here is some background to my question:

- The preimage of a maximal ideal is maximal
- Prove a residue matrix $A$ (with coefficients in $\mathbb Z_n)$ has an inverse if and only if $\gcd(\det A,n) = 1$
- If $M/N$ and $N$ are noetherian $R$-modules then so is $M$
- Is there a general formula for finding all subgroups of dihedral groups?
- Are there real world applications of finite group theory?
- Identify quotient ring $\mathbb{R}/(x^2-k), k>0$

I am basically trying to prove that if the stalks at all closed points of a quasicompact scheme are reduced rings, then the scheme is reduced.

Since the closure of every point of a quasicompact scheme contains a closed point of that scheme, proving the above commutative algebra statement (if it is true) will yield a proof of this statement about reducedness of quasicompact schemes.

If the statement in bold is true, then I guess the neighborhood $Spec(A)-V(A-p)$ should suffice (this is just a guess), but I am running into some problems trying to use this neighborhood to show that the localization at every point of $Spec(A)-V(A-p)$ gives me a reduced ring. So there might be some other neighborhood of $p$ that I am missing, or the statement in bold is not true. Either way, some help would be appreciated *(if the statement in bold is true, then I would appreciate hints and not complete answers).*

- Meaning of holomorphic Euler characteristics?
- Prove that the group isomorphism $\mathbb{Z}^m \cong \mathbb{Z}^n$ implies that $m = n$
- Elementary proof for $\sqrt{p_{n+1}} \notin \mathbb{Q}(\sqrt{p_1}, \sqrt{p_2}, \ldots, \sqrt{p_n})$ where $p_i$ are different prime numbers.
- Easy criteria to determine isomorphism of fields?
- How can I find the kernel of $\phi$?
- Applications of Gröbner bases
- linear algebra over a division ring vs. over a field
- Splitting of conjugacy class of an element
- Prove that $\operatorname{Hom}_{\Bbb{Z}}(\Bbb{Q},\Bbb{Z}) = 0$ and show that $\Bbb{Q}$ is not a projective $\Bbb{Z}$-module.
- Prove every group of order less or equal to five is abelian

Your boldface statement is false in general. Consider

$$A=F[X_1, \dots, X_n, …., Y_1, \dots, Y_n, ….]/(X_n^2, X_nY_n)_n$$

over a field $F$. Denote by $x_n, y_n$ the images of $X_n, Y_n$ in $A$. Let $\mathfrak p$ be the ideal generated by the $x_n$’s. As $A/\mathfrak p$ is $F[y_1, \dots, y_n, ….]$ which is integral, $\mathfrak p$ is a prime ideal, generated by nilpotent elements, thus is the minimal prime ideal of $A$. As every $x_ny_n=0$, $\mathfrak pA_{\mathfrak p}=0$, hence $A_{\mathfrak p}$ is reduced.

If there were a reduced open neighborhood $U$ of $\mathfrak p$, then $U$ contains a non-empty reduced principal open subset $D(f)$. So $A_f$ is reduced and $\mathfrak p A_f=0$. Therefore for all $n\ge 1$, there exists $r_n\ge 1$ such that $f^{r_n}x_n=0$. Now it is easy to check that $f\in y_nA+\mathfrak p$ and $\cap_n (y_nA +\mathfrak p)=\mathfrak p$. Thus $f$ is nilpotent and $D(f)=\emptyset$. Contradiction.

The basic equation is the not completely trivial equality (do you want a proof?)

$$(NilA)_{\mathfrak p}=Nil(A_{\mathfrak p})$$

**If** Nil(A) is a finitely generated ideal of $A$ (automatic for noetherian $A$), you deduce that $$Supp (NilA)=V(Ann (Nil A))$$

is closed, as required.

If the localizations of $A$ at all of its maximal ideals are reduced, then the annihilator of any nilpotent element of $A$ is not contained in any maximal ideal, and so contains $1$.

- Does $\wp(A \cap B) = \wp(A) \cap \wp(B)$ hold? How to prove it?
- Original author of an exponential generating function for the Bernoulli numbers?
- How to solve this equation for x? $0 = (x+k)e^{-(x+k)^2}+(x-k)e^{-(x-k)^2}$
- Tests for positive definiteness of nonsymmetric matrices
- Expectation of hitting time of a markov chain
- Numbers of circles around a circle
- Proof ¬q → ¬p from premise p → q using deductive system& Modus ponens
- Smooth affine plane curve with non-trivial cotangent sheaf?
- Finding a limit using arithmetic over cardinals
- Help me solve this olympiad challenge?
- Prove that, for $p > 3$, $(\frac 3p) = 1$ when $p \equiv 1,11 \pmod{12}$ and $(\frac 3p) = -1$ when $p \equiv 5,7 \pmod{12}$
- Showing that the roots of a polynomial with descending positive coefficients lie in the unit disc.
- slope of a line tangent through a point
- Recognizing and Using Chaitin's Constant
- What is the (mathematical) point of straightedge and compass constructions?