Fine-grain decomposition of F q

Size: px
Start display at page:

Download "Fine-grain decomposition of F q"

Transcription

1 Fine-grain decomposition of F q n David Thomson with Colin Weir Army Cyber Institute at USMA West Point David.Thomson@usma.edu WCNT 2015 D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

2 Fine-grain decomposition of F q n David Thomson with Dr. Weird Army Cyber Institute at USMA West Point David.Thomson@usma.edu WCNT 2015 D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

3 Motivation Definition. An element α F q n is normal over F q if and only if gcd(x n 1, αx n 1 + α q x n α qn 2 x + α qn 1 ) = 1. This essentially comes by decomposing the trace form T in the discriminant of (α, α q,..., α qn 1 ). Definition. An element α F q n is k-normal (over F q ) if ( ) deg gcd(x n 1, αx n 1 + α q x n α qn 2 x + α qn 1 ) = k. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

4 Towards a Frobenius module Let R be a commutative ring with 1 R (because every ring has 1 R ), let V be an R-module and let T : V V be an R-module homomorphism on V. Let f R[x]; define the action of f on α V by f α = f(t )(α). Now, we basically turn any extension of R into an R[x]-module. We re most interested when R = F q and T = σ q, the Frobenius q-automorphism. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

5 Finite fields and normal bases Finite fields and normal bases D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

6 Finite fields and normal bases F q n as a Frobenius module Let R = F q and let T = σ q : F q n F q n be the Frobenius q-automorphism, σ q (α) = α q. Let f(x) = n 1 i=0 a ix i F q [x] and let α F q. Then n 1 f α = a i α qi = F (α), i=0 where F (x) = n 1 i=0 a ix qi is the linearized q-associate of f. We know α F q n if and only if (x n 1) α = α qn α = 0. Remarks. Let F be a q-polynomial. 1 F is linear; that is F (ax + y) = af (x) + F (y) for a F q. 2 The roots of F form a vector space over F q, closed under σ q. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

7 Finite fields and normal bases Normal bases Definition. Let α F q n and let N = {α, α q,..., α qn 1 }. If N is linearly independent, then N is a normal basis, α N is a normal element of F q n over F q, and N is generated by any of its elements. Proposition. The element α F q n is normal over F q if and only if it is not annihilated by any proper factor of x n 1. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

8 Finite fields and normal bases Enter k-normality Remark. Let m σq,α F q [x] be the minimal polynomial of α. m σq,α divides x n 1, if deg(m σq,α) = n k, the elements {α, α q,..., α qn k 1 } are linearly independent. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

9 Finite fields and normal bases Enter k-normality Remark. Let m σq,α F q [x] be the minimal polynomial of α. m σq,α divides x n 1, if deg(m σq,α) = n k, the elements {α, α q,..., α qn k 1 } are linearly independent. deg(gcd(x n 1, αx n α qn 1 )) = k. So the elements we were originally interested in are precisely cyclic vectors of σ q for subspaces of F q n. So let s describe all cyclic σ q -stable subspaces of F q n. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

10 Finite fields and normal bases Decomposing F q n Remark. Describing normal elements in terms of decompositions has been studied previously; see, for example, Semaev (1989), Blake-Gao-Mullen (1995), Hachenberger (1996), Scheerhorn (1997) and Kyureghyan (2006). We follow the formula as prescribed by Steel (1997): 1 Break F q n into primary σ q -stable factors (primary decomposition of the Frobenius-module), 2 Shatter the factors into irreducible cyclic subspaces, if necessary. 3 Glue the irreducible cyclic subspaces together. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

11 Finite fields and normal bases Orbits; primary decomposition Definition. The orbit of α under T is the span of {α, T α,...}, denoted Orb T (α). Moreover, α is a cyclic vector of Orb T. Theorem. Let V be a vector space over a field K and let T be a linear transformation of V with m T,V = f e 1 1 f e 2 2 f s es K[x], then 1 where m T,vi = f e i i, 1 i s. V = Orb T (v 1 ) Orb T (v s ), 2 Orb T (v i ) Orb T (v j ) = for i j. 3 Orb T (v i ) Orb T (v j ) = Orb T (v i + v j ). D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

