CDM. Finite Fields. Klaus Sutner Carnegie Mellon University. Fall 2018

Similar documents
Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

Quasi-reducible Polynomials

Homework 10 M 373K by Mark Lindberg (mal4549)

ϕ : Z F : ϕ(t) = t 1 =

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

A connection between number theory and linear algebra

9. Finite fields. 1. Uniqueness

TC10 / 3. Finite fields S. Xambó

18. Cyclotomic polynomials II

A BRIEF INTRODUCTION TO LOCAL FIELDS

RINGS: SUMMARY OF MATERIAL

NOTES ON FINITE FIELDS

Public-key Cryptography: Theory and Practice

Factorization in Polynomial Rings

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

(January 14, 2009) q n 1 q d 1. D = q n = q + d

ECEN 5682 Theory and Practice of Error Control Codes

COMPUTER ARITHMETIC. 13/05/2010 cryptography - math background pp. 1 / 162

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

1 First Theme: Sums of Squares

Polynomials. Chapter 4

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

Algebraic Cryptography Exam 2 Review

Math 121 Homework 2 Solutions

LECTURE NOTES IN CRYPTOGRAPHY

but no smaller power is equal to one. polynomial is defined to be

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.

1 The Galois Group of a Quadratic

RUDIMENTARY GALOIS THEORY

CYCLOTOMIC POLYNOMIALS

2 ALGEBRA II. Contents

GALOIS THEORY. Contents

Galois Theory Overview/Example Part 1: Extension Fields. Overview:

55 Separable Extensions

Computations/Applications

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

CYCLOTOMIC POLYNOMIALS

Polynomial Rings. i=0. i=0. n+m. i=0. k=0

Polynomials, Ideals, and Gröbner Bases

(Rgs) Rings Math 683L (Summer 2003)

where c R and the content of f is one. 1

Classification of Finite Fields

MATH 361: NUMBER THEORY TENTH LECTURE

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

2a 2 4ac), provided there is an element r in our

MATH 115, SUMMER 2012 LECTURE 12

Polynomials over UFD s

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

Finite Fields. Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13

Places of Number Fields and Function Fields MATH 681, Spring 2018

Algebraic structures I

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Notes on graduate algebra. Robert Harron

Lecture 7: Polynomial rings

1. Group Theory Permutations.

ECEN 5022 Cryptography

Math 121 Homework 3 Solutions

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

The Berlekamp algorithm

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Topics in linear algebra

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Commutative Rings and Fields

Factorization in Integral Domains II

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

A. Algebra and Number Theory

List of topics for the preliminary exam in algebra

Congruences and Residue Class Rings

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

CHAPTER 10: POLYNOMIALS (DRAFT)

Chapter 5. Modular arithmetic. 5.1 The modular ring

FACTORIZATION OF IDEALS

Fundamental theorem of modules over a PID and applications

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

9. Integral Ring Extensions

Math Introduction to Modern Algebra

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

A Generalization of Wilson s Theorem

CSIR - Algebra Problems

Math Introduction to Modern Algebra

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory

Homework 8 Solutions to Selected Problems

Rings. EE 387, Notes 7, Handout #10

Ultraproducts of Finite Groups

Course 311: Abstract Algebra Academic year

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Sample algebra qualifying exam

Transcription:

CDM Finite Fields Klaus Sutner Carnegie Mellon University Fall 2018

1 Ideals The Structure theorem

Where Are We? 3 We know that every finite field carries two apparently separate structures: additive and multiplicative. addition F = (Z p) k (a 1,..., a k ) multiplication F = Zp k 1 g i We need to unify the two.

Back to the Roots 4 Time to get serious about building a finite field. We would like to follow the construction of Q( 2) from above, adjoining a root of x 2 2 = 0 to the rationals. But this time, we won t rely on intuition and prior knowledge of the reals. For example, consider the polynomial f = x 2 + x + 1 F 2[x] Note that one can easily check that f has no root over F 2. So how do we expand F 2 to a field F where f has a root?

