Examples
- A unique factorization domain is a GCD domain. Among the GCD domains, the unique factorization domains are precisely those that are also atomic domains (which means that at least one factorization into irreducible elements exists for any nonzero nonunit).
- A Bézout domain (i.e., an integral domain where every finitely generated ideal is principal) is a GCD domain. Unlike principal ideal domains (where every ideal is principal), a Bézout domain need not be a unique factorization domain; for instance the ring of entire functions is a non-atomic Bézout domain, and there are many other examples. An integral domain is a Prüfer GCD domain if and only if it is a Bézout domain.
- If R is a non-atomic GCD domain, then R is an example of a GCD domain that is neither a unique factorization domain (since it is non-atomic) nor a Bézout domain (since X and a non-invertible and non-zero element a of R generate an ideal not containing 1, but 1 is nevertheless a GCD of X and a); more generally any ring R has these properties.
Read more about this topic: GCD Domain
Famous quotes containing the word examples:
“Histories are more full of examples of the fidelity of dogs than of friends.”
—Alexander Pope (1688–1744)
“It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.”
—G.C. (Georg Christoph)
“There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.”
—Bernard Mandeville (1670–1733)