12 Finite fields and normal bases Primary subspaces of F q n Corollary. Let V = F q n, K = F q and T = σ q. Then m T,V (x) = x n 1 = f e 1 1 f s es, and F q n = OrbT (v 1 ) Orb T (v s ), where each v i is a (n deg(f i )e i )-normal element. But we re not done yet: If Orb T (v i ) is not irreducible (e.g., if char(f q ) n), we will miss cyclic vectors of smaller dimensional subspaces. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

13 Finite fields and normal bases Shatter-and-glue Theorem. Let W be a σ q -invariant subspace with m σq,w = f e, f irreducible. Let W i = ker f i and let U i = W i \ W i 1. Then 1 m σq,u i = f i for all u i U i. 2 Orb σq (u i ) is irreducible of dimension i deg(f). 3 If u = u i where u i U i, then Orb σq (u) has dimension k deg(f), where k is the largest index such that u k 0. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

14 Finite fields and normal bases Corollaries Theorem. Let x n 1 = f e 1 1 f s es, where f i are irreducible (and the factorization is over F q [x]). 1 Any finite field F q n = V i, where V i = Orb σq (v i ) with m σq,v i = f e i i. 2 Furthermore, V i = V i,j, where V i,j = Orb σq (v i,j ) and v i,j ker(f j j 1 i ) \ ker(fi ). Moreover, each V i,j is irreducible. 3 For any α F q n, α = i,j α i,j with α i,j V i,j. Then α is normal over F q if and only if α i,ej 0 for all i. 4 Moreover, k-normal elements are cyclic vectors of co-dimension k subspaces; i.e., take α = α i,j where the sum is over all decompositions of n k into sums of the form j deg(f i ). D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

15 Examples Examples D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

16 Examples Example: V splits into 2 factors Example. Suppose p is a primitive root (mod n). Then x n 1 has irreducible factorization (x 1)(x n x + 1) and F q n = Orb(v ker(x 1)) Orb(w ker(x n x + 1)). There are exactly cyclic vectors of the first factor and exactly cyclic vectors of the second. Hence, there are D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

17 Examples Example: V splits into 2 factors Example. Suppose p is a primitive root (mod n). Then x n 1 has irreducible factorization (x 1)(x n x + 1) and F q n = Orb(v ker(x 1)) Orb(w ker(x n x + 1)). There are exactly q 1 cyclic vectors of the first factor and exactly q n 1 1 cyclic vectors of the second. Hence, there are D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

18 Examples Example: V splits into 2 factors Example. Suppose p is a primitive root (mod n). Then x n 1 has irreducible factorization (x 1)(x n x + 1) and F q n = Orb(v ker(x 1)) Orb(w ker(x n x + 1)). There are exactly q 1 cyclic vectors of the first factor and exactly q n 1 1 cyclic vectors of the second. Hence, there are 1 (q 1) (n 1)-normal elements, D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

19 Examples Example: V splits into 2 factors Example. Suppose p is a primitive root (mod n). Then x n 1 has irreducible factorization (x 1)(x n x + 1) and F q n = Orb(v ker(x 1)) Orb(w ker(x n x + 1)). There are exactly q 1 cyclic vectors of the first factor and exactly q n 1 1 cyclic vectors of the second. Hence, there are 1 (q 1) (n 1)-normal elements, D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

20 Examples Example: V splits into 2 factors Example. Suppose p is a primitive root (mod n). Then x n 1 has irreducible factorization (x 1)(x n x + 1) and F q n = Orb(v ker(x 1)) Orb(w ker(x n x + 1)). There are exactly q 1 cyclic vectors of the first factor and exactly q n 1 1 cyclic vectors of the second. Hence, there are 1 (q 1) (n 1)-normal elements, 2 (q n 1 1) 1-normal elements and D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

21 Examples Example: V splits into 2 factors Example. Suppose p is a primitive root (mod n). Then x n 1 has irreducible factorization (x 1)(x n x + 1) and F q n = Orb(v ker(x 1)) Orb(w ker(x n x + 1)). There are exactly q 1 cyclic vectors of the first factor and exactly q n 1 1 cyclic vectors of the second. Hence, there are 1 (q 1) (n 1)-normal elements, 2 (q n 1 1) 1-normal elements and D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

