## You are here

Homefinite field

## Primary tabs

# finite field

A *finite field* (also called a *Galois field*) is a field that has finitely many elements.
The number of elements in a finite field is sometimes called the *order* of the field.
We will present some basic facts about finite fields.

# 1 Size of a finite field

###### Theorem 1.1.

A finite field $F$ has positive characteristic $p>0$ for some prime $p$. The cardinality of $F$ is $p^{n}$ where $n:=[F:\mathbb{F}_{p}]$ and $\mathbb{F}_{p}$ denotes the prime subfield of $F$.

###### Proof.

The characteristic of $F$ is positive because otherwise the additive subgroup generated by $1$ would be an infinite subset of $F$. Accordingly, the prime subfield $\mathbb{F}_{p}$ of $F$ is isomorphic to the field $\mathbb{Z}/p\mathbb{Z}$ of integers mod $p$. The integer $p$ is prime since otherwise $\mathbb{Z}/p\mathbb{Z}$ would have zero divisors. Since the field $F$ is an $n$βdimensional vector space over $\mathbb{F}_{p}$ for some finite $n$, it is setβisomorphic to $\mathbb{F}_{p}^{n}$ and thus has cardinality $p^{n}$. β

# 2 Existence of finite fields

Now that we know every finite field has $p^{n}$ elements, it is natural to ask which of these actually arise as cardinalities of finite fields. It turns out that for each prime $p$ and each natural number $n$, there is essentially exactly one finite field of size $p^{n}$.

###### Lemma 2.1.

In any field $F$ with $m$ elements, the equation $x^{m}=x$ is satisfied by all elements $x$ of $F$.

###### Proof.

The result is clearly true if $x=0$. We may therefore assume $x$ is not zero. By definition of field, the set $F^{\times}$ of nonzero elements of $F$ forms a group under multiplication. This set has $m-1$ elements, and by Lagrangeβs theorem $x^{{m-1}}=1$ for any $x\in F^{\times}$, so $x^{m}=x$ follows. β

###### Theorem 2.2.

For each prime $p>0$ and each natural number $n\in\mathbb{N}$, there exists a finite field of cardinality $p^{n}$, and any two such are isomorphic.

###### Proof.

For $n=1$, the finite field $\mathbb{F}_{p}:=\mathbb{Z}/p\mathbb{Z}$ has $p$ elements, and any two such are isomorphic by the map sending $1$ to $1$.

In general, the polynomial $f(X):=X^{{p^{n}}}-X\in\mathbb{F}_{p}[X]$ has derivative $-1$ and thus is separable over $\mathbb{F}_{p}$. We claim that the splitting field $F$ of this polynomial is a finite field of size $p^{n}$. The field $F$ certainly contains the set $S$ of roots of $f(X)$. However, the set $S$ is closed under the field operations, so $S$ is itself a field. Since splitting fields are minimal by definition, the containment $S\subset F$ means that $S=F$. Finally, $S$ has $p^{n}$ elements since $f(X)$ is separable, so $F$ is a field of size $p^{n}$.

For the uniqueness part, any other field $F^{{\prime}}$ of size $p^{n}$ contains a subfield isomorphic to $\mathbb{F}_{p}$. Moreover, $F^{{\prime}}$ equals the splitting field of the polynomial $X^{{p^{n}}}-X$ over $\mathbb{F}_{p}$, since by LemmaΒ 2.1 every element of $F^{{\prime}}$ is a root of this polynomial, and all $p^{n}$ possible roots of the polynomial are accounted for in this way. By the uniqueness of splitting fields up to isomorphism, the two fields $F$ and $F^{{\prime}}$ are isomorphic. β

Note: The proof of TheoremΒ 2.2 given here, while standard because of its efficiency, relies on more abstract algebra than is strictly necessary. The reader may find a more concrete presentation of this and many other results about finite fields inΒ [1, Ch. 7].

###### Corollary 2.3.

Every finite field $F$ is a normal extension of its prime subfield $\mathbb{F}_{p}$.

###### Proof.

This follows from the fact that field extensions obtained from splitting fields are normal extensions. β

# 3 Units in a finite field

Henceforth, in light of TheoremΒ 2.2, we will write $\mathbb{F}_{q}$ for the unique (up to isomorphism) finite field of cardinality $q=p^{n}$. A fundamental step in the investigation of finite fields is the observation that their multiplicative groups are cyclic:

###### Theorem 3.1.

The multiplicative group $\mathbb{F}_{q}^{*}$ consisting of nonzero elements of the finite field $\mathbb{F}_{q}$ is a cyclic group.

###### Proof.

We begin with the formula

$\sum_{{d\mid k}}\phi(d)=k,$ | (1) |

where $\phi$ denotes the Euler totient function. It is proved as follows. For every divisor $d$ of $k$, the cyclic group $C_{k}$ of size $k$ has exactly one cyclic subgroup $C_{d}$ of size $d$. Let $G_{d}$ be the subset of $C_{d}$ consisting of elements of $C_{d}$ which have the maximum possible order of $d$. Since every element of $C_{k}$ has maximal order in the subgroup of $C_{k}$ that it generates, we see that the sets $G_{d}$ partition the set $C_{k}$, so that

$\sum_{{d\mid k}}|G_{d}|=|C_{k}|=k.$ |

The identityΒ (1) then follows from the observation that the cyclic subgroup $C_{d}$ has exactly $\phi(d)$ elements of maximal order $d$.

