Skip to content

Field of fractions

The smallest field containing an integral domain, constructed from equivalence classes of ratios of its elements with nonzero denominators.

Version
v2 · 2026-09-06 · History
Domain-specific #
1833
Origin domain
mathematics
Subdomain
commutative algebra
Aliases
Fraction field, Quotient field

Core Idea

Field of fractions is the smallest field containing an integral domain, constructed from equivalence classes of ratios of its elements with nonzero denominators.

The field of fractions Frac(R) of an integral domain R is the field whose elements are equivalence classes of pairs (a,b) with a in R and nonzero b in R, where (a,b)~(c,d) exactly when ad=bc. Addition and multiplication use common-denominator formulas, and R embeds by a↦a/1; the construction is universal among injective homomorphisms from R into fields.

Scope of Application

The abstraction recurs literally within commutative algebra, algebraic geometry, and number theory wherever an integral domain is embedded in the smallest surrounding field. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.

  • Integers. Frac(Z) is Q.
  • Polynomial rings. Frac(k[x]) is the rational-function field k(x).
  • Coordinate rings. an irreducible affine variety has a function field.
  • Unique factorization. divisibility in a domain is compared inside its field.
  • Localization theory. the construction is localization at all nonzero elements.

Clarity

Verify commutativity, identity, and absence of zero divisors; state whether an isomorphic concrete field or the equivalence-class construction is used. Prove operations are well defined and do not confuse the field with a quotient by an ideal.

A practical identification audit begins with the typed roles rather than the title: establish the integral domain, verify the numerator–denominator pairs, then test the remaining conditions and exclusions.

Manages Complexity

The construction freely supplies division while preserving every equation already valid in the domain. The universal property replaces calculations with arbitrary ambient fields by one canonical object up to unique isomorphism.

The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.

Abstract Reasoning

R1. Confirm that R is an integral domain. R2. Form pairs with nonzero denominator and impose cross-multiplication equivalence. R3. Verify the relation and fraction operations are well defined. R4. Embed R through a/1 and prove injectivity. R5. Use the universal property to compare any other field containing an image of R.

Knowledge Transfer

The construction transfers literally across integral domains and equivalent localization formalisms. Equivalence relation and closure are parents; informal ratios in a system with zero divisors are not automatically a fraction field.

The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: The construction recurs across integral domains and generalizes the embedding of integers into rational numbers. Literal recognition retains the specialist vocabulary and validity conditions of commutative algebra; outside that setting only broader parent operations transfer.

Relationships to Other Abstractions

Local relationship map for Field of fractionsParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Field of fractionsDOMAINPrime abstraction: Closure — is a kind ofClosurePRIMEPrime abstraction: Equivalence Relation — is a kind ofEquivalenceRelationPRIME

Current abstraction Field of fractions Domain-specific

Parents (2) — more general patterns this builds on

  • Field of fractions is a kind of Closure Prime

    Closure (prime:closure).

  • Field of fractions is a kind of Equivalence Relation Prime

    Equivalence Relation (prime:equivalence_relation).

Hierarchy paths (2) — routes to 2 parentless roots

Neighborhood in Abstraction Space

Field of fractions sits in a sparse region of the domain-specific corpus (66th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Algebraic Geometry & Bundle Structure (14 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08