Obstructions 5 This time: We do not know a convenient big field like R that we can use as a safe sandbox, and we have no intuitive idea what a root of f looks like. So, we can t just do Q( 2) = { a + b 2 a, b Q } R But: we can interpret this construction as the result of applying the simplification rule x 2 2 to polynomials over Q. In this setting, the unknown x works just like the root we are after.

Generalizing 2 6 So the hope is that we can generalize this idea by starting with F 2[x] and we use the simplification rule x 2 x + 1 Recall, we are dealing with characteristic 2, so plus is minus. By systematically applying this rule, plus standard field arithmetic, we might be able to construct a finite field that has a root for f.

The Rewrite Rule 7 So what happens to F 2[x] if we apply this rule systematically? Here is a (characteristic) example. x 6 + x 3 + x + 1 (x + 1) 3 + x(x + 1) + x + 1 (x 3 + x 2 + x + 1) + (x 2 + x) + x + 1 x(x + 1) + (x + 1) + 1 x + 1 It is easy to see that any polynomial will similarly ultimately produce a polynomial of degree at most 1: any higher order term could be further reduced.

Simplification, Algorithmically 8 In general, if we start with a polynomial of degree d we can reduce everything down to polynomials of degree at most d 1. Since the coefficients come from a finite field there are only finitely many such polynomials; in fact there are q d where q is the size of the field. But we don t just get a bunch a of polynomials, we also get the operations that turn them into a field: Addition is simply addition of polynomials in F[x]. Multiplication is multiplication of polynomials in F[x] followed by a reduction: we have to apply the simplification rule until we get back to a polynomial of degree less than d. Here is a more algebraic description of this process.

Simplification, Algebraically 9 Obviously, the simplification rule x 2 x + 1 has lots of algebraic consequences. In order to really get a grip on these, we need to determine all equational consequences of the identity x 2 = x + 1. It is not hard to see that we obtain an equivalence relation on polynomials in F 2[x] that is nicely compatible with the structure of the ring (a congruence). Given a congruence, we can form a quotient ring, which turns out to be exactly the field we are looking for. The key idea here is to consider so-called ideals in a ring (which are related to but different from subrings).

Ideals 10 Definition Let R be a commutative ring. An ideal I R is a subset that is closed under addition and under multiplication by arbitrary ring elements: a I, b R implies ab I. So an ideal is much more constrained than a subring: it has to be closed by multiplication from the outside. Ideals are hugely important since they produce congruences and thus allow us to form a quotient structure: a = b (mod I) iff a b I. As a consequence, arithmetic in this quotient structure is well-behaved: E.g. a = a, b = b (mod I) a + b = a + b, a b = a b (mod I)

Generating Ideals 11 What is the smallest ideal containing elements a 1,..., a k R? All we need is linear combinations: the ideal generated by a 1,..., a k is (a 1,..., a k ) = { r 1a 1 +... + r k a k r i R } In particular for k = 1 we have (a) = { ra x R } This is the principal ideal generated by a. The ideals {0} and R are called trivial, all others are proper. Note that a field is a commutative ring that has no proper ideals.

Modular Arithmetic Revisited 12 Familiar example: to describe modular arithmetic we have R = Z as ground ring and use the principal ideal I = (m) = m Z. a = b (mod I) iff m (a b). The ideal I is generated by the modulus m > 0 and the quotient ring Z m = Z/(m) is finite in this case. Moreover, the quotient ring Z m is a field iff m is prime.

Principal Ideal Domains 13 Definition A principal ideal domain (PID) is an integral domain, all of whose ideals are principal. Important examples of PIDs are the integers Z (think GCD) the Gaussian integers Z[i] a polynomial ring F[x] where F is a field But note that Z[x] and F[x, y] both fail to be PIDs.

