Fact-checked by Grok 2 weeks ago

GCD domain

In , a GCD domain (greatest common divisor domain) is an R in which every pair of nonzero elements a, b \in R admits a d, meaning d divides both a and b, and any other common of a and b divides d. Such divisors are unique up to multiplication by units of the ring, allowing for a well-defined notion of "content" or structure in the domain. GCD domains generalize unique factorization domains (UFDs), as every UFD—such as the integers \mathbb{Z} or the k over a k—is a GCD domain, where gcds can be computed via prime factorizations. However, the converse does not hold; there exist GCD domains that are not UFDs, such as over non-Noetherian GCD domains. A key property is that irreducible elements in a GCD domain are necessarily prime, ensuring that the ring behaves well under factorization despite lacking full unique factorization. Bézout domains, where every finitely generated is principal (and thus every pair of elements has a gcd expressible as a ), form a subclass of GCD domains; domains (PIDs) like \mathbb{Z} (the Gaussian integers) are both Bézout and UFDs, hence GCD domains. GCD domains are also integrally closed and Schreier domains, meaning they satisfy certain reflexive properties for , and they are equivalent to (lcm) domains where lcms exist for any two nonzero . Not all integral domains are GCD domains; for instance, the \mathbb{Z}[\sqrt{-5}] fails to have gcds for some pairs like 6 and $2 + 2\sqrt{-5}, as common divisors do not yield a maximal one within the .

Definition and preliminaries

Definition

A GCD domain (greatest common divisor domain) is an —a R with multiplicative identity $1 \neq 0 and no zero divisors—in which every pair of nonzero elements a, b \in R possesses a greatest common divisor \gcd(a, b). The element d = \gcd(a, b) is defined such that d divides both a and b, and any other common divisor of a and b divides d; moreover, such a d is unique up to multiplication by units of R. In a GCD domain, the existence of GCDs for any two nonzero elements implies the existence of a least common multiple \operatorname{lcm}(a, b) for the same pair, where m = \operatorname{lcm}(a, b) is an element divided by both a and b, such that m divides any common multiple of a and b, and m is unique units. Furthermore, these satisfy the relation \gcd(a, b) \cdot \operatorname{lcm}(a, b) \sim a \cdot b (multiplication by units).

Divisibility concepts

In an R, the divisibility relation is fundamental to the arithmetic structure. For nonzero elements a, b \in R, a divides b, denoted a \mid b, if there exists some c \in R such that b = a c. This relation captures the notion of one element generating another through multiplication, analogous to the integers, and forms a partial order on the nonzero elements when considering associates. Two nonzero elements a, b \in R are associates if a = u b for some u \in R, where a is an element with a in R. Associates are essentially equivalent scaling by invertible elements, and the divisibility relation respects this equivalence: if a \mid b, then any of a also divides any of b. In the context of greatest common divisors, which arise in certain domains, this means GCDs are defined only multiplication by units, allowing to a representative within associate classes. Integral domains, being commutative rings with identity and no zero divisors, ensure that the product of two nonzero elements is nonzero, which preserves the integrity of the divisibility relation without cancellation issues from zero divisors. Units play a key role here, as they enable the associate relation to "normalize" elements, facilitating comparisons in and common computations. For polynomial rings R over an R, the content of a polynomial f(x) = a_n x^n + \cdots + a_0 \in R is the of its coefficients \gcd(a_0, \dots, a_n), assuming R admits GCDs. This notion extends divisibility from the base ring to polynomials, where a polynomial is primitive if its content is 1 (up to units), setting the stage for factorization properties like Gauss's lemma in unique factorization domains.

Properties

Fundamental properties

