A criterion of elementary divisor domain for distributive domains

In this paper we introduce the notion of the neat range one for Bezout duo-domains. We show that a distributive Bezout domain is an elementary divisor domain if and only if it is a duo-domain of neat range one