We now prove the theorem. Let $k=q-1$, and for each divisor $d$ of $k$, let $\psi(d)$ be the number of elements of $\mathbb{F}_{q}^{*}$ of order $d$. We claim that $\psi(d)$ is either zero or $\phi(d)$. Indeed, if it is nonzero, then let $x\in\mathbb{F}_{q}^{*}$ be an element of order $d$, and let $G_{x}$ be the subgroup of $\mathbb{F}_{q}^{*}$ generated by $x$. Then $G_{x}$ has size $d$ and every element of $G_{x}$ is a root of the polynomial $x^{d}-1$. But this polynomial cannot have more than $d$ roots in a field, so every root of $x^{d}-1$ must be an element of $G_{x}$. In particular, every element of order $d$ must be in $G_{x}$ already, and we see that $G_{x}$ only has $\phi(d)$ elements of order $d$.

We have proved that $\psi(d)\leq\phi(d)$ for all $d\mid q-1$. If $\psi(q-1)$ were 0, then we would have

$\sum_{{d\mid q-1}}\psi(d)<\sum_{{d\mid q-1}}\phi(d)=q-1,$ |

which is impossible since the first sum must equal $q-1$ (because every element of $\mathbb{F}_{q}^{*}$ has order equal to some divisor $d$ of $q-1$). β

A more constructive proof of TheoremΒ 3.1, which actually exhibits a generator for the cyclic group, may be found inΒ [2, Ch. 16].

###### Corollary 3.2.

Every extension of finite fields is a primitive extension.

###### Proof.

By TheoremΒ 3.1, the multiplicative group of the extension field is cyclic. Any generator of the multiplicative group of the extension field also algebraically generates the extension field over the base field. β

# 4 Automorphisms of a finite field

Observe that, since a splitting field for $X^{{q^{m}}}-X$ over $\mathbb{F}_{p}$ contains all the roots of $X^{q}-X$, it follows that the field $\mathbb{F}_{{q^{m}}}$ contains a subfield isomorphic to $\mathbb{F}_{q}$. We will show later (TheoremΒ 4.2) that this is the only way that extensions of finite fields can arise. For now we will construct the Galois group of the field extension $\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q}$, which is normal by CorollaryΒ 2.3.

###### Theorem 4.1.

The Galois group of the field extension $\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q}$ is a cyclic group of size $m$ generated by the $q^{{\rm th}}$ power Frobenius map $\operatorname{Frob}_{q}$.

###### Proof.

The fact that $\operatorname{Frob}_{q}$ is an element of $\operatorname{Gal}(\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q})$, and that $(\operatorname{Frob}_{q})^{m}=\operatorname{Frob}_{{q^{m}}}$ is the identity on $\mathbb{F}_{{q^{m}}}$, is obvious. Since the extension $\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q}$ is normal and of degree $m$, the group $\operatorname{Gal}(\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q})$ must have size $m$, and we will be done if we can show that $(\operatorname{Frob}_{q})^{k}$, for $k=0,1,\ldots,m-1$, are distinct elements of $\operatorname{Gal}(\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q})$.

It is enough to show that none of $(\operatorname{Frob}_{q})^{k}$, for $k=1,2,\ldots,m-1$, is the identity map on $\mathbb{F}_{{q^{m}}}$, for then we will have shown that $\operatorname{Frob}_{q}$ is of order exactly equal to $m$. But, if any such $(\operatorname{Frob}_{q})^{k}$ were the identity map, then the polynomial $X^{{q^{k}}}-X$ would have $q^{m}$ distinct roots in $\mathbb{F}_{{q^{m}}}$, which is impossible in a field since $q^{k}<q^{m}$. β

We can now use the Galois correspondence between subgroups of the Galois group and intermediate fields of a field extension to immediately classify all the intermediate fields in the extension $\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q}$.

###### Theorem 4.2.

The field extension $\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q}$ contains exactly one intermediate field isomorphic to $\mathbb{F}_{{q^{d}}}$, for each divisor $d$ of $m$, and no others. In particular, the subfields of $\mathbb{F}_{{p^{n}}}$ are precisely the fields $\mathbb{F}_{{p^{d}}}$ for $d\mid n$.

###### Proof.

By the fundamental theorem of Galois theory, each intermediate field of $\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q}$ corresponds to a subgroup of $\operatorname{Gal}(\mathbb{F}_{{q^{m}}}/\mathbb{F}_{q})$. The latter is a cyclic group of order $m$, so its subgroups are exactly the cyclic groups generated by $(\operatorname{Frob}_{q})^{d}$, one for each $d\mid m$. The fixed field of $(\operatorname{Frob}_{q})^{d}$ is the set of roots of $X^{{q^{d}}}-X$, which forms a subfield of $\mathbb{F}_{{q^{m}}}$ isomorphic to $\mathbb{F}_{{q^{d}}}$, so the result follows.

The subfields of $\mathbb{F}_{{p^{n}}}$ can be obtained by applying the above considerations to the extension $\mathbb{F}_{{p^{n}}}/\mathbb{F}_{p}$. β

# References

- 1 Kenneth Ireland & Michael Rosen, A Classical Introduction to Modern Number Theory, Second Edition, SpringerβVerlag, 1990 (GTM 84).
- 2 Ian Stewart, Galois Theory, Second Edition, Chapman & Hall, 1989.

## Mathematics Subject Classification

12E20*no label found*11T99

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

## Attached Articles

## Corrections

"cyclic" by pahio β

p is prime by AxelBoldt β

order of Galois field by pahio β

finite field, thm 4.2 by nkadambi β