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

Similar documents
Galois Theory, summary

Name: Solutions Final Exam

Page Points Possible Points. Total 200

9. Finite fields. 1. Uniqueness

Section 33 Finite fields

Section VI.33. Finite Fields

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

TC10 / 3. Finite fields S. Xambó

Section V.6. Separability

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

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K.

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

Fields. Victoria Noquez. March 19, 2009

Field Theory Qual Review

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

GALOIS THEORY. Contents

A connection between number theory and linear algebra

ALGEBRA 11: Galois theory

Quasi-reducible Polynomials

Classification of Finite Fields

FIELD THEORY. Contents

FINITE FIELDS KEITH CONRAD

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

NOTES ON FINITE FIELDS

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

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

Chapter 5. Modular arithmetic. 5.1 The modular ring

Part II Galois Theory

Math 121 Homework 3 Solutions

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

55 Separable Extensions

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

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

Notes on Field Extensions

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Algebra Exam Topics. Updated August 2017

MTH Abstract Algebra II S17. Review for the Final Exam. Part I

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

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

RUDIMENTARY GALOIS THEORY

MAT 535 Problem Set 5 Solutions

Factorization in Polynomial Rings

Algebra Ph.D. Preliminary Exam

Finite fields: some applications Michel Waldschmidt 1

Algebra Qualifying Exam, Fall 2018

Algebra Exam, Spring 2017

Course 311: Abstract Algebra Academic year

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

4.4 Noetherian Rings

Math 121 Homework 6 Solutions

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.

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

7 Orders in Dedekind domains, primes in Galois extensions

3 Galois Theory. 3.1 Definitions and Examples

Lecture 8: The Field B dr

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.

Subrings of Finite Commutative Rings

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

The following results are from the review sheet for the midterm.

1 Fields and vector spaces

A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS

Section V.7. Cyclic Extensions

GALOIS THEORY BRIAN OSSERMAN

ALGEBRA QUALIFYING EXAM SPRING 2012

Keywords and phrases: Fundamental theorem of algebra, constructible

Fields and Galois Theory

MAIN THEOREM OF GALOIS THEORY

January 2016 Qualifying Examination

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

1 The Galois Group of a Quadratic

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

Extension theorems for homomorphisms

Math Introduction to Modern Algebra

List of topics for the preliminary exam in algebra

Galois theory. Philippe H. Charmoy supervised by Prof Donna M. Testerman

Section II.1. Free Abelian Groups

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

Algebra Homework, Edition 2 9 September 2010

Math 4400, Spring 08, Sample problems Final Exam.

Part II Galois Theory

Galois Theory and the Insolvability of the Quintic Equation

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

Solutions of exercise sheet 6

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

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

GALOIS THEORY I (Supplement to Chapter 4)

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

NAP Module 4. Homework 2 Friday, July 14, 2017.

Section III.15. Factor-Group Computations and Simple Groups

Real Analysis Prelim Questions Day 1 August 27, 2013

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

AN INTRODUCTION TO GALOIS THEORY

WEDDERBURN S LITTLE THEOREM

Galois theory of fields

Notes on graduate algebra. Robert Harron

Transcription:

Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory (?) If G is a finite abelian group and a, b G of orders m, n then there is some element c G whose order is lcm(m, n) ( some c of the form a r b s ). Usng this repeatedly, we get that F has an element α of order r which is the lcm of the orders of all elements. Then b r = 1 for all 0 b F. All b 0 are roots of x r 1. So F r. But 1, α, α 2,..., α r 1 are pairwise distinct and hence F r and then F = r and F = α. Corollary [Ch 16, 4.7] Let E F be an extension where E is a finite field. Then E = F (α) for some α E. Take α = as above, then E = α {0} and this is equal to F (α). Let F be a field, then the intersection of all subfields of F is a subfield which has no proper subfields. This is called the prime field of F. Lemma [Ch 16, 4.1 ] The prime field of F is either isomorphic to Q or is isomorphic to Z p. In the first case say F has characteristic 0, and in the second case it has characteristic p [Idea of proof ] Let f : Z F be the map f(n) = n1 F. Check that this is a ring homomorphism. So the kernel is an ideal and the image is a subring of a field, and hence has no zero divisors. 1

