Fine-grain decomposition of F q
|
|
- Erika Johnston
- 5 years ago
- Views:
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 David Thomson Carleton University dthomson@math.carleton.ca WCNT, December 17, 2013 Existence and properties of k-normal elements over finite fields David
More informationFinite 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 informationFields 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 information9. 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 informationHilbert 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 informationAutomorphisms 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 information1. 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 informationPart 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 information55 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 informationCDM. 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 informationPencils 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 informationFIELD 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 informationTC10 / 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 informationPublic-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 informationarxiv: 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 informationPermutation 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 informationITALIAN 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 informationMath 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 informationPart 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 informationbut 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 informationSelected 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 informationMATH 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 informationTHE 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 informationContradiction. 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 informationAlgebra 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 informationThe 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 informationFinite 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 information1 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 informationFinite 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 informationMAT 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 informationTHE 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 informationPractice 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 informationPolynomial 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 =
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 informationGEOMETRIC 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 information38 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 informationMath 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 informationAlgebra 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 informationMath 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 informationAlgebraic 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 informationGalois 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 informationSchool 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 informationTheorem 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 informationCover 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.
(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 informationAlgebra 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 informationThe 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 informationM.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 informationField 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 informationMATH 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 informationQuasi-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 informationALGEBRA 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 informationName: 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 informationAN 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 informationALGEBRA 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 informationExtension 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 informationRational 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 informationFinite 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 informationMATH 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 informationQ 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 informationGalois 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 informationFurther 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 informationSection 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 informationRings 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 informationSample 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 information18. 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 informationList 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 informationMATH 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 informationRepresentations 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 informationORAL 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 informationAlgebra 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 informationSection 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 informationNOTES 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 informationQuasi-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 informationALGEBRA 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 informationDetermining 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 informationINTRODUCTION 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 information4. 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 informationQUALIFYING 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 informationPage 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 informationRings 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 informationDirection: 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 informationMATH 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 informationKeywords 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 informationRamification 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 informationThus, 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 informationChapter 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 informationCourse 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 informationHomework 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 information14 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) [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 informationJohns 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 informationALGEBRAIC 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 informationADVANCED 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 informationGalois 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 informationIntroduction 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 information1 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 informationGALOIS 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 informationHILBERT 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 informationAlgebra 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