Commutative Ring Theory/Principal ideal domains