Skip to main content
Removed the deprecated (abstract-algebra) tag - see the tag info: https://mathoverflow.net/tags/abstract-algebra/info (if there are some other suitable tags, choose them instead.)
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

I shall quote proposition 11.3 of Eisenbud:Commutative Commutative algebra

If $R$ is a reduced notheriannoetherian ring then an element $x\in K(R)$ belongs to $R$ if and only if the image of $x$ in $K(R)_P$ belongs to $R_P$ for every prime $P$ associated to a nonzero-divisor in $R$. Proof. Suppose that $\frac{a}{u}\in K(R)$, with $a,u\in R$ and $u$ is a nonzero-divisor. If $\frac{a}{u}$ is not contained in $R$, then $a\notin (u)$. And there is an associated prime $P$ of $(u)$ such that $a\notin (u)_P\subset R_P$. Thus, $\frac{a}{u}\notin R_P$.

I understand this proof but cannot figure out why $R$ must be reduced and first thought $R$ does not need to be reduced. Is there any reason $R$ must be reduced?

Thanks.

I shall quote proposition 11.3 of Eisenbud:Commutative algebra

If $R$ is a reduced notherian ring then an element $x\in K(R)$ belongs to $R$ if and only if the image of $x$ in $K(R)_P$ belongs to $R_P$ for every prime $P$ associated to a nonzero-divisor in $R$. Proof. Suppose that $\frac{a}{u}\in K(R)$, with $a,u\in R$ and $u$ is a nonzero-divisor. If $\frac{a}{u}$ is not contained in $R$, then $a\notin (u)$. And there is an associated prime $P$ of $(u)$ such that $a\notin (u)_P\subset R_P$. Thus, $\frac{a}{u}\notin R_P$.

I understand this proof but cannot figure out why $R$ must be reduced and first thought $R$ does not need to be reduced. Is there any reason $R$ must be reduced?

Thanks.

I shall quote proposition 11.3 of Eisenbud: Commutative algebra

If $R$ is a reduced noetherian ring then an element $x\in K(R)$ belongs to $R$ if and only if the image of $x$ in $K(R)_P$ belongs to $R_P$ for every prime $P$ associated to a nonzero-divisor in $R$. Proof. Suppose that $\frac{a}{u}\in K(R)$, with $a,u\in R$ and $u$ is a nonzero-divisor. If $\frac{a}{u}$ is not contained in $R$, then $a\notin (u)$. And there is an associated prime $P$ of $(u)$ such that $a\notin (u)_P\subset R_P$. Thus, $\frac{a}{u}\notin R_P$.

I understand this proof but cannot figure out why $R$ must be reduced and first thought $R$ does not need to be reduced. Is there any reason $R$ must be reduced?

Thanks.

Source Link
Bin
  • 131
  • 4

Reduced Noetherian ring is the intersection of its localizations at primes associated to a nonzero-divisor

I shall quote proposition 11.3 of Eisenbud:Commutative algebra

If $R$ is a reduced notherian ring then an element $x\in K(R)$ belongs to $R$ if and only if the image of $x$ in $K(R)_P$ belongs to $R_P$ for every prime $P$ associated to a nonzero-divisor in $R$. Proof. Suppose that $\frac{a}{u}\in K(R)$, with $a,u\in R$ and $u$ is a nonzero-divisor. If $\frac{a}{u}$ is not contained in $R$, then $a\notin (u)$. And there is an associated prime $P$ of $(u)$ such that $a\notin (u)_P\subset R_P$. Thus, $\frac{a}{u}\notin R_P$.

I understand this proof but cannot figure out why $R$ must be reduced and first thought $R$ does not need to be reduced. Is there any reason $R$ must be reduced?

Thanks.