22 Examples Example: V splits into 2 factors Example. Suppose p is a primitive root (mod n). Then x n 1 has irreducible factorization (x 1)(x n x + 1) and F q n = Orb(v ker(x 1)) Orb(w ker(x n x + 1)). There are exactly q 1 cyclic vectors of the first factor and exactly q n 1 1 cyclic vectors of the second. Hence, there are 1 (q 1) (n 1)-normal elements, 2 (q n 1 1) 1-normal elements and 3 (q 1)(q n 1 1) 0-normal elements. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

23 Examples Example: V splits into 2 factors Example. Suppose p is a primitive root (mod n). Then x n 1 has irreducible factorization (x 1)(x n x + 1) and F q n = Orb(v ker(x 1)) Orb(w ker(x n x + 1)). There are exactly q 1 cyclic vectors of the first factor and exactly q n 1 1 cyclic vectors of the second. Hence, there are 1 (q 1) (n 1)-normal elements, 2 (q n 1 1) 1-normal elements and 3 (q 1)(q n 1 1) 0-normal elements. Corollary. An element α is normal if and only if α = β + γ, where β F q, Tr(γ) = 0 and γβ = 0. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

24 Examples Example: degree a power of the characteristic Example. Let q = 2, n = 64, then m σq,f q n (x) = (x 1) 64. Let U i = ker(x 1) i \ ker(x 1) i 1, then U 1 = F 2 \ {0} U 2 = F 4 \ F 2 U 3 = ker(x 3 + x 2 + x + 1) \ F 4. U 64 = F 2 64 \ ker(x n x + 1). Hence, the number of k-normal elements is 2 64 k 1, k = 0, 1,..., 63. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

25 Examples Example: degree a power of the characteristic Example. Let q = 2, n = 64, then m σq,f q n (x) = (x 1) 64. Let U i = ker(x 1) i \ ker(x 1) i 1, then U 1 = F 2 \ {0} U 2 = F 4 \ F 2 U 3 = ker(x 3 + x 2 + x + 1) \ F 4. U 64 = F 2 64 \ ker(x n x + 1). Hence, the number of k-normal elements is 2 64 k 1, k = 0, 1,..., 63. Corollary. An element α F q p n is normal if and only if Tr(α) 0. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

26 Examples Another example: Cyclic codes Definition. A linear code C of length n and dimension k is a k-dimensional subspace of F q n over F q. Let (a 0,..., a n 1 ) F n q, and let E be the cyclic left-shift operator; hence, E(a 0,..., a n 1 ) = (a 1,..., a n 1 ). Certainly, E n E = 0; that is, every α F n q is annihilated by x n 1. Definition. If E(C) = C, then C is a cyclic code. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

27 Examples Classifying all quasi-cyclic codes Definition. A quasi-cyclic code C is a code such that x k C = C for some k coprime to n. In fact, by repeating the above process on k-normals, we have a correspondence between k-normal elements and quasi-cyclic codes of dimension n k. Other codes of interest: Negacyclic: E n (α) = α, so every α is annihilated by x n ± 1. Consta-cyclic: E b (α) = bα, so every α is annihilated by x n b n. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

28 For the problem session: Completely normal elements For the problem session: Completely normal elements D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

29 For the problem session: Completely normal elements Completely normal Definition. An element α F q n is completely normal if it is normal over every intermediate extension F q d, where d n. Theorem. An element α F q n is completely normal if and only if it is annihilated by x n/d 1 and by no smaller factor when the factorization is over F q d for all d n. Question. Characterize completely normal elements in a similar fashion as normality: Seems easy if x n 1 splits over F q. Simple characterization for n = p e, p = char(f q ). Constructions for n = r e, r any prime, plus a product construction, gives existence. We (me and Colin and you) should be able to give characterizations. D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

30 For the problem session: Completely normal elements Bonus Let α be k-normal and β be l-normal. There are many other properties we may want to know about, for example: Discuss the normality of αβ (if α 0-normal in F q n and β 0-normal in F q m with gcd(n, m) = 1, then αβ normal in F q nm). β is dual to α if Tr(α qi β qj ) = δ(i, j). If α is k-normal with dual β, what is β? When is Tr(α) k-normal of the subfield? Primitive, k-normal elements. Character sum arguments for primitive 1-normality in [HMPT 2013], but room to improve. And the big question: Express α = i,j α i,j and β = i,j α i,j. What can we say about αβ? Can we compute αβ (more) efficiently? D. Thomson (ACI at West Point) Linear algebra over finite fields WCNT / 15