In a GCD domain, every irreducible element is prime. To see this, suppose p is irreducible and p \mid bc for some b, c in the domain. Then \gcd(p, bc) is an associate of p, so it properly divides p only if it is a unit, which it is not. Thus, either \gcd(p, b) or \gcd(p, c) is an associate of p, implying p divides b or c. A key consequence of the GCD condition is that finite intersections of principal ideals are principal. In particular, for any two nonzero elements a and b, the intersection (a) \cap (b) is the principal ideal generated by the \operatorname{lcm}(a, b), where \operatorname{lcm}(a, b) exists and is unique up to association as ab / \gcd(a, b). This property extends to any finite collection of principal ideals, making their intersection principal. The existence of GCDs extends naturally to any finite set of elements. For a finite collection a_1, \dots, a_n, the GCD is defined iteratively: \gcd(a_1, \dots, a_n) = \gcd( \gcd(a_1, \dots, a_{n-1}), a_n ), and it is unique up to association as the generator of the minimal principal ideal containing all common divisors. This iterative construction preserves the GCD properties, such as divisibility and coprimality relations. GCD domains exhibit a form of chain stabilization for principal ideals through divisibility relations induced by GCDs, but they do not necessarily satisfy the full ascending chain condition on principal ideals (ACCP). Specifically, an ascending chain of principal ideals (a_1) \subseteq (a_2) \subseteq \cdots corresponds to a descending chain of divisors a_1 \mid a_2 \mid \cdots, where GCD computations can identify stabilization points in terms of associate classes, though infinite chains may occur without ACCP. Imposing ACCP on a GCD domain yields a unique factorization domain.

Structural properties

Every GCD domain is integrally closed in its , meaning that its integral closure coincides with itself. This property follows from the existence of greatest common divisors, which ensures that any element satisfying a over the domain must already belong to it. A prototypical example is the ring of integers \mathbb{Z}, which exemplifies both the GCD structure and integral closure in \mathbb{Q}. GCD domains are Schreier domains, i.e., integrally closed domains where every finitely generated ideal can be expressed as a finite of principal ideals. This ideal-theoretic characterization highlights the structural simplicity of GCD domains, as it implies that their ideals behave in a controlled manner relative to principal ideals, even without assuming Noetherian conditions. For instance, in a GCD domain, the of two principal ideals (a) \cap (b) equals (d) where d = \gcd(a, b), extending the divisibility properties to ideals. The class of GCD domains is closed under formation of polynomial rings: if R is a GCD domain, then so is R[X_1, \dots, X_n] for any positive n. In such polynomial rings, the gcd of two s f and g is determined by the gcd of their s (the gcd of their coefficients) and the gcd of their parts (after factoring out the content), facilitated by Gauss's lemma, which preserves primitivity under multiplication. This closure property underscores the robustness of the GCD structure under polynomial extensions. GCD domains relate to Krull domains through specific conditions on ideal class groups and dimension: a Krull domain is a GCD domain it is a . Consequently, while every (a special case of GCD domain) is a Krull domain, there exist GCD domains, such as certain valuation domains of infinite rank, that fail to be Krull, and conversely, many Krull domains, like polynomial rings over Dedekind domains with nontrivial group, are not GCD domains. This distinction illustrates that GCD domains form a subclass of Krull domains only when the latter satisfy unique factorization, but the inclusion does not hold generally.

Relations to other domains

Unique factorization and atomicity

In GCD domains, the presence of greatest common divisors for any two elements ensures that every is prime. This fundamental property stems from the fact that if an irreducible p divides a product ab, then \gcd(p, a) or \gcd(p, b) must be an associate of p, forcing p to divide one of a or b. A GCD domain need not be , as there exist elements that cannot be expressed as finite products of irreducibles. However, if a GCD domain is , the primality of irreducibles guarantees that every into irreducibles is unique up to the order and associates of the factors, making it a (UFD). Equivalently, a GCD domain is a UFD if and only if it satisfies the ascending chain condition on principal ideals (ACCP). The ACCP ensures atomicity by preventing infinite descending chains of principal ideals, thus bounding the length of factorizations, while the GCD structure provides uniqueness. When a GCD domain is , factorizations into irreducibles can be constructed iteratively by exploiting GCDs to extract common factors. Specifically, suppose a = b c with \gcd(b, c) = d; then b = d b' and c = d c' where \gcd(b', c') = 1, allowing the factorization of a to incorporate the common divisor d and recurse on the coprime parts b' and c'. This process terminates under ACCP, yielding irreducibles, and uniqueness follows by matching the number of occurrences of each prime via successive GCD computations with partial products. Examples of non-UFD GCD domains exist, in which atomicity fails and thus no factorization into irreducibles is possible for certain elements (detailed coverage deferred to Positive examples).

