Intereting Posts

Assume that the function $f(x)$ is continuous and $\lim_{n\to\infty}f_n(x)=f(x)$. Does this imply that $f_n(x)$ is uniform convergent?
Proof of $(a+b)^{n+1}$
Every subset of a poset has an inf implies every subset has a sup
Martingale theory to show f(x+s) = f(x)
Is this function injective and surjective?
What is the definition of $dx$
Probability that a vector in $\mathbb{Z}^n$ is primitive
Does multiplying polynomials ever decrease the number of terms?
How is this proof correct in regard to a $k$-subalgebra (Eisenbud)?
embdedding standard models of PA into nonstandard models
Finding a function's domain from the function's formula
Prove that integral of continuous function is continuously differentiable
Sigma field generated by a random variable!
Is there a term for an “inverse-closed” subring of a ring?
On the equality case of the Hölder and Minkowski inequalites

Suppose that $R$ is a Noetherian integral domain. How to show that if every non-zero prime ideal of $R$ is invertible, then every non-zero ideal of $R$ is invertible?

Actually, I am trying to prove the unique prime factorization of ideals in $R$, so I cannot use the fact that any ideal can be factored as a product of primes.

- Does the statement “the $R$-algebra homomorphisms $A \rightarrow R$ are linearly independent whenever $R$ is a field” admit any generalizations?
- Zero locus of a maximal regular sequence in closure of smooth, quasiprojective variety
- Commutative non Noetherian rings in which all maximal ideals are finitely generated
- On prime ideals in a polynomial ring over a PID (from Reid's _Commutative Algebra_)
- Inverse Image of Maximal Ideals
- If $R$ is commutative, and $J\lhd I\lhd R,$ does it follow that $J\lhd R?$

- The “general algorithm” for primary decomposition
- Prime/maximal ideals of $\mathbb{C}$ containing a given ideal
- Every finitely generated algebra over a field is a Jacobson ring
- Do there exist a non-PIR in which every countably generated prime ideal is principal?
- When is the ring of continuous functions Noetherian?
- Rational quartic curve in $\mathbb P^3$
- Help understand canonical isomorphism in localization (tensor products)
- Non-invertible elements form an ideal
- Is Max (R) a Hausdorff space?
- Does an injective endomorphism of a finitely-generated free R-module have nonzero determinant?

I based my answer on the following sources, check it out:

- [A-M] M. Atiyah; I. G. Macdonald,
*Introduction to Commutative Algebra*. - [H] T. Hungerford,
*Algebra*(Springer, 1996). - [S] J.-P. Serre,
*Corps Locaux*.

Let $K$ be the field of fractions of your integral domain $R$. Your hypothesis is that for every nonzero prime ideal $P$ of $R$ we have $PP^{-1}=R$, where $P^{-1}$ is the set $(R:_KP)=\{z\in K: zP\subseteq R\}$. Since $R$ is an integral domain, then $R$ is contained in each one of its localizations, which in turn are contained in $K$.

Let $P$ be any nonzero prime ideal in $R$. Since $PP^{-1}=R$ then for some $p_1,\dots,p_m\in P$ and some $a_i\in P^{-1}$ we have $\sum_{i=1}^mp_ia_i=1$. Therefore for any $p\in P$ we have $p=p\cdot1=\sum_{i=1}^m(a_ip)p_i$, and since $a_ip\in R$ for each $i$, it follows that every prime ideal $P$ of $R$ is finitely generated, and it is well-known that this implies that $R$ is Noetherian (see for example [A-M], exercise 7.1). In particular you can drop the assumption that $R$ is Noetherian.

Now consider $R_P$, the localization of $R$ at $P$ and let $Q=PR_P$ be its unique maximal ideal. Every element of $Q$ is of the form $p/t$, with $p\in P$ and $t\in R\setminus P$, and for any such element we have $a_i(p/t)=(a_ip)/t\in Q$, which shows that $a_i\in Q^{-1}$, and since $\sum_{i=1}^mp_ia_i=1$, then $1\in QQ^{-1}$. Thus, $Q$ is invertible as well. (This is Proposition 9.6 of [A-M], but the proof is flawed in the sense that previously the authors define quotients of submodules as ideals in the ring of scalars, whereas our inverse fractional ideals $I^{-1}$ are defined as subsets of the field of fractions. For this reason I chose to give a direct proof.)

We have $\cap_{n\geq1}Q^n=0$ by Krull’s intersection theorem, and since $P\ne0$ then $Q\ne0$, so necessarily we have $Q\ne Q^2$. Let $a\in Q\setminus Q^2$. Then $aQ^{-1}\nsubseteq Q$ (otherwise $aQ^{-1}Q=aR\subseteq Q^2$), and since $aQ^{-1}$ is an ideal in $R_P$, which is a local ring with maximal ideal $Q$, it follows that $aQ^{-1}=R$, so $Q=aR$. I borrowed this argument from [H], Lemma VIII.6.9, fact v).

Consequently, $R_P$ is a Noetherian (because $R$ is Noetherian) local ring such that its maximal ideal $Q$ is generated by a non-nilpotent element (clear, because we are working on an integral domain). Now I invoke [S], Chapitre I, Proposition 2, which states that the conditions above characterize discrete valuation rings.

Thus, $R$ is a Noetherian integral domain such that $R_P$ is a discrete valuation ring for each nonzero prime ideal $P$ of $R$. It is well-known that this is equivalent to both of your desired conclusions. Such rings, as you probably know, are called *Dedekind domains*. For a proof of these and other interesting equivalences, see for example [H], Theorem VIII.6.10.

- Find the integral values for which $\left(\pi(x+y)\right)^2=4\pi(x)\pi(y)$
- Set theory practice problems?
- Can anybody recommend me a topology textbook?
- Definition of boundedness in topological vector spaces
- Generalized Euler sum $\sum_{n=1}^\infty \frac{H_n}{n^q}$
- If $q^k n^2$ is an odd perfect number with Euler prime $q$, which of the following relationships between $q^2$ and $n$ hold?
- The sum of odd powered complex numbers equals zero implies they cancel each other in pairs
- Prove that $C = f^{-1}(f(C)) \iff f$ is injective and $f(f^{-1}(D)) = D \iff f$ is surjective
- Canonical example of a cosheaf
- If the localization of a ring $R$ at every prime ideal is an integral domain, must $R$ be an integral domain?
- integrals of vector fields that yield vectors, not scalars
- Independent Events- $P(\text{neither/exactly/at least one})$
- Projective Normality
- How can I find all solutions to differential equation?
- Visualization of Lens Spaces