Chapter 2

Finite Fields

1. Groups

A group is an elementary structure, which underlies many other

algebraic structures, such as rings, fields, etc.

Definition:
Let G be a nonempty set with an algebraic operation o
defined for each pair of its element. Then G is called a group if
and only if for all a, b, c G , the operation o satisfies the
following four axioms:
(1) a o b G

(algebraic closure)

(2) There exists an element e G such that

eoa = aoe = a

( e is identity element)

-1
(3) There exists an element a G such that

a o a -1 = a -1 o a = e
(4) a o ( b o c ) = ( a o b ) o c

(existence of an inverse element)

(associativity)

If the group G satisfies a o b = b o a ,

then G is called a commutative or Abelian group.

A group is denoted by (G , o)

Examples:
The set I 2 = {0, 1} with the moduo-2 addition is a finite
Abelian group ( I 2 , ) of order 2.

2. Rings

Definition:
A non-empty set R with two algebraic operations, written
(called multiplication) and + (called addition), is called a
ring if and only if these two operations satisfy the following
axioms for all a, b, c R :
(1) ( R , + ) is an Abelian group with identity element 0 .
(2) a b R

(closed under multiplication)

(3) a ( b c ) = ( a b) c

(associativity of multiplication)

(4) a ( b + c ) = a b + a c and

(b + c ) a = b a + c a

(distributive laws)

Usually, the ring R is denoted by ( R , + , )

3. Basic Structure of Fields

Roughly speaking, a field (
) is a set of elements in which one

can perform addition, multiplication, subtraction, and division
without leaving the set. Also, in a field, additions and
multiplications

satisfy

the

commutative,

associative,

and

distributive laws.

Definition: ( field )
Let F be a non-empty set with the two algebraic operations +
and defined for each pair of elements. Then F is a field if
and only if the following conditions are satisfied:
(1) ( F , + ) is an Abelian group.
The identity element with respect to addition is called the
zero element or the additive identity of F and id denoted by

0.
(2) ( F - {0} , ) is an Abelian group.
The identity element with respect to multiplication is called
the unit element or the multiplicative identity of F and is
denoted by 1 .

(3) For all a, b, c F , a ( b + c ) = a b + a c

and ( b + c ) a = b a + c a
i.e. multiplication is distributive over addition.

Examples:
The set of all rational numbers is the rational field. The set of all
real numbers is the real-number field. The set of all complex
numbers is the complex-number field.

The complex-number field is actually constructed from the

real-number by requiring the symbol, i = 1 , as the root of
2
the irreducible (over the real-number field) polynomial x + 1 ,

i.e.

( 1) 2 + 1 = 0

Every complex number is of the form a + bi

where a and b are real numbers.

The complex-number field contains the real-number field as a

subfield. The complex-number is an extension field of the
real-number field.

Both complex-number field and real-number field have infinite

elements.

4. Binary Arithmetic and Field

Consider the binary set, {0, 1} . Define two binary operations,

called addition + and multiplication on {0, 1} as follows:

0 +0 = 0
0+1=1
1+0 = 1
1+1 = 0

0 0 = 0
01=0
10 = 0
1 1 = 1

These two operations are commonly called modulo-2 addition

and multiplication, respectively.

The

set

{0, 1}

together

with

modulo-2

addition

multiplication is called a binary field, denoted GF(2).

and

5. Vector Space

Definition:
Let (V , + ) be an Abelian group. Let F be commutative field
with the identity elements, 0 and 1 for the operators + and

, respectively.
A multiplication operation, denoted by

between the element in

F and the elements in V , is also defined.

The set V is called a vector space over the field F if it satisfies
the following conditions:
(1) For any element a F and any element v V one has

a v V
(2) (Distributive law)
For any element u , v V , and any elements a, b F one has

a (u + v ) = a u + a v

(a + b) v = a v + b v
(3) (Associative law)
For any v V and any a, b F , one has

(a b) v = a (b v )
(4) For any v V one has 1 v = v

The elements of V are called vectors. The elements of the field

F are called scalars. The addition on V is called vector addition.

The multiplication, which maps a scalar in F and vector in V
into a vector in V , is called scalar multiplication.
The additive identity (zero) of V is denoted by 0 .

Definition (subspace)
A vector space V over a field F may contain a subset S of

V which is also a vector space over the field. Such a subset is

called a (vector) subspace of V .