Principal and Prüfer domains

A (PID) is an in which every is principal. Every PID is a GCD domain, since for any two elements a, b in the domain, the \gcd(a, b) generates the ideal (a, b). The converse does not hold; there exist GCD domains that are not PIDs, such as the ring of entire functions, where not all ideals are principal. A Bézout domain, defined as an integral domain in which every finitely generated ideal is principal, is also a GCD domain, as the Bézout property ensures that \gcd(a, b) can be expressed as a xa + yb for some x, y in the domain, generating (a, b). Prüfer domains are integral domains in which every finitely generated ideal is invertible. A GCD domain is a Prüfer domain it is a Bézout domain, since invertibility of finitely generated ideals aligns with the principal nature of such ideals in Bézout domains. In general, GCD domains lack the full invertibility property characteristic of Prüfer domains; for instance, non-principal ideals in a GCD domain may not be invertible, distinguishing them via the structure of maximal ideals, where Prüfer domains exhibit flat epimorphisms to quotient fields at localizations. In any , the product of two principal ideals satisfies (a)(b) = (ab). This holds in GCD domains as well, facilitating computations involving divisibility; however, for non-principal ideals, the may not preserve similar simplicity, as the GCD structure does not guarantee principal products unless the domain is Bézout. This contrasts with Prüfer domains, where ideal is more controlled due to invertibility. The inclusion hierarchy among these domains is PIDs \subset Bézout domains \subset GCD domains \subset integrally closed domains, with precise boundaries determined by generation and closure properties: PIDs require all ideals to be principal, Bézout domains extend this to finitely generated ideals, GCD domains ensure element-wise GCDs implying integral closure in the fraction field, but not all integrally closed domains admit GCDs for every pair of elements.

Examples

Positive examples

The ring of integers \mathbb{Z} is a prototypical GCD domain, serving as a principal ideal domain (PID) where the greatest common divisor of any two elements exists and can be efficiently computed using the Euclidean algorithm. Polynomial rings over unique factorization domains (UFDs) provide another fundamental class of GCD domains; for instance, the polynomial ring k[X] over a field k is a Euclidean domain, ensuring the existence of GCDs for any finite set of polynomials via a polynomial analogue of the Euclidean algorithm. Similarly, \mathbb{Z}[X] is a UFD—and thus a GCD domain—by Gauss's lemma, which preserves unique factorization from the coefficients in \mathbb{Z} to polynomials with integer coefficients. Bézout domains, where every finitely generated is principal, form a broad category of GCD domains, as the GCD of elements generates the they produce. A concrete example is the localization \mathbb{Z}_{(p)} of \mathbb{Z} at a (p), which is a (hence Bézout) with uniformizer p and GCDs determined by the [p-adic valuation](/page/P-adic_valuation). A non-Noetherian example is the ring of entire functions on the , which is a Bézout domain (hence GCD domain) but not a UFD, as it is non-atomic. Monoid rings also yield GCD domains under suitable conditions; specifically, if R is a GCD domain and G is a , then the R[G] is a GCD domain, extending the divisibility structure from R to the graded components indexed by G. Rings of algebraic integers in certain number fields exemplify GCD domains when they are UFDs; the Gaussian integers \mathbb{Z}, the of \mathbb{Q}(i), form a with respect to the norm N(a+bi)=a^2+b^2, guaranteeing GCDs for any two elements.

Counterexamples

