A commutative Bezout domain in which every maximal ideal is principal is   an elementary divisor ring
  In this article we revisit a problem regarding Bezout domains, namely, whether every Bezout domain is an elementary divisor domain. We prove that a Bezout domain in which every maximal ideal is principal is an elementary divisor ring 
Bogdan Zabavsky
math.RA math.AC