Review/Outline Review: Basic computations in finite fields Reed-Solomon codes Hamming codes Bose-Chaudhuri-Hocquengham (BCH) codes

Size: px
Start display at page:

Download "Review/Outline Review: Basic computations in finite fields Reed-Solomon codes Hamming codes Bose-Chaudhuri-Hocquengham (BCH) codes"

Transcription

1 Review/Outline Review: Basic computations in finite fiels Ree-Solomon coes Hamming coes Bose-Chauhuri-Hocquengham (BCH) coes Testing for irreucibility Frobenius automorphisms Other roots of equations Counting irreucibles Counting primitive polynomials New: Equation satisfie by fiel element 1

2 Counting irreucibles [0.0.1] Theorem: Let p be prime. Fix a egree. The number of irreucible monic (=leaing coefficient 1) polynomials of egree in F p [x] is p q p/q + q 1,q 2 p/q 1q 2... where q 1, q 2,... are istinct primes iviing. For example, in some simple cases: egree prime: p p = qr with q, r istinct primes: p qr p q p r + p qr = abc with a, b, c istinct primes: p abc p ab p ac p bc + p a + p b + p c p abc [0.0.2] Remark: The number of elements in the fiel, p, i not have to be prime, but only prime-power. 2

3 In more succinct (but possibly less transparent) notation: the number of irreucible polynomials of egree in F p [x] is i 0 ( 1)i i tuples q 1 <...<q i p /q 1...q i where for each i the i-tuples q 1 <... < q i runs over (istinct) primes iviing. Further examples: for = q 2 with q prime: for = q 3 with q prime: for = q 4 with q prime: p q2 p q q 2 p q3 p q2 q 3 p q4 p q3 q 3 [0.0.3] Remark: It may not be entirely obvious that these are non-negative integer values. 3

4 [0.0.4] Example: Fin the number of irreucible egree 2 polynomials with coefficients in F 2 : The formula above, in the case of prime egree, says that the number of irreucible egree polynomials with coefficients in F p is p p Here p = 2 an = 2, so the number of such is = 1 Inee, by trial an error we know it s x 2 + x

5 [0.0.5] Example: Number of irreucible egree 3 polynomials with coefficients in F 2 : The formula above, in the case of prime egree, says that the number of irreucible egree polynomials with coefficients in F p is p p Here p = 2 an = 3, so the number is = 2 Inee, by trial an error we know they re x 3 + x + 1 an x 3 + x

6 [0.0.6] Example: Irreucible egree 4 polynomials with coefficients in F 2 : The formula above, in the case of egree the square of a prime q, says that the number of irreucible egree polynomials with coefficients in F p is p q2 p q q 2 Here p = 2 an = 4, so q = 2, an the number of such is = 3 4 Again, by trial an error, we know they re x 4 + x + 1 x 4 + x an x 4 + x 3 + x 2 + x + 1 6

7 [0.0.7] Example: Number of irreucible egree 5 polynomials with coefficients in F 2 : The formula above, in the case of prime egree, says that the number of irreucible egree polynomials with coefficients in F p is p p Here p = 2 an = 5, so the number is = 6 [0.0.8] Example: Irreucible egree 6 polynomials with coefficients in F 2 : The formula says the number of irreucible egree = qr polynomials with coefficients in F p, with istinct primes q, r, is p qr p q p r + p qr Here p = 2, q = 2, r = 3 so the number is = 9 7

8 [0.0.9] Example: Fin the number of irreucible egree 2 polynomials with coefficients in F 3 : The formula above, in the case of prime egree, says that the number of irreucible egree polynomials with coefficients in F p is p p Here p = 3 an = 2, so the number of such is = 3 Inee, by trial an error they re x x 2 + x + 2 x 2 + 2x + 2 8

9 [0.0.10] Example: Number of irreucible egree 3 polynomials with coefficients in F 3 : The formula above, in the case of prime egree, says that the number of irreucible egree polynomials with coefficients in F p is p p Here p = 3 an = 3, so the number is = 8 [0.0.11] Example: Irreucible egree 4 polynomials with coefficients in F 3 : in the case of egree the square of a prime q, the number of irreucible egree polynomials with coefficients in F p is p q2 p q q 2 Here p = 3 an = 4, so q = 2, an the number is =

10 [0.0.12] Example: Fin the number of irreucible egree 7 polynomials with coefficients in F 3 : The formula above, in the case of prime egree, says that the number of irreucible egree polynomials with coefficients in F p is p p Here p = 3 an = 7, so the number of such is = 312 [0.0.13] Example: Fin the number of irreucible egree 6 polynomials with coefficients in F 3 : The formula above, in the case of egree = qr with primes q, r, says that the number of irreucible egree polynomials with coefficients in F p is p qr p q p r + p qr 10