Minimal Polynomials 14 Suppose we have an extension F K with α K algebraic over F. Let I = { f F[x] f(α) = 0 } Then I is an ideal and we must have I = (g). The polynomial g has minimal degree among all the annihilators of α, and we may safely assume that g is monic. Definition This polynomial g is the minimal polynomial of α over F.

Digression: Proper Substructures 15 In algebra it is important to come up with the right notion of substructure: just picking a subset that is closed under the algebraic operations is often not enough. For groups, normal subgroups are arguably more important than plain subgroups. For rings, ideals are arguably more important than subrings. But a sub-vector-space is just right.

Irreducible Polynomials 16 Ideals provide the right type of equivalence relation for the construction of a finite field from a polynomial ring. Alas, the ideals cannot be chosen arbitrarily, we need to start from special polynomials, in analogy to m being prime in the integer case. Definition A polynomial is irreducible if it is not the product of polynomials of smaller degree. Irreducibility is necessary when we try to construct a field F[x]/(f): otherwise we do not even get an integral domain. For suppose f(x) = f 1(x)f 2(x) where both f 1 and f 2 have degree at least 1. Then 1 deg(f i) < deg(f), so neither f 1 or f 2 can be simplified in F[x]/(f). In particular both elements in F[x]/(f) are non-zero, but their product is zero.

Existence 17 How many irreducible polynomials are there? Lemma Suppose F is a finite field of cardinality q. Then the number of irreducible polynomials in F[x] of degree d is N q d = 1 µ(d/k) q k d k d Here µ is the Möbius function. At any rate, there are quite a few irreducible polynomials. d 1 2 3 4 5 6 7 8 9 10 Nd 2 2 1 2 3 6 9 18 30 56 99 Of course, there is another problem: how do we construct them? Factorization of polynomials is the natural approach (much like prime decomposition), let s not get involved at this point.

Modular Arithmetic for Polynomials 18 Suppose F is a field and consider an irreducible polynomial f(x) and the ideal (f(x)) = f(x)f[x] that it generates. What does modular arithmetic look like with respect to I? We identify two polynomials when their difference is divisible by f: h(x) = g(x) (mod f(x)) f(x) (h(x) g(x)) Let d be the degree of f. Note that any polynomial h is equivalent to a polynomial g of degree less than d: write h(x) = q(x)f(x) + g(x) by polynomial division.

A Harder Example 19 Over F 2, the polynomial is irreducible. f(x) = x 3 + x + 1 Again, unlike with the earlier square root example, it is absolutely not clear what a root of f(x) = 0 should look like. In order to manufacture a root, we want to compute in the polynomial ring F 2[x] modulo the ideal I = (f(x)) generated by f. There are two steps: Find a good representation for F 2[x]/I. Comes down to picking a representative in each equivalence class. Determine how to perform addition, multiplication and division on these representatives.

Representatives 20 Note that x 3 = x + 1 (mod I) (we have characteristic 2, so minus is plus) so we can eliminate all monomials of degree at least 3: x 3k+r (x + 1) k x r. If necessary, apply this substitution repeatedly. In the end, we are left with 8 polynomials modulo I, namely all the polynomials of degree at most 2: K = {0, 1, x, 1 + x, x 2, 1 + x 2, x + x 2, 1 + x + x 2 }

The Root 21 We write α for (the equivalence class of) x for emphasis. Then α K really is a root of f(x) = 0 in the extension field K. For f(α) = x 3 + x + 1 = 0 (mod I) Yes, this is a bit lame. One would have hoped for some kind of fireworks. But, it s really no different from the 2 example, just less familiar.

Representatives II 22 The representatives are just all polynomial of degree less than 3. where c i F 2. c 2x 2 + c 1x + c 0 Algebraically, it is usually best to think of the extension field F 2 K as a quotient structure, as the polynomials modulo f: K = F 2[x]/(f(x))

