ITC Algebra 2 Fields
ITC Algebra 2 Fields
Fields
These properties can, be satisfied if the field size is any prime number or any integer
power of a prime.
The addition table shown above is used also for subtraction. For
example , if we want to subtract 6 from 3 , we first use the
addition table to find the additive inverse of 6, which is 1.
Then we add 1 to 3 to obtain the result [ i.e., 3-6=3+(-6)=3+1=4].
For division, we use the multiplication table.
Suppose that we divide 3 by 2. We first find the multiplicative inverse
of 2, which is 4, and then we multiply 3 by 4 to obtain the result
,[i.e., 3 ÷ 2 = 3.(2−1) = 3.4 = 5].
For anyprime p, there exist a finite field of p elements.
For anypositive integer mit is possible to extend the prime field
GF(p) to a field of pm elements, which is called anextension fieldof
GF(p) and is denoted by GF (p m )
Def: Primitive
In a finite field Gf(q), a nonzero element a is said to be primitive if
the order of a is q − 1
The powers of a primitive element generate all the nonzero elements
of GF(q).
Every finite field has a primitive element.
Primitive elements are useful for constructing fields.
Example. In GF(7) 3 is a primitive element.
31 = 3, 32 = 3.3 = 2, 33 = 3.32 = 6, 34 = 3.33 = 4, 35 = 3.34 = 5,
36 = 3.35 = 1
Therefore, the order of the integer 3 is 6, and the integer 3 is a primitive
element of GF(7),
41 = 4, 42 = 4.4 = 2, 43 = 4.42 = 1
Clearly, the order of the integer 4 is 3, which is factor of 6.
Binary Field
Arithmetic
Historical Notes
Remarks
1 Galois fields are important in the study of cyclic codes, a special class
In general, we can construct codes with symbols from any Galois field
GF(q), where q is either a prime p or a power of p; however,codes with
symbols from the binary field GF(2) or its extension GF (2m ) are most
widely used in digital data transmission and storage systems.
In binary arithmetic, we use modulo-2 addition and multiplication .
11 0
. 1 0 1. = . 0 1 .− . 1 1 .+ . 1 0 .
. 1 1 . . 1 1 . . 1 1 .
. 1 . 1 0
= 11.1
1 1− 1.0 + 0.1
= 1
11 0
. 0 0 1 .
11 1 0
x= . = =
. 0 1
11 0
. 1 0 1 .
11 1 1
y= . = =
. 1 1
11 0
. 1
0 0 .
11 . 0
. 1 = =
z= ∆ 1
0
Divide f (x ) = 1 + x + x 4 + x 5 + x 6 by f (x ) = 1 + x + x 3 using
long division technique
x3+ x2
x 3 + x + 1)x 6 + x 5 + x 4 + x+ 1
x +6 x4+ x3
.........................................................
x5 + x3 + x+
1
x5 + x3 + x2
Suppose the degree of g(x) is not zero, and f(x) is divided by g(x)
then a pair of polynomials are obtained over GF(2)-q(x) called the
quotient, and r(x) called the remainder.
f(x)=q(x)g(x)+r(x)
The degree of r(x) is less than that of g(x)
When f(x) is divisible by g(x), if the remainder r(x) is identical to zero
[r(x)=0] then it is said that f(x) is divisible by g(x) and g(x) is a factor
of f(x)
p(x ) ∈ GF (2) [x] with deg[p(x)]=m is said to beirreducibleover
GF(2) if p(x) is not divisible by any polynomial over GF(2) of degree
less than m but greater than zero.
e.g. 1 + x + x 2 , 1 + x + x 3 , 1 + x 2 + x 5 and 1 + x + x 5
are irreducible polynomials.
For any positive integer m ≥ 1, there exists at least one irreducible
polynomial of degree m.
For a polynomial f(x), if the polynomial has an even number of terms,
it is divisible by x+1
DEPT OF ECE Introduction to Algebra SEPTEMBER 2020
Binary Field Arithmetic Binary Field Arithmetic
Consider f (x ) = 1 + X 2 + X 3 + X 4
f (1) = 1 + 12 + 13 + 1 4 =1+1+1+1=0 Thus f(x) has 1 as a root
, and it should be divisible by x+1
x3+ x2+ 1
x + 1)x 4 + x 3 + x 2 + 1
x4+ x3
.........................................................
x2 +
1
2 + x
.........................................................
x
x+ 1
x+ 1
.........................................................
0
Primitive
An irreducible polynomial p(x) of degree m is said to be primitive if
the smallest positive integer n for which p(x) divides x n + 1 is
n = 2m − 1.
p(x ) = x 4 + x + 1 divides x 15 + 1 but does not divide any x n + 1
for 1 ≤ n ≤ 15. Hence p(x ) = x 4 + x + 1 is primitive polynomial.
For a given m > 0, there may be more than one primitive polynomials
of degree n.
For example, 1 + x + x 4 is a primitive polynomial. The smallest
positive integer n for which 1 + x + x 4 divides x n + 1 is
n = 24 − 1 = 15
m Primitive Polynomial
3 1+ x+ x3
4 1+ x+ x4
5 1+ x2+ x5
6 1+ x+ x6
7 1+ x3+ x7
8 1+ x2+ x3+ x4+ x8
9 1+ x+ x9
10 1 + x + x 10
11 1 + x 2 + x 11
12 1 + x + x 4 + x 6 + x 12
13 1 + x + x 3 + x 4 + x 13
m−1
Any irreducible polynomial over GF(2) of degree m, divides x 2 + 1
3
x 3 + x + 1 divides x 2 −1 + 1 = x 7 + 1
x4+ x2+ x+ 1
x 3 + x + 1)x 7 + 1
x7 + x5 + x
.........................................................
4
x5 + x +
4
1
x5 + x3+ x2
.........................................................
x4+ x3 + x 2+ 1
x4 +
x2+ x
.........................................................
x3+ x+ 1
x3+ x+ 1
.........................................................
DEPT OF ECE Introduction to Algebra SEPTEMBER 2020 50 / 85
Construction of Galois Field Construction of Galois Field
0.0 = 0
0.1 = 0
1.0 = 0
1.1 = 1
0.α = α.0 = 0
1.α = α.1 = α
= α.α
α 2
= α.α.α
.
.
α 3.
α3
= α . α . . . . .α( j times)
0.α j = α j .0
= α j .1 = α j
α j .αi = α i +j
1. α j
α i .α j
The set of elements on which a multiplication “ . ” is
=
F = (0, 1, α , α 2 . . . α j . . .)
Let p(X) be positive polynomial of degree m over GF(2). Assume that p( α ) = 0 where p ( α ) is root of p(X)
m −1
Then p(X) divides X 2 + 1
m−1 (6)
X2 + 1 = q(x )p(x )
Replace X with α
m−1
α2 + 1 = q (α ) p ( α )
and p( α ) = 0
m−1
α2 + 1 = q(α).0
m−1
α2 + 1= 0
m
α 2 −1 = 1
Therefore, under the condition that p ( α) = 0 the set F becomes finite .andmcontains the following elements:
∗ 2 . 2 −2
F = (0, 1, α , α , .α )
Power Polynomial 4−
representation Tuple representation
0 representation
0 (0000)
1 1 (1000)
α α (0100)
α2 (0010)
α2 (0001)
α4 α3 1+ α (1100)
α5
α
3 α + α2 (0110)
α6 α2 + α3 (0011)
α7 1 + α + α3 (1101)
α8 1 + α2 (1010)
α9 α + α3 (0101)
α10 1 + α2 + α3 (1110)
α11 α + α2 + α3 (0111)
α12 1 + α + α2 (1111)
+ α3
α13 1 + α2 + α3 (1011)
DEPT OF ECE α14 1 +to Algebra
Introduction α3 (1001)
SEPTEMBER 2020
Construction of Galois Field Construction of Galois Field
In ordinary algebra a polynomial with real coefficients has roots not from the field of real numbers but from the field of complex
numbers
X 2 + 6X + 25
does not have roots from the real numbers but has two complex conjugate roots
√
−6 ± 36 − 100
2
( α 7 ) 4 + ( α 7 ) 3 + 1 = (1 + α 2 + α 3 ) + ( α 2 + α 3 ) + 1 = 0
= [X 2 + ( α 7 + α 11 )X + α 1 8 ][X 2 + (α 1 3 + α 1 4 )X + α 2 7 ]
2
= (X + α 8 X + α 3 )(X 2
+ α 2 X + α1 2 ]
4 8 2 3
= X + (α + α )X + (α 1 2 + α 1 0 + α 3 )X 2 + (α 2 0 X + α 5 )X + α 1 5
= X 4+ X 3+ 1
Theorem: Let f(x) be a polynomial with coefficients from GF(2). Let β be an element in an extension field of GF(2). If β is a
l
root of f(x), then for any l ≥ 0 β 2 is also root of f(x)
f (X ) = 1 + X 3 + X 4 + X 5 + X 6 has α 4
The conjugates of α 4 are
2 3
( α 4 )2 = α 8 , ( α 4 )2 = α 1 6 = α , ( α 4 )2 = α 3 2 = α 2
Theorem 2.18 Let φ(X ) be the minimal polynomial of an element β in GF (2m ). Let e be the smallest integer such that
e e−
Y 1
β 2 = β. Then 2i
(X + β )
i =0
Consider a primitive polynomial f (x ) = x 3 + x + 1 ∈ GF (2)[x ] and let α be a root of f(x). Then the elements of
GF(8)
0=0, α 0 = 1, α 1 = α , α 2 = α 2 α 3 = α + 1, α 4 = α 2 + α α 5 = α 2 + α + 1, α 6 = α 2 + 1 (X − α)( X − α 2 )
(X − α 4 )
= (X 2 − X ( α + α 2 ) + α 3 )(X − α 4 )
= X 3 − X 2 ( α + α2 ) + X α3 − X 2 α4 − X ( α + α2 ) α4 − α7
= X 3 − X 2 ( α + α 2 + α 4 ) − X (α 5 + α 6 + α 3 ) − α 7
= X 3 − X 2 ( α + α 2 + α 4 ) − X (α 5 + α 6 + α 3 ) − α 7
= X 3 − X 2 ( α + α 2 + α 2 + α ) − X ( α 2 + α + 1 + α 2 + 1 + α + 1) − α 7
= X 3+ X + 1
Table: Minimal polynomial of the elements in GF (2 3 ) generated by f (x ) = X 4 + X + 1
Consider a primitive polynomial f (x ) = X 4 + X + 1 and Galois Field GF (24 ) let β = α 3 . The conjugates of β are
2 3
β 2 = α 6 , β2 = α 1 2 , β2 = α 2 4 = α 9
= [X 2 + ( α 3 + α 6 )X + α 9 ][X 2 + (α 1 2 + α 9 )X + α 2 1 ]
= [X 2 + α 2 X + α 9 ][X 2 + α 8 X + α 6 ]
= X 4 + ( α 2 + α 8 )X 3
+ ( α 6 + α 1 0 + α 9 )X 2
+ (α 1 7 + α 8 )X + α 1 5
4 3 2
= X + X + X + X+ 1
α 7 , α 11 , α 13 , α 14
x4 + x3 + 1
2
Theorem 2.20 If β is primitive element of GF (2m ), all its conjugates β 2 , β 2 are also primitive elements of GF (2m )
S. Lin and J. Daniel J. Costello, Error Control Coding, 2nd ed. Pearson/Prentice Hall,
2004.