11 Here p = 3 an = qr with q = 2 an r = 3, so the number of such is =

12 Euler s ϕ-function A convenient counting function is Euler s ϕ- function, or totient function ϕ(n) = no. t with 1 t n an gc(t, n) = 1 For example ϕ(2) = no.{1} = 1 ϕ(3) = no.{1, 2} = 2 ϕ(4) = no.{1, 3} = 2 ϕ(5) = no.{1, 2, 3, 4} = 4 ϕ(6) = no.{1, 5} = 2 ϕ(7) = no.{1, 2, 3, 4, 5, 6} = 6 ϕ(8) = no.{1, 3, 5, 7} = 4 [0.0.14] Remark: Do not compute ϕ(n) this way: o not enumerate the set to be counte. 12

13 [0.0.15] Theorem: Let n = p e pe t t be the factorization of n into primes, with p 1 <... < p t an all e i 1. Then ϕ(n) = (p 1 1)p e (p t 1)p e t 1 t [0.0.16] Examples: ϕ(10) = ϕ(2 5) = (2 1) (5 1) = 4 ϕ(12) = ϕ(2 2 3) = (2 1)2 (3 1) = 4 ϕ(15) = ϕ(3 5) = (3 1) (5 1) = 8 ϕ(30) = ϕ(2 3 5) = (2 1) (3 1) (5 1) = 8 ϕ(100) = ϕ( ) = (2 1)2 (5 1)5 = 40 [0.0.17] Remark: This formula fails if we cannot factor n (presumably ue to n being very large an having no small prime factors). 13

14 Counting primitives [0.0.18] Theorem: Let q be a prime power. Fix a egree. The number of primitive monic egree polynomials in F q [x] is ϕ(q 1) [0.0.19] Remark: It is completely unclear that the given expression is an integer. [0.0.20] Remark: We i not prove it, but it is true that primitive polynomials are necessarily irreucible: primitivity is a stronger conition than irreucibility. [0.0.21] Example: To count primitive monic egree 2 polynomials in F 2 [x], in the theorem = 2 an q = 2, giving no. prim. quaratics = ϕ(22 1) 2 = ϕ(3) (3 1) = = using also the formula for Euler s ϕ-function. 14

15 [0.0.22] Example: To count primitive monic egree 3 polynomials in F 2 [x], in the theorem = 3 an q = 2, giving no. prim. cubics = ϕ(23 1) 3 = ϕ(7) (7 1) = = using also the formula for Euler s ϕ-function (factoring by trial ivision). There are only two irreucible cubics x 3 + x + 1 an x 3 + x so they are necessarily primitive. [0.0.23] Example: To count primitive monic egree 4 polynomials in F 2 [x], in the theorem = 4 an q = 2, giving no. prim. quartics = ϕ(24 1) 4 = ϕ(15) (3 1)(5 1) = = using also the formula for Euler s ϕ-function (factoring by trial ivision). Of the 3 irreucible quartics x 4 + x + 1 an x 4 + x are primitive. 15

16 [0.0.24] Example: To count primitive monic egree 5 polynomials in F 2 [x], in the theorem = 5 an q = 2, giving no. prim. quintics = ϕ(25 1) 5 = ϕ(31) 5 = (31 1) 5 = 6 using also the formula for Euler s ϕ-function (31 is prime, by trial ivision). There are (2 5 2)/5 = 6 irreucibles, to every irreucible is primitive. Inee, generally, [0.0.25] Corollary: If q 1 is prime, then every irreucible monic egree polynomial in F q [x] is primitive (otherwise, there will be fewer primitives than irreucibles of a given egree). /// 16

17 [0.0.26] Example: To count primitive monic egree 6 polynomials in F 2 [x], in the theorem = 6 an q = 2, giving no. prim. sextics = ϕ(26 1) 6 = ϕ(63) 6 = (3 1)3 (7 1) 6 = 6 using the formula for Euler s ϕ-function, factoring 63 by trial ivision. [0.0.27] Example: To count primitive monic egree 7 polynomials in F 2 [x], in the theorem = 7 an q = 2, giving no. prim. sextics = ϕ(27 1) 6 = ϕ(127) 7 = (127 1) 7 = 18 using the formula for Euler s ϕ-function (127 is prime by trial ivision). 17

18 [0.0.28] Example: To count primitive monic egree 2 polynomials in F 3 [x], in the theorem = 2 an q = 3, giving no. prim. sextics = ϕ(32 1) 2 = ϕ(8) 2 = (2 1) = 2 using the formula for Euler s ϕ-function, factoring 8 by trial ivision. Among the 3 irreucible quaratics x 2 + 1, x 2 +x+2, x 2 +2 here, which is the non-primitive one? For P (x) = x 2 + 2, note that x 2 = (x 2 + 2) + 1 = 1 mo P (x) so x has orer just 2 mo P (x), not the maximal possible, namely = 8. So x is the non-primitive one. 18

