Integral Domains, Fields, and Field of Fractions

⚡ Key Takeaways

One-line statement: An integral domain is a commutative ring with unity and no zero divisors; a field is a commutative ring in which every nonzero element has a multiplicative inverse; and the field of fractions is the smallest field that contains a given integral domain. Key result in words: Every integral domain embeds into a field — its field of fractions — constructed exactly the way the rationals $\mathbb{Q}$ are built from the integers $\mathbb{Z}$ . Where it applies: Number theory, algebraic geometry, polynomial algebra, and the foundations of fractions and rational functions. Who/when: Crystallized in the late 19th and early 20th centuries through Dedekind, Kronecker, Steinitz, and Noether.

💡 The Core Insight

The absence of zero divisors is precisely the condition needed to cancel in a ring: if $ab = ac$ and $a \neq 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 $\tfrac{a}{b}$ .

DefinitionCommutative 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$ .

1

\quad a \cdot (b + c) = a\cdot b + a \cdot c \qquad \forall\, a,b,c \in R

Derivation hint: This is an axiom, not a theorem; it links the additive and multiplicative structures and forces $0 \cdot a = 0$ (set $b=c=0$ and cancel additively).

DefinitionZero 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 \neq 0$ , having no zero divisors:

2

\quad ab = 0 \;\Longrightarrow\; a = 0 \ \text{ or }\ b = 0

Derivation hint: This is the defining property; equivalently, the set $R \setminus \{0\}$ is closed under multiplication. The cancellation law follows directly:

3

\quad a \neq 0 \ \text{ and }\ ab = ac \;\Longrightarrow\; b = c

Derivation hint: Rewrite $ab = ac$ as $a(b-c)=0$ ; since $a\neq 0$ and there are no zero divisors, $b-c=0$ .

DefinitionField

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

4

\quad \forall\, a \in F,\ a \neq 0 \;\Longrightarrow\; \exists\, a^{-1} \in F \ \text{ with }\ a\cdot a^{-1} = 1

Derivation hint: Equivalently, $(F\setminus\{0\}, \cdot)$ is an abelian group; this is the strongest among ring structures considered here. 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$ .

TheoremEvery 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.

Proof

Part 1 — field $\Rightarrow$ integral domain. 1. Let $F$ be a field and suppose $ab = 0$ with $a \neq 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$

Part 2 — finite integral domain $\Rightarrow$ field. 1. Let $D$ be a finite integral domain and $a \in D$ , $a \neq 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$

5

\quad |D| < \infty \ \text{ and } D \text{ integral domain} \;\Longrightarrow\; D \text{ is a field}

Derivation hint: The pigeonhole principle turns injectivity into surjectivity on a finite set, manufacturing the inverse.

∎

DefinitionField of Fractions

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

6

\quad (a,b) \sim (c,d) \;\Longleftrightarrow\; ad = bc

Derivation hint: This mimics "cross-multiplication" $\tfrac{a}{b} = \tfrac{c}{d} \iff ad = bc$ ; transitivity is where the no-zero-divisor hypothesis is essential. Write the equivalence class of $(a,b)$ as $\tfrac{a}{b}$ . The field of fractions $\operatorname{Frac}(D)$ is the set of classes with operations

7

\quad \frac{a}{b} + \frac{c}{d} = \frac{ad + bc}{bd}, \qquad \frac{a}{b}\cdot\frac{c}{d} = \frac{ac}{bd}

Derivation hint: $bd \neq 0$ because $b,d \neq 0$ and $D$ has no zero divisors — this is exactly where the domain hypothesis guarantees the operations land in valid fractions.

Proof

$\sim$ is an equivalence relation (transitivity uses cancellation). 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 \neq 0$ and $D$ is a domain, $af = be$ , hence $(a,b)\sim(e,f)$ . $\square$

The operations are well defined and yield a field. 6. Independence of representatives follows by similar manipulations using [2]. 7. Additive identity is $\tfrac{0}{1}$ , multiplicative identity $\tfrac{1}{1}$ . 8. The inverse of a nonzero $\tfrac{a}{b}$ (so $a\neq 0$ ) is $\tfrac{b}{a}$ , since $\tfrac{a}{b}\cdot\tfrac{b}{a} = \tfrac{ab}{ab} = \tfrac{1}{1}$ .

$D$ embeds in $\operatorname{Frac}(D)$ . 9. The map $\iota : D \to \operatorname{Frac}(D)$ , $\iota(a) = \tfrac{a}{1}$ is an injective ring homomorphism. $\square$