Something about normal bases over finite fields

Something about normal bases over finite fields Something about normal bases over finite fields David Thomson Carleton University dthomson@math.carleton.ca WCNT, December 17, 2013 Existence and properties of k-normal elements over finite fields David

More information

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

Finite Fields. [Parts from Chapter 16. Also applications of FTGT] 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

More information

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

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

9. Finite fields. 1. Uniqueness

9. Finite fields. 1. Uniqueness 9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime

More information

Hilbert function, Betti numbers. Daniel Gromada

Hilbert function, Betti numbers. Daniel Gromada Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes

More information

Automorphisms and bases

Automorphisms and bases Chapter 5 Automorphisms and bases 10 Automorphisms In this chapter, we will once again adopt the viewpoint that a finite extension F = F q m of a finite field K = F q is a vector space of dimension m over

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Definitions Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

55 Separable Extensions

55 Separable Extensions 55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple

More information

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

CDM. Finite Fields. Klaus Sutner Carnegie Mellon University. Fall 2018 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

More information

Pencils of Quadratic Forms over Finite Fields

Pencils of Quadratic Forms over Finite Fields Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 2004 Pencils of Quadratic Forms over Finite Fields Robert W. Fitzgerald Southern Illinois University Carbondale,

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

arxiv: v1 [math.gr] 3 Feb 2019

arxiv: v1 [math.gr] 3 Feb 2019 Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpim-bonn.mpg.de Abstract We compute

More information

Permutation Polynomials over Finite Fields

Permutation Polynomials over Finite Fields Permutation Polynomials over Finite Fields Omar Kihel Brock University 1 Finite Fields 2 How to Construct a Finite Field 3 Permutation Polynomials 4 Characterization of PP Finite Fields Let p be a prime.

More information

ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N ( ) 451

ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N ( ) 451 ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 451 464 451 ON THE k-normal ELEMENTS AND POLYNOMIALS OVER FINITE FIELDS Mahmood Alizadeh Department of Mathematics Ahvaz Branch Islamic Azad University

More 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

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 Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after

More information

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

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

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

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields

More information

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

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

More information

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

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No

More information

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.

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. 1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

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.

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. The third exam will be on Monday, April 9, 013. The syllabus for Exam III is sections 1 3 of Chapter 10. Some of the main examples and facts from this material are listed below. If F is an extension field

More information

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

Finite Fields. Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13 Finite Fields Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13 Contents 1 Introduction 3 1 Group theory: a brief summary............................ 3 2 Rings and fields....................................

More information

1 Finite abelian groups

1 Finite abelian groups Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room

More information

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Finite Fields. Sophie Huczynska. Semester 2, Academic Year Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,

More information

MAT 535 Problem Set 5 Solutions

MAT 535 Problem Set 5 Solutions Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)

More information

THE HASSE DAVENPORT RELATION. F = F q. is an automorphism of F, and the group of automorphisms of F is the cyclic group of order r generated by σ p,

THE HASSE DAVENPORT RELATION. F = F q. is an automorphism of F, and the group of automorphisms of F is the cyclic group of order r generated by σ p, THE HASSE DAVENPORT RELATION 1. Environment: Field, Traces, Norms Let p be prime and let our ground field be F o = F p. Let q = p r for some r 1, and let the smaller of our two main fields be The map F

More information

Practice Algebra Qualifying Exam Solutions

Practice Algebra Qualifying Exam Solutions Practice Algebra Qualifying Exam Solutions 1. Let A be an n n matrix with complex coefficients. Define tr A to be the sum of the diagonal elements. Show that tr A is invariant under conjugation, i.e.,

More information

Polynomial and Inverse Forms

Polynomial and Inverse Forms Contemporary Mathematics Polynomial and Inverse Forms D. S. Passman Abstract. In a recent paper, this author studied invariant ideals in abelian group algebras under the action of certain infinite, locally

More information

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

ϕ : Z F : ϕ(t) = t 1 = 1. Finite Fields The first examples of finite fields are quotient fields of the ring of integers Z: let t > 1 and define Z /t = Z/(tZ) to be the ring of congruence classes of integers modulo t: in practical