19 [0.0.29] Example: To count primitive monic egree 3 polynomials in F 3 [x], in the theorem = 3 an q = 3, giving no. prim. cubics = ϕ(33 1) 3 = ϕ(26) 3 = (2 1) (13 1) 3 = 4 using the formula for Euler s ϕ-function (factoring by trial ivision). [0.0.30] Remark: If we believe the formula, then there really are primitive polynomials of all egrees. 19

Review/Outline Frobenius automorphisms Other roots of equations. Counting irreducibles Counting primitive polynomials

Review/Outline Frobenius automorphisms Other roots of equations. Counting irreducibles Counting primitive polynomials Review/Outline Frobenius automorphisms Other roots of equations Counting irreducibles Counting primitive polynomials Finding equation with given root Irreducible binary quintics 1 Counting irreducibles

More information

Stable Polynomials over Finite Fields

Stable Polynomials over Finite Fields Rev. Mat. Iberoam., 1 14 c European Mathematical Society Stable Polynomials over Finite Fiels Domingo Gómez-Pérez, Alejanro P. Nicolás, Alina Ostafe an Daniel Saornil Abstract. We use the theory of resultants

More information

Two formulas for the Euler ϕ-function

Two formulas for the Euler ϕ-function Two formulas for the Euler ϕ-function Robert Frieman A multiplication formula for ϕ(n) The first formula we want to prove is the following: Theorem 1. If n 1 an n 2 are relatively prime positive integers,

More information

Zachary Scherr Math 503 HW 5 Due Friday, Feb 26

Zachary Scherr Math 503 HW 5 Due Friday, Feb 26 Zachary Scherr Math 503 HW 5 Due Friay, Feb 26 1 Reaing 1. Rea Chapter 9 of Dummit an Foote 2 Problems 1. 9.1.13 Solution: We alreay know that if R is any commutative ring, then R[x]/(x r = R for any r

More information

Continuing discussion of CRC s, especially looking at two-bit errors

Continuing discussion of CRC s, especially looking at two-bit errors Continuing discussion of CRC s, especially looking at two-bit errors The definition of primitive binary polynomials Brute force checking for primitivity A theorem giving a better test for primitivity Fast

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

Week 1: Number Theory - Euler Phi Function, Order and Primitive Roots. 1 Greatest Common Divisor and the Euler Phi Function

Week 1: Number Theory - Euler Phi Function, Order and Primitive Roots. 1 Greatest Common Divisor and the Euler Phi Function 2010 IMO Summer Training: Number Theory 1 Week 1: Number Theory - Euler Phi Function, Orer an Primitive Roots 1 Greatest Common Divisor an the Euler Phi Function Consier the following problem. Exercise

More information

LEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS

LEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS Ann. Sci. Math. Québec 33 (2009), no 2, 115 123 LEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS TAKASHI AGOH Deicate to Paulo Ribenboim on the occasion of his 80th birthay. RÉSUMÉ.

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

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

Proof: Let the check matrix be

Proof: Let the check matrix be Review/Outline Recall: Looking for good codes High info rate vs. high min distance Want simple description, too Linear, even cyclic, plausible Gilbert-Varshamov bound for linear codes Check matrix criterion

More information

Fundamental Theorem of Algebra

Fundamental Theorem of Algebra EE 387, Notes 13, Handout #20 Fundamental Theorem of Algebra Lemma: If f(x) is a polynomial over GF(q) GF(Q), then β is a zero of f(x) if and only if x β is a divisor of f(x). Proof: By the division algorithm,

More information

Primes in arithmetic progressions

Primes in arithmetic progressions (September 26, 205) Primes in arithmetic progressions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 205-6/06 Dirichlet.pdf].

More information

Multiplicative properties of sets of residues

Multiplicative properties of sets of residues Multiplicative properties of sets of resiues C. Pomerance Hanover an A. Schinzel Warszawa Abstract: We conjecture that for each natural number n, every set of resiues mo n of carinality at least n/2 contains

More information

1 Rabin Squaring Function and the Factoring Assumption

1 Rabin Squaring Function and the Factoring Assumption COMS W461 Introduction to Cryptography October 11, 005 Lecture 11: Introduction to Cryptography Lecturer: Tal Malkin Scribes: Kate McCarthy, Adam Vartanian Summary In this lecture we will prove that Rabin

More information

CHARACTERIZATION OF PSL(3,Q) BY NSE

CHARACTERIZATION OF PSL(3,Q) BY NSE CHARACTERIZATION OF PSL(,Q) BY NSE S. ASGARY an N. AHANJIDEH Communicate by Alexanru Buium Let G be a group an π e(g) be the set of element orers of G. Suppose that k π e(g) an m k is the number of elements