∎

TheoremUniversal Property of the Field of Fractions

$\operatorname{Frac}(D)$ is the smallest field containing $D$ : for any field $F$ and any injective ring homomorphism $\varphi : D \to F$ , there is a unique homomorphism $\Phi : \operatorname{Frac}(D) \to F$ extending $\varphi$ .

8

\quad \Phi\!\left(\frac{a}{b}\right) = \varphi(a)\,\varphi(b)^{-1}

Derivation hint: $\varphi(b) \neq 0$ in $F$ because $\varphi$ is injective and $b \neq 0$ , so the inverse exists in the field $F$ ; uniqueness forces this formula.

mathematician · 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.

🧠 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 $\tfrac{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} = \operatorname{Frac}(\mathbb{Z})$ fills in all the rational gaps to make a structure closed under division.

Figure

The hierarchy of ring structures and the fraction-field functor

ExampleField of fractions of the Gaussian integers

Given: $\mathbb{Z}[i] = \{a + bi : a,b \in \mathbb{Z}\}$ , the Gaussian integers, an integral domain.

Goal: Identify $\operatorname{Frac}(\mathbb{Z}[i])$ .

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

9

\quad \frac{a+bi}{c+di} = \frac{(a+bi)(c-di)}{c^2 + d^2} = \frac{ac+bd}{c^2+d^2} + \frac{bc-ad}{c^2+d^2}\,i

Derivation hint: $c^2 + d^2 = |c+di|^2 \neq 0$ is a positive integer, so each coordinate is a genuine rational number. 3. Both coordinates lie in $\mathbb{Q}$ , and conversely every $p + qi$ with $p,q \in \mathbb{Q}$ arises this way.

Answer: $\boxed{\operatorname{Frac}(\mathbb{Z}[i]) = \mathbb{Q}(i) = \{p + qi : p,q \in \mathbb{Q}\}}$ , the Gaussian rationals.

ExampleField of fractions of a polynomial ring

Given: $k[x]$ , polynomials in one variable over a field $k$ (an integral domain since $k$ has no zero divisors and leading coefficients multiply).

Goal: Compute $\operatorname{Frac}(k[x])$ and a sample operation.

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

10

\quad \frac{1}{x} + \frac{x}{x+1} = \frac{1\cdot(x+1) + x\cdot x}{x(x+1)} = \frac{x^2 + x + 1}{x^2 + x}

Derivation hint: Apply rule [7] with $b = x$ , $d = x+1$ ; the denominator $x(x+1)\neq 0$ as a polynomial. 3. The numerator $x^2+x+1$ and denominator $x^2+x$ share no common factor, so the fraction is in lowest terms.

Answer: $\boxed{\operatorname{Frac}(k[x]) = k(x), \quad \text{and } \tfrac{1}{x}+\tfrac{x}{x+1} = \tfrac{x^2+x+1}{x^2+x}}$ .

⚠️ Common mistake

"Every ring without inverses can be turned into a field of fractions." False. The construction requires no zero divisors. If $R$ has a zero divisor $a$ (so $ab=0$ , $b\neq 0$ ), then in $\operatorname{Frac}$ one would get $\tfrac{a}{1}\cdot\tfrac{b}{1} = \tfrac{0}{1}$ with both factors "nonzero," and worse, the relation [6] fails to be transitive. The correct general tool is localization $S^{-1}R$ , which only inverts a chosen multiplicatively closed set $S$ of non-zero-divisors.

⚠️ Common mistake

" $1 \neq 0$ is a pedantic technicality." It is essential. The zero ring $\{0\}$ satisfies every domain axiom except $1 \neq 0$ , and we explicitly exclude it; otherwise the statement "fields are domains" and the field-of-fractions construction would degenerate.

Counterexample

The ring $\mathbb{Z}/6\mathbb{Z}$ is not an integral domain: $2 \cdot 3 = 6 \equiv 0 \pmod 6$ , yet $2 \neq 0$ and $3 \neq 0$ . Hence $2$ and $3$ are zero divisors, cancellation fails ( $2\cdot 1 = 2 = 2 \cdot 4$ but $1 \neq 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.

connection

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.

🔬 Where this appears

⏳ History

- 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.

open-problem

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.

Integral Domains, Fields, and Field of Fractions

Formal Statement

Why It Holds — The Field of Fractions Construction

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also