1353ef5f56d3c3ac.tex
1: \begin{definition}  \label{3.65}
2:  Following McAdam in \cite{McAdam},  an
3: integral domain $D$ is a {\it finite conductor domain} if 
4: for elements $a, b$ in the field of fractions of $D$, the 
5: $D$-module $aD \cap bD$ is finitely generated.  A ring is said to be {\it coherent} if every 
6: finitely generated ideal is finitely presented.  Chase \cite[Theorem~2.2]{Chase} proves that an 
7: integral domain $D$ is coherent if and only if the intersection of two finitely generated ideals of $D$ 
8: is finitely generated. Thus a coherent domain is a finite conductor domain.
9:  An integral domain $D$ is a   {\it GCD domain} if  for all $a, b \in D$, $aD \cap bD$ is a principal 
10: ideal of $D$ \cite[page~76 and Theorem~16.2, p.174]{Gil}.  It is clear from the definitions that a 
11: GCD domain is a finite conductor domain.
12: \end{definition}