More information

Algebraic Cryptography Exam 2 Review

Algebraic Cryptography Exam 2 Review Algebraic Cryptography Exam 2 Review You should be able to do the problems assigned as homework, as well as problems from Chapter 3 2 and 3. You should also be able to complete the following exercises:

More information

ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS

ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS MARK SCHACHNER Abstract. When consiere as an algebraic space, the set of arithmetic functions equippe with the operations of pointwise aition an

More information

Twisted Tensor Product Codes

Twisted Tensor Product Codes Twisted Tensor Product Codes Anton Betten Department of Mathematics Colorado State University October, 2007 Abstract Two families of constacyclic codes with large automorphism groups will be presented.

More information

Classification of Finite Fields

Classification of Finite Fields Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.

More information

Multiplicative properties of sets of residues

Multiplicative properties of sets of residues Multiplicative properties of sets of resiues C. Pomerance Hanover an A. Schinzel Warszawa Abstract: Given a natural number n, we ask whether every set of resiues mo n of carinality at least n/2 contains

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

SOLVING SOLVABLE QUINTICS. D. S. Dummit

SOLVING SOLVABLE QUINTICS. D. S. Dummit D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if

More information

5 Group theory. 5.1 Binary operations

5 Group theory. 5.1 Binary operations 5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald)

Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) 1 Euclid s Algorithm Euclid s Algorithm for computing the greatest common divisor belongs to the oldest known computing procedures

More information

A 2-error Correcting Code

A 2-error Correcting Code A 2-error Correcting Code Basic Idea We will now try to generalize the idea used in Hamming decoding to obtain a linear code that is 2-error correcting. In the Hamming decoding scheme, the parity check

More information

Garrett Z p. Few explicit parametrizations of algebraic closures of fields are known: not Q, for sure. But we do also know

Garrett Z p. Few explicit parametrizations of algebraic closures of fields are known: not Q, for sure. But we do also know Garrett 0-2-20 Examples (cont d): Function fields in one variable... as algebraic parallels to Z and Q. Theorem: All finite field extensions of C((X z)) are by adjoining solutions to Y e = X z for e =

More information

I216e Discrete Math (for Review)

I216e Discrete Math (for Review) I216e Discrete Math (for Review) Nov 22nd, 2017 To check your understanding. Proofs of do not appear in the exam. 1 Monoid Let (G, ) be a monoid. Proposition 1 Uniquness of Identity An idenity e is unique,

More information

Chapter 5. Factorization of Integers