Quadratic integer rings that are not maximal orders provide classic counterexamples to GCD domains, as they fail to be integrally closed, a property required of all GCD domains. For instance, the ring \mathbb{Z}[\sqrt{-3}] is not integrally closed because the element \frac{1 + \sqrt{-3}}{2} satisfies the equation x^2 + x + 1 = 0 over its field of fractions but does not belong to the ring. Consequently, \mathbb{Z}[\sqrt{-3}] cannot be a GCD domain. A specific failure occurs with the elements 4 and $2 + 2\sqrt{-3}, which have common divisors 2 and $1 + \sqrt{-3}, but no greatest common divisor exists, as any candidate would lead to a contradiction with the ring's factorization properties. Rings of integers in number fields with class number greater than 1 offer historical counterexamples of integral domains that are not GCD domains. The ring \mathbb{Z}[\sqrt{-5}], the ring of integers of \mathbb{Q}(\sqrt{-5}), has class number 2 and is since it is half-factorial, meaning all irreducible factorizations of nonzero nonunits have the same length. However, it is not a GCD domain; for example, the elements 6 and $2(1 + \sqrt{-5}) share the common irreducible divisors 2 and $1 + \sqrt{-5}, but there is no among them, as assuming one leads to incompatible ideal structures. This example, first noted in the context of non-unique by Dedekind in the late , illustrates how non-principal ideals prevent the existence of GCDs for certain elements in such rings. Non-atomic integral domains further demonstrate limitations, as the absence of irreducible elements precludes the structured divisibility needed for GCDs in general. The ring \overline{\mathbb{Z}} of all algebraic integers is an integral domain with no atoms (irreducible elements), since every nonzero nonunit can be factored indefinitely into nonunits. Thus, \overline{\mathbb{Z}} lacks GCDs for many pairs of elements, failing the GCD domain condition entirely due to unbounded descending chains of divisors.

Generalizations

G-GCD domains

A G-GCD domain is an in which the intersection of any two invertible ideals is invertible. This property ensures that any two finitely generated invertible ideals have a given by their intersection, which is itself invertible, thereby extending the elementwise GCD condition of GCD domains to an ideal-theoretic framework. GCD domains are G-GCD domains, as the intersection of two principal ideals in a GCD domain is principal and hence invertible. Prüfer domains are also G-GCD domains, since finitely generated ideals in Prüfer domains are invertible and their intersections remain finitely generated and thus invertible. Similarly, π-domains, where every nonzero nonunit element factors into a product of prime elements, are G-GCD domains. They are also integrally closed, as localization at any prime ideal yields a GCD domain, which is integrally closed. Moreover, the property extends to finite intersections: the intersection of any finite number of invertible ideals is invertible, obtained inductively from the pairwise case. This generalization facilitates the study of rings over such domains, where ideal contents replace element contents, analogous to how fractional ideals behave in Dedekind domains—a special case of Prüfer domains. In particular, Gauss's lemma extends to ideal contents, preserving factorization properties in polynomial extensions.

Other extensions

GCD-monoids generalize the notion of GCD domains to the setting of commutative s, defined as commutative multiplicative semigroups with a unit element where every finite nonempty subset admits a . In such s, denoted as GCD-s, the existence of GCDs for finite subsets ensures that every v-finite v-ideal is principal, making the a v-Bézout . This property facilitates the study of in s without assuming full structure, and every GCD- is a . Ring extensions of GCD-monoids, particularly rings such as rings over a with coefficients in a torsion-free GCD-, inherit GCD properties; for instance, if M is a GCD-, then the Q[x; M] over the rationals Q is a GCD-domain. These extensions preserve divisibility relations and enable the transfer of arithmetic properties from the to the , aiding in the analysis of non-standard behaviors. In non-commutative settings, analogues of GCD domains arise in skew polynomial rings and Ore extensions, where GCDs are defined using right or left v-ideals and divisibility. A right generalized GCD domain is an order in a division ring where every finitely generated right v-ideal is a progenerator of the module category, satisfying conditions like (R:I)_l I = R for the left conductor. For a commutative generalized GCD domain D and an endomorphism \sigma of finite order, the skew polynomial ring D[x; \sigma] with multiplication xa = \sigma(a)x is a right generalized GCD domain, allowing GCD computations via right divisibility in these non-commutative structures. Research has explored connections between GCD properties and t-invertibility in non-Noetherian domains, where t-invertible ideals (those equal to their t-closure) interact with GCD structures to characterize domains with finite t-character or weakly behavior. Further studies focus on refining t-ideal behaviors in existing non-Noetherian GCD-like rings.