More information

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

More information

38 Irreducibility criteria in rings of polynomials

38 Irreducibility criteria in rings of polynomials 38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m

More information

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

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

Math 121 Homework 6 Solutions

Math 121 Homework 6 Solutions Math 11 Homework 6 Solutions Problem 14. # 17. Let K/F be any finite extension and let α K. Let L be a Galois extension of F containing K and let H Gal(L/F ) be the subgroup corresponding to K. Define

More information

Algebraic Number Theory

Algebraic Number Theory TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for

More information

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

Galois Theory Overview/Example Part 1: Extension Fields. Overview: Galois Theory Overview/Example Part 1: Extension Fields I ll start by outlining very generally the way Galois theory works. Then, I will work through an example that will illustrate the Fundamental Theorem

More information

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

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

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.

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. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information

Cover Page. The handle holds various files of this Leiden University dissertation

Cover Page. The handle   holds various files of this Leiden University dissertation Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05

More information

[06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal.

[06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal. (January 14, 2009) [06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal. Let s give an algorithmic, rather than existential,

More information

Algebra Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions. Thomas Goller Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

More information

The most important result in this section is undoubtedly the following theorem.

The most important result in this section is undoubtedly the following theorem. 28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems

More information

M.6. Rational canonical form

M.6. Rational canonical form book 2005/3/26 16:06 page 383 #397 M.6. RATIONAL CANONICAL FORM 383 M.6. Rational canonical form In this section we apply the theory of finitely generated modules of a principal ideal domain to study the

More information

Field Theory Qual Review

Field Theory Qual Review Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

Quasi-cyclic codes. Jay A. Wood. Algebra for Secure and Reliable Communications Modeling Morelia, Michoacán, Mexico October 12, 2012

Quasi-cyclic codes. Jay A. Wood. Algebra for Secure and Reliable Communications Modeling Morelia, Michoacán, Mexico October 12, 2012 Quasi-cyclic codes Jay A. Wood Department of Mathematics Western Michigan University http://homepages.wmich.edu/ jwood/ Algebra for Secure and Reliable Communications Modeling Morelia, Michoacán, Mexico

More information

ALGEBRA 11: Galois theory

ALGEBRA 11: Galois theory Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For

More information

AN ALTERNATIVE APPROACH TO THE CONCEPT OF SEPARABILITY IN GALOIS THEORY arxiv: v1 [math.ac] 27 Sep 2017

AN ALTERNATIVE APPROACH TO THE CONCEPT OF SEPARABILITY IN GALOIS THEORY arxiv: v1 [math.ac] 27 Sep 2017 AN ALTERNATIVE APPROACH TO THE CONCEPT OF SEPARABILITY IN GALOIS THEORY arxiv:1709.09640v1 [math.ac] 27 Sep 2017 M. G. MAHMOUDI Abstract. The notion of a separable extension is an important concept in

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

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

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13 Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting

More information

Rational Canonical Form

Rational Canonical Form Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem May 2014 Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Table

More information

Finite fields: some applications Michel Waldschmidt 1

Finite fields: some applications Michel Waldschmidt 1 Ho Chi Minh University of Science HCMUS Update: 16/09/2013 Finite fields: some applications Michel Waldschmidt 1 Exercises We fix an algebraic closure F p of the prime field F p of characteristic p. When

More information

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

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

More information

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

More information

Galois Theory. Torsten Wedhorn. July 13, These lecture notes contain the final third of my lecture on abstract algebra.

Galois Theory. Torsten Wedhorn. July 13, These lecture notes contain the final third of my lecture on abstract algebra. Galois Theory Torsten Wedhorn July 13, 2015 These lecture notes contain the final third of my lecture on abstract algebra. Notation: If not otherwise stressed, all rings and all algebras are commutative.

More information

Further linear algebra. Chapter IV. Jordan normal form.

Further linear algebra. Chapter IV. Jordan normal form. Further linear algebra. Chapter IV. Jordan normal form. Andrei Yafaev In what follows V is a vector space of dimension n and B is a basis of V. In this chapter we are concerned with linear maps T : V V.

More information

Section V.7. Cyclic Extensions

Section V.7. Cyclic Extensions V.7. Cyclic Extensions 1 Section V.7. Cyclic Extensions Note. In the last three sections of this chapter we consider specific types of Galois groups of Galois extensions and then study the properties of

More information

Rings in Coding Theory

Rings in Coding Theory Rings in Coding Theory Steven T. Dougherty July 3, 2013 Cyclic Codes Cyclic Codes were first studied by Prange in 1957. Prange, E. Cyclic error-correcting codes in two symbols. Technical Note TN-57-103,

More information

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

More information

List of topics for the preliminary exam in algebra

List of topics for the preliminary exam in algebra List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.

More information

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA I want to cover Chapters VIII,IX,X,XII. But it is a lot of material. Here is a list of some of the particular topics that I will try to cover. Maybe I

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)

More information

Algebra Exam Topics. Updated August 2017

Algebra Exam Topics. Updated August 2017 Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have

More information

Section V.6. Separability

Section V.6. Separability V.6. Separability 1 Section V.6. Separability Note. Recall that in Definition V.3.10, an extension field F is a separable extension of K if every element of F is algebraic over K and every root of the

More information

NOTES IN COMMUTATIVE ALGEBRA: PART 2

NOTES IN COMMUTATIVE ALGEBRA: PART 2 NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they

More information

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

Determining the Galois group of a rational polynomial

Determining the Galois group of a rational polynomial JAH 1 Determining the Galois group of a rational polynomial Alexander Hulpke Department of Mathematics Colorado State University Fort Collins, CO, 80523 hulpke@math.colostate.edu http://www.math.colostate.edu/

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined

More information

4. Noether normalisation

4. Noether normalisation 4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

More information

QUALIFYING EXAM IN ALGEBRA August 2011

QUALIFYING EXAM IN ALGEBRA August 2011 QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring

More information

Page Points Possible Points. Total 200

Page Points Possible Points. Total 200 Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

More information

Rings and Fields Theorems

Rings and Fields Theorems Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

More information

Direction: You are required to complete this test by Monday (April 24, 2006). In order to

Direction: You are required to complete this test by Monday (April 24, 2006). In order to Test 4 April 20, 2006 Name Math 522 Student Number Direction: You are required to complete this test by Monday (April 24, 2006). In order to receive full credit, answer each problem completely and must

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0

More information

Keywords and phrases: Fundamental theorem of algebra, constructible

Keywords and phrases: Fundamental theorem of algebra, constructible Lecture 16 : Applications and Illustrations of the FTGT Objectives (1) Fundamental theorem of algebra via FTGT. (2) Gauss criterion for constructible regular polygons. (3) Symmetric rational functions.

More information

Ramification Theory. 3.1 Discriminant. Chapter 3

Ramification Theory. 3.1 Discriminant. Chapter 3 Chapter 3 Ramification Theory This chapter introduces ramification theory, which roughly speaking asks the following question: if one takes a prime (ideal) p in the ring of integers O K of a number field

More information

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free

More information

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

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

Course 2316 Sample Paper 1

Course 2316 Sample Paper 1 Course 2316 Sample Paper 1 Timothy Murphy April 19, 2015 Attempt 5 questions. All carry the same mark. 1. State and prove the Fundamental Theorem of Arithmetic (for N). Prove that there are an infinity

More information

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

Homework 4 Algebra. Joshua Ruiter. February 21, 2018 Homework 4 Algebra Joshua Ruiter February 21, 2018 Chapter V Proposition 0.1 (Exercise 20a). Let F L be a field extension and let x L be transcendental over F. Let K F be an intermediate field satisfying

More information

14 Ordinary and supersingular elliptic curves

14 Ordinary and supersingular elliptic curves 18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that

More information

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

(January 14, 2009) q n 1 q d 1. D = q n = q + d (January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)

More information

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution Johns Hopkins University, Department of Mathematics 110.40 Abstract Algebra - Spring 013 Midterm Exam Solution Instructions: This exam has 6 pages. No calculators, books or notes allowed. You must answer

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

Introduction to modules

Introduction to modules Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available

More information

1 The Galois Group of a Quadratic

1 The Galois Group of a Quadratic Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F

More information

GALOIS THEORY. Contents

GALOIS THEORY. Contents GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.

More information

HILBERT FUNCTIONS. 1. Introduction

HILBERT FUNCTIONS. 1. Introduction HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each

More information

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9 Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation

More information