Chapter 5. Factorization of Integers Chapter 5 Factorization of Integers 51 Definition: For a, b Z we say that a ivies b (or that a is a factor of b, or that b is a multiple of a, an we write a b, when b = ak for some k Z 52 Theorem: (Basic

More information

Witt#5: Around the integrality criterion 9.93 [version 1.1 (21 April 2013), not completed, not proofread]

Witt#5: Around the integrality criterion 9.93 [version 1.1 (21 April 2013), not completed, not proofread] Witt vectors. Part 1 Michiel Hazewinkel Sienotes by Darij Grinberg Witt#5: Aroun the integrality criterion 9.93 [version 1.1 21 April 2013, not complete, not proofrea In [1, section 9.93, Hazewinkel states

More information

Surjectivity and equidistribution of the word x a y b on P SL(2, q) and SL(2, q)

Surjectivity and equidistribution of the word x a y b on P SL(2, q) and SL(2, q) Surjectivity an equiistribution of the wor x a y b on P SL(2, q) an SL(2, q) Tatiana BANDMAN an Shelly GARION Institut es Hautes Étues Scientifiques 5, route e Chartres 91440 Bures-sur-Yvette (France)

More information

Zachary Scherr Math 503 HW 3 Due Friday, Feb 12

Zachary Scherr Math 503 HW 3 Due Friday, Feb 12 Zachary Scherr Math 503 HW 3 Due Friay, Feb 1 1 Reaing 1. Rea sections 7.5, 7.6, 8.1 of Dummit an Foote Problems 1. DF 7.5. Solution: This problem is trivial knowing how to work with universal properties.

More information

Coding Theory ( Mathematical Background I)

Coding Theory ( Mathematical Background I) N.L.Manev, Lectures on Coding Theory (Maths I) p. 1/18 Coding Theory ( Mathematical Background I) Lector: Nikolai L. Manev Institute of Mathematics and Informatics, Sofia, Bulgaria N.L.Manev, Lectures

More information

Multiplicative properties of sets of residues

Multiplicative properties of sets of residues Multiplicative properties of sets of resiues C. Pomerance Hanover an A. Schinzel Warszawa Abstract: We conjecture that for each natural number n, every set of resiues mo n of carinality at least n/2 contains

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

Homework 5 Solutions

Homework 5 Solutions Homewor 5 Solutions Enrique Treviño October 10, 2014 1 Chater 5 Problem 1. Exercise 1 Suose that G is a finite grou with an element g of orer 5 an an element h of orer 7. Why must G 35? Solution 1. Let

More information

Higher-Degree Polynomial Functions. Polynomials. Polynomials

Higher-Degree Polynomial Functions. Polynomials. Polynomials Higher-Degree Polynomial Functions 1 Polynomials A polynomial is an expression that is constructed from one or more variables and constants, using only the operations of addition, subtraction, multiplication,

More information

2030 LECTURES. R. Craigen. Inclusion/Exclusion and Relations

2030 LECTURES. R. Craigen. Inclusion/Exclusion and Relations 2030 LECTURES R. Craigen Inclusion/Exclusion and Relations The Principle of Inclusion-Exclusion 7 ROS enumerates the union of disjoint sets. What if sets overlap? Some 17 out of 30 students in a class

More information

Implementation of Theorems in D.S. Dummit s Solving Solvable Quintics(1991)

Implementation of Theorems in D.S. Dummit s Solving Solvable Quintics(1991) Implementation of Theorems in D.S. Dummit s Solving Solvable Quintics(1991) Matthew Moore June 0, 005 Abstract In D.S. Dummit s 1991 paper, Solving Solvable Quintics, two theorems are introduced. The first

More information

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a Math 4161 Dr. Franz Rothe December 9, 2013 13FALL\4161_fall13f.tex Name: Use the back pages for extra space Final 70 70 Problem 1. The following assertions may be true or false, depending on the choice

More information

Constructing Tower Extensions of Finite Fields for Implementation of Pairing-Based Cryptography

Constructing Tower Extensions of Finite Fields for Implementation of Pairing-Based Cryptography Constructing Tower Extensions of Finite Fields for Implementation of Pairing-Based Cryptography Naomi Benger and Michael Scott, 1 School of Computing, Dublin City University, Ireland nbenger@computing.dcu.ie

More information

LINEAR DIFFERENTIAL EQUATIONS OF ORDER 1. where a(x) and b(x) are functions. Observe that this class of equations includes equations of the form

LINEAR DIFFERENTIAL EQUATIONS OF ORDER 1. where a(x) and b(x) are functions. Observe that this class of equations includes equations of the form LINEAR DIFFERENTIAL EQUATIONS OF ORDER 1 We consier ifferential equations of the form y + a()y = b(), (1) y( 0 ) = y 0, where a() an b() are functions. Observe that this class of equations inclues equations

More information

G Solution (10 points) Using elementary row operations, we transform the original generator matrix as follows.

G Solution (10 points) Using elementary row operations, we transform the original generator matrix as follows. EE 387 October 28, 2015 Algebraic Error-Control Codes Homework #4 Solutions Handout #24 1. LBC over GF(5). Let G be a nonsystematic generator matrix for a linear block code over GF(5). 2 4 2 2 4 4 G =

More information

Field Theory Problems

Field Theory Problems Field Theory Problems I. Degrees, etc. 1. Answer the following: (a Find u R such that Q(u = Q( 2, 3 5. (b Describe how you would find all w Q( 2, 3 5 such that Q(w = Q( 2, 3 5. 2. If a, b K are algebraic

More information

FACTORIZATION OF IDEALS

FACTORIZATION OF IDEALS FACTORIZATION OF IDEALS 1. General strategy Recall the statement of unique factorization of ideals in Dedekind domains: Theorem 1.1. Let A be a Dedekind domain and I a nonzero ideal of A. Then there are

More information

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

More information

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

More information

On colour-blind distinguishing colour pallets in regular graphs

On colour-blind distinguishing colour pallets in regular graphs J Comb Optim (2014 28:348 357 DOI 10.1007/s10878-012-9556-x On colour-blin istinguishing colour pallets in regular graphs Jakub Przybyło Publishe online: 25 October 2012 The Author(s 2012. This article

More information

Lenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania Daniel White

Lenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania Daniel White #A10 INTEGERS 1A (01): John Selfrige Memorial Issue SIERPIŃSKI NUMBERS IN IMAGINARY QUADRATIC FIELDS Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.eu

More information

Number Theory. CSS322: Security and Cryptography. Sirindhorn International Institute of Technology Thammasat University CSS322. Number Theory.

Number Theory. CSS322: Security and Cryptography. Sirindhorn International Institute of Technology Thammasat University CSS322. Number Theory. CSS322: Security and Cryptography Sirindhorn International Institute of Technology Thammasat University Prepared by Steven Gordon on 29 December 2011 CSS322Y11S2L06, Steve/Courses/2011/S2/CSS322/Lectures/number.tex,

More information

A check digit system over a group of arbitrary order

A check digit system over a group of arbitrary order 2013 8th International Conference on Communications an Networking in China (CHINACOM) A check igit system over a group of arbitrary orer Yanling Chen Chair of Communication Systems Ruhr University Bochum

More information

COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS

COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS JOHN KOPPER 1. Introduction Given an arbitrary irreducible polynomial f with rational coefficients it is difficult to determine the Galois group

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

(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

COUNTING SEPARABLE POLYNOMIALS IN Z/n[x]

COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] JASON K.C. POLAK Abstract. For a commutative ring R, a polynomial f R[x] is called separable if R[x]/f is a separable R-algebra. We derive formulae for the number

More information

NEERAJ KUMAR AND K. SENTHIL KUMAR. 1. Introduction. Theorem 1 motivate us to ask the following:

NEERAJ KUMAR AND K. SENTHIL KUMAR. 1. Introduction. Theorem 1 motivate us to ask the following: NOTE ON VANISHING POWER SUMS OF ROOTS OF UNITY NEERAJ KUMAR AND K. SENTHIL KUMAR Abstract. For xe positive integers m an l, we give a complete list of integers n for which their exist mth complex roots

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

Number Theory. D. V. Chudnovsky G. V. Chudnovsky H. Cohn M. B. Nathanson Editors. New York Seminar With 14 Figures

Number Theory. D. V. Chudnovsky G. V. Chudnovsky H. Cohn M. B. Nathanson Editors. New York Seminar With 14 Figures D. V. Chunovsky G. V. Chunovsky H. Cohn M. B. Nathanson Eitors Number Theory New York Seminar 1989-1990 With 14 Figures Springer-Verlag New York Berlin Heielberg Lonon Paris Tokyo Hong Kong Barcelona c

More information

Number Theory and Algebra: A Brief Introduction

Number Theory and Algebra: A Brief Introduction Number Theory and Algebra: A Brief Introduction Indian Statistical Institute Kolkata May 15, 2017 Elementary Number Theory: Modular Arithmetic Definition Let n be a positive integer and a and b two integers.

More information

#A26 INTEGERS 10 (2010), ON CONGRUENCE CONDITIONS FOR PRIMALITY

#A26 INTEGERS 10 (2010), ON CONGRUENCE CONDITIONS FOR PRIMALITY #A6 INTEGERS 10 (010), 313-317 ON CONGRUENCE CONDITIONS FOR PRIMALITY Sherry Gong Departments of Mathematics and Physics, Harvard University sgong@fas.harvard.edu Scott Duke Kominers 1 Department of Economics,

More information

(b)complete the table to show where the function is positive (above the x axis) or negative (below the x axis) for each interval.

(b)complete the table to show where the function is positive (above the x axis) or negative (below the x axis) for each interval. Lesson 3.4 Graph and Equation of Polynomial Functions Part A: Graph of a Polynomial Function the x intercepts of the graph the zeros of the function the roots of the equation Multiplicity (of a zero) A

More information

USA Mathematics Talent Search

USA Mathematics Talent Search ID#: 036 16 4 1 We begin by noting that a convex regular polygon has interior angle measures (in degrees) that are integers if and only if the exterior angle measures are also integers. Since the sum of

More information

The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.

The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct

More information

Self-Dual Cyclic Codes

Self-Dual Cyclic Codes Self-Dual Cyclic Codes Bas Heijne November 29, 2007 Definitions Definition Let F be the finite field with two elements and n a positive integer. An [n, k] (block)-code C is a k dimensional linear subspace

More information

Lecture 12: November 6, 2013

Lecture 12: November 6, 2013 Information an Coing Theory Autumn 204 Lecturer: Mahur Tulsiani Lecture 2: November 6, 203 Scribe: Davi Kim Recall: We were looking at coes of the form C : F k q F n q, where q is prime, k is the message

More information

Each aix i is called a term of the polynomial. The number ai is called the coefficient of x i, for i = 0, 1, 2,..., n.

Each aix i is called a term of the polynomial. The number ai is called the coefficient of x i, for i = 0, 1, 2,..., n. Polynomials of a single variable. A monomial in a single variable x is a function P(x) = anx n, where an is a non-zero real number and n {0, 1, 2, 3,...}. Examples are 3x 2, πx 8 and 2. A polynomial in

More information

COMS W4995 Introduction to Cryptography September 29, Lecture 8: Number Theory

COMS W4995 Introduction to Cryptography September 29, Lecture 8: Number Theory COMS W4995 Introduction to Cryptography September 29, 2005 Lecture 8: Number Theory Lecturer: Tal Malkin Scribes: Elli Androulaki, Mohit Vazirani Summary This lecture focuses on some basic Number Theory.

More information

Number Theory Alex X. Liu & Haipeng Dai

Number Theory Alex X. Liu & Haipeng Dai Number Theory Alex X. Liu & Haipeng Dai haipengdai@nju.edu.cn 313 CS Building Department of Computer Science and Technology Nanjing University How to compute gcd(x,y) Observation: gcd(x,y) = gcd(x-y, y)

More information

On the enumeration of partitions with summands in arithmetic progression

On the enumeration of partitions with summands in arithmetic progression AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 8 (003), Pages 149 159 On the enumeration of partitions with summans in arithmetic progression M. A. Nyblom C. Evans Department of Mathematics an Statistics

More information

Complete the following table using the equation and graphs given:

Complete the following table using the equation and graphs given: L2 1.2 Characteristics of Polynomial Functions Lesson MHF4U Jensen In section 1.1 we looked at power functions, which are single-term polynomial functions. Many polynomial functions are made up of two

More information

7. Localization. (d 1, m 1 ) (d 2, m 2 ) d 3 D : d 3 d 1 m 2 = d 3 d 2 m 1. (ii) If (d 1, m 1 ) (d 1, m 1 ) and (d 2, m 2 ) (d 2, m 2 ) then

7. Localization. (d 1, m 1 ) (d 2, m 2 ) d 3 D : d 3 d 1 m 2 = d 3 d 2 m 1. (ii) If (d 1, m 1 ) (d 1, m 1 ) and (d 2, m 2 ) (d 2, m 2 ) then 7. Localization To prove Theorem 6.1 it becomes necessary to be able to a enominators to rings (an to moules), even when the rings have zero-ivisors. It is a tool use all the time in commutative algebra,

More information

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in

More information

THE MONIC INTEGER TRANSFINITE DIAMETER

THE MONIC INTEGER TRANSFINITE DIAMETER MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000 000 S 005-578(XX)0000-0 THE MONIC INTEGER TRANSFINITE DIAMETER K. G. HARE AND C. J. SMYTH ABSTRACT. We stuy the problem of fining nonconstant monic

More information

Conjugacy classes of torsion in GL_n(Z)

Conjugacy classes of torsion in GL_n(Z) Electronic Journal of Linear Algebra Volume 30 Volume 30 (2015) Article 32 2015 Conjugacy classes of torsion in GL_n(Z) Qingjie Yang Renmin University of China yangqj@ruceducn Follow this and additional

More information

ON BEAUVILLE STRUCTURES FOR PSL(2, q)

ON BEAUVILLE STRUCTURES FOR PSL(2, q) ON BEAUVILLE STRUCTURES FOR PSL(, q) SHELLY GARION Abstract. We characterize Beauville surfaces of unmixe type with group either PSL(, p e ) or PGL(, p e ), thus extening previous results of Bauer, Catanese

More information

A Note on Modular Partitions and Necklaces

A Note on Modular Partitions and Necklaces A Note on Moular Partitions an Neclaces N. J. A. Sloane, Rutgers University an The OEIS Founation Inc. South Aelaie Avenue, Highlan Par, NJ 08904, USA. Email: njasloane@gmail.com May 6, 204 Abstract Following

More information

A Few Primality Testing Algorithms

A Few Primality Testing Algorithms A Few Primality Testing Algorithms Donald Brower April 2, 2006 0.1 Introduction These notes will cover a few primality testing algorithms. There are many such, some prove that a number is prime, others

More information

1 Structure of Finite Fields

1 Structure of Finite Fields T-79.5501 Cryptology Additional material September 27, 2005 1 Structure of Finite Fields This section contains complementary material to Section 5.2.3 of the text-book. It is not entirely self-contained

More information

NUMBER FIELDS WITHOUT SMALL GENERATORS

NUMBER FIELDS WITHOUT SMALL GENERATORS NUMBER FIELDS WITHOUT SMALL GENERATORS JEFFREY D. VAALER AND MARTIN WIDMER Abstract. Let D > be an integer, and let b = b(d) > be its smallest divisor. We show that there are infinitely many number fields

More information

A Note on Irreducible Polynomials and Identity Testing

A Note on Irreducible Polynomials and Identity Testing A Note on Irrecible Polynomials an Ientity Testing Chanan Saha Department of Compter Science an Engineering Inian Institte of Technology Kanpr Abstract We show that, given a finite fiel F q an an integer

More information

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

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

More information

A Guide to Arithmetic

A Guide to Arithmetic A Guide to Arithmetic Robin Chapman August 5, 1994 These notes give a very brief resumé of my number theory course. Proofs and examples are omitted. Any suggestions for improvements will be gratefully

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

SOME FIFTH ROOTS THAT ARE CONSTRUCTIBLE BY MARKED RULER AND COMPASS

SOME FIFTH ROOTS THAT ARE CONSTRUCTIBLE BY MARKED RULER AND COMPASS ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 3, 2016 SOME FIFTH ROOTS THAT ARE CONSTRUCTIBLE BY MARKED RULER AND COMPASS ELLIOT BENJAMIN AND C. SNYDER ABSTRACT. We show that there are cubic

More information

Necklaces Pólya s Enumeration Theorem. Pólya Counting I. Gordon Royle. Semester 1, 2004

Necklaces Pólya s Enumeration Theorem. Pólya Counting I. Gordon Royle. Semester 1, 2004 Semester 1, 2004 George Pólya (1887 1985) George Polya discovered a powerful general method for enumerating the number of orbits of a group on particular configurations. This method became known as the

More information

ARML Sample Tryout Questions A - 1 A - 2 C - 1 C - 2

ARML Sample Tryout Questions A - 1 A - 2 C - 1 C - 2 ARML Sample Tryout Questions A - 1 Let N be a three-igit base ten integer whose mile igit is 0. N is a multiple of an N the quotient equals the sum of the squares of the igits of N. Compute N. A - If the

More information

A Primer on Sizes of Polynomials. and an Important Application

A Primer on Sizes of Polynomials. and an Important Application A Primer on Sizes of Polynomials and an Important Application Suppose p is a prime number. By the Fundamental Theorem of Arithmetic unique factorization of integers), every non-zero integer n can be uniquely

More information

A Look at the ABC Conjecture via Elliptic Curves

A Look at the ABC Conjecture via Elliptic Curves A Look at the ABC Conjecture via Elliptic Curves Nicole Cleary Brittany DiPietro Alexaner Hill Gerar D.Koffi Beihua Yan Abstract We stuy the connection between elliptic curves an ABC triples. Two important

More information

On a Sequence of Nonsolvable Quintic Polynomials

On a Sequence of Nonsolvable Quintic Polynomials 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 1 (009), Article 09..8 On a Sequence of Nonsolvable Quintic Polynomials Jennifer A. Johnstone and Blair K. Spearman 1 Mathematics and Statistics University

More information

CPSC 467b: Cryptography and Computer Security

CPSC 467b: Cryptography and Computer Security CPSC 467b: Cryptography and Computer Security Michael J. Fischer Lecture 9 February 14, 2013 CPSC 467b, Lecture 9 1/42 Integer Division (cont.) Relatively prime numbers, Z n, and φ(n) Computing in Z n

More information

CSCE 564, Fall 2001 Notes 6 Page 1 13 Random Numbers The great metaphysical truth in the generation of random numbers is this: If you want a function

CSCE 564, Fall 2001 Notes 6 Page 1 13 Random Numbers The great metaphysical truth in the generation of random numbers is this: If you want a function CSCE 564, Fall 2001 Notes 6 Page 1 13 Random Numbers The great metaphysical truth in the generation of random numbers is this: If you want a function that is reasonably random in behavior, then take any

More information

: Error Correcting Codes. November 2017 Lecture 2

: Error Correcting Codes. November 2017 Lecture 2 03683072: Error Correcting Codes. November 2017 Lecture 2 Polynomial Codes and Cyclic Codes Amnon Ta-Shma and Dean Doron 1 Polynomial Codes Fix a finite field F q. For the purpose of constructing polynomial

More information

Spectral Modular Arithmetic for Binary Extension Fields

Spectral Modular Arithmetic for Binary Extension Fields 2011 International Conference on Information an Computer Networks (ICICN 2011) Spectral Moular Arithmetic for Binary Extension Fiels Gokay Salamli MIS epartment, Bogazici University 34342 Bebek, Istanbul,

More information

Chinese Remainder Theorem explained with rotations

Chinese Remainder Theorem explained with rotations Chinese Remainder Theorem explained with rotations Reference: Antonella Perucca, The Chinese Remainder Clock, The College Mathematics Journal, 2017, Vol. 48, No. 2, pp. 82-89. 2 One step-wise rotation

More information

On more bent functions from Dillon exponents

On more bent functions from Dillon exponents AAECC DOI 10.1007/s0000-015-058-3 ORIGINAL PAPER On more bent functions from Dillon exponents Long Yu 1 Hongwei Liu 1 Dabin Zheng Receive: 14 April 014 / Revise: 14 March 015 / Accepte: 4 March 015 Springer-Verlag

More information

Krull Dimension and Going-Down in Fixed Rings

Krull Dimension and Going-Down in Fixed Rings David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =

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

ECEN 5022 Cryptography

ECEN 5022 Cryptography Elementary Algebra and Number Theory University of Colorado Spring 2008 Divisibility, Primes Definition. N denotes the set {1, 2, 3,...} of natural numbers and Z denotes the set of integers {..., 2, 1,

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