6. Vector Space over GF(2)

A binary n-tuple is an ordered sequence, ( a1 , a2 ,L , an )

with components from GF(2), i.e. ai = 1 or 0 for 1 i n
There are 2 n distinct binary n-tuples.

Addition operation for any two n-tuples:

( a1 , a2 ,L , an ) + ( b1 , b2 ,L , bn ) = ( a1 + b1 , a2 + b2 ,L , an + bn )
The addition of two binary n-tuples results in a third n-tuple.

Scalar Multiplication:
Let C GF(2) , a = ( a1 , a2 ,L , an ) is a binary n-tuple.
Then c ( a1 , a2 ,L , an ) = ( ca1 , ca2 ,L , can )
The scalar multiplication also results in a binary n-tuple.

Let Vn denote the set of all 2 n binary n-tuples. The set Vn

together with the addition and scalar multiplication is called a
vector space over GF(2).
The elements in Vn are called vectors.

Vn contains the all-zero n-tuple (0,0,L ,0 ) and

( a1 , a2 ,L , an ) + ( a1 , a2 ,L , an ) = (0,0,L ,0 )

A subset S of Vn is called a subspace of Vn if

(1) the all-zero vector is in S .
(2) the sum of two vectors in S is also a vector in S .

Inner Product:
The inner product of two vectors, a = ( a1 , a2 ,L , an ) &

b = ( b1 , b2 ,L , bn ) is defined as follows:
a b = ( a1 b1 + a2 b2 + L + an bn )

Linear Independent:
A set of vectors, V1 ,V2 ,L ,Vk in Vn is said to be linearly
independent if

c 1V1 + c 2V2 + L + c kVk 0

unless all c 1 , c 2 ,L , c k are the zero elements if GF(2).

Dimension of Subspace:
The subspace formed by the 2 k linearly combinations of k
linearly independent vectors V1 ,V2 ,L ,Vk in Vn is called a
k-dimensional subspace of Vn .
These k vectors are said to span a k-dimensional subspace of Vn .

Orthogonal:
Two vectors, a and b , are said to be orthogonal if a b = 0

Dual space:
Let S be a k-dimensional subspace of Vn . Let Sd be the
subspace of vectors in Vn such that, for any a in S and any

b in Sd , a b = 0
Sd is called the dual space (or null space) of S . The dimension
of Sd is n-k.

7. Binary Irreducible Polynomials

A polynomial with coefficients from the binary field GF(2) is

called a binary polynomial.
2
3
5
e.g. 1 + x and 1 + x + x are binary polynomials.

A binary polynomial p( x ) of degree m is said to be irreducible

if it is not divisible by any binary polynomial of degree less than
m and greater than zero.
2
3
2
5
e.g. 1 + x + x , 1 + x + x , 1 + x + x and

1 + x + x5

are irreducible polynomials.

For any positive integer m 1 , there exists at least one

irreducible polynomial of degree m.

A irreducible polynomial p( x ) of degree m is said to be

primitive if the smallest positive integer n for which p( x )
n
m
divides x + 1 is n = 2 - 1
4
For example, 1 + x + x is a primitive polynomial. The smallest
4
positive integer n for which 1 + x + x divides

xn + 1

is

n = 2 4 - 1 = 15

For any positive integer m, there exists a primitive polynomial of

degree m

Example

(Lin / Costello page 29)

Primitive Polynomial

1+ x + x3

1+ x + x4

1 + x2 + x5

1 + x + x6

1 + x 3 + x7

1 + x2 + x3 + x4 + x8

1 + x + x9

10

1 + x + x 10

11

1 + x 2 + x 11

12

1 + x + x 4 + x 6 + x 12

8. Finite Fields

A field with only a finite number of elements is called a finite

field.

Finite fields are also known as Galois field after their discover.

For any positive integer m 1 , there exists a Galois field of

2 m elements, denoted GF( 2 m ). That is, it is an extension field of

GF(2).

Construction of GF( 2 m )
(1) Begin with a primitive (irreducible) polynomial p( x ) of
degree m with coefficients from the binary field GF(2).
(2) Since p( x ) has degree m, it must have roots somewhere.
Let be the root of p( x ) , i.e. p( ) = 0

(3) Starting from GF(2)= {0, 1}

and

, we define a

multiplication to introduce a sequence of powers of

as follows:

