Intereting Posts

Why do some people state that 'Zero is not a number'?
Integral of digamma function
laplace transform with heaviside step function
Summation of binomial coefficients
How to prove Lemma 2.12 of Mendelson without Deduction Theorem
Does the sum $\sum_{n \geq 1} \frac{2^n\operatorname{mod} n}{n^2}$ converge?
Reference for general-topology
Lebesgue-integrable function
Laplace transform of $\sin(\sqrt{t})$
Sex distribution
Application of Cauchy Integral
Slow growing integer sequence that is periodic modulo primes
Minimum and Maximum values of variance
Does the equation $x^4+y^4+1 = z^2$ have a non-trivial solution?
Most wanted reproducible results in computational algebra

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.

- $K/\langle x^2-y^3\rangle \cong K$
- Extensions and contractions of prime ideals under integral extensions
- When the localization of a ring is a field
- Maximal ideal in local ring
- Maximal ideals and the projective Nullstellensatz
- Isomorphism from $B/IB$ onto $(B/I)$

**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$.

- The radical of a monomial ideal is also monomial
- Zero-dimensional ideals in polynomial rings
- Proving normality of affine schemes
- Extending Herstein's Challenging Exercise to Modules
- Atiyah - Macdonald Exericse 9.7 via Localization
- Using Gröbner bases for solving polynomial equations
- Injective hull of $\mathbb{ Z}_n$
- Show $R \setminus S$ is a union of prime ideals
- Normalisation of $k/(y^2-x^2(x-1))$
- Extending a homomorphism of a ring to an algebraically closed field

- Uniqueness of Helmholtz decomposition
- Why does substitution work in antiderivatives?
- Every finite set contains its supremum: proof improvement.
- Solve $x^p + y^p = p^z$ when $p$ is prime
- If $b$ is algebraic over a finite extension $K$ of $F$ then $\mid $
- Why is $e$ so special?
- Some asymptotics for zeta function.
- Prove. Let {v1,v2,v3} be a basis for a vector space V. Show that {u1,u2,u3} is also a basis, where u1=v1, u2=v1 +v2, and u3=v1+v2+v3
- Determinant value of a square matrix whose each entry is the g.c.d. of row and column position
- Minimum number of points chosen from an $N$ by $N$ grid to guarantee a rectangle?
- Percentage to absolute value within another range?
- Is there any proof that the Riemann Zeta function is not elementary?
- Techniques to prove a function is uniformly continuous
- What does it mean to represent a number in term of a $2\times2$ matrix?
- Norm of a character in a non-unital Banach algebra