Mathwords logoMathwords

Field Axioms — Definition, Formula & Examples

The field axioms are a set of eleven rules that a set must satisfy (under two operations, typically addition and multiplication) to be called a field. The rational numbers, real numbers, and complex numbers all satisfy these axioms.

A field is a set FF equipped with two binary operations ++ and ⋅\cdot satisfying: closure, associativity, and commutativity for both operations; existence of additive identity 00 and multiplicative identity 11 (with 0≠10 \neq 1); existence of additive inverses for all elements and multiplicative inverses for all nonzero elements; and distributivity of multiplication over addition.

Key Formula

a⋅(b+c)=a⋅b+a⋅ca \cdot (b + c) = a \cdot b + a \cdot c
Where:
  • a,b,ca, b, c = Arbitrary elements of the field $F$

How It Works

The eleven field axioms split into three groups. Five govern addition: closure, associativity, commutativity, an additive identity (00), and additive inverses (−a-a). Five govern multiplication: closure, associativity, commutativity, a multiplicative identity (11), and multiplicative inverses (a−1a^{-1} for a≠0a \neq 0). One axiom bridges both operations: the distributive law a⋅(b+c)=a⋅b+a⋅ca \cdot (b + c) = a \cdot b + a \cdot c. If even one axiom fails, the structure is not a field. For instance, the integers Z\mathbb{Z} satisfy every axiom except the existence of multiplicative inverses (e.g., 22 has no integer reciprocal), so Z\mathbb{Z} is not a field.

Worked Example

Problem: Verify that the set Q\mathbb{Q} (rational numbers) satisfies the multiplicative inverse axiom, using the element 35\frac{3}{5}.
State the axiom: For every a≠0a \neq 0 in FF, there exists an element a−1a^{-1} in FF such that a⋅a−1=1a \cdot a^{-1} = 1.
a⋅a−1=1a \cdot a^{-1} = 1
Find the inverse: The multiplicative inverse of 35\frac{3}{5} is 53\frac{5}{3}, which is also a rational number.
(35)−1=53\left(\frac{3}{5}\right)^{-1} = \frac{5}{3}
Verify: Multiply the element by its inverse to confirm the product is 11.
35⋅53=1515=1\frac{3}{5} \cdot \frac{5}{3} = \frac{15}{15} = 1
Answer: Since 53∈Q\frac{5}{3} \in \mathbb{Q} and the product equals 11, the multiplicative inverse axiom holds for this element.

Why It Matters

The field axioms underpin every algebraic manipulation you perform when solving equations—factoring, distributing, dividing both sides by a nonzero quantity. In linear algebra, vector spaces are defined over fields, so understanding these axioms is essential for courses in abstract algebra, linear algebra, and real analysis.

Common Mistakes

Mistake: Assuming the integers form a field because they satisfy most axioms.
Correction: The integers lack multiplicative inverses for most elements (e.g., 2−1=0.5∉Z2^{-1} = 0.5 \notin \mathbb{Z}). All eleven axioms must hold for a structure to be a field.