Skip to main content
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\vec}[1]{\mathbf{#1}} \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)


Although the algebraic structures of rings and integral domains are widely used and play an important part in the applications of mathematics, we still cannot solve the simple equation \(a x = b\), \(a \neq 0\) in all rings or all integral domains, for that matter. Yet this is one of the first equations we learn to solve in elementary algebra and its solubility is basic to innumerable questions. If we wish to solve a wide range of problems in a system we need at least all of the laws true for rings and the cancellation laws together with the ability to solve the equation \(a x = b\), \(a \neq 0\). We summarize the above in a definition and list theorems that will place this concept in the context of the previous section.


A field is a commutative ring with unity such that each nonzero element has a multiplicative inverse.

In this chapter, we denote a field generically by the letter \(F\). The letters \(k\), \(K\) and \(L\) are also conventionally used for fields.

Example16.2.2Come common fields

The most common infinite fields are \([\mathbb{Q}, +, \cdot ]\), \([\mathbb{R}; +, \cdot ]\), and \([\mathbb{C}; +, \cdot ]\).


Since every field is a ring, all facts and concepts that are true for rings are true for any field.


Of course the converse of Theorem 16.2.4 is not true. Consider \([\mathbb{Z}; +, \cdot ]\). However, the next theorem proves the converse in finite fields.


If \(p\) is a prime, \(p\mid (a\cdot b) \Rightarrow p\mid a \textrm{ or } p\mid b\). An immediate implication of this fact is the following corollary.

Example16.2.7A field of order 4

16.2.6 gives us a large number of finite fields, but we must be cautious. This does not tell us that all finite fields are of the form \(\mathbb{Z}_p\) , \(p\) a prime. To see this, let's try to construct a field of order 4.

First the field must contain the additive and multiplicative identities, 0 and 1, so, without loss of generality, we can assume that the field we are looking for is of the form \(F = \{0, 1, a, b\}\). Since there are only two nonisomorphic groups of order 4, we have only two choices for the group table for \([F; +]\). If the additive group is isomorphic to \(\mathbb{Z}_4\) then two of the nonzero elements of F. would not be their own additive inverse (as are 1 and 3 in \(\mathbb{Z}_4\)). Lets assume \(\beta \in F\) is one of those elements and \(\beta +\beta =\gamma \neq 0\). An isomorphism between the additive groups \(F\) and \(\mathbb{Z}_4\) would require that \(\gamma\) in \(F\) correspond with 2 in \(\mathbb{Z}_4\). We could continue our argument and infer that \(\gamma \cdot \gamma =0\), producing a zero divisor, which we need to avoid if \(F\) is to be a field. We leave the remainder of the argument to the reader. We can thus complete the addition table so that \([F;+]\) is isomorphic to \(\mathbb{Z}_2{}^2\): \[\begin{array}{c|cccc} + & 0 & 1 & a & b \\ \hline 0 & 0 & 1 & a & b \\ 1 & 1 & 0 & b & a \\ a & a & b & 0 & 1 \\ b & b & a & 1 & 0 \\ \end{array}\]

Next, since 1 is the unity of \(F\), the partial multiplication table must look like: \[\begin{array}{c|cccc} \cdot & 0 & 1 & a & b \\ \hline 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 1 & a & b \\ a & 0 & a & - & - \\ b & 0 & b & - & - \\ \end{array} \]

Hence, to complete the table, we have only four entries to find, and, since \(F\) must be commutative, this reduces our task to filling in three entries. Next, each nonzero element of \(F\) must have a unique multiplicative inverse. The inverse of \(a\) must be either \(a\) itself or \(b\). If \(a^{-1} = a\), then \(b^{-1}=b\). (Why?) But \(a^{-1} = a \Rightarrow a \cdot a = 1\). And if \(a \cdot a = 1\), then \(a \cdot b\) is equal to \(a\) or \(b\). In either case, by the cancellation law, we obtain \(a = 1\) or \(b = 1\), which is impossible. Therefore we are forced to conclude that \(a^{-1} = b\) and \(b^{-1} = a\). To determine the final two products of the table, simply note that, \(a \cdot a \neq a\) because the equation \(x^2=x\) has only two solutions, 0 and 1 in any field. We also know that \(a\cdot a\) cannot be 1 because \(a\) doesn't invert itself and cannot be 0 because \(a\) can;t be a zero divisor. This leaves us with one possible conclusion, that \(a \cdot a = b\) and similarly \(b \cdot b = a\). Hence, our multiplication table for \(F\) is: \[\begin{array}{c|cccc} \cdot & 0 & 1 & a & b \\ \hline 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 1 & a & b \\ a & 0 & a & b & 1 \\ b & 0 & b & 1 & a \\ \end{array} \]

We leave it to the reader to verify that \([F; +, \cdot ]\), as described above, is a field. Hence, we have produced a field of order 4. This construction would be difficult to repeat for larger fields. In section 16.4 we will introduce a different approach to constructing fields that will be far more efficient.

Even though not all finite fields are isomorphic to \(\mathbb{Z}_p\) for some prime \(p\), it can be shown that every field \(F\) must have either:

  • a subfield isomorphic to \(\mathbb{Z}_p\) for some prime \(p\), or

  • a subfield isomorphic to \(\mathbb{Q}\).

One can think of all fields as being constructed from either \(\mathbb{Z}_p\) or \(\mathbb{Q}\).


\([\mathbb{R}, +, \cdot]\) is a field, and it contains a subfield isomorphic to \([\mathbb{Q}, +, \cdot]\), namely \(\mathbb{Q}\) itself.


The field \(F\) that we constructed in Example 16.2.7 has a subfield isomorphic to \(\mathbb{Z}_p\) for some prime \(p\). From the tables, we note that the subset \(\{0, 1\}\) of \(\{0, 1, a, b\}\) under the given operations of \(F\) behaves exactly like \(\left[\mathbb{Z}_2; +_2,\times _2\right]\). Hence, \(F\) has a subfield isomorphic to \(\mathbb{Z}_2\).

We close this section with a brief discussion of isomorphic fields. Again, since a field is a ring, the definition of isomorphism of fields is the same as that of rings. It can be shown that if \(f\) is a field isomorphism, then \(f\left(a^{-1} \right) = f(a)^{-1}\); that is, inverses are mapped onto inverses under any field isomorphism. A major question to try to solve is: How many different non-isomorphic finite fields are there of any given order? If \(p\) is a prime, it seems clear from our discussions that all fields of order \(p\) are isomorphic to \(\mathbb{Z}_p\). But how many nonisomorphic fields are there, if any, of order 4, 6, 8, 9, etc? The answer is given in the following theorem, whose proof is beyond the scope of this text.


The field of order \(p^n\) is frequently referred to as the Galois field of order \(p^n\) and it is denoted by \(GF(p^n)\). Evariste Galois (1811-32) was a pioneer in the field of abstract algebra.

French stamp honoring Evariste Galois
Figure16.2.11French stamp honoring Evariste Galois

This theorem tells us that there is a field of order \(2^2\textrm{ = 4}\), and there is only one such field up to isomorphism. That is, all such fields of order 4 are isomorphic to \(F\), which we constructed in the example above.

Subsection16.2.1Exercises for Section 16.2


Write out the addition, multiplication, and “inverse” tables for each of the following fields'.

  1. \(\left[\mathbb{Z}_2, +_2, \times _2\right]\)

  2. \(\left[\mathbb{Z}_3, +_3, \times _3\right]\)

  3. \(\left[\mathbb{Z}_5, +_5, \times _5\right]\)


Show that the set of units of the fields in Exercise 1 form a group under the operation of the multiplication of the given field. Recall that a unit is an element which has a multiplicative inverse.


Complete the proof of Theorem 16.2.5 that every finite integral domain is a field.


Write out the operation tables for \(\mathbb{Z}_2{}^2\). Is \(\mathbb{Z}_2{}^2\) a ring? An integral domain? A field? Explain.


Determine all values \(x\) from the given field that satisfy the given equation:

  1. \(x + 1 = -1\) in \(\mathbb{Z}_2\) , \(\mathbb{Z}_3\) and \(\mathbb{Z}_5\)

  2. \(2x + 1 = 2\) in \(\mathbb{Z}_3\) and \(\mathbb{Z}_5\)

  3. \(3x + 1 = 2\) \(\mathbb{Z}_5\)


  1. Prove that if \(p\) and \(q\) are prime, then \(\mathbb{Z}_p \times \mathbb{Z}_q\), is never a field.

  2. Can \(\mathbb{Z}_p{}^n\) be a field for any prime \(p\) and any positive integer \(n \geq 2\)?


The following are equations over \textrm{ \(\mathbb{Z}_2\)} . Their coefficients come solely from \textrm{ \(\mathbb{Z}_2\)} . Determine all solutions over \textrm{ \(\mathbb{Z}_2\)}; that is, find all elements of \textrm{ \(\mathbb{Z}_2\)} that satisfy the equations:

  1. \(x^2 + x = 0\)

  2. \(x^2 + 1 = 0\)

  3. \(x^3 + x^2 + x + 1 = 0\)

  4. \(x^3 + x + 1 = 0\)


Determine the number of different fields, if any, of all orders 2 through 15. Wherever possible, describe these fields via a known field.


Let \(\mathbb{Q}\left(\sqrt{2}\right) = \left\{\left.a + b\sqrt{2}\right| a, b \in \mathbb{Q}\right\}\).

  1. Prove that \(\left[\mathbb{Q}\left(\sqrt{2}\right), +, \cdot \right]\) is a field.

  2. Show that \(\mathbb{Q}\) is a subfield of \(\mathbb{Q}\left(\sqrt{2}\right)\). For this reason, \(\mathbb{Q}\left(\sqrt{2}\right)\) is called an extension field of \(\mathbb{Q}\).

  3. Show that all the roots of the equation \(x^2 - 4x+\frac{7}{2} = 0\) lie in the extension field \(\mathbb{Q}\left(\sqrt{2}\right)\).

  4. Do the roots of the equation \(x^2 -4 x+ 3 = 0\) lie in this field? Explain.