Intereting Posts

Finding a formula for $1+\sum_{j=1}^n(j!)\cdot j$ using induction
Generalized Fresnel integral $\int_0^\infty \sin x^p \, {\rm d}x$
Show that ${n \choose k}\leq n^k$
Least wasteful use of stamps to achieve a given postage
Group of groups
Asymptotic formula for d(n)/n summation
Examples of non-isomorphic fields with isomorphic group of units and additive group structure
How to calculate relative error when true value is zero?
The Biharmonic Eigenvalue Problem with Dirichlet Boundary Conditions on a Rectangle
What is the derivative of a vector with respect to its transpose?
connection between graphs and the eigenvectors of their matrix representation
How do I calculate $I = \int\limits_{t_a}^{t_b}{\left(\frac{d{x}}{d{t}}\right)^2 \mathbb dt}$?
Compute the inverse Laplace transform of $e^{-\sqrt{z}}$
Sequence problem involving inequalities
Conjecture: the sequence of sums of all consecutive primes contains an infinite number of primes

This is the exercise in the book *Commutative Rings* by Kaplansky.

Prove that in GCD-domain every invertible ideal is principal.

I’m looking for some hints.

- Non-UFD integral domain such that prime is equivalent to irreducible?
- Showing there is a prime in a ring extension using Nakayama's lemma
- Verifying Hilberts Nullstellensatz on a particular example
- Hilbert's Nullstellensatz: intersection over maximal ideals?
- Zorn's Lemma and Injective Modules
- Are projective modules “graded projective”?

**Edit**

After understanding the hint, here is my approach:

Let $I$ be an invertible ideal of a GCD-domain $R$. Because $I$ is finitely generated as $R$-module $I=(a_1/b_1,…,a_n/b_n)R$, where $a_i, b_i$ are elements in $R$.

Because $R$ is a GCD-domain we can choose $a_i, b_i$ such that $(a_i,b_i)=1$.

By hypothesis $R$ is also an LCM-domain. Let $c$ be the least common multiple of $b_i$’s, $d$ be the greatest common divisor of $a_i$’s. It is easy to see that $I^{-1}=(c/d)R$.

Because of invertibility there exist $m_i$’s of $I$ such that $m_1(c/d)+\cdots+m_n(c/d)=1$.

We conclude that $I=uR$, where $u=m_1+\cdots+m_n$, for if $x\in I$, $x=x\cdot1=xm_1(c/d)+\cdots+xm_n(c/d)=x(c/d)u$.

- Working out the normalization of $\mathbb C/(X^2-Y^3)$
- Complement of maximal multiplicative set is a prime ideal
- How can I prove that every maximal ideal of $B= \mathbb{Z} $ is a principal?
- Algebraic independence via the Jacobian
- Artinian affine $K$-algebra
- Bezout in $\mathbb C $
- Infinite coproduct of rings
- Constructing Idempotent Generator of Idempotent Ideal
- Are projective modules “graded projective”?
- bijection between prime ideals of $R_p$ and prime ideals of $R$ contained in $P$

- Can continuity be proven in terms of closed sets?
- To create a special matrix !!
- Matrix Multiplication and Function Composition
- Difficult Gaussian Integral Involving Two Trig Functions in the Exponent: Any Help?
- How to show that if $G$ is union of three proper subgroups, then there is an epimorphism from $G$ to the Klein 4-group?
- Definition of weak time derivative
- Centralizer of involutions in simple groups.
- A conjecture including binomial coefficients
- Prove that the kernel of a homomorphism is a principal ideal. (Artin, Exercise 9.13)
- Normalizer/Centralizer theorem
- Real and imaginary parts of the Möbius transformation
- The cardinality of a language over a set of variables $V$ with $\#V= κ$
- Equivalence relations and equivalence classes
- Proof of the Moreau decomposition property of proximal operators?
- Integral $\int\limits_0^\infty \prod\limits_{k=0}^\infty\frac{1+\frac{x^2}{(b+1+k)^2}}{1+\frac{x^2}{(a+k)^2}} \ dx$