MATH 162, SHEET 6: THE FIELD AXIOMS
We will formalize the notions of addition and multiplication in structures called fields. A
field with a compatible order is called an ordered field. We will see that Q and R are both
examples of ordered fields.
Definition 6.1. A binary operation on a set X is a function
f : X × X −→ X.
We say that f is associative if:
f (f (x, y), z) = f (x, f (y, z)) for all x, y, z ∈ X.
We say that f is commutative if:
f (x, y) = f (y, x) for all x, y ∈ X.
An identity element of a binary operation f is an element e ∈ X such that:
f (x, e) = f (e, x) = x for all x ∈ X.
Remark 6.2. Frequently, we denote a binary operation differently. If ∗ : X × X −→ X is
the binary operation, we often write a ∗ b in place of ∗(a, b). We sometimes indicate this
same operation by writing (a, b) 7→ a ∗ b.
Examples 6.3.
1. The function + : Z × Z −→ Z which sends a pair of integers (m, n) to +(m, n) =
m + n is a binary operation on the integers, called addition. Addition is associative,
commutative and has identity element 0.
2. The maximum of m and n, denoted max(m, n), is an associative and commutative
binary operation on Z. Is there an identity element for max?
3. Let P (Y ) be the power set of a set Y . Recall that the power set consists of all subsets
of Y . Then the intersection of sets, (A, B) 7→ A ∩ B, defines an associative and
commutative binary operation on P (Y ). Is there an identity element for ∩?
Exercise 6.4. Find a binary operation on a set that is not commutative. Find a binary
operation on a set that is not associative.
Exercise 6.5. Let X be a finite set, and let Y = {f : X −→ X | f is bijective}. Consider
the binary operation of composition of functions, denoted ◦ : Y × Y −→ Y and defined by
(f ◦ g)(x) = f (g(x)). Decide whether or not composition is commutative and/or associative
and whether or not it has an identity.
Theorem 6.6. Identity elements are unique. That is, suppose that f is a binary operation
on a set X that has two identity elements e and e0 . Then e = e0 .
1
Definition 6.7. A field is a set F with two binary operations on F called addition, denoted
+, and multiplication, denoted · , satisfying the following field axioms:
FA1 (Commutativity of Addition) For all x, y ∈ F , x + y = y + x.
FA2 (Associativity of Addition) For all x, y, x ∈ F , (x + y) + z = x + (y + z).
FA3 (Additive Identity) There exists an element 0 ∈ F such that x + 0 = 0 + x = x for all
x ∈ F.
FA4 (Additive Inverses) For any x ∈ F , there exists y ∈ F such that x + y = y + x = 0.
FA5 (Commutativity of Multiplication) For all x, y ∈ F , x · y = y · x.
FA6 (Associativity of Multiplication) For all x, y, z ∈ F , (x · y) · z = x · (y · z).
FA7 (Multiplicative Identity) There exists an element 1 ∈ F such that x · 1 = 1 · x = x for
all x ∈ F .
FA8 (Multiplicative Inverses) For any x ∈ F such that x 6= 0, there exists y ∈ F such that
x · y = y · x = 1.
FA9 (Distributivity of Multiplication over Addition) For all x, y, z ∈ F , x·(y+z) = x·y+x·z.
FA10 (Distinct Additive and Multiplicative Identities) 1 6= 0.
Exercise 6.8. Consider the set F2 = {0, 1}, and define binary operations + and · on F2 by:
0+0=0 0+1=1 1+0=1 1+1=0
0·0=0 0·1=0 1·0=0 1·1=1
Show that F2 is a field.
Theorem 6.9. Suppose that F is a field. Then additive and multiplicative inverses are
unique. This means:
1. Let x ∈ F . If y, y 0 ∈ F satisfy x + y = 0 and x + y 0 = 0, then y = y 0 .
2. Let x ∈ F . If y, y 0 ∈ F satisfy x · y = 1 and x · y 0 = 1, then y = y 0 .
We usually write −x for the additive inverse of x and x−1 or 1
x
for the multiplicative inverse
of x.
Corollary 6.10. If x ∈ F , then −(−x) = x.
Corollary 6.11. If x ∈ F and x 6= 0, then (x−1 )−1 = x.
Theorem 6.12. Let F be a field, and let a, b, c ∈ F . If a + b = a + c, then b = c.
Theorem 6.13. Let F be a field, and let a, b, c ∈ F . If a · b = a · c and a 6= 0, then b = c.
2
Theorem 6.14. Let F be a field. If a ∈ F , then a · 0 = 0.
Theorem 6.15. Let F be a field, and let a, b ∈ F . If a · b = 0, then a = 0 or b = 0.
Next, we discuss the notion of an ordered field.
Definition 6.16. An ordered field is a field F equipped with an ordering < such that:
• Addition respects the ordering: if x < y, then x + z < y + z for all z ∈ F .
• Multiplication respects the ordering: if 0 < x and 0 < y, then 0 < x · y.
Definition 6.17. Suppose F is an ordered field and x ∈ F . If 0 < x, we say that x is
positive. If x < 0, we say that x is negative.
For the remaining theorems, assume F is an ordered field.
Lemma 6.18. If 0 < x, then −x < 0. Similarly, if x < 0, then 0 < −x.
Lemma 6.19. If a, b ∈ F , then a · (−b) = −(a · b) = (−a) · b.
Lemma 6.20. If a, b ∈ F , then a · b = (−a) · (−b).
Lemma 6.21. If x ∈ F , then 0 ≤ x2 .
Corollary 6.22. 0 < 1.
Theorem 6.23. If F is an ordered field, then F has no first or last point.