Recall that a commutative domain R in which every finitely generated ideal is principal is called a Bézout domain. By definition, a noetherian Bézout domain is a principal ideal domain. Several examples of non-noetherian Bézout domains are listed in [1], 243-246. Recall also that a commutative domain R is called an Elementary Divisor domain if, given any matrix A with coefficients in R, there e...