Skip to main content
Post Undeleted by Graham Leuschke
equidimensionality is not enough; you need unmixedness too
Source Link
Graham Leuschke
  • 5.8k
  • 2
  • 29
  • 37

A necessaryNecessary and sufficient conditionconditions for your question to have a positive answer isare that $A$ be equidimensional$\textit{unmixed}$, that is, every associated prime is a minimal prime, and $\textit{equidimensional}$, that is, $\mathrm{dim} (A/\mathfrak{p}) = \mathrm{dim}(A)$ for every minimal prime $\mathfrak p$. This eliminates exactly the phenomenon in Charles Charles Staats' example is not equidimensional. The one-dimensional ring $A=k[x,y]/(x^2,xy)$ is not unmixed, and $A/(y)$ has dimension zero. Sufficiency follows from the fact that the set of zerodivisors of $A$ is equal to the union of the associated primes.

A necessary and sufficient condition for your question to have a positive answer is that $A$ be equidimensional, that is, $\mathrm{dim} (A/\mathfrak{p}) = \mathrm{dim}(A)$ for every minimal prime $\mathfrak p$. This eliminates exactly the phenomenon in Charles Staats' example.

Necessary and sufficient conditions for your question to have a positive answer are that $A$ be $\textit{unmixed}$, that is, every associated prime is a minimal prime, and $\textit{equidimensional}$, that is, $\mathrm{dim} (A/\mathfrak{p}) = \mathrm{dim}(A)$ for every minimal prime $\mathfrak p$. Charles Staats' example is not equidimensional. The one-dimensional ring $A=k[x,y]/(x^2,xy)$ is not unmixed, and $A/(y)$ has dimension zero. Sufficiency follows from the fact that the set of zerodivisors of $A$ is equal to the union of the associated primes.

Post Deleted by Graham Leuschke
Source Link
Graham Leuschke
  • 5.8k
  • 2
  • 29
  • 37

A necessary and sufficient condition for your question to have a positive answer is that $A$ be equidimensional, that is, $\mathrm{dim} (A/\mathfrak{p}) = \mathrm{dim}(A)$ for every minimal prime $\mathfrak p$. This eliminates exactly the phenomenon in Charles Staats' example.