Chapter 2. Finite Fields (Chapter 3 in the text)

Size: px
Start display at page:

Download "Chapter 2. Finite Fields (Chapter 3 in the text)"

Transcription

1 Chater 2. Fiite Fields (Chater 3 i the tet 1. Grou Structures 2. Costructios of Fiite Fields GF(2 ad GF( 3. Basic Theory of Fiite Fields 4. The Miimal Polyomials 5. Trace Fuctios 6. Subfields

2 1. Grou Structures - Grous ad Cyclic Grous - Rigs ad Fields Defiitio 1 A grou is a set G together with a biary oeratio o G such that the followig three roerties hold: (i is associative; that is, for ay a, b, c G, a(bc=(abc. (iii For each a G, there eists a iverse elemet a -1 G such that a a -1 = a -1 a = e. (ii There is a idetity or (uity elemet e i G such that for all a G, ae = ea = a. Sometimes, we deote the grou as a trile (G,, e. If the grou also satisfies (iv For all a, b G, ab = ba, the the grou is called abelia or Gog 2

3 Eamle 1 Let Z, the set cosistig of all itegers Q, the set of all ratioal umbers + ad are ordiary additio ad multilicatio. The (Z, +, 0 (Q, +, 0 (Q*,, 1 are all grous where Q* is the all ozero ratioal umbers. Furthermore, they are abelia. How about (Z*,, Gog 3

4 Oe of the most imortat structures i cryto: Residues modulo. Let be a ositive iteger (>1 ad Z rereset the set of remaider of all itegers o divisio, i.e., Z = {0, 1, 2,..., -1}. We defie a + b ad ab the ordiary sum ad roduct of a ad b reduced by modulo, resectively. Let Proositio 1 (a (Z, +, 0 forms a grou, (b (Z *,, 1 forms a grou for ay rime. Z * = {a Z a! Gog 4

5 b = a i Defiitio 2 A multilicative grou G is said to be cyclic if there is a elemet a G such that for ay b G there is some iteger i with b = a i. Such a elemet a is called a geerator of the cyclic grou, ad we write G = <a>. G 1 a a 3 a Gog 5

6 Eamles (Z 6, +, 0, cyclic grou with geerators 1 ad 5. (Z 3 *,, 1, cyclic grou with geerator 2. Z 3 * ={1, 2} = <2> ={2 0 = 1, 2}, 2 2 = 1 mod 3. (Z 7 *,, 1, cyclic grou, 3 is a geerator: 3 1 = 3, 3 2 = 2, 3 3 = 6, 3 4 = 4, 3 5 = 5, 3 6 = 1 mod 7 However, 2 3 =1 mod 7. Thus 2 is ot a geerator of Z 7 *. (Z 5 *,, 1, cyclic grou, 2 is a geerator. 2 1 = 2, 2 2 = 4, 2 3 = 3, 2 4 = 1 mod 5, thus Z 5 * = <2>. i.e., every elemet i Z 5 * ca be writte ito a ower of Gog 6

7 Fiite Grou Defiitio 3 A grou is called fiite if it cotais fiite may elemets. The umber of elemets i G is called the order of G, deoted as Gog 7

8 E.g. - (Z, +,, (Q, +, are rigs. - (Z, +, forms a rig, called the residue class rig modulo. - (Z 4, +, is a rig. Defiitio 4 A rig (R, +, is a set R, together with two biary oeratios, deoted by + ad, such that: (i R is a abelia grou with resect to +. (ii is associative, that is, (a b c=a (b c for all a, b, c R. (iii The distributive laws hold; that is, for all a, b, c R, we have a (b + c = a b + a c ad (b + c a = b a + c a. Rigs ad Gog 8

9 Let (F, +, be a rig, ad let F* = {a F a! 0}, the set of elemets of F that are o zero. Defiitio 6 A fiite field is a field that cotais a fiite umber of elemets, this umber is called the order of the field. Fiite fields are called Galois fields after their discoverer. E. g. (Q, +,, (R, +, ad (C, +, are fields where R is the set of all real umbers, ad C, the set of all comle umbers. Defiitio 5 A field is a rig (F, +, such that F* together the multilicatio forms a commutative grou. (Z 2, +, forms a fiite field Proositio 2 Let be a rime, the (Z, +, is a fiite field with order. This field is deoted as GF( Gog 9

10 2 Costructios of Fiite Fields GF(2 ad GF( Ste 1 Select, a ositive iteger ad a rime. Ste 2 Choose that f( is a irreducible olyomial over GF( of degree. Ste 3 We agree that is a elemet that satisfies f( = 0. Let For two elemets g(, h( i GF(, we write g( = a 0 + a a -1-1 ad h( = b 0 + b b Additio: g( + h( = (a 0 + b 0 + (a 1 +b (a -1 + b -1-1 Multilicatio: g(h( = r( where r( is the remaider of g(h( divided by f(. GF ( = 1 { a0 + a1 + L + a 1 a GF ( } Gog 10

11 Eamle 7. Let = 2 ad f( = The f( is irreducible over GF(2. Let be a root of f(, i.e., f( = 0. The fiite field GF(2 3 is defied by GF(2 3 = {a 0 + a 1 + a 2 2 a i GF(2}. Table 1. GF(2 3, defied by f( = ad f( = 0. As a 3-tule As a olyomial As a ower of 000 = 001 = 0 1 = 0 = = = 100 = 2 = = 1 + = = + 2 = = = = = 6 7 = Gog 11

12 Additio: Comutatio i GF(2 3 : g( + h( = (1 + + ( + 2 Multilicatio: We take g( = 1+ ad h( = + 2. = GF(2 3 g(h( = (1 + ( + 2 = = = + 3 = 1 (sice = 0. O the other had, g( = 1+ = 3 ad h( = + 2 = 4 We may comute the roduct of g( ad h( as follows g(h( = 3 4 = 7 = Gog 12

13 3 Basic Theory of Fiite Fields A. Primitive Elemets ad Primitive Polyomials!!! Fact 1 For ay fiite field F, its multilicative grou F *, the set of o zero elemet of F, is cyclic. GF(2 3 * = 1 4 Defiitio. A geerator of the cyclic grou GF( * is called a rimitive elemet of GF(. A olyomial havig a rimitive elemet as zero is called a rimitive olyomial. E.g Sice = 0, the GF(2 * is a rimitive olyomial over GF( is a rimitive olyomial over Gog 13

14 How about f( = ? Is it rimitive? f( is irreducible over GF(2. So we ca use f( to defie GF(2 4. Let be a root of f( = ( = = 1 2 = Thus, is ot a rimitive elemet of GF(2 4, so f( is ot rimitive. Remark. The tables of rimitive olyomials over GF(2 of degree 229 ca be foud at Alfred J. Meezes, Paul C. Va Vorschot ad S. A. Vastoe, Hadbook of Alied Crytograhy, CRC Press, 1996, Gog 14

15 B. Structure of GF( Let GF( be defied by f( = 0 where f( is rimitive, the the elemets i the field have the followig two reresetatios. GF( 1 = { a0 + a1 + L+ a 1 a GF( } i (vector reresetatio i = { 0 i < 1, i = } (eoetial reresetatio (we defie 0 = Remark. Vector reresetatio is efficiet for comutatio of additio ad the eoetial reresetatio is efficiet for comutatio of multilicatio. For small field, for eamle, = 2 ad < 40, it is much more efficiet tha to use the eoetial reresetatio for comutatio of multilicatio ad the vector reresetatio for that of additio where it stores the add 1 table for coversio from the vector reresetatio to the eoetial Gog 15

16 Discrete Logarithm i GF(!!! Let be a rimitive elemet i GF( ad, a arbitrary ozero elemet i GF(. Fid k such that k = is called a discrete logarithm of uder the base. Zech s logarithm: For ay 0< k < -1, fid k such that ' k = k + Gog 16

17 4 Miimal Polyomials Defiitio. Let GF( ad m( be a moic olyomial over GF(, m( r 1 = = i 0 c i i + r, c i GF ( m( is called a miimal olyomial (MP of if m( is the olyomial with the lowest degree such that m( = Gog 17

18 Proerties of Miimal Polyomials Suose that m( is the MP of GF(, the (1 m( is irreducible over GF(. (2 m ( (3 the degree of m( is a factor of, i.e. deg m(. (4 the miimal olyomial of a rimitive elemet of GF( has Gog 18

19 Algorithm for Fidig Miimal Polyomial Iut: - f(, a rimitive olyomial over GF( of degree ; -, a root of f(; - = k a elemet i GF(. Outut: The miimal olyomial of over GF(. Procedure_MP( Ste 1. Geerate the fiite field GF( by f( Ste 2. Comute s such that s is the smallest umber satisfyig k s k mod 1. Ste 3. Comute m ( = ( ( L( Retur m ( Gog 19 s1.

20 Eamle 8. For GF(2 4, defied by = 0, comute the miimal olyomial of 7. Solutio. Alyig rocedure_mp(, here we have = 7 where k = 7. Comute s such that s is the smallest iteger satisfyig 7 2 s 7 mod 15 ( trial ad error method, we have s = 4. m ( = ( ( ( ( = ( + ( + ( + ( = [ + ( + + ][ = ( + + ( = + + ( = + ( + + ( ( = ( + + ] 4 3 Thus, m 7 ( = + + Gog 20

21 5 Trace Fuctios Proerty 1. (a The trace fuctio is a liear fuctio. (b Defiitio. A trace fuctio Tr ( of GF( /GF( is a fuctio from GF( to GF( defied as follows ( + Tr( = y = + + y + L+ 1 Tr( : GF( GF(,, ygf(. Eamle 9. Let GF(2 3 be defied by = 0. Solutio. Tr( = + + Tr 3 Comute Tr( ad Tr(. 2 2 = (1 + + (1 + + (1 + + = = ( = = Gog 21

22 6. Subfields A subfield of GF( N GF( N is a subset of which itself forms a field. E is a subfield of GF( where m N ( m is a factor of N, i. e., GF( m N E = GF( GF( m if ad oly if N. E.g. 2 GF(2 GF(2 4 GF(2 GF( GF(2 6 We write N = m ad deote the trace GF(2 3 GF(2 2 fuctio from GF( Tr N m (, i. e., N to GF( m as GF(2 Tr N m ( = + q + L+ q m1, where q = Gog 22

23 Proerty 2. (Trasitivity For a field chai GF( we have m GF( GF( m Tr1 ( = Tr1 ( Tr ( m!!! Tr m GF( m 1 ( GF( GF(2 8 Tr m ( Tr 1 ( GF( 8 ( Tr 4 This is the uderlie structure of GMW sequeces. Tr 1 Gog 23 8 ( 4 ( Tr 1 GF(2 4

[ 47 ] then T ( m ) is true for all n a. 2. The greatest integer function : [ ] is defined by selling [ x]

[ 47 ] then T ( m ) is true for all n a. 2. The greatest integer function : [ ] is defined by selling [ x] [ 47 ] Number System 1. Itroductio Pricile : Let { T ( ) : N} be a set of statemets, oe for each atural umber. If (i), T ( a ) is true for some a N ad (ii) T ( k ) is true imlies T ( k 1) is true for all

More information

YALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE

YALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE YALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE CPSC 467a: Crytograhy ad Comuter Security Notes 16 (rev. 1 Professor M. J. Fischer November 3, 2008 68 Legedre Symbol Lecture Notes 16 ( Let be a odd rime,

More information

Modern Algebra. Previous year Questions from 2017 to Ramanasri

Modern Algebra. Previous year Questions from 2017 to Ramanasri Moder Algebra Previous year Questios from 017 to 199 Ramaasri 017 S H O P NO- 4, 1 S T F L O O R, N E A R R A P I D F L O U R M I L L S, O L D R A J E N D E R N A G A R, N E W D E L H I. W E B S I T E

More information

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4. 11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although

More information

Zeros of Polynomials

Zeros of Polynomials Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree

More information

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play. Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers

More information

Classification of DT signals

Classification of DT signals Comlex exoetial A discrete time sigal may be comlex valued I digital commuicatios comlex sigals arise aturally A comlex sigal may be rereseted i two forms: jarg { z( ) } { } z ( ) = Re { z ( )} + jim {

More information

A brief introduction to linear algebra

A brief introduction to linear algebra CHAPTER 6 A brief itroductio to liear algebra 1. Vector spaces ad liear maps I what follows, fix K 2{Q, R, C}. More geerally, K ca be ay field. 1.1. Vector spaces. Motivated by our ituitio of addig ad

More information

PROBLEMS ON ABSTRACT ALGEBRA

PROBLEMS ON ABSTRACT ALGEBRA PROBLEMS ON ABSTRACT ALGEBRA 1 (Putam 197 A). Let S be a set ad let be a biary operatio o S satisfyig the laws x (x y) = y for all x, y i S, (y x) x = y for all x, y i S. Show that is commutative but ot

More information

PROBLEM SET 5 SOLUTIONS. Solution. We prove that the given congruence equation has no solutions. Suppose for contradiction that. (x 2) 2 1 (mod 7).

PROBLEM SET 5 SOLUTIONS. Solution. We prove that the given congruence equation has no solutions. Suppose for contradiction that. (x 2) 2 1 (mod 7). PROBLEM SET 5 SOLUTIONS 1 Fid every iteger solutio to x 17x 5 0 mod 45 Solutio We rove that the give cogruece equatio has o solutios Suose for cotradictio that the equatio x 17x 5 0 mod 45 has a solutio

More information

Week 5-6: The Binomial Coefficients

Week 5-6: The Binomial Coefficients Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers

More information

PERIODS OF FIBONACCI SEQUENCES MODULO m. 1. Preliminaries Definition 1. A generalized Fibonacci sequence is an infinite complex sequence (g n ) n Z

PERIODS OF FIBONACCI SEQUENCES MODULO m. 1. Preliminaries Definition 1. A generalized Fibonacci sequence is an infinite complex sequence (g n ) n Z PERIODS OF FIBONACCI SEQUENCES MODULO m ARUDRA BURRA Abstract. We show that the Fiboacci sequece modulo m eriodic for all m, ad study the eriod i terms of the modulus.. Prelimiaries Defiitio. A geeralized

More information

Homework 2 January 19, 2006 Math 522. Direction: This homework is due on January 26, In order to receive full credit, answer

Homework 2 January 19, 2006 Math 522. Direction: This homework is due on January 26, In order to receive full credit, answer Homework 2 Jauary 9, 26 Math 522 Directio: This homework is due o Jauary 26, 26. I order to receive full credit, aswer each problem completely ad must show all work.. What is the set of the uits (that

More information

The multiplicative structure of finite field and a construction of LRC

The multiplicative structure of finite field and a construction of LRC IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio

More information

ON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS

ON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS ON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS KEENAN MONKS Abstract The Legedre Family of ellitic curves has the remarkable roerty that both its eriods ad its suersigular locus have descritios

More information

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F. CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.

More information

Unit 5. Hypersurfaces

Unit 5. Hypersurfaces Uit 5. Hyersurfaces ================================================================= -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

More information

3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials

3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials Math 60 www.timetodare.com 3. Properties of Divisio 3.3 Zeros of Polyomials 3.4 Complex ad Ratioal Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered

More information

Elliptic Curves Spring 2017 Problem Set #1

Elliptic Curves Spring 2017 Problem Set #1 18.783 Ellitic Curves Srig 017 Problem Set #1 These roblems are related to the material covered i Lectures 1-3. Some of them require the use of Sage; you will eed to create a accout at the SageMathCloud.

More information

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad

More information

Shank's Baby-Step Giant-Step Attack Extended To Discrete Log with Lucas Sequences

Shank's Baby-Step Giant-Step Attack Extended To Discrete Log with Lucas Sequences IOSR Joural of Mathematics (IOSR-JM e-issn: 78-578, -ISSN: 39-765X. Volume, Issue Ver. I (Ja. - Feb. 06, PP 09-6 www.iosrjourals.org Shak's Baby-Ste Giat-Ste Attack Exteded To Discrete Log with Lucas Sequeces

More information

Sketch of Dirichlet s Theorem on Arithmetic Progressions

Sketch of Dirichlet s Theorem on Arithmetic Progressions Itroductio ad Defiitios Sketch of o Arithmetic Progressios Tom Cuchta 24 February 2012 / Aalysis Semiar, Missouri S&T Outlie Itroductio ad Defiitios 1 Itroductio ad Defiitios 2 3 Itroductio ad Defiitios

More information

SOLVED EXAMPLES

SOLVED EXAMPLES Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as

More information

M A T H F A L L CORRECTION. Algebra I 1 4 / 1 0 / U N I V E R S I T Y O F T O R O N T O

M A T H F A L L CORRECTION. Algebra I 1 4 / 1 0 / U N I V E R S I T Y O F T O R O N T O M A T H 2 4 0 F A L L 2 0 1 4 HOMEWORK ASSIGNMENT #4 CORRECTION Algebra I 1 4 / 1 0 / 2 0 1 4 U N I V E R S I T Y O F T O R O N T O P r o f e s s o r : D r o r B a r - N a t a Correctio Homework Assigmet

More information

Weil Conjecture I. Yichao Tian. Morningside Center of Mathematics, AMSS, CAS

Weil Conjecture I. Yichao Tian. Morningside Center of Mathematics, AMSS, CAS Weil Cojecture I Yichao Tia Morigside Ceter of Mathematics, AMSS, CAS [This is the sketch of otes of the lecture Weil Cojecture I give by Yichao Tia at MSC, Tsighua Uiversity, o August 4th, 20. Yuaqig

More information

An Introduction to p-adic Numbers and p-adic Analysis. Andrew Baker

An Introduction to p-adic Numbers and p-adic Analysis. Andrew Baker A Itroductio to -adic Numbers ad -adic Aalysis Adrew Baker [11/12/2017] School of Mathematics & Statistics, Uiversity of Glasgow, Glasgow G12 8QQ, Scotlad. E-mail address: a.baker@maths.gla.ac.uk URL:

More information

Homework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is

Homework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is Homewor 3 Chapter 5 pp53: 3 40 45 Chapter 6 p85: 4 6 4 30 Use combiatorial reasoig to prove the idetity 3 3 Proof Let S be a set of elemets ad let a b c be distict elemets of S The umber of -subsets of

More information

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

Chain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1

Chain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1 CHAINS 1.1 Chai coditios 1. Artiia ad oetheria modules. (1.1) Defiitio. Let A be a rig ad M a A-module. The module M is oetheria if every ascedig chai!!m 1 M 2 of submodules M of M is stable, that is,

More information

Round-off Errors and Computer Arithmetic - (1.2)

Round-off Errors and Computer Arithmetic - (1.2) Roud-off Errors ad Comuter Arithmetic - (1.) 1. Roud-off Errors: Roud-off errors is roduced whe a calculator or comuter is used to erform real umber calculatios. That is because the arithmetic erformed

More information

MA 162B LECTURE NOTES: THURSDAY, JANUARY 15

MA 162B LECTURE NOTES: THURSDAY, JANUARY 15 MA 6B LECTURE NOTES: THURSDAY, JANUARY 5 Examples of Galois Represetatios: Complex Represetatios Regular Represetatio Cosider a complex represetatio ρ : Gal ( Q/Q ) GL d (C) with fiite image If we deote

More information

We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n

We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n Review of Power Series, Power Series Solutios A power series i x - a is a ifiite series of the form c (x a) =c +c (x a)+(x a) +... We also call this a power series cetered at a. Ex. (x+) is cetered at

More information

Lecture Notes for Analysis Class

Lecture Notes for Analysis Class Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios

More information

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled 1 Lecture : Area Area ad distace traveled Approximatig area by rectagles Summatio The area uder a parabola 1.1 Area ad distace Suppose we have the followig iformatio about the velocity of a particle, how

More information

, then cv V. Differential Equations Elements of Lineaer Algebra Name: Consider the differential equation. and y2 cos( kx)

, then cv V. Differential Equations Elements of Lineaer Algebra Name: Consider the differential equation. and y2 cos( kx) Cosider the differetial equatio y '' k y 0 has particular solutios y1 si( kx) ad y cos( kx) I geeral, ay liear combiatio of y1 ad y, cy 1 1 cy where c1, c is also a solutio to the equatio above The reaso

More information

Ma/CS 6a Class 22: Power Series

Ma/CS 6a Class 22: Power Series Ma/CS 6a Class 22: Power Series By Ada Sheffer Power Series Mooial: ax i. Polyoial: a 0 + a 1 x + a 2 x 2 + + a x. Power series: A x = a 0 + a 1 x + a 2 x 2 + Also called foral power series, because we

More information

LECTURE NOTES, 11/10/04

LECTURE NOTES, 11/10/04 18.700 LECTURE NOTES, 11/10/04 Cotets 1. Direct sum decompositios 1 2. Geeralized eigespaces 3 3. The Chiese remaider theorem 5 4. Liear idepedece of geeralized eigespaces 8 1. Direct sum decompositios

More information

PRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION

PRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION PRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION DANIEL LITT Abstract. This aer is a exository accout of some (very elemetary) argumets o sums of rime recirocals; though the statemets i Proositios

More information

Proposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say

Proposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say Chater 2 Euclid s Theorem Theorem 2.. There are a ifiity of rimes. This is sometimes called Euclid s Secod Theorem, what we have called Euclid s Lemma beig kow as Euclid s First Theorem. Proof. Suose to

More information

CHAPTER I: Vector Spaces

CHAPTER I: Vector Spaces CHAPTER I: Vector Spaces Sectio 1: Itroductio ad Examples This first chapter is largely a review of topics you probably saw i your liear algebra course. So why cover it? (1) Not everyoe remembers everythig

More information

Primality Test. Rong-Jaye Chen

Primality Test. Rong-Jaye Chen Primality Test Rog-Jaye Che OUTLINE [1] Modular Arithmetic Algorithms [2] Quadratic Residues [3] Primality Testig p2. [1] Modular Arithmetic Algorithms 1. The itegers a divides b a b a{ 1, b} If b has

More information

Science & Technologies COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING THE POWERS - I

Science & Technologies COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING THE POWERS - I COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING TE POWERS - I Miryaa S. ristova Uiversity of Natioal ad World Ecoomy, Deartmet of Mathematics Studetsi Grad "risto Botev", 17 Sofia, BULGARIA

More information

1 lim. f(x) sin(nx)dx = 0. n sin(nx)dx

1 lim. f(x) sin(nx)dx = 0. n sin(nx)dx Problem A. Calculate ta(.) to 4 decimal places. Solutio: The power series for si(x)/ cos(x) is x + x 3 /3 + (2/5)x 5 +. Puttig x =. gives ta(.) =.3. Problem 2A. Let f : R R be a cotiuous fuctio. Show that

More information

LinearAlgebra DMTH502

LinearAlgebra DMTH502 LiearAlgebra DMTH50 LINEAR ALGEBRA Copyright 0 J D Aad All rights reserved Produced & Prited by EXCEL BOOKS PRIVATE LIMITED A-45, Naraia, Phase-I, New Delhi-008 for Lovely Professioal Uiversity Phagwara

More information

Algebraic Geometry I

Algebraic Geometry I 6.859/15.083 Iteger Programmig ad Combiatorial Optimizatio Fall 2009 Lecture 14: Algebraic Geometry I Today... 0/1-iteger programmig ad systems of polyomial equatios The divisio algorithm for polyomials

More information

Putnam Training Exercise Counting, Probability, Pigeonhole Principle (Answers)

Putnam Training Exercise Counting, Probability, Pigeonhole Principle (Answers) Putam Traiig Exercise Coutig, Probability, Pigeohole Pricile (Aswers) November 24th, 2015 1. Fid the umber of iteger o-egative solutios to the followig Diohatie equatio: x 1 + x 2 + x 3 + x 4 + x 5 = 17.

More information

6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.

6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer. 6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio

More information

Introduction to Optimization Techniques

Introduction to Optimization Techniques Itroductio to Optimizatio Techiques Basic Cocepts of Aalysis - Real Aalysis, Fuctioal Aalysis 1 Basic Cocepts of Aalysis Liear Vector Spaces Defiitio: A vector space X is a set of elemets called vectors

More information

(for homogeneous primes P ) defining global complex algebraic geometry. Definition: (a) A subset V CP n is algebraic if there is a homogeneous

(for homogeneous primes P ) defining global complex algebraic geometry. Definition: (a) A subset V CP n is algebraic if there is a homogeneous Math 6130 Notes. Fall 2002. 4. Projective Varieties ad their Sheaves of Regular Fuctios. These are the geometric objects associated to the graded domais: C[x 0,x 1,..., x ]/P (for homogeeous primes P )

More information

ECE 308 Discrete-Time Signals and Systems

ECE 308 Discrete-Time Signals and Systems ECE 38-5 ECE 38 Discrete-Time Sigals ad Systems Z. Aliyazicioglu Electrical ad Computer Egieerig Departmet Cal Poly Pomoa ECE 38-5 1 Additio, Multiplicatio, ad Scalig of Sequeces Amplitude Scalig: (A Costat

More information

The Boolean Ring of Intervals

The Boolean Ring of Intervals MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,

More information

MATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x)

MATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x) MATH 205 HOMEWORK #2 OFFICIAL SOLUTION Problem 2: Do problems 7-9 o page 40 of Hoffma & Kuze. (7) We will prove this by cotradictio. Suppose that W 1 is ot cotaied i W 2 ad W 2 is ot cotaied i W 1. The

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem o Arithmetic Progressios The ifiitude of rimes Prime umbers are the buildig blocs of all coutig umbers: the fudametal theorem of arithmetic states that every ositive iteger ca be writte

More information

SOME NEW OBSERVATIONS ON MERSENNE NUMBERS AND PRIMES

SOME NEW OBSERVATIONS ON MERSENNE NUMBERS AND PRIMES SOME NEW OBSERVATIONS ON MERSENNE NUMBERS AND PRIMES Euclid observed several thousad years ago i his boo The Elemets that - 1+=3 1++4=7 1++4+8=15 1++4+8+16=31 1++4+8+16+3=63 1++4+8+16+3+64=17 1++4+8+16+3+64+18=55

More information

Almost all hyperharmonic numbers are not integers

Almost all hyperharmonic numbers are not integers Joural of Number Theory 7 (207) 495 526 Cotets lists available at ScieceDirect Joural of Number Theory www.elsevier.com/locate/jt Almost all hyerharmoic umbers are ot itegers Haydar Göral a, Doğa Ca Sertbaş

More information

Math 61CM - Solutions to homework 3

Math 61CM - Solutions to homework 3 Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig

More information

Recurrence Relations

Recurrence Relations Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The

More information

Math 155 (Lecture 3)

Math 155 (Lecture 3) Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,

More information

L-FUNCTIONS FOR GAUSS AND JACOBI SUMS

L-FUNCTIONS FOR GAUSS AND JACOBI SUMS L-FUNCTIONS FOR GAUSS AND JACOBI SUMS KEITH CONRAD 1. Itroductio For a multiplicative character χ: F q C ad additive character ψ : F q C o a fiite field F q of order q, their Gauss sum is G(χ, ψ) = χ(c)ψ(c),

More information

Exercises 1 Sets and functions

Exercises 1 Sets and functions Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,

More information

Chapter 0. Review of set theory. 0.1 Sets

Chapter 0. Review of set theory. 0.1 Sets Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.

More information

i is the prime factorization of n as a product of powers of distinct primes, then: i=1 pm i

i is the prime factorization of n as a product of powers of distinct primes, then: i=1 pm i Lecture 3. Group Actios PCMI Summer 2015 Udergraduate Lectures o Flag Varieties Lecture 3. The category of groups is discussed, ad the importat otio of a group actio is explored. Defiitio 3.1. A group

More information

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

More information

Trial division, Pollard s p 1, Pollard s ρ, and Fermat s method. Christopher Koch 1. April 8, 2014

Trial division, Pollard s p 1, Pollard s ρ, and Fermat s method. Christopher Koch 1. April 8, 2014 Iteger Divisio Algorithm ad Cogruece Iteger Trial divisio,,, ad with itegers mod Iverses mod Multiplicatio ad GCD Iteger Christopher Koch 1 1 Departmet of Computer Sciece ad Egieerig CSE489/589 Algorithms

More information

Order doesn t matter. There exists a number (zero) whose sum with any number is the number.

Order doesn t matter. There exists a number (zero) whose sum with any number is the number. P. Real Numbers ad Their Properties Natural Numbers 1,,3. Whole Numbers 0, 1,,... Itegers..., -1, 0, 1,... Real Numbers Ratioal umbers (p/q) Where p & q are itegers, q 0 Irratioal umbers o-termiatig ad

More information

FINITE MULTIPLICATIVE SUBGROUPS IN DIVISION RINGS

FINITE MULTIPLICATIVE SUBGROUPS IN DIVISION RINGS FINITE MULTIPLICATIVE SUBGROUPS IN DIVISION RINGS I. N. HERSTEIN 1. Itroductio. If G is a fiite subgroup of the multiplicative group of ozero elemets of a commutative field, the it is kow that G must be

More information

Math 299 Supplement: Real Analysis Nov 2013

Math 299 Supplement: Real Analysis Nov 2013 Math 299 Supplemet: Real Aalysis Nov 203 Algebra Axioms. I Real Aalysis, we work withi the axiomatic system of real umbers: the set R alog with the additio ad multiplicatio operatios +,, ad the iequality

More information

Introduction To Discrete Mathematics

Introduction To Discrete Mathematics Itroductio To Discrete Mathematics Review If you put + pigeos i pigeoholes the at least oe hole would have more tha oe pigeo. If (r + objects are put ito boxes, the at least oe of the boxes cotais r or

More information

Axioms of Measure Theory

Axioms of Measure Theory MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that

More information

CS161 Handout 05 Summer 2013 July 10, 2013 Mathematical Terms and Identities

CS161 Handout 05 Summer 2013 July 10, 2013 Mathematical Terms and Identities CS161 Hadout 05 Summer 2013 July 10, 2013 Mathematical Terms ad Idetities Thaks to Ady Nguye ad Julie Tibshirai for their advice o this hadout. This hadout covers mathematical otatio ad idetities that

More information

PAPER : IIT-JAM 2010

PAPER : IIT-JAM 2010 MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure

More information

Complex Numbers Solutions

Complex Numbers Solutions Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i

More information

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1 Solutio Sagchul Lee October 7, 017 1 Solutios of Homework 1 Problem 1.1 Let Ω,F,P) be a probability space. Show that if {A : N} F such that A := lim A exists, the PA) = lim PA ). Proof. Usig the cotiuity

More information

MA Lesson 26 Notes Graphs of Rational Functions (Asymptotes) Limits at infinity

MA Lesson 26 Notes Graphs of Rational Functions (Asymptotes) Limits at infinity MA 1910 Lesso 6 Notes Graphs of Ratioal Fuctios (Asymptotes) Limits at ifiity Defiitio of a Ratioal Fuctio: If P() ad Q() are both polyomial fuctios, Q() 0, the the fuctio f below is called a Ratioal Fuctio.

More information

Linearly Independent Sets, Bases. Review. Remarks. A set of vectors,,, in a vector space is said to be linearly independent if the vector equation

Linearly Independent Sets, Bases. Review. Remarks. A set of vectors,,, in a vector space is said to be linearly independent if the vector equation Liearly Idepedet Sets Bases p p c c p Review { v v vp} A set of vectors i a vector space is said to be liearly idepedet if the vector equatio cv + c v + + c has oly the trivial solutio = = { v v vp} The

More information

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3 MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special

More information

Singular Continuous Measures by Michael Pejic 5/14/10

Singular Continuous Measures by Michael Pejic 5/14/10 Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable

More information

Let A(x) and B(x) be two polynomials of degree n 1:

Let A(x) and B(x) be two polynomials of degree n 1: MI-EVY (2011/2012) J. Holub: 4. DFT, FFT ad Patter Matchig p. 2/42 Operatios o polyomials MI-EVY (2011/2012) J. Holub: 4. DFT, FFT ad Patter Matchig p. 4/42 Efficiet Patter Matchig (MI-EVY) 4. DFT, FFT

More information

with an even sum and for k 1mod4 1, 2,, n with an odd sum. ,, n of Pascal s triangle count the subsets of 1, 2,, n

with an even sum and for k 1mod4 1, 2,, n with an odd sum. ,, n of Pascal s triangle count the subsets of 1, 2,, n Some remars o Rogers-Szegö olyomials ad Losaitsch s triagle Joha Cigler Faultät für Mathemati Uiversität Wie johacigler@uivieacat Abstract I this exository aer we collect some simle facts about aalogues

More information

4 The Sperner property.

4 The Sperner property. 4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,

More information

Properties and Tests of Zeros of Polynomial Functions

Properties and Tests of Zeros of Polynomial Functions Properties ad Tests of Zeros of Polyomial Fuctios The Remaider ad Factor Theorems: Sythetic divisio ca be used to fid the values of polyomials i a sometimes easier way tha substitutio. This is show by

More information

HILBERT SPACE GEOMETRY

HILBERT SPACE GEOMETRY HILBERT SPACE GEOMETRY Defiitio: A vector space over is a set V (whose elemets are called vectors) together with a biary operatio +:V V V, which is called vector additio, ad a eteral biary operatio : V

More information

a. How might the Egyptians have expressed the number? What about?

a. How might the Egyptians have expressed the number? What about? A-APR Egytia Fractios II Aligmets to Cotet Stadards: A-APR.D.6 Task Aciet Egytias used uit fractios, such as ad, to rereset all other fractios. For examle, they might exress the umber as +. The Egytias

More information

Solutions to Math 347 Practice Problems for the final

Solutions to Math 347 Practice Problems for the final Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is

More information

Homework 1 Solutions. The exercises are from Foundations of Mathematical Analysis by Richard Johnsonbaugh and W.E. Pfaffenberger.

Homework 1 Solutions. The exercises are from Foundations of Mathematical Analysis by Richard Johnsonbaugh and W.E. Pfaffenberger. Homewor 1 Solutios Math 171, Sprig 2010 Hery Adams The exercises are from Foudatios of Mathematical Aalysis by Richard Johsobaugh ad W.E. Pfaffeberger. 2.2. Let h : X Y, g : Y Z, ad f : Z W. Prove that

More information

Sequences and Series

Sequences and Series Sequeces ad Series Sequeces of real umbers. Real umber system We are familiar with atural umbers ad to some extet the ratioal umbers. While fidig roots of algebraic equatios we see that ratioal umbers

More information

Jacobi symbols and application to primality

Jacobi symbols and application to primality Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime

More information

REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS

REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]

More information

5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define

5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define 5. Matrix expoetials ad Vo Neuma s theorem 5.1. The matrix expoetial. For a matrix X we defie e X = exp X = I + X + X2 2! +... = 0 X!. We assume that the etries are complex so that exp is well defied o

More information

1 Generating functions for balls in boxes

1 Generating functions for balls in boxes Math 566 Fall 05 Some otes o geeratig fuctios Give a sequece a 0, a, a,..., a,..., a geeratig fuctio some way of represetig the sequece as a fuctio. There are may ways to do this, with the most commo ways

More information

Perfect Numbers 6 = Another example of a perfect number is 28; and we have 28 =

Perfect Numbers 6 = Another example of a perfect number is 28; and we have 28 = What is a erfect umber? Perfect Numbers A erfect umber is a umber which equals the sum of its ositive roer divisors. A examle of a erfect umber is 6. The ositive divisors of 6 are 1,, 3, ad 6. The roer

More information

A Note on Bilharz s Example Regarding Nonexistence of Natural Density

A Note on Bilharz s Example Regarding Nonexistence of Natural Density Iteratioal Mathematical Forum, Vol. 7, 0, o. 38, 877-884 A Note o Bilharz s Examle Regardig Noexistece of Natural Desity Cherg-tiao Perg Deartmet of Mathematics Norfolk State Uiversity 700 Park Aveue,

More information

A Note on Generalization of Semi Clean Rings

A Note on Generalization of Semi Clean Rings teratioal Joral of Algebra Vol. 5 o. 39-47 A Note o Geeralizatio of Semi Clea Rigs Abhay Kmar Sigh ad B.. Padeya Deartmet of Alied athematics stitte of Techology Baaras Hid Uiversity Varaasi-5 dia Abstract

More information

Cardinality Homework Solutions

Cardinality Homework Solutions Cardiality Homework Solutios April 16, 014 Problem 1. I the followig problems, fid a bijectio from A to B (you eed ot prove that the fuctio you list is a bijectio): (a) A = ( 3, 3), B = (7, 1). (b) A =

More information

Vector Spaces and Vector Subspaces. Remarks. Euclidean Space

Vector Spaces and Vector Subspaces. Remarks. Euclidean Space Vector Spaces ad Vector Subspaces Remarks Let be a iteger. A -dimesioal vector is a colum of umbers eclosed i brackets. The umbers are called the compoets of the vector. u u u u Euclidea Space I Euclidea

More information

(II.G) PRIME POWER MODULI AND POWER RESIDUES

(II.G) PRIME POWER MODULI AND POWER RESIDUES II.G PRIME POWER MODULI AND POWER RESIDUES I II.C, we used the Chiese Remider Theorem to reduce cogrueces modulo m r i i to cogrueces modulo r i i. For exmles d roblems, we stuck with r i 1 becuse we hd

More information

1 Summary: Binary and Logic

1 Summary: Binary and Logic 1 Summary: Biary ad Logic Biary Usiged Represetatio : each 1-bit is a power of two, the right-most is for 2 0 : 0110101 2 = 2 5 + 2 4 + 2 2 + 2 0 = 32 + 16 + 4 + 1 = 53 10 Usiged Rage o bits is [0...2

More information

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163

More information

Lecture 23: Minimal sufficiency

Lecture 23: Minimal sufficiency Lecture 23: Miimal sufficiecy Maximal reductio without loss of iformatio There are may sufficiet statistics for a give problem. I fact, X (the whole data set) is sufficiet. If T is a sufficiet statistic

More information

CALCULATION OF FIBONACCI VECTORS

CALCULATION OF FIBONACCI VECTORS CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College

More information