0 0=0
0 1=10 =0
11=1
0 =0=0
1 = 1=
2 =
3 =
M
j =
2
L

14
43
j times

and we can see that

0j =j 0=0
1j =j 1=j
i j = i+ j

We now have the following set of elements,

F = {0, 1, , 2 , L}
which is closed under multiplication

2
(4) Since is a root of p( x ) and p( x ) divides x

must also be a root of x 2

2
This implies that x

+ 1 . Hence x 2

+ 1,

+1=0.

= 1 . As a result, F is finite and

consists of following elements,

F = {0, 1, , 2 ,L , 2

0
(5) Let = 1 . Multiplication is carried out as follows:
m
For 0 i, j 2 - 1

i j = i+ j = r
Where r is the remainder resulting from dividing i + j by

2 m - 1 . Since i 2
2

- 1- i

- 1- i

= 2

-1

=1

i
is called the multiplicative inverse of and vice

versa.
2
We can also write

- 1- i

= 2

-1

-i

= -i

-i
Thus, we can use to denote the multiplicative inverse of

i
The element 1 is called the multiplicative identity (or the
unit element).
(6) next, we define division as follows:

i j = i -j = i - j

(7) we define addition on F as follows:

m
For 0 i 2 - 2 , we divide X i by p( x )
i
This results in X = a( x ) p( x ) + b( x )

where b( x ) is the remainder and

b( x ) = b0 + b1 x + b2 x 2 + L + bm - 1 x m - 1
Replacing X by , we have

i = a( ) p( ) + b( )
= b0 + b1 + L + bm - 1 m - 1
This says that each nonzero element in F can be expressed
as polynomial of with degree m-1 or less.
i
m -1
Suppose = b0 + b1 + L + bm - 1

j = c 0 + c 1 + L + c m -1 m -1
We define addition + as follows:

i + j = ( b0 + c0 ) + ( b1 + c 1 ) + L + ( bm -1 + c m -1 ) m - 1 = k
i
i
(8) Clearly, + = 0
i
Thus, is its own additive inverse.

- i = i

Subtraction is defined as follows:

i - j = i + ( - j ) = i + j
Hence, subtraction is the same as addition.

2
2
(9) we conclude that F = {0, 1, , ,L ,

} together with

the multiplication and addition defined above form a field of

2 m elements.
Such a field is called a Galois field, denoted as GF( 2 m )

2
m -1
Note: the set { 1, , ,L , } is called the canonical basis of

GF( 2 m ) over GF(2)

Representation of the elements in GF( 2 m )

There are 3 forms to represent the elements in GF( 2 m ):

(1) Power form (easier to perform multiplication)

{0, 1, , 2 ,L , 2

(2) Polynomial form (easier to perform addition)

j = b0 + b1 + L + bm - 1 m - 1
(3) Vector form (easier to perform addition)

j = ( b0 , b1 ,L , bm - 1 )

Example:
4
The Galois field GF( 2 4 ) generated by p( x ) = x + x + 1

Power
Representation
0
1

2
3
4
5
6
7
8
9
10
11
12
13
14

Polynomial
representation
0
1

2
3
1 +
+ 2
2
1 +
+ 2
1

+
1
+ 2
+ 2
1 + + 2
+ 2
1
1

+ 3
+ 3
+ 3
+
+
+
+

3
3
3
3

4-Tuple
representation
(0 0 0 0 )
(1 0 0 0 )
(0 1 0 0 )
(0 0 1 0 )
(0 0 0 1 )
(1 1 0 0 )
(0 1 1 0 )
(0 0 1 1 )
(1 1 0 1 )
(1 0 1 0 )
(0 1 0 1 )
(1 1 1 0 )
(0 1 1 1 )
(1 1 1 1 )
(1 0 1 1 )
(1 0 0 1 )

Historical Notes

Galois fields are named in honor of the French mathematician

Evariste Galois (1811 1832) who was killed in a duel at the
age of 20. On the eve of his death, he wrote a letter to his friend
in which he gave the results of his theory of algebraic equations,
already presented to the Pairs Academy.

Remarks
1. Galois fields are important in the study of cyclic codes, a
special class of block codes. In particular, they are used for
constructing the well-known random error correcting BCH
and Reed-Solomon Codes.

2. GF( 2 m ) is an extension field of GF(2).

3. Every Galois field of 2 m elements is generated by a binary

primitive polynomial of degree m.