NEW CHARACTERIZATIONS OF PRINCIPAL IDEAL DOMAINS

Abstract

In this short paper, we prove that a domain is a principal ideal domain if and only if it is a unique factorization domain and all its prime ideal are principal. As a consequence, we characterize principal ideal domains in term of the existence of a presentation of the greatest common divisor of finitely many elements as a linear combination of these elements.