< [[nlab:GCD domain]] There are many different types of GCD domains. Some of these include * [[Heyting GCD domain]] * [[discrete GCD domain]] * [[residue GCD domain]] et cetera. ## See also ## * [[integral domain]] * [[commutative ring]] * [[field (ring theory)|field]]