Addition, Algorithmically 23 But we can also think about the coefficient lists of these polynomials. Since the representatives are of degree at most 2 we are dealing with triples of elements of F 2. In this setting the additive structure trivial: it s just componentwise addition of these triples mod 2. (c 2, c 1, c 0) + (c 2, c 1, c 0) = (c 2 + c 2, c 1 + c 1, c 0 + c 0) So the additive group of these fields is just a Boolean group. Note that this operation is trivial to implement (xor on bit-vectors, can even be done in 32 or 64 bit blocks).

Multiplication, Algorithmically 24 How about multiplication? Since multiplication increases the degree, we can t just multiply out, but we have to simplify using our rule x 3 x + 1 afterwards. The product (c 2, c 1, c 0) (c 2, c 1, c 0) = (d 2, d 1, d 0) is given by the coefficient triple d 2 = c 2 c 0 + c 1 c 1 + c 0 c 2 + c 2 c 2 d 1 = c 1 c 0 + c 0 c 1 + c 2 c 1 + c 1 c 2 + c 2 c 2 d 0 = c 0 c 0 + c 2 c 1 + c 1 c 2 This is a bit messy. And it gets more messy when we deal with larger degree polynomials.

Multiplicative Structure 25 Recall that α is the equivalence class of x. Then the powers of α are: α 0 = 1 = (0, 0, 1) α 1 = α = (0, 1, 0) α 2 = α 2 = (1, 0, 0) α 3 = α + 1 = (0, 1, 1) α 4 = α 2 + α = (1, 1, 0) α 5 = α 2 + α + 1 = (1, 1, 1) α 6 = α 2 + 1 = (1, 0, 1) α 7 = 1 Note: this table determines the multiplicative structure completely.

Table of Inverses 26 We really obtain a field this way, not just a ring (recall that f is irreducible). h 1 1 1 2 α 1 + α 2 3 α 2 1 + α + α 2 4 1 + α α + α 2 5 1 + α 2 α 6 α + α 2 1 + α 7 1 + α + α 2 α 2 h 1 Note that this table defines an involution: (h 1 ) 1 = h.

Reciprocal Polynomials 27 Definition The reciprocal of a polynomial f(x) of degree k is the polynomial f (x) = x k f(1/x). In other words: we reverse the coefficient vector: f(x) = a mx m + a m 1x m 1 +... a 1x + a 0 produces the reciprocal f (x) = a 0x m + a 1x m 1 +... a m 1x + a m

Properties? 28 The map f f is not very well behaved, in particular it fails to be a homomorphism. Still, we have the following properties. Proposition Let f and g be two polynomials. If f(0) 0 then (f ) = f. (f g) = f g. Exercise Prove the last proposition.

MinPol for Inverse 29 If we have a field extension F[α] where α is a root of f(x), then it is easy to determine the minimal polynomial for 1/α: given it is none other than the reciprocal f(x) = a mx m + a m 1x m 1 +... a 1x + a 0 f (x) = a 0x m + a 1x m 1 +... a m 1x + a m

Example 30 Consider the field extension F 2[α] where α is a root of f(x) = x 3 + x + 1. Then f = x 3 + x 2 + 1 and the field elements have associated minimal polynomials as follows. 0 x 1 x + 1 α, α 2, α 4 x 3 + x + 1 α 3, α 5, α 6 x 3 + x 2 + 1 Number of roots and degrees match.

Ideals 2 The Structure theorem

The Structure of Finite Fields 32 Recall the big theorem we announced some time ago: Theorem Every finite field F has cardinality p k where p is prime and the characteristic of F, and k 1. Moreover, for every p prime and k 1 there is a finite field of cardinality p k and all fields of cardinality p k are isomorphic. So there are three assertions to prove: Every finite field F has cardinality p k where p is the characteristic of F and therefore prime. There is a field of cardinality p k. All fields of cardinality p k are isomorphic.

