Integral Domains, Fields, and Field of Fractions

An integral domain is a commutative ring $R$ with multiplicative identity $1\ne 0$ in which the product of two nonzero elements is never zero. A field strengthens this: not only are there no zero divisors, but every nonzero element is invertible, so one may divide freely. The two notions are linked by a beautiful construction: from any integral domain one can build its field of fractions, the smallest field in which the domain sits as a subring — generalizing the passage from $\mathbb{Z}$ to $\mathbb{Q}$. A surprising fact is that every finite integral domain is automatically a field, so the distinction between "no zero divisors" and "every element invertible" disappears in the finite world.

The Core Insight

The absence of zero divisors is precisely the condition needed to cancel in a ring: if $ab=ac$ and $a\ne 0$, then $b=c$. Cancellation is exactly what makes fractions behave consistently. The field of fractions formalizes the slogan "wherever you can cancel, you can divide" by manufacturing the missing inverses as equivalence classes of pairs $(a,b)$ written $\frac{a}{b}$.

Formal Statement

Commutative Ring with Unity

A commutative ring with unity is a set $R$ equipped with two operations $+$ and $\cdot$ satisfying:

• $(R,+)$ is an abelian group with identity $0$;
• $\cdot$ is associative and commutative;
• there exists $1\in R$ with $1\cdot a=a$ for all $a$;
• distributivity: $a(b+c)=ab+ac$.

Zero Divisor and Integral Domain

A nonzero element $a\in R$ is a zero divisor if there exists a nonzero $b\in R$ with $ab=0$. An integral domain is a commutative ring with unity, with $1\ne 0$, having no zero divisors:

The cancellation law follows directly:

Field

A field $F$ is a commutative ring with unity, $1\ne 0$, in which every nonzero element is a unit (has a multiplicative inverse):

Symbols: $F$ is the field; $a^{-1}$ is the unique inverse of $a$; uniqueness follows because if $ab=ac=1$ then $b=b(ac)=(ba)c=c$.

Every Field Is an Integral Domain

Every field is an integral domain. The converse fails for infinite rings but holds for finite ones: every finite integral domain is a field.

1. Let $F$ be a field and suppose $ab=0$ with $a\ne 0$.
2. Multiply by $a^{-1}$: $a^{-1}(ab)=a^{-1}\cdot 0=0$.
3. By associativity $(a^{-1}a)b=b=0$. Hence $a=0$ or $b=0$, so $F$ has no zero divisors. $\square$

1. Let $D$ be a finite integral domain and $a\in D$, $a\ne 0$.
2. Consider the multiplication map ${\mu }_a:D\to D$, ${\mu }_a(x)=ax$.
3. ${\mu }_a$ is injective: if $ax=ay$, cancellation [3] gives $x=y$.
4. An injective map from a finite set to itself is surjective.
5. Hence there exists $x$ with $ax=1$, so $a$ is invertible. Therefore $D$ is a field. $\square$

Why It Holds — The Field of Fractions Construction

Field of Fractions

Let $D$ be an integral domain. On the set $D\times (D\setminus \{0\})$ define the relation

Write the equivalence class of $(a,b)$ as $\frac{a}{b}$. The field of fractions $\mathrm{Frac}(D)$ is the set of classes with operations

1. Reflexive: $(a,b)\sim (a,b)$ since $ab=ba$.
2. Symmetric: $ad=bc\Rightarrow cb=da$.
3. Transitive: suppose $(a,b)\sim (c,d)$ and $(c,d)\sim (e,f)$, i.e. $ad=bc$ and $cf=de$.
4. Then $adf=bcf=b(de)=(be)d$, so $(af-be)d=0$.
5. Since $d\ne 0$ and $D$ is a domain, $af=be$, hence $(a,b)\sim (e,f)$. $\square$

1. Independence of representatives follows by similar manipulations using [2].
2. Additive identity is $\frac{0}{1}$, multiplicative identity $\frac{1}{1}$.
3. The inverse of a nonzero $\frac{a}{b}$ (so $a\ne 0$) is $\frac{b}{a}$, since $\frac{a}{b}\cdot \frac{b}{a}=\frac{ab}{ab}=\frac{1}{1}$.

1. The map $\iota :D\to \mathrm{Frac}(D)$, $\iota (a)=\frac{a}{1}$ is an injective ring homomorphism. $\square$

Universal Property of the Field of Fractions

Richard Dedekind | 1831–1916

Dedekind reshaped algebra by treating number systems as abstract structures rather than collections of formulas. His introduction of ideals (1871) and his rigorous construction of the real numbers via Dedekind cuts pushed mathematics toward set-theoretic foundations. The modern definition of a field — Körper in German, a term he coined — and the systematic study of fields of algebraic numbers grew directly from his work on the factorization theory of Algebraic Number Theory. The field-of-fractions construction is the categorical distillation of his insistence that one should always work in the smallest natural domain where division is possible.

Building Intuition

Think of an integral domain as a number system where multiplication never collapses two nonzero things into zero — the multiplicative structure is "honest." That honesty is exactly cancellation: you can divide out a common nonzero factor without ambiguity, even though you may not yet have inverses. A field goes one step further and hands you every inverse. The field of fractions is the act of "completing" a domain by inventing those inverses as formal fractions, but it works only because the domain has no zero divisors — otherwise $\frac{a}{0}$-type pathologies would creep in and cross-multiplication would lose transitivity. The mental picture: $\mathbb{Z}$ is a rigid lattice of points; $\mathbb{Q}=\mathrm{Frac}(\mathbb{Z})$ fills in all the rational gaps to make a structure closed under division.

