Commutative Ring Theory/Divisibility and principal ideals