Finite field
In algebra, a finite field or Galois field (so named in honor of Évariste Galois) is a field that contains a finite number of elements, called its order (the size of the underlying set). As with any field, a finite field is a set on which the operations of commutative multiplication, addition, subtraction and division (by anything except zero) have been defined. Common, but not the only, examples of finite fields are given by the integers modulo a prime, that is, the integers mod n where n is a prime number, such as Z/2Z or Z/7Z.
Finite fields only exist when the order (size) is a prime power p^{k} (where p is a prime number and k is a positive integer). For each prime power, there is a finite field with this size, and all fields of a given order are isomorphic. The characteristic of a field of order p^{k} is p (this means that adding p copies of any element always results in zero). Z/2Z (the integers mod 2) has characteristic 2 since, as , we have in this field. Similarly, Z/5Z has characteristic 5 since in this field.
In a finite field of order Template:Mvar, the polynomial X^{q} − X has all the elements of the finite field as roots, and so, is the product of Template:Mvar different linear factors. Just considering multiplication, the nonzero elements of any finite field form a multiplicative group that is a cyclic group. Therefore, the nonzero elements can be expressed as the powers of a single element called a primitive element of the field (in general there will be several primitive elements for a given field.)
A field has, by definition, a commutative multiplication operation. A more general algebraic structure that satisfies all the other axioms of a field but isn't required to have a commutative multiplication is called a division ring (or sometimes skewfield). A finite division ring is a finite field by Wedderburn's little theorem. This result shows that the finiteness condition in the definition of a finite field can have algebraic consequences.
Finite fields are fundamental in a number of areas of mathematics and computer science, including number theory, algebraic geometry, Galois theory, finite geometry, cryptography and coding theory.
Contents
Basic facts
Some of basic facts on finite fields are:
 The quotient ring is a field if and only if n is a prime number. Thus, for example, is a field consisting of two elements 0, 1 while is not a field.
 The number of elements in a finite field is of the form p^{n}, where p is a prime number called the characteristic of the field, and n is a positive integer.
 For each prime number p and positive integer n, there exists a finite field with p^{n} elements. Two finite fields are isomorphic if and only if they have the same number of elements.
 Every element in a finite field F of characteristic p, with q = p^{n} elements, satisfies the polynomial equation
 In other words, if F is a subfield of a larger field (or ring) R, then, since is a ring homomorphism from R to itself, called the Frobenius endomorphism, F is the fixed subfield of R by the nth iteration of Frobenius endomorphism. Using a large enough R (i.e., an algebraically closed field of characteristic p), all finite fields are obtained this way.
 Any finite field extension of a finite field is separable and simple; i.e., if E is a finite field and F its subfield, then E is obtained from F by adjoining one element (simple element) whose minimal polynomial is separable. To use a jargon, finite fields are perfect.