The hierarchy of ring structures and the fraction-field functor

Worked Examples

Field of fractions of the Gaussian integers

1. A general fraction is $\frac{a+bi}{c+di}$ with $c+di\ne 0$.
2. Rationalize by multiplying numerator and denominator by the conjugate $c-di$:

1. Both coordinates lie in $\mathbb{Q}$, and conversely every $p+qi$ with $p,q\in \mathbb{Q}$ arises this way.

Field of fractions of a polynomial ring

1. By definition $\mathrm{Frac}(k[x])=\left\{\frac{p(x)}{q(x)}:p,q\in k[x],q\ne 0\right\}$, the field of rational functions $k(x)$.
2. Sample addition with $k=\mathbb{Q}$, $\frac{1}{x}+\frac{x}{x+1}$:

1. The numerator $x^2+x+1$ and denominator $x^2+x$ share no common factor, so the fraction is in lowest terms.

Common Misconceptions

The ring $\mathbb{Z}/6\mathbb{Z}$ is not an integral domain: $2\cdot 3=6\equiv 0(\mathrm{mod}6)$, yet $2\ne 0$ and $3\ne 0$. Hence $2$ and $3$ are zero divisors, cancellation fails ($2\cdot 1=2=2\cdot 4$ but $1\ne 4$), and there is no field of fractions. By contrast $\mathbb{Z}/p\mathbb{Z}$ for $p$ prime is a field — a finite integral domain by Theorem [5], with inverses computed via Bézout's identity / Fermat's little theorem.

Connections

Integral domains and fields sit at the heart of abstract algebra. The field-of-fractions functor generalizes to localization in commutative algebra, the local engine of Algebraic Geometry where one studies rings of functions vanishing or not vanishing on subsets. A domain whose every ideal is principal is a Principal Ideal Domain, which is automatically a Unique Factorization Domain; both refine the notion of "domain" by controlling factorization. Fields are the ground objects of Galois Theory and Vector Spaces (a vector space is precisely a module over a field). The construction of $\mathbb{Q}$ from $\mathbb{Z}$ is the prototype of Quotient Rings versus fraction rings — quotients add relations, fractions add inverses.

Real-World Applications

1. Cryptography (RSA, ECC): Finite fields ${\mathbb{F}}_p$ and ${\mathbb{F}}_{2^n}$, guaranteed to be fields by Theorem [5], provide the arithmetic for public-key encryption and elliptic-curve protocols.
2. Error-correcting codes: Reed–Solomon codes (used in CDs, DVDs, QR codes, and deep-space communication) operate over finite fields ${\mathbb{F}}_{2^8}$.
3. Computer algebra systems: Mathematica, Maple, and SageMath compute exact answers by working in fields of fractions $k(x_1,\dots ,x_n)$ rather than floating point.
4. Coding rational arithmetic: Exact-precision libraries represent numbers as elements of $\mathrm{Frac}(\mathbb{Z})=\mathbb{Q}$, storing numerator/denominator pairs.
5. Algebraic geometry & robotics: Function fields $k(V)$ of varieties model rational maps used in kinematics and Gröbner-basis solvers.
6. Number theory algorithms: Working in number fields $\mathbb{Q}(\alpha )=\mathrm{Frac}(\mathbb{Z}[\alpha ])$ underlies primality proving and factorization.
7. Signal processing: Transfer functions are elements of the rational function field $\mathbb{R}(s)$ or $\mathbb{C}(z)$.

Historical Development

• 1830s — Galois: Implicitly works with finite fields ("Galois fields") while studying solvability of equations, foreshadowing field theory.
• 1871 — Dedekind: Introduces ideals and uses the German term Körper (body/field) for the rational/algebraic number domains; lays the abstract groundwork.
• 1881–1882 — Kronecker: Develops domains of rationality (Rationalitäts-Bereiche), an early version of fields generated by adjoining elements.
• 1893 — Weber: Gives an abstract axiomatic definition of a field in his treatise on Galois theory, separating the concept from specific number systems.
• 1899–1903 — Hensel: Introduces $p$-adic numbers, new fields built from $\mathbb{Z}$, illustrating the richness of fraction-like completions.
• 1910 — Steinitz: Publishes Algebraische Theorie der Körper, the first systematic abstract theory of fields, including characteristic, transcendence degree, and algebraic closure.
• 1920s — Emmy Noether: Axiomatizes commutative ring theory, integral domains, and ideal theory, framing the modern viewpoint and the universal property of localization.
• 1930 — van der Waerden: Moderne Algebra codifies domains, fields, and fields of fractions as standard undergraduate material, drawing on Noether's and Artin's lectures.
• 1950s — Bourbaki/Grothendieck era: Localization and structure sheaves generalize the field of fractions into the engine of scheme-theoretic algebraic geometry.

Subtleties & Limits

The clean field-of-fractions story is special to integral domains. For a general commutative ring $R$ one inverts only a multiplicatively closed set $S$ via localization $S^{-1}R$; the total quotient ring (inverting all non-zero-divisors) need not be a field. Deep structural questions persist: classifying all subfields between a domain's fraction field and its algebraic closure (the inverse Galois problem over $\mathbb{Q}$ remains open — is every finite group a Galois group over $\mathbb{Q}$?); and understanding when a domain is "close to" its fraction field via finiteness conditions (Noetherian, integrally closed). The interplay of valuation theory, where one studies subrings of a field whose fraction field recovers the whole, remains an active and subtle area in arithmetic geometry.

See Also