Commutative Ring Theory/Greatest common divisors