Proof Sketch 33 We have already taken care of parts 1 and 2: 1 Since F is finite vector space over Z p where p is the characteristic of F it must have size p k, p prime, k 1. 2 Since there are irreducible polynomials over Z p of degree k for any k we can always construct a finite field of the form Z p[x]/(f) of size p k. What is absolutely unclear is they all should be the same (isomorphic). For example, suppose we pick two irreducible polynomials f and g of degree k. Since multiplication is determined by f and g there is no obvious reason that we should have Z p[x]/(f) = Z p[x]/(g)

Homomorphisms and Kernels 34 Let s collect some tools to compare rings and fields. Definition Let R and S be two rings and f : R S. f is a ring homomorphism if f(g + h) = f(g) + f(h) and f(gh) = f(g)f(h). If f is in addition injective/surjective/bijective we speak about monomorphisms, epimorphism and isomorphisms, respectively. The kernel of a ring homomorphism is the set of elements that map to 0. Notation: ker(f). Note that f(0) = 0. It is easy to see that the kernel of any ring homomorphism f : R S is an ideal in R. Since f(x) = f(y) iff x y ker(f) a ring homomorphism is a monomorphism iff its kernel is trivial: ker(f) = {0}.

Rings with 1 35 When the rings in question have a multiplicative unit one also requires f(1) = 1 (unital ring homomorphisms). This is in particular the case when dealing with fields. Lemma If f : F K is a field homomorphism, then f is injective. Proof. ker(f) F is an ideal. But in a field there are only two ideals: {0} and the whole field. Since f(1) = 1, 1 is not in the kernel, so the kernel must be {0} and f is injective.

Adjoining Different Roots 36 Suppose f(x) F[x] is irreducible and α 1 α 2 are two roots of f. Consider two corresponding simple field extensions F K i where α i K i. Theorem (Extension Isomorphism Theorem) There is a unique isomorphism ϕ : K 1 K 2 the identity on F. such that ϕ(α 1) = α 2 and ϕ is Proof. We exploit the fact that K i = F[α i] and define ϕ(p(α 1)) = p(α 2) for any p F[x].

It is straightforward but tedious to check that ϕ has all the right properties. The interesting part is to verify well-definedness. To this end, suppose p(α 1) = p (α 1). Then f divides p p, say p p = f q. But then (p p )(α 2) = f(α 2) q(α 2) = 0. Exercise Work out the rest of the proof.

The Frobenius Homomorphism 38 Here is a somewhat surprising example of a homomorphism. Definition Let R be a ring of characteristic p > 0. The Frobenius homomorphism is defined by the map R R, x x p. The Frobenius map is indeed a ring homomorphism since R has characteristic p: (a + b) p = a p + b p. Over a finite field we even get an automorphism. The orbits of a non-zero element look like a, a p, a p2,..., a pk 1 Exercise Use the binomial theorem to prove that the Frobenius map is a homomorphism.

Aside: Galois 39 We are now very close to Galois theory, the study of automorphism groups of fields initiated by Evariste Galois (1811-1832). 1832 1811 = 21: a brilliant mathematician, but a bad shot.

More Aside 40 For algebra lovers: the Frobenius homomorphism F is the key to understanding the Galois group of the algebraic closure K of a finite field F p. Recall that the Galois group is the collection of all automorphisms of K that leave the prime field invariant. By Fermat s little theorem, F p is certainly invariant under F. Algebraically closed fields are perfect, so F is indeed an automorphism of K. The group generated by F is a subgroup of the Galois group, the so-called Weil group. In fact, the whole Galois group is a kind of completion of the Weil group.

Establishing Isomorphisms 41 The following fact is often useful to establish an isomorphism. Suppose f : R S is an epimorphism (no major constraint, otherwise replace S by the range of f). Then R/ ker(f) is isomorphic to S. For example, we can use this technique to prove our old theorem about field extensions by adjoining roots. More precisely, let F(α) be the smallest field F F(α) K that contains a root α K of some polynomial f F[x]. Then F(α) = { g(α) g F[x] } = F[α] rather than, say, the collection of rational functions over F evaluated at α.

Adjoining a Root, contd. 42 To see why, note that the right hand side is the range of the evaluation map ν : F[x] K g g(α) that evaluates g at α, producing a value in K. It is easy to check that ν is a ring homomorphism and clearly (f) ker(ν). We may safely assume that f is monic and has minimal degree in F[x] of all polynomials with root α. Then f is irreducible and we have ker(ν) = { p F[x] f divides p } = (f) This shows that the range of ν is isomorphic to F[x]/(f) and hence a field. Irreducibility is essential here, otherwise f(x) = (x 2 2)(x 2 3) = x 4 5x 2 + 6 with α = 2 over F = Q C = K would produce a non-integral domain.

Kernels, The Idea 43 Note that this is the third time we encounter kernels. For a general function f : A B the kernel relation is given by f(x) = f(y). For a group homomorphism f : A B the kernel is given by { x A f(x) = 1 }. For a ring homomorphism f : A B the kernel is given by { x A f(x) = 0 }. In the last two cases we can easily recover the classical kernel relation and the definition as stated turns out to be more useful. Still, there is really just one idea.

Uniqueness 44 Back to the problem of showing that there is only one finite field F p k p k. To understand finite fields completely we need just one more idea. of size Definition Let f F[x] monic, F K. Field K is a splitting field of f if f(x) = (x α 1)... (x α d ) in K[x], and K = F(α 1,..., α d ). Needless to say, the α i K are exactly the roots of f. Thus, in a splitting field we can decompose the polynomial into linear factors. In other words, K is the smallest field where f splits into linear factors; by adjoining all the roots of f we get all of K.

Examples 45 Example C is the splitting field of x 2 + 1 R[x]. It is hugely surprising that over C any non-constant real polynomial can already be decomposed into linear factors, everybody splits already. Example Consider f(x) = x 8 + x F 2[x]. Then f(x) = x(x + 1)(x 3 + x 2 + 1)(x 3 + x + 1) Adjoining one root of g(x) = x 3 + x + 1 already produces the splitting field of f: the other irreducible factor of degree 3 also splits.

Example contd. 46 x 8 + x = x(x + 1)(x 3 + x 2 + 1)(x 3 + x + 1) element root of 0 x α 0 x + 1 α 1 x 3 + x + 1 α 2 x 3 + x + 1 α 3 x 3 + x 2 + 1 α 4 x 3 + x + 1 α 5 x 3 + x 2 + 1 α 6 x 3 + x 2 + 1

Splitting Field theorem 47 Our next goal is to establish the following result. Theorem (Splitting Field Theorem) For any irreducible polynomial there exists a splitting field, and any two such splitting fields are isomorphic. Note that we have all the tools to construct a splitting field: we just keep adjoining roots of irreducible factors of the given polynomial. But for the uniqueness part we need a bit more machinery. Basic problem: what would happen in the last example if we had chosen x 3 + x + 1 rather than x 3 + x 2 + 1? We get isomorphic vector spaces, but why should the multiplicative structure be the same?

Constructing Isomorphisms 48 Suppose we have an isomorphism θ : F 1 F 2 and f 1 F 1[x]. Set f 2 = θ(f 1) and let F i K i be splitting fields for f i. Lemma There exists a isomorphism ϕ : K 1 K 2 such that ϕ F 1 = θ. Proof. We construct ϕ by repeated application of the Extension Isomorphism theorem. Technically, we perform induction on the degree d = [K 1 : F 1] of the splitting extension. The case d = 1 is trivial, since then F i = K i. So suppose d > 1. We may safely assume that f is not irreducible; otherwise the Extension Isomorphism theorem suffices.

Since F 1 K 1 there is some irreducible factor g 1 F[x] of f 1 of degree larger than 1. g 1 splits in K 1, say, it has a root α 1. Set g 2 = θ(g 1) with root α 2 in K 2. By the Extension Isomorphism theorem from above, there is a unique isomorphism θ : F 1[α 1] F 2[α 2] such that θ (α 1) = α 2 and θ F 1 = θ. But [K i[α i] : F i] = deg g i < deg f i, so by the induction hypothesis we are done. Corollary Splitting fields are unique up to isomorphism.

Finite Fields Explained 50 Now we can pin down the structure of all finite fields: they are splitting fields (and hence uniquely determined). Theorem There is a unique (up to isomorphism) finite field of size p k. Proof. Let n = p k and consider f = x n x F p[x]. f has n roots, which form a field. For let a and b two roots, then: f(a + b) = (a + b) n (a + b) = a n a + b n b = 0 f(ab) = (ab) n (ab) = a n b n ab = 0 Hence the roots of f form the whole splitting field of f. By the Splitting Field theorem, this field is unique up to isomorphism.

Galois Fields 51 In honor of Evariste Galois, the finite field of size p k is often called the Galois field of size p k. Written F p k or GF(p k ).

Example: A Splitting Field 52 We can exploit knowledge of the splitting field to study roots of irreducible polynomials. Consider the irreducible f = x 3 + x 2 + 1 F 2[x]. Let α be a root of f in the splitting field K. By long division (exploiting α 3 + α 2 + 1 = 0) we find all the roots of f: f = (x + α)(x + α 2 )(x + α 2 + α + 1) Hence K = F 2(α) = { aα 2 + bα + c a, b, c F 2 }

Example: The Field F 5 2 53 Consider characteristic p = 5 and k = 2. x 25 x = x (1 + x) (2 + x) (3 + x) (4 + x) (2 + x 2 ) (3 + x 2 ) (1 + x + x 2 ) (2 + x + x 2 ) (3 + 2 x + x 2 ) (4 + 2 x + x 2 ) (3 + 3 x + x 2 ) (4 + 3 x + x 2 ) (1 + 4 x + x 2 ) (2 + 4 x + x 2 ) There are 10 irreducible quadratic polynomials to choose from. Which one should we pick?

Primitive Polynomials 54 Definition Let F be a field of characteristic p > 0 and and f F[x] irreducible of degree k. f is primitive if x mod f is a generator of the multiplicative subgroup in the extension field F[x]/(f). The roots of a primitive polynomial are also called primitive. Since the size of the multiplicative subgroup is p k 1 there must be Φ(p k 1) generators (where Φ is Euler s totient function). Since any of the roots of a corresponding primitive polynomial is a generator the number of primitive polynomials of degree k is Φ(p k 1) k For example, in the case p = 5, k = 2 there are 8 primitive elements and 4 polynomials.

The Order of a Polynomial 55 There is an alternative way to describe primitive polynomials that avoids references to the extension field construction. Definition Let f F[x] such that f(0) 0. The order or exponent of f is the least e 1 such that f divides x e 1. In other words, x e = 1 mod f. So an irreducible f is primitive iff it has order p k 1 where p is the characteristic and k the degree of f.

The Field F 5 2, contd. 56 For example, f = 2 + 4 x + x 2 is primitive. α x α 13 4 x α 2 3 + x α 14 2 + 4 x α 3 3 + 4 x α 15 2 + x α 4 2 + 2 x α 16 3 + 3 x α 5 1 + 4 x α 17 4 + x α 6 2 α 18 3 α 7 2 x α 19 3 x α 8 1 + 2 x α 20 4 + 3 x α 9 1 + 3 x α 21 4 + 2 x α 10 4 + 4 x α 22 1 + x α 11 2 + 3 x α 23 3 + 2 x α 12 4 α 24 1 So F 5 2 is indeed cyclic with generator α, and F 5 2 has dimension 2 as a vector space over F 5, as required.

The Finite Field Bibles 57 E. R. Berlekamp Algebraic Coding Theory McGraw-Hill, 1968. R. Lidl, H. Niederreiter Introduction to Finite Fields and their Applications Cambridge University Press, 1986.