Case 1 ker(f) = {0}. Then f embeds Z into F, and this extends to an embedding of Q into F in the obvious way. This cannot have proper subfields (any subfield contains 1 and the the image of f and all the inverses of these) So it is the prime field. Case 2 If the kernel is non-zero then it must be mz and the image of f is isomorphic to Z m. It has no zero divisors, so m = p prime. EXAMPLES If F C then the prime field is Q. If F is a finite field then the characteristic must be some p, and then F = p n for some n 1. Lemma [4.0] Assume F has characteristic p. (a) The map σ : F F, σ(x) = x p, is a homomorphism (an embedding). (b) If F is finite then σ is also onto, hence an isomorphism. Proof (a) We have (ab) p = a p b p, and by the binomial expansion (a + b) p = a p + b p since the binomial coefficients ( p k) for 1 k p 1 are zero in F. And 1 p = 1. So σ is a homomorphism. It is not the zero map and therefore must be 1-1. (b) a 1-1 map from a finite set to itself is automatically also onto. 2

Proposition [cf Ch 16, 5.1(b)] Assume E F is an algebraic extension where F is finite. Then E is separable over F. Proof Let a E and f(x) F [x] the minimal polynomial of a. We must show that f(x) does not have multiple roots. Assume (for contradiction) it has multiple roots, then f (x) = 0. So any coefficient a j with j not a multiple of p is zero. So f(x) = a 0 + a p x p +... + a jp x jp +... x pm By Lemma 4.0(b) every element in F is a p-th root. So we can write a jp = b p j for some b j F. Then f(x) = b p j (xj ) p = ( b j x j ) p j j Therefore f(x) is not irreducible, a contradiction. Theorem 4.3 (Ch 16) Let F be a field with F = p n for p prime. Then F is the SF of the polynomial f(x) = x pn x Z p [x]. Hence any two finite fields of the same size are isomorphic. Furthermore, f(x) does not have multiple roots. Proof The multiplicative group F = F \{0} has order p n 1. So if 0 a F then a pn 1 = 1 (by Lagrange s Theorem). Therefore a pn = a and a is a root of f(x). Also 0 is a root. So all elements of F are roots. The degree is p n, so these are precisely the roots. This shows that F is a splitting field of f(x). More generally, any two splitting fields are isomorphic, so any two fields of size p n must be isomorphic. As well we see that f(x) cannot have multiple roots. Corollary 4.4 The set of roots of x pn x over characteristic p is a field. 3

Galois groups for finite fields Let E be a finite field. Then it has size p n for p a prime, and contains Z p (the subfield generated by 1). Notation: E = GF (p n ) (unique field of this size). E is a Galois extension of Z p : separable, see 5.1(b) of Ch. 16. Normal: E = set of roots of x pn x and hence is the SF of this over Z p. So we have G = G(E Z p ), the Galois group of this extension. We have seen (Lemma 4.0) that E has the automorphism σ(x) = x p (known as Frobenius automorphism ). Lemma Assume E Z p and (E : Z p ) = n. Then G(E Z p ) = σ, cyclic of order n. Proof Let G = G(E Z p ). (1) We claim that σ is in G, i.e. σ is the identity on Z p : If a Z p then a is a root of x p x (special case of ). So σ(a) = a. Therefore σ G. We are done if we show that σ has order n, i.e. σ n = e and if σ k = e then k n. (a) Recall E = set of roots of x pn x. So for each a E we have and σ n = e. σ n (a) = σ n 1 (a p ) =... = a pn = a (b) Suppose σ k = e. Then for all a E we have a pk = a. So all elements of E are roots of the polynomial x pk x. There are p n such elements, so p k p n and k n. 4

With the FTGT we can now classify all intermediate fields. Corollary Let E Z p with (E : Z p ) = n. (a) If E K Z p then (E : K) = m where m divides n. (b) For each divisor m of n there is a unique intermediate field E K Z p with (E : K) = m. Proof Part (a) follows from the Tower theorem. (b) G is cyclic of order n. Let n = mr, then G has a unique subgroup of order m. (this subgroup is σ r ). Let K = the fixed field of this group, then (E : K) = m by the FTGT. Note also that then σ r = G(E K). We can also describe K, it is the set of roots of x pr x. By uniqueness of field of a fixed size we also have: Let E, K be fields of sizes p n and p k. Then K is (isomorphic to) a subfield of E if and only if k divides n. Exercise Draw diagram of intermediate fields when E = 2 12. Theorem 4.8 Assume F is a finite field. Then for all n 1 there is an irreducible polynomial in F [x] of degree n. Proof Assume F = p m. Let E = the field of size p nm, then F E and (E : F ) = p n by the Corollary (and uniqueness) If E = F (θ) then the minimal polynomial of θ in F [x] is irreducible of degree n. Such θ exists, for example take a generator of the (cyclic) group E. This can be used to count irreducible polynomials over finite fields. Example How many monic irreducible polynomials of degree 4 are there over Z 3? 5