The reader is expected to be familiar with several elementary properties of the real numbers and complex numbers, such as associativity, commutativity, and existence of inverses, all of which are listed below. If is the set of either the real numbers or the complex numbers , then they each have an addition and a multiplication , and we will use the following facts without proof:
Addition is a binary operation: if then .
Multiplication is a binary operation: if then .
Addition is commutative: if then .
Multiplication is commutative: if then .
Addition is associative: if then .
Multiplication is associative: if then .
There is an additive identity in : such that we have .
There is a multiplicative identity in , distinct from the additive identity: such that for any we have .
There exists additive inverses in : if then there exists a such that .
There exists multiplicative inverses in for every element other than 0: if then there exists a such that .
Multiplication distributes over addition: if then .
If is any set which has an addition and multiplication obeying these rules, then the triple is called a field; often we simply call a field, with the understanding that , are vital parts of the definition. These rules are called the field axioms. While you are not expected to memorize these axioms for an exam, but you should know the meaning of the emphasized words, and you should be able to check whether a given axiom holds in a given situation; see the examples and exercises below.
Roughly speaking, a field is a set of “numbers” in which we can, in some sense, add, subtract, multiply and divide, and in which all of the usual laws of arithmetic are satisfied. For most of this module, whenever you read the word “field”, you will usually have no problem if you simply think of either the real numbers or the complex numbers .
Note that we sometimes write instead of .
The set of rational numbers with the usual addition and multiplication is a field. All of the axioms are taught in most schools at an early age. For example, verification that addition is a binary operation amounts to checking: If and then . And since are integers, so are and . Finally, since , we know . Therefore we have justified that if then . In particular, F1 is satisfied.
The set of integers , with the usual multiplication and addition, is not a field. All axioms are satisfied except for F10. To prove that F10 is not satisfied, we need to find a counter-example. Let’s try . Then , and for any , we have that is an even integer. But that means is not equal to 1 for any . So we conclude that does not have a multiplicative inverse (in ). And since , this proves that F10 is not satisfied for .
The set of two elements , where addition and multiplication are taken “modulo 2”, is a field. For example, , and , etc. One can verify that this satisfies the above axioms, and is therefore another example of a field; it is called the field with two elements, and is often denoted either or .
Another example of a field is the set of conjugacy classes of integers modulo 5, namely . For example, and . For each non-zero element of this field, find its multiplicative inverse.
[End of Exercise]
As you read these axioms, you might think that their abstract nature is a negative thing. But try to recall your first experience with mathematics: when you were learning about numbers. You may have been shown many sets of three objects - three balls, three dogs, three pencils - and, gradually, you learned to recognize the property that they had in common, namely, their “threeness”. For most of your life you have been comfortable with the abstract concept that we call the number 3. Here the procedure is similar: we are taking several familiar situations (in this case, , , and ), and we are recognizing some things that they all have in common (in this case, these axioms), and then naming the abstract concept (in this case, we use the word “field”). This is the process of abstraction, and as you’ve already discovered with the number 3, it can be very helpful!