Basic properties
The integers modulo p form a finite field if and only if p is a prime number. It is the prime field of characteristic p, and is denoted Z/pZ, , F_{p} or GF(p).
Let F be a finite field. For any element x in F and any integer n, let us denote by n⋅x the sum of n copies of x. The least positive n such that n⋅1 = 0 must exist and is prime; it is called the characteristic of the field.
A field of characteristic 2 is also called a binary field. The number of elements of a finite field is called its order or its size.
If the characteristic of F is p, the operation makes F a GF(p)vector space. It follows that the number of elements of F is p^{n}, where p, the characteristic, is a prime number, and n is the dimension of F as GF(p)vector space.
For every prime number p and every positive integer n, there are finite fields of order p^{n}, and all these fields are isomorphic (see below). One may therefore identify all fields of order p^{n}, which are therefore denoted , F_{pn} or GF(p^{n}), where the letters GF stand for "Galois field".^{[1]}
The identity
is true (for every x and y) in a field of characteristic p. (This follows from the fact that all, except the first and the last, binomial coefficients of the expansion of are multiples of p).
For every element x in the prime field GF(p), one has x^{p} = x (This is an immediate consequence of Fermat's little theorem, and this may be easily proved as follows: the equality is trivially true for x = 0 and x = 1; one obtains the result for the other elements of GF(p) by applying the above identity to x and 1, where x successively takes the values 1, 2, ..., p−1 modulo p). This implies the equality
for polynomials over GF(p).
Existence and uniqueness
Let q = p^{n} be a prime power, and F be the splitting field of the polynomial
over the prime field GF(p). This means that F is a finite field of lowest order, in which P has q distinct roots (the roots are distinct, as the formal derivative of P is equal to −1). Above identity shows that the sum and the product of two roots of P are roots of P, as well as the multiplicative inverse of a root of P. In other word, the roots of P form a field of order q, which is equal to F by the minimality of the splitting field.
The uniqueness up to isomorphism of splitting fields implies thus that all fields of order q are isomorphic.
In summary, we have the following classification theorem first proved in 1893 by E. H. Moore:^{[2]}
It follows that GF(p^{n}) contains a subfield isomorphic to GF(p^{m}) if and only m is a divisor of n; in that case, this subfield is unique. In fact, the polynomial divides if and only if m is a divisor of n.
Polynomial factorization
{{#invoke:mainmain}} If F is a finite field, a nonconstant monic polynomial with coefficients in F is irreducible over F, if it is not the product of two nonconstant monic polynomials, with coefficients in F.
As every polynomial ring over a field is a unique factorization domain, every monic polynomial over a finite field may be factored in a unique way (up to the order of the factors) into a product of irreducible monic polynomials.
There are efficient algorithms for testing polynomial irreducibility and factoring polynomials over finite field. They are a key step for factoring polynomials over the integers or the rational numbers. At least for this reason, every computer algebra system has functions for factoring polynomials over finite fields, or, at least, over finite prime fields.
Irreducible polynomials of a given degree
The polynomial
factors into linear factors over a field of order q. More precisely, this polynomial is the product of all monic polynomials of degree one over a field of order q.
This implies that, if q = p^{n} that X^{q} − X is the product of all monic irreducible polynomials over GF(p), whose degree divides n
This property is used to compute the product of the irreducible factors of each degree of polynomials over GF(p); see Distinct degree factorization.
Number of monic irreducible polynomials of a given degree over a finite field
The number N(q,n) of monic irreducible polynomials of degree n over GF(q) is given by^{[3]}
where Template:Mvar is the Möbius function. This formula is almost a direct consequence of above property of X^{q} − X.
By the above formula, the number of irreducible (not necessarily monic) polynomials of degree n over GF(q) is (q − 1)N(q, n).
A (slightly simpler) lower bound for N(q, n) is
One may easily deduce that, for every q and every n, there is at least one irreducible polynomial of degree n over GF(q). This lower bound is sharp for q = n = 2.
Explicit construction of finite fields
Prime fields
The prime field GF(p) of order and characteristic p is easily constructed as the integers modulo p.
Thus, the elements are represented by integers in the range 0, ..., p − 1. The sum, the difference and the product are computed by taking the remainder by p of the integer result. The multiplicative inverse of an element may be computed by using the extended Euclidean algorithm (see Extended Euclidean algorithm § Modular integers).
Nonprime field
Given a prime power q = p^{n} with p prime and n > 1, the field GF(q) may be explicitly constructed in the following way. One chooses first an irreducible polynomial P in GF(p)[X] of degree n (such an irreducible polynomial always exists). Then the quotient ring
of the polynomial ring GF(p)[X] by the ideal generated by P is a field of order q.
More explicitly, the elements of GF(q) are the polynomials over GF(p) whose degree is strictly less than n. The addition and the subtraction are those of polynomials over GF(p). The product of two elements is the remainder of the Euclidean division by P of the product in GF(p)[X]. The multiplicative inverse of a nonzero element may be computed with the extended Euclidean algorithm; see Extended Euclidean algorithm § Simple algebraic field extensions.
Except in the construction of GF(4), there are several possible choices for P, which produce isomorphic results. To simplify the Euclidean division, for P one commonly chooses polynomials of the form
which make the needed Euclidean divisions very efficient. However, for some fields, typically in characteristic 2, irreducible polynomials of the form may not exists. In characteristic 2, if the polynomial X^{n} + X + 1 is reducible, it is recommended to choose X^{n} + X^{k} + 1 with the lowest possible k that makes the polynomial irreducible. If all these trinomials are reducible, one chooses "pentanomials" X^{n} + X^{a} + X^{b} + X^{c} + 1, as polynomials of degree greater than 1, with an even number of terms, are never irreducible in characteristic 2, having 1 as a root.^{[4]}
In the next sections, we will show how this general construction method works for small finite fields.
Field with four elements
Over GF(2), there is only one irreducible polynomial of degree 2:
Therefore, for GF(4) the construction of the preceding section must involve this polynomial, and
If one denotes a a root of this polynomial in GF(4), the tables of the operations in GF(4) are (for the third table, x must be read on the left, and y on the top)



GF(p^{2}) for an odd prime p
For applying above general construction of finite fields in the case of GF(p^{2}), one has to find an irreducible polynomial of degree 2. For p = 2, this has been done in the preceding section. If p is an odd prime, there are always irreducible polynomials of the form X^{2} − r, with r in GF(p).
More precisely, the polynomial X^{2} − r is irreducible over GF(p) if and only if r is a quadratic nonresidue modulo p (this is almost the definition of a quadratic nonresidue). There are quadratic nonresidues modulo p. For example, 2 is a quadratic nonresidue for p = 3, 5, 11, 13, ..., and 3 is a quadratic nonresidue for p = 5, 7, 17, .... If p ≡ 3 mod 4, that is p = 3, 7, 11, 19, ..., one may choose −1 ≡ p − 1 as a quadratic nonresidue, which allows us to have a very simple irreducible polynomial X^{2} + 1.
Having chosen a quadratic nonresidue r, let α be a symbolic square root of r, that is a symbol which has the property α^{2} = r, in the same way as the complex number i is a symbolic square root of −1. Then, the elements of GF(p^{2}) are all the linear expressions
with a and b in GF(p). The operations on GF(p^{2}) are defined as follows (the operations between elements of GF(p) represented by Latin letters are the operations in GF(p)):
GF(8) and GF(27)
The polynomial
is irreducible over GF(2) and GF(3), that is, it is irreducible modulo 2 and 3 (to show this it suffice to show that it has no root in GF(2) nor in GF(3)). It follows that the elements of GF(8) and GF(27) may be represented by expressions
where a, b, c are elements of GF(2) or GF(3) (respectively), and is a symbol such that
The addition, additive inverse and multiplication on GF(8) and GF(27) may thus be defined as follows; in following formulas, the operations between elements of GF(2) or GF(3), represented by Latin letters are the operations in GF(2) or GF(3), respectively:
GF(16)
The polynomial
is irreducible over GF(2), that is, it is irreducible modulo 2. It follows that the elements of GF(16) may be represented by expressions
where a, b, c, d are either 0 or 1 (elements of GF(2)), and is a symbol such that
As the characteristic of GF(2) is 2, each element is its additive inverse in GF(16). The addition and multiplication on GF(16) may be defined as follows; in following formulas, the operations between elements of GF(2), represented by Latin letters are the operations in GF(2).
Multiplicative structure
The set of nonzero elements in GF(q) is an Abelian group under the multiplication, of order q – 1. By Lagrange's theorem, there exists a divisor k of q – 1 such that x^{k} = 1 for every nonzero x in GF(q). As the equation X^{k} = 1 has at most k solutions in any field, q – 1 is the lowest possible value for k. The structure theorem of finite Abelian groups implies that this multiplicative group is cyclic, that all nonzero elements are powers of single element. In summary:
 The multiplicative group of the nonzero elements in GF(q) is cyclic, and there exist an element a, such that the q – 1 nonzero elements of GF(q) are a, a^{2}, ..., a^{q−2}, a^{q−1} = 1.
Such an element a is called a primitive element. Unless q = 2, 3, the primitive element is not unique. The number of primitive elements is φ(q − 1) where Template:Mvar is Euler's totient function.
Above result implies that x^{q} = x for every x in GF(q). The particular case where q is prime is Fermat's little theorem.
Discrete logarithm
If a is a primitive element in GF(q), then for any nonzero element x in F, there is a unique integer n with 0 ≤ n ≤ q − 2 such that
 x = a^{n}.
This integer n is called the discrete logarithm of x to the base a.
While the computation of a^{n} is rather easy, by using, for example, exponentiation by squaring, the reciprocal operation, the computation of the discrete logarithm is difficult. This has been used in various cryptographic protocols, see Discrete logarithm for details.
When the nonzero elements of GF(q) are represented by their discrete logarithms, multiplication and division are easy, as they reduce to addition and subtraction modulo q – 1. However, addition amounts to computing the discrete logarithm of a^{m} + a^{n}. The identity
 a^{m} + a^{n} = a^{n}(a^{m−n} + 1)
allows one to solve this problem by constructing the table of the discrete logarithms of a^{n} + 1, called Zech's logarithms, for n = 0, ..., q − 2 (it is convenient to define the discrete logarithm of zero as being −∞).
Zech's logarithms are useful for large computations, such as linear algebra over mediumsized fields, that is, fields that are sufficiently large for making natural algorithms inefficient, but not too large, as one has to precompute a table of the same size as the order of the field.
Roots of unity
Every nonzero element of a finite field is a root of unity, as x^{q−1} = 1 for every nonzero element of GF(q).
If n is a positive integer, a nth primitive root of unity is a solution of the equation x^{n} = 1 that is not a solution of the equation x^{m} = 1 for any positive integer m < n. If a is a nth primitive root of unity in a field F, then F contains all the n roots of unity, which are 1, a, a^{2}, ..., a^{n−1}.
The field GF(q) contains a nth primitive root of unity if and only n is a divisor of q − 1; if n is a divisor of q − 1, then the number of primitive nth roots of unity in GF(q) is φ(n) (Euler's totient function). The number of nth roots of unity in GF(q) is gcd(n, q − 1).
In a field of characteristic p, every (np)th root of unity is also a nth root of unity. It follows that primitive (np)th roots of unity never exist in a field of characteristic p.
On the other hand, if n is coprime to p, the roots of the nth cyclotomic polynomial are distinct in every field of characteristic p, as this polynomial is a divisor of X^{n} − 1, which has 1 as formal derivative. It follows that the nth cyclotomic polynomial factors over GF(p) into distinct irreducible polynomials that have all the same degree, say d, and that GF(p^{d}) is the smallest field of characteristic p that contains the nth primitive roots of unity.
Example
The field GF(64) has several interesting properties that smaller fields do not share. Specifically, it has two subfields such that neither is a subfield of the other, not all generators (elements having a minimal polynomial of degree 6 over GF(2)) are primitive elements, and the primitive elements are not all conjugate under the Galois group.
The order of this field being 2^{6}, and the divisors of 6 being 1, 2, 3, 6, the subfields of GF(64) are GF(2), GF(2^{2}) = GF(4), GF(2^{3}) = GF(8), and GF(64) itself. As 2 and 3 are coprime, the intersection of GF(4) and GF(8) in GF(64) is the prime field GF(2).
The union of GF(4) and GF(8) has thus 10 elements. The remaining 54 elements of GF(64) generate GF(64) in the sense that no other subfield contains any of them. It follows that they are roots of irreducible polynomials of degree 6 over GF(2). This implies that, over GF(2), there are exactly 9 = {{ safesubst:#invoke:Unsubst$B=54/6}} irreducible monic polynomials of degree 6. This may be verified by factoring X^{64} − X over GF(2).
The elements of GF(64) are primitive nth roots of unity for some n dividing 63. As the 3rd and the 7th roots of unity belong to GF(4) and GF(8), respectively, the 54 generators are primitive nth roots of unity for some n in {9, 21, 63}. Euler's totient function shows that there are 6 primitive 9th roots of unity, 12 primitive 21st roots of unity, and 36 primitive 63rd roots of unity. Summing these numbers, one finds again 54 elements.
By factoring the cyclotomic polynomials over GF(2), one finds that:
 The six primitive 9th roots of unity are roots of
 The twelve primitive 21st roots of unity are roots of
 They form two orbits under the action of the Galois group. As the two factors are reciprocal to each other, a root and its (multiplicative) inverse do not belong to the same orbit.
 The 36 primitive elements of GF(64) are the roots of
This shows that the best choice to construct GF(64) is to define it as GF(2)[X]/(X^{6} + X + 1). In fact, this generator is a primitive element, and this polynomial is the irreducible polynomial that produces the easiest Euclidean division.
Frobenius automorphism and Galois theory
In this section, p is a prime number, and q = p^{n} is a power of p.
In GF(q), the identity implies that the map
is a GF(p)linear endomorphism and a field automorphism of GF(q), which fixes every element of the subfield GF(p). It is called the Frobenius automorphism, after Ferdinand Georg Frobenius.
Denoting by the composition of with itself, k times, we have
It has been shown in the preceding section that is the identity. For 0 < k < n, the automorphism is not the identity, as, otherwise, the polynomial
would have more than p^{k} roots.
There are no other GF(p)automorphisms of GF(q). In other words, GF(p^{n}) has exactly n GF(p)automorphisms, which are
In terms of Galois theory, this means that GF(p^{n}) is a Galois extension of GF(p), which has a cyclic Galois group.
The fact that the Frobenius map is surjective implies that every finite field is perfect.
Applications
In cryptography, the difficulty of the discrete logarithm problem in finite fields or in elliptic curves is the basis of several widely used protocols, such as the Diffie–Hellman protocol. For example, in 2014, the secure connection to Wikipedia involves the elliptic curve Diffie–Hellman protocol (ECDHE) over a large finite field.^{[5]} In coding theory, many codes are constructed as subspaces of vector spaces over finite fields.
Finite fields are widely used in number theory, as many problems over the integers may be solved by reducing them modulo one or several prime numbers. For example, the fastest known algorithms for polynomial factorization and linear algebra over the field of rational numbers proceed by reduction modulo one or several primes, and then reconstruction of the solution by using Chinese remainder theorem, Hensel lifting or the LLL algorithm.
Similarly many theoretical problems in number theory can be solved by considering their reductions modulo some or all prime numbers. See, for example, Hasse principle. Many recent developments of algebraic geometry were motivated by the need to enlarge the power of these modular methods. Wiles' proof of Fermat's Last Theorem is an example of a deep result involving many mathematical tools, including finite fields.
Extensions
Algebraic closure
 A finite field F can not be algebraically closed.
Consider the polynomial:
Template:Mvar has no roots over F, as f (α) = 1 for all Template:Mvar in F.
The direct limit of the system:
 {F_{p}, F_{p2}, ..., F_{pn}, ...},
with inclusion, is an infinite field. It is the algebraic closure of all the fields in the system, and is denoted by: .
The inclusions commute with the Frobenius map, as it is defined the same way on each field (x ↦ x^{ p} ), so the Frobenius map defines an automorphism of , which carries all subfields back to themselves. In fact F_{pn} can be recovered as the fixed points of the Template:Mvarth iterate of the Frobenius map.
However unlike the case of finite fields, the Frobenius automorphism on has infinite order, and it does not generate the full group of automorphisms of this field. That is, there are automorphisms of which are not a power of the Frobenius map. However, the group generated by the Frobenius map is a dense subgroup of the automorphism group in the Krull topology. Algebraically, this corresponds to the additive group Z being dense in the profinite integers (direct product of the Template:Mvaradic integers over all primes Template:Mvar, with the product topology).
If we actually construct our finite fields in such a fashion that F_{pn} is contained in F_{pm} whenever Template:Mvar divides Template:Mvar, then this direct limit can be constructed as the union of all these fields. Even if we do not construct our fields this way, we can still speak of the algebraic closure, but some more delicacy is required in its construction.
Wedderburn's little theorem
A division ring is a generalization of field. Division rings are not assumed to be commutative. There are no noncommutative finite division rings: Wedderburn's little theorem states that all finite division rings are commutative, hence finite fields. The result holds even if we relax associativity and consider alternative rings, by the Artin–Zorn theorem.
See also
 Abstract algebra
 Quasifinite field
 Field with one element
 Finite field arithmetic
 Trigonometry in Galois fields
 Finite ring
 Finite group
Notes
 ↑ This notation was introduced by E. H. Moore in an address given in 1893 at the International Mathematical Congress held in Chicago Template:Harvnb.
 ↑ {{#invoke:citation/CS1citation CitationClass=citation }}
 ↑ Template:Harvnb
 ↑ NIST, Recommended Elliptic Curves for Government Use, page 3
 ↑ This can be verified by looking at the information on the page provided by the browser.
References
 {{#invoke:citation/CS1citation
CitationClass=citation }}
 {{#invoke:citation/CS1citation
CitationClass=citation }}
 {{#invoke:citation/CS1citation
CitationClass=citation }}
External links
 Finite Fields at Wolfram research.