Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The following is a problem from Dummit & Foote.

Let $R$ be an integral domain. Prove that if the following two conditions are true, then $R$ is a principal ideal domain.

  1. Any two non-zero elements $a$ and $b$ in $R$ have a greatest common divisor that can be written as $d=ra+sb$, $r,s \in R$

  2. If $a_1,a_2,a_3....$ are non-zero elements of $R$ such that $a_{i+1}|a_i$ for all $i$, then there exists a positive integer $N$ such that $a_n$ is a unit times $a_N$ for all $n \ge N$.

I am a bit confused really. Isn't the first condition sufficient. For e.g. an ideal generated by two elements $a,b$ would be a principal ideal, as any two elements have a gcd. This can then be extended to ideals generated by arbitrary no. of elements by induction.

Obviously, there is something wrong in what I am doing. What is the second condition for? I can only think of defining principal ideals generated by the elements in a chain, and then finding the maximal ideal with respect to divisibility. I have no idea.

share|improve this question

5 Answers 5

up vote 2 down vote accepted

The second condition is to assure that every ideal has a finite set of generators. It is an ascending chain condition for principal ideals. Let $I\subseteq R$ be any ideal and start with $a_0:= 0$. In each step, pick $a'_i\in I\setminus \langle a_{i-1}\rangle$ (an element which can not be generated by $a_i$) and set $a_i:=\gcd(a_{i-1},a'_i)$. By the first assumption, $a_i\in I$ and clearly $\langle a_{i-1}\rangle \subseteq \langle a_i \rangle$. Since the $a_i$ form a chain as in (2), we may now conclude that this process actually ends at some point $a_N$, at which we have found the generator $a:=a_N$.

share|improve this answer

Your argument is quite right if all ideals are finitely generated. For example, consider $R=\{\frac {a}{2^b} : a,b\in \mathbb{Z}, b\ge 0\}$. $R$ is itself an ideal, that is not finitely generated (hence $R$ is not a PID). It passes your first condition but fails the second one.

share|improve this answer

The second condition, I think, proves that division terminates after a finite number of steps. Hence, once you've found the gcd, you can only divide it a finite number of times before you find you can't divide it any further. You can then form a principal ideal generated by one of the factors of the gcd.

share|improve this answer

Other answers have already shown why you need the second condition. As a counterexample, consider the ring of all algebraic integers, that is the set of complex numbers which satisfy a monic polynomial over $\mathbb{Z}$. This ring satisfies your first condition, but isn't even a unique factorisation domain, let alone a principal ideal domain (this ring has no irreducible elements, since the square root of an algebraic integer is itself an algebraic integer).

share|improve this answer

This can be viewed as a generalization of the proof that ideals in Euclidean domains are generated by any element of minimal value. The Bezout condition $(1)$ implies that ideals are closed under gcd, since $\rm\:a,b \in I \:\Rightarrow\: gcd(a,b) = ra+si \in I.\:$ The chain condition $(2)$ says that the divisor relation is well-founded, i.e. that there are no infinite descending chains of proper divisors $\rm\ \cdots\ a_3 \mid a_2 \mid a_1,\:$ which implies ideals can be generated by elements least/minimal w.r.t. divisibility (proof below). Combining $(1)$ and $(2)$ we infer that $\rm\,I\ne 0\,$ is principal, since least generators $\rm\,g_i$ must be associate, else $\rm\:gcd(g_i,g_j) \in I\:$ and it is a proper divisor of $\rm\:g_i,\:$ contra leastness of $\rm\,g_i$ w.r.t. divisibility.

That $\rm\,I\ne 0\,$ can be generated by such minimal generators is proved as follows. First, there exists a set of generators for $\rm\,I,\,$ e.g. the set of nonzero elements of $\rm\, I.\:$ By the chain condition, each generator can be replaced by some divisor $\rm\in I\,$ that is least w.r.t. divisibility, since repeatedly taking proper divisors $\rm\in I\,$ of a generator yields a proper divisor chain $\rm\,\cdots\, a_3 \mid a_2\mid a_1.\:$ This chain must terminate with some $\rm\:a_n\in I\:$ having no proper divisors $\rm\in I\,$ (else it would yield an infinite descending chain of proper divisors, contra the hypothesized chain condition).

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.