Field Axioms
The Field Axioms provide the definitive structural foundation for the number systems we use in Algebra and Trigonometry.
While lower-level math focuses on how to perform calculations, higher-level algebra focuses on why those calculations are valid by defining the properties of a Field.
A Field is a set F equipped with two binary operations, Addition (+) and Multiplication (\cdot), that satisfy the following eleven axioms.
1. Axioms of Addition
The set F under addition must behave as an “Abelian Group.”
- Closure: For any $a, b \in F$, the sum $a + b$ is uniquely in $F$.
- Commutativity: $a + b = b + a$. The order of addition does not matter, the result is the same.
- Associativity: $(a + b) + c = a + (b + c)$. The grouping of terms does not change the sum when dealing with addition. Addition exhibits the associative property.
- Additive Identity: There exists an element $0 \in F$ such that $a + 0 = a$ for every $a \in F$.
- Additive Inverse: For every $a \in F$, there exists an element $-a \in F$ such that $a + (-a) = 0$.
2. Axioms of Multiplication
The set F (excluding zero) must also behave as an “Abelian Group” under multiplication.
Closure: For any a, b \in F, the product a \cdot b is uniquely in F.
- Commutativity: $a \cdot b = b \cdot a$. In other words, $3 \times 4 = 12$ just as $4 \times 3 = 12$ also.
- Associativity: $(a \cdot b) \cdot c = a \cdot (b \cdot c)$. We can also write this as $c(ab)=a(bc)=b(ac)$.
- Multiplicative Identity: There exists an element $1 \in F$ (where $1 \neq 0$) such that $a \cdot 1 = a$.
- Multiplicative Inverse: For every non-zero element $a \in F$, there exists an element $a^{-1}$ (or $1/a$) such that $a \cdot a^{-1} = 1$.
3. The Bridge Axiom (Distributive Axiom)
This final axiom links the two operations together, allowing for the expansion and factoring of algebraic expressions.
- Distributivity: For all $a, b, c \in F$:
\[ a \cdot (b+c) = ab + ac \]
This becomes especially relevant when we expand algebraic expressions.
Field Axioms in University Mathematics & STEM
Understanding these axioms is crucial for several reasons:
Proving Properties
In a university course, you don’t take “rules” for granted. You use these axioms to prove theorems. For example, you can prove the Zero Product Property (if ab = 0, then a=0 or b=0) or the fact that (-1)(-1) = 1 using only the axioms above.
Trigonometric Identities
In Trigonometry, when you manipulate identities like $\sin^2\theta + \cos^2\theta = 1$, you are relying on the field axioms properties of the real numbers. Without the multiplicative inverse, you couldn’t divide both sides of an equation to simplify a trigonometric ratio.
Identifying Fields
Not every set is a field.
- Integers ($\mathbb{Z}$) are not a field because they lack multiplicative inverses. (For example, 2 is an integer, but $2^{-1}$ which is equal to $1/2$ is not an integer).
- Rational Numbers ($\mathbb{Q}$) and Real Numbers ($\mathbb{R}$) are fields.
- Complex Numbers ($\mathbb{C}$) are also a field, which is essential for advanced trigonometry and signal processing.
The Field Axioms are mathematical laws that are inviolable, in the same way that the physical laws of the universe (to the extent that we understand them) rule the universe with an iron fist. Whether you are solving a quadratic equation or calculating the trajectory of a wave in trigonometry, you are simply rearranging terms according to these eleven rules.