Imaginary quadratic orders with given prime factor of class number

Size: px
Start display at page:

Download "Imaginary quadratic orders with given prime factor of class number"

Transcription

1 Imaginary quadratic orders with given rime factor of cass number Aexander Rostovtsev, St. Petersburg State Poytechnic University, Abstract Abeian cass grou C(D) of imaginary quadratic order with odd squarefree discriminant D is used in ubic key crytosystems, based on discrete ogarithm robem in cass grou and in crytosystems, based on isogenies of eitic curves. Discrete ogarithm robem in C(D) is hard if #C(D) is rime or has arge rime divisor. But no agorithms for generating such D are known. We roose robabiistic agorithm that gives discriminant of imaginary quadratic order with subgrou of given rime order. Agorithm is based on roerties of Hibert cass fied oynomia H D for eitic curve E( ) over fied of eements. Let trace of Frobenius endomorhism is T, discriminant of Frobenius endomorhism D = T 4 and je ( ( )). Then deg(h D ) = #C(O D ) and #C(D) 0 (mod ). If Diohantine equation D = T 4 with variabes < O( 4 D ), rime and T has soution ony for = 1, then cass number is rime. 1. Cass grou of imaginary quadratic order Let a, b, c and Q = (a, b, c) = {ax + bxy + cy } integra quadratic form of discriminant D = b 4ac. Form Q is ositive definite if D < 0 and a > 0. If variabes x, y run through, Q runs through subset of. Equivaent forms have equa sets of vaues (ossiby ermuted). It is sufficient to consider forms with (a, b, c) = 1, D is not erfect square and a > 1. If Q is ositive definite form, then Q(x, y) 0 and Q = 0 if and ony if x = 0 and y = 0. A considered forms are ositive definite. Equivaent forms have the same discriminant. Equivaence artitions set of forms with given discriminant into finite set of casses. For given D air (a, b) b D cometey defines the quadratic form: c =. 4a Product of integra matrices is integra matrix. Such matrix is invertibe if and ony if its discriminant is ±1. Matrix grou with integra eements contains subgrou SL ( ) with discriminant 1. Infinite grou SL ( ) is generated by ( ) matrices 0 1 ( ) S = 1 0 and 1 1 ( ) T = 0 1, n 1 n 0 1 T = for n. Forms (a, b, c) = {ax + bxy + cy } and (a, b, c ) = {a u + b uv + c v } are x equivaent if and ony if there exists matrix L SL ( ) such that ( ) = L u y ( v). Mutiying vector by matrix can be considered as transformation of coefficients

2 of the form. Aying matrices S, T to given ositive definite form, one can obtain uniquey defined reduced quadratic form (a, b, c) with roerties 1. 0 < a c;. a < b a; 3. if a = c then b > 0. Let D < 0 is discriminant of quadratic form. Define comex number ξ= D 1+ D for D 0 (mod 4) and ξ= for D 3 (mod 4). Imaginary quadratic order O D of discriminant D is ring [ξ]. Joining those two cases, we can write D+ D OD =. Fieds of fractions for quadratic orders of discriminant D and f D for integer conductor f are the same, but O O. Hence there exists maxima quadratic order for given fied of fractions. Order with squarefree discriminant is maxima. Idea of quadratic order is subset A O D such that if α, β A, then α ± β A, and αx A for arbitrary x O D. Idea A O D defines quotient ring O D /A, it is finite if A (0). Norm N(A) of nonzero idea A is #O D /A. Norm is the smaest ositive integer contained in A. Idea (α) = αo D for α O D is rincia. Generay idea of quadratic order is generated by two eements: A = a + (b + ξ), where a, b and there exists such c, that b 4ac = D. So there is one-to-one corresondence between non-zero ideas of O D and quadratic forms of discriminant D. We use short designation A = (a, b) instead of A = a + (b + ξ). N(a, b) = a. Set of ideas admits commutative and associative mutiication: (a + (b + ξ))(c + (d + ξ)) = ac + c (b + ξ) + a (d + ξ) + (b + ξ)(d + ξ)) (idea in the right side of the equation is generated by at most two eements). So set of ideas of order O D form commutative monoid with identity O D = (1). Norm of idea is mutiicative function: N(AB) = N(A)N(B). If idea cannot be reresented as roduct of two roer ideas, it is rime. Hence ideas with rime norm are the rime ones. Generay ring O D does not ossess unique factorization, for exame, 1= 37 = (1+ 0)(1 0) because rime idea is not necessary rincia. But each idea can be uniquey reresented as roduct of rime ideas, so O D is Dedekind domain. So (3) = (3,1+ 1)(3,1 1), (7) = (7,1+ 1)(7,1 1), (1+ 1) = (3,1+ 1)(7,1+ 1), (1 1) = (3,1 1)(7,1 1). D f D

3 Define idea equivaence: A B, if there exists air of non-zero quadratic integers α, β O D such that αa = βb. Hence a rincia non-zero ideas are equivaent. Equivaence artitions set of ideas into casses. Each cass can be reresented by reduced idea with the smaest norm. Equivaence of ideas corresonds to equivaence of quadratic forms, and there is bijection between reduced quadratic forms and reduced ideas. Mutiication of ideas induces mutiication in set of casses, and this set is Abeian grou C(D). Its identity eement is idea (1, 1) for odd D and (1, 0) for even D. If A is idea then A #C(D) is rincia idea. Reduced quadratic form (a, b, c) corresonds to idea (a, b) and has inverse (a, b, c) ony if a 1 and a c, otherwise (a, b) 1 = (a, b). Case a = 1 corresonds to identity in cass grou. In the case a = c quadratic form (a, b, a) has order two in cass grou. Notice that form (a, b, a) is ossibe if its discriminant D = b 4a = (b + a)(b a) is roduct of different integers (b a ±1 since a < b a). So cass number #C(D) is odd if D is rime or degree of rime. Imaginary quadratic orders have #C(D) = 1 for D {3, 4, 7, 8, 11, 1, 16, 19, 7, 8, 43, 67, 163}. There are no known effective agorithms for comuting #C(D). There exists estimation #C( D) = O( D ) and exicit formua for #C(D) as sum of infinite Dirichet s series. D. Shanks resented agorithm for comuting cass number with two stages. 1. Find aroximation for #C(D) and estimate search interva.. Search the cass number using giant ste baby ste agorithm. Exeriments show that artia sum S n of n first terms of Dirichet s series is #C( D) S near to #C(D) (error n is near to ogn #C( D) n ). So for n= O( 6 D ) comexity of each stage is O( 6 D ) and the whoe comexity is O( 6 D ). Any idea is roduct of rime ideas. Probabiity that an idea has rime divisor with sma norm is more than robabiity that rime divisor has arge norm. So we can take set of rime ideas with sma norms and try to reresent an idea as roduct of taken rime ideas. This eads to subexonentia agorithm for comuting cass number with comexity O(ex( c n D nn D ) [].. Moduar functions, eitic curves and cass fied oynomia Let L = ω 1 + ω be a attice in comex ane with basis [ω 1, ω ], Im(ω /ω 1 ) > 0. Then there exists quotient grou /L. Define equivaent attices: L M, if L = αm for some α *. Two attices with bases [ω 1, ω ] and [ω 1, ω ω ] coincide if and ony if a b = ( c d) 1 ω1 ω ω, a b ( c d) SL ( ). Due to

4 equivaence, attice can be defined by singe arameter τ: L = + τ, Im(τ) > 0. Matrix transforms arameter τ: a b ( ) () aτ+ b τ =. c d c τ+ d Since grou SL ( ) is generated by matrices S, T, arbitrary attice can be transformed to equivaent attice so that 1/ < Re(τ) 1/, Re(τ) + Im(τ) 1, 3 Im( τ). Moduar function f is defined as meromorhic function of comex variabe aτ+ b τ, that mas uer haf ane to ane so that f() τ = f for any cτ+ d matrix a b ( ) SL ( ) c d. Moduar functions for given attice form subfied in fied ((τ)) of meromorhic functions. In ractice for seeding-u the convergence of Laurent series for moduar function, usuay Fourier transform q = e πiτ is used instead of τ. The simest moduar function is j(q) = q ((q)) Laurent series with integer coefficients. Any moduar function is rationa function of j(q). Hence comex number j(τ) defines attice u to equivaence. Eitic curve E(K): Y Z + a 1 XYZ + a 3 YZ = X 3 + a X Z + a 4 XZ + a 6 Z 3 is set of oints (X, Y, Z) K\(0, 0, 0), satisfying this equations under equivaence (X, Y, Z) = (ux, uy, uz) for any u 0 and there is no oint on eitic curve such that a three artia derivatives are zero. Eitic curve oints form Abeian grou under addition with zero eement P = (0, 1, 0). Eitic X curve isomorhism can be defined as mutiication L Y, where matrix L is Z invertibe over K. Eitic curve over agebraicay cosed fied u to isomorhism can be determined by its invariant j K(a 1, a, a 3, a 4, a 6 ). If K =, then eitic curve as Abeian grou is isomorhic to quotient grou /L for some attice L, so there is bijection between attices and eitic curves. Eitic curve isomorhism corresonds to attice equivaence and eitic curve invariant j is the image of attice invariant j(τ) in fied K (this is ossibe ony if τ is eement of imaginary quadratic fied [3]). If fied characteristic is, then inear change of variabes gives a 1 0 or a 3 0 (but not both of them). If a 1 = 0, then j = 0. In crytograhic aications eitic curve E( ) is considered over finite fied of eements, 1. Frobenius ma π (,, ) XYZ = ( X, Y, Z )

5 kees the eitic curve equations, kees a oints over fied other oints (over agebraic cosure of fied and changes ). Frobenius ma satisfies equation π Tπ + = 0, where T is trace and D = T 4 < 0 is discriminant of this ma. Twisted curves have traces with the same absoute vaue and different signs. Number of eitic curve oints E( ) is finite and equas # E( ) = + 1 T. Discriminant D u to sign determines T and hence determines # E( ). D+ D Let OD = is imaginary quadratic order for given discriminant D of Frobenius ma, #C(D) is its cass number and {(a i, b i, c i )}, 1 i h D is set of reduced quadratic forms (or set of reduced ideas in cass grou). Let bi + D τ i =. Function j(τ) can be comuted with sma error for a i as artia a i sum of Laurent series. Irreducibe over (and [ D] ) Hibert cass fied oynomia is defined as # C( D) HD( X) = ( X j( τi)) [ X]. i= 1 Its roots are agebraic integers. Joining the root j of H D to or to [ D] gives fied extensions of the same degree, and [ D, j] is cass fied maxima unramified Abeian extension. Eitic curve over rime finite fied with trace T u to isomorhism and u to twisted curve is determined by its invariant j as a root of H D (X) (mod ). So to find j-invariant one needs comuting D, C(D), H D (X), factoring H D (X) (mod ) and taking a root as required j-invariant. This is common method for eitic curve generation with given and T. Theorem 1. Let is rime, is rime or degree of rime, and cass fied oynomia has no roots in. Eitic curve with j \ and Frobenius discriminant D = T 4 exists if cass number #C(D) has factor. Proof. Let q =, is rime or degree of rime. If cass fied oynomia H D (X) has a root j in, then H D (X) factors cometey over and there exists eitic curve E( ) with invariant j and Frobenius discriminant D = T 4. Back, if there is eitic curve E( ) with Frobenius discriminant D, then its invariant is a root of oynomia H D (X). Hence cass fied oynomia sits

6 cometey over. Since, cass fied oynomia gives searabe extension of fied of characteristic. Notice that if is rime and cass fied oynomia sits over, it may sit aready over rime fied. Then j and cass number ossiby has no factor. Theorem 1 can be exained in terms of quadratic orders. If D = T 4 then T + D T D we have factorization =. Reduction moduo gives D existence of D (mod ), so = 1. Idea ( ) sits as roduct of two rincia ideas. Hence idea () aso sits in O D as roduct of two rime ideas. Its factors can be rincia or not. Any idea owered by cass number becomes rincia. If factors of idea () are not rincia and is rime, then divides cass number. 3. Cass grou with subgrou of given rime order Cass grou of imaginary quadratic order is used in ubic key crytosystems of two tyes. The first one is based on discrete ogarithm robem directy in cass grou [1]. The second one is based on comuting isogenies between eitic curves [5] (number of ossibe j-invariants divides cass number for Frobenius discriminant). If cass number has argest rime divisor r, then comexity of comuting discrete ogarithms in cass grou does not exceed O( r ) due to Poard s agorithm [4]. So in crytograhic aications it is ikey that cass number is arge rime or it has arge rime divisor. To construct digita signature agorithm, simiar to DSS, it is necessary to comute rime cass number or its arge rime divisor. But there are no known effective methods for rime D to recognize rimaity of cass number. It is known that if D = f D, discriminant D has cass number 1, conductor f is odd D rime, then #C( D) = f f, where D is Jacobi symbo. So one can f f ± 1 obtain required rime divisor of grou order as =. But it is hard to find squarefree discriminant with given rime factor of cass number. Assume that cass fied oynomia has a root j, i.e. je ( ( )) for rime. Then Frobenius automorhism π 1 (x, y) = (x, y ) satisfies equation π 1 T 1 π 1 + = 0 with discriminant D 1 = T 1 4. Let αα, be roots of the equation. Then #E( ) = + 1 α α and # E( ) = + 1 α α. Frobenius ma

7 π ( xy, ) = ( x, y ) has discriminant D= ( α +α ) 4. According to theorem 1 imaginary quadratic order O D may have cass number with no factor. If is sma, set of ossibe traces T 1 is sma too. So it is not hard to test whether D has reresentation Exame 1. Consider eitic curve D= ( α +α ) 4. E( ) y + xy = x 3 + a x + a 6 (a, a 6 0), with invariant j = a 1 6, ma a a + 1 gives the twisted curve. If P = (x, y) E( ), then P = (x, x + y). Hence P = P if and ony if x = 0. Point (0, y) of order aways exists and corresonds equation y = a 6, 1 a y=. Point of order 4 exists, if equation P = (0, y) is sovabe for 6 E( ). For P = (u, v) we have equation λ u + v + λ + a = 0, λ=. This equation is u sovabe if and ony if a = 0. Notice that eitic curve E 1 ( ): y + xy = x 3 + a x +1 has oints if a = 1 and has 4 oints if a = 0, its Frobenius trace is ±1. Hence the curve E( ) has subgrou isomorhic to curve E 1 ( ) with the same a. Frobenius discriminant D = T 4 for curve E( ) is odd if trace T is odd. Let q = 11, T = 55, # E( 11) = q + 1 T = 1994 = 997, D = T 4q = 5167 is rime, #C(D) = 33. Comuting Hibert cass fied oynomia and reduction its coefficients moduo gives: H D = 1 + X + X 3 + X 5 + X 6 + X 7 + X 8 + X 9 + X 1 + X 13 + X 16 + X 1 + X 3 + X 6 + X 7 + X 9 + X 31 + X 33. Its factorization over is H D = (1 + X + X 4 + X 6 + X 7 + X 9 + X 11 )(1 + X + X 3 + X 4 + X 5 + X 7 + X 8 + X 10 + X 11 )(1 + X + X 4 + X 6 + X 9 + X 10 + X 11 ). A irreducibe divisors of cass fied oynomia over rime fied have degree 11 and factor cometey over fied 11. For discriminant D = T 4 11 cass number has factor 11. Simiary for any odd T = 1, 3,, 89 (T = 89 is maximum that gives D < 0) cass number has factor 11. Conversion of theorem 1 gives robabiistic agorithm that generates imaginary quadratic order with given rime factor of cass number. Agorithm 1. (Comutes discriminant of imaginary quadratic order that robaby has cass number with given rime factor ). 1. Choose sma rime (for exame, = ), comute D = T 4 < 0 for integer T reativey rime to. If =, then T must be odd.

8 . Find a eitic curves over and corresonding traces T 1 of Frobenius automorhisms π 1 (x, y) = (x, y ). Find roots αα, of corresonding equations for π For a different absoute traces T 1 test that D + 1 α α. 4. Return: D. Agorithm 1 gives true resut if there exists eitic curve E( ) with given trace T (this existence is not tested). And resut can be wrong if there is no such eitic curve. But if is sufficienty arge, robabiity of mistake is negigiby sma. Notice that D growths as exonentia of. So obtained discriminant for arge can be extremey arge. Exame. Discriminant D = = gives cass number , D = = gives cass number From theorem 1 we deduce Coroary. Let D < 0 is rime. Assume that exonentia Diohantine equation D = T 4 with three variabes,, T and rime, for < O( 4 D ) has soution ony for = 1. Then cass number #C(D) is rime. Proof. #C( D) = O( D ). If #C(D) is comosite, it has factor < #C( D) and there exists eitic curve E( ) with required Frobenius discriminant D = T 4. But Diohantine equation has no such soutions, so cass number must be rime. This agorithm can be used to deduce whether imaginary quadratic order has non-rime cass number: if reresentation D = T 4 for arge D exists, then cass number is robaby comosite and has factor. This observation can simify comutation of cass number with Shanks agorithm. Agorithm 1 can be generaized. Quadratic order O D has idea with norm if there exists quadratic form (, b, c) with discriminant D. So we have b 4 c = D. This idea is rincie if there exists reresentation 4 = A DB for integers A, B. Hence instead of equation D = T 4 we can consider equation D = T 4 S for integer S. Here again D is a square moduo. References 1. J. Buchmann and H. Wiiams. A key-exchange system based on imaginary quadratic fieds // Journa of Crytoogy, v. 1, 1988,

9 . H. Cohen. A Course in Comutationa Agebraic Number Theory, Sringer Verag, S. Lang. Eitic functions, Sringer Verag, J. Poard. Monte Caro methods for index comutation (mod ) // Mathematics of Comutation, v. 3, 1978, A. Rostovtsev and A. Stobunov. Pubic key crytosystem based on isogenies // Crytoogy e-rint archive, reort 006/145, 006.

SOME PROPERTIES OF EXTENSIONS OF SMALL DEGREE OVER Q. 1. Quadratic Extensions

SOME PROPERTIES OF EXTENSIONS OF SMALL DEGREE OVER Q. 1. Quadratic Extensions SOME PROPERTIES OF EXTENSIONS OF SMALL DEGREE OVER Q TREVOR ARNOLD Abstract This aer demonstrates a few characteristics of finite extensions of small degree over the rational numbers Q It comrises attemts

More information

15. Symmetric polynomials

15. Symmetric polynomials 15. Symmetric polynomials 15.1 The theorem 15.2 First examples 15.3 A variant: discriminants 1. The theorem Let S n be the group of permutations of {1,, n}, also called the symmetric group on n things.

More information

Logics preserving degrees of truth from varieties of residuated lattices

Logics preserving degrees of truth from varieties of residuated lattices Corrigendum Logics preserving degrees of truth from varieties of residuated attices FÉLIX BOU and FRANCESC ESTEVA, Artificia Inteigence Research Institute IIIA - CSIC), Beaterra, Spain. E-mai: fbou@iiia.csic.es;

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

Zero: If P is a polynomial and if c is a number such that P (c) = 0 then c is a zero of P.

Zero: If P is a polynomial and if c is a number such that P (c) = 0 then c is a zero of P. MATH 11011 FINDING REAL ZEROS KSU OF A POLYNOMIAL Definitions: Polynomial: is a function of the form P (x) = a n x n + a n 1 x n 1 + + a x + a 1 x + a 0. The numbers a n, a n 1,..., a 1, a 0 are called

More information

Chapter 13: Basic ring theory

Chapter 13: Basic ring theory Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

Lecture 5 Principal Minors and the Hessian

Lecture 5 Principal Minors and the Hessian Lecture 5 Principal Minors and the Hessian Eivind Eriksen BI Norwegian School of Management Department of Economics October 01, 2010 Eivind Eriksen (BI Dept of Economics) Lecture 5 Principal Minors and

More information

Mathematics. (www.tiwariacademy.com : Focus on free Education) (Chapter 5) (Complex Numbers and Quadratic Equations) (Class XI)

Mathematics. (www.tiwariacademy.com : Focus on free Education) (Chapter 5) (Complex Numbers and Quadratic Equations) (Class XI) ( : Focus on free Education) Miscellaneous Exercise on chapter 5 Question 1: Evaluate: Answer 1: 1 ( : Focus on free Education) Question 2: For any two complex numbers z1 and z2, prove that Re (z1z2) =

More information

minimal polyonomial Example

minimal polyonomial Example Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We

More information

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number Number Fields Introduction A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number field K = Q(α) for some α K. The minimal polynomial Let K be a number field and

More information

a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4)

a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4) ROOTS OF POLYNOMIAL EQUATIONS In this unit we discuss polynomial equations. A polynomial in x of degree n, where n 0 is an integer, is an expression of the form P n (x) =a n x n + a n 1 x n 1 + + a 1 x

More information

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson JUST THE MATHS UNIT NUMBER 1.8 ALGEBRA 8 (Polynomials) by A.J.Hobson 1.8.1 The factor theorem 1.8.2 Application to quadratic and cubic expressions 1.8.3 Cubic equations 1.8.4 Long division of polynomials

More information

Inner Product Spaces

Inner Product Spaces Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

More information

SAT Math Facts & Formulas

SAT Math Facts & Formulas Numbers, Sequences, Factors SAT Mat Facts & Formuas Integers:..., -3, -2, -1, 0, 1, 2, 3,... Reas: integers pus fractions, decimas, and irrationas ( 2, 3, π, etc.) Order Of Operations: Aritmetic Sequences:

More information

FACTORING AFTER DEDEKIND

FACTORING AFTER DEDEKIND FACTORING AFTER DEDEKIND KEITH CONRAD Let K be a number field and p be a prime number. When we factor (p) = po K into prime ideals, say (p) = p e 1 1 peg g, we refer to the data of the e i s, the exponents

More information

How To Prove The Dirichlet Unit Theorem

How To Prove The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook. Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

More information

Number Theory Naoki Sato <ensato@hotmail.com>

Number Theory Naoki Sato <ensato@hotmail.com> Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

4.1. COMPLEX NUMBERS

4.1. COMPLEX NUMBERS 4.1. COMPLEX NUMBERS What You Should Learn Use the imaginary unit i to write complex numbers. Add, subtract, and multiply complex numbers. Use complex conjugates to write the quotient of two complex numbers

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

Vector and Matrix Norms

Vector and Matrix Norms Chapter 1 Vector and Matrix Norms 11 Vector Spaces Let F be a field (such as the real numbers, R, or complex numbers, C) with elements called scalars A Vector Space, V, over the field F is a non-empty

More information

As we have seen, there is a close connection between Legendre symbols of the form

As we have seen, there is a close connection between Legendre symbols of the form Gauss Sums As we have seen, there is a close connection between Legendre symbols of the form 3 and cube roots of unity. Secifically, if is a rimitive cube root of unity, then 2 ± i 3 and hence 2 2 3 In

More information

MATH PROBLEMS, WITH SOLUTIONS

MATH PROBLEMS, WITH SOLUTIONS MATH PROBLEMS, WITH SOLUTIONS OVIDIU MUNTEANU These are free online notes that I wrote to assist students that wish to test their math skills with some problems that go beyond the usual curriculum. These

More information

SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE

SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE CRISTINA FLAUT and DIANA SAVIN Communicated by the former editorial board In this paper, we study some properties of the matrix representations of the

More information

GRE Prep: Precalculus

GRE Prep: Precalculus GRE Prep: Precalculus Franklin H.J. Kenter 1 Introduction These are the notes for the Precalculus section for the GRE Prep session held at UCSD in August 2011. These notes are in no way intended to teach

More information

United Arab Emirates University College of Sciences Department of Mathematical Sciences HOMEWORK 1 SOLUTION. Section 10.1 Vectors in the Plane

United Arab Emirates University College of Sciences Department of Mathematical Sciences HOMEWORK 1 SOLUTION. Section 10.1 Vectors in the Plane United Arab Emirates University College of Sciences Deartment of Mathematical Sciences HOMEWORK 1 SOLUTION Section 10.1 Vectors in the Plane Calculus II for Engineering MATH 110 SECTION 0 CRN 510 :00 :00

More information

4. How many integers between 2004 and 4002 are perfect squares?

4. How many integers between 2004 and 4002 are perfect squares? 5 is 0% of what number? What is the value of + 3 4 + 99 00? (alternating signs) 3 A frog is at the bottom of a well 0 feet deep It climbs up 3 feet every day, but slides back feet each night If it started

More information

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

More information

Pythagorean Triples and Rational Points on the Unit Circle

Pythagorean Triples and Rational Points on the Unit Circle Pythagorean Triles and Rational Points on the Unit Circle Solutions Below are samle solutions to the roblems osed. You may find that your solutions are different in form and you may have found atterns

More information

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test Math Review for the Quantitative Reasoning Measure of the GRE revised General Test www.ets.org Overview This Math Review will familiarize you with the mathematical skills and concepts that are important

More information

α = u v. In other words, Orthogonal Projection

α = u v. In other words, Orthogonal Projection Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v

More information

4. BINARY QUADRATIC FORMS

4. BINARY QUADRATIC FORMS 4. BINARY QUADRATIC FORMS 4.1. What integers are represented by a given binary quadratic form?. An integer n is represented by the binary quadratic form ax + bxy + cy if there exist integers r and s such

More information

Chapter 17. Orthogonal Matrices and Symmetries of Space

Chapter 17. Orthogonal Matrices and Symmetries of Space Chapter 17. Orthogonal Matrices and Symmetries of Space Take a random matrix, say 1 3 A = 4 5 6, 7 8 9 and compare the lengths of e 1 and Ae 1. The vector e 1 has length 1, while Ae 1 = (1, 4, 7) has length

More information

Lectures on the Dirichlet Class Number Formula for Imaginary Quadratic Fields. Tom Weston

Lectures on the Dirichlet Class Number Formula for Imaginary Quadratic Fields. Tom Weston Lectures on the Dirichlet Class Number Formula for Imaginary Quadratic Fields Tom Weston Contents Introduction 4 Chater 1. Comlex lattices and infinite sums of Legendre symbols 5 1. Comlex lattices 5

More information

TOPOLOGICAL DESIGN OF MULTIPLE VPNS OVER MPLS NETWORK Anotai Srikitja David Tipper

TOPOLOGICAL DESIGN OF MULTIPLE VPNS OVER MPLS NETWORK Anotai Srikitja David Tipper TOPOLOGICAL DESIGN OF MULTIPLE VPNS OVER MPLS NETWORK Anotai Sriitja David Tier Det. of Information Science and Teecommunications University of Pittsburgh N. Beefied Avenue, Pittsburgh, PA 60 ABSTRACT

More information

Unique Factorization

Unique Factorization Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

More information

SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWO-DIMENSIONAL GRID

SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWO-DIMENSIONAL GRID International Journal of Comuter Science & Information Technology (IJCSIT) Vol 6, No 4, August 014 SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWO-DIMENSIONAL GRID

More information

ECE 842 Report Implementation of Elliptic Curve Cryptography

ECE 842 Report Implementation of Elliptic Curve Cryptography ECE 842 Report Implementation of Elliptic Curve Cryptography Wei-Yang Lin December 15, 2004 Abstract The aim of this report is to illustrate the issues in implementing a practical elliptic curve cryptographic

More information

CONTENTS 1. Peter Kahn. Spring 2007

CONTENTS 1. Peter Kahn. Spring 2007 CONTENTS 1 MATH 304: CONSTRUCTING THE REAL NUMBERS Peter Kahn Spring 2007 Contents 2 The Integers 1 2.1 The basic construction.......................... 1 2.2 Adding integers..............................

More information

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

More information

7. Some irreducible polynomials

7. Some irreducible polynomials 7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

More information

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is called a quadratic field and it has degree 2 over Q. Similarly,

More information

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any.

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. Algebra 2 - Chapter Prerequisites Vocabulary Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. P1 p. 1 1. counting(natural) numbers - {1,2,3,4,...}

More information

Notes on Determinant

Notes on Determinant ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without

More information

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me SYSTEMS OF PYTHAGOREAN TRIPLES CHRISTOPHER TOBIN-CAMPBELL Abstract. This paper explores systems of Pythagorean triples. It describes the generating formulas for primitive Pythagorean triples, determines

More information

SAT Math Must-Know Facts & Formulas

SAT Math Must-Know Facts & Formulas SAT Mat Must-Know Facts & Formuas Numbers, Sequences, Factors Integers:..., -3, -2, -1, 0, 1, 2, 3,... Rationas: fractions, tat is, anyting expressabe as a ratio of integers Reas: integers pus rationas

More information

Factoring Polynomials and Solving Quadratic Equations

Factoring Polynomials and Solving Quadratic Equations Factoring Polynomials and Solving Quadratic Equations Math Tutorial Lab Special Topic Factoring Factoring Binomials Remember that a binomial is just a polynomial with two terms. Some examples include 2x+3

More information

QUADRATIC EQUATIONS EXPECTED BACKGROUND KNOWLEDGE

QUADRATIC EQUATIONS EXPECTED BACKGROUND KNOWLEDGE MODULE - 1 Quadratic Equations 6 QUADRATIC EQUATIONS In this lesson, you will study aout quadratic equations. You will learn to identify quadratic equations from a collection of given equations and write

More information

Section 4.4 Inner Product Spaces

Section 4.4 Inner Product Spaces Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer

More information

ASYMPTOTIC DIRECTION FOR RANDOM WALKS IN RANDOM ENVIRONMENTS arxiv:math/0512388v2 [math.pr] 11 Dec 2007

ASYMPTOTIC DIRECTION FOR RANDOM WALKS IN RANDOM ENVIRONMENTS arxiv:math/0512388v2 [math.pr] 11 Dec 2007 ASYMPTOTIC DIRECTION FOR RANDOM WALKS IN RANDOM ENVIRONMENTS arxiv:math/0512388v2 [math.pr] 11 Dec 2007 FRANÇOIS SIMENHAUS Université Paris 7, Mathématiques, case 7012, 2, pace Jussieu, 75251 Paris, France

More information

1 Gambler s Ruin Problem

1 Gambler s Ruin Problem Coyright c 2009 by Karl Sigman 1 Gambler s Ruin Problem Let N 2 be an integer and let 1 i N 1. Consider a gambler who starts with an initial fortune of $i and then on each successive gamble either wins

More information

3 1. Note that all cubes solve it; therefore, there are no more

3 1. Note that all cubes solve it; therefore, there are no more Math 13 Problem set 5 Artin 11.4.7 Factor the following polynomials into irreducible factors in Q[x]: (a) x 3 3x (b) x 3 3x + (c) x 9 6x 6 + 9x 3 3 Solution: The first two polynomials are cubics, so if

More information

How To Understand The Relation Between Quadratic And Binary Forms

How To Understand The Relation Between Quadratic And Binary Forms 8430 HANDOUT 3: ELEMENTARY THEORY OF QUADRATIC FORMS PETE L. CLARK 1. Basic definitions An integral binary quadratic form is just a polynomial f = ax 2 + bxy + cy 2 with a, b, c Z. We define the discriminant

More information

Measuring relative phase between two waveforms using an oscilloscope

Measuring relative phase between two waveforms using an oscilloscope Measuring relative hase between two waveforms using an oscilloscoe Overview There are a number of ways to measure the hase difference between two voltage waveforms using an oscilloscoe. This document covers

More information

Factoring of Prime Ideals in Extensions

Factoring of Prime Ideals in Extensions Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

More information

Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra I. Ronald van Luijk, 2012 Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.

More information

P. Jeyanthi and N. Angel Benseera

P. Jeyanthi and N. Angel Benseera Opuscula Math. 34, no. 1 (014), 115 1 http://dx.doi.org/10.7494/opmath.014.34.1.115 Opuscula Mathematica A TOTALLY MAGIC CORDIAL LABELING OF ONE-POINT UNION OF n COPIES OF A GRAPH P. Jeyanthi and N. Angel

More information

Unified Lecture # 4 Vectors

Unified Lecture # 4 Vectors Fall 2005 Unified Lecture # 4 Vectors These notes were written by J. Peraire as a review of vectors for Dynamics 16.07. They have been adapted for Unified Engineering by R. Radovitzky. References [1] Feynmann,

More information

Complex Conjugation and Polynomial Factorization

Complex Conjugation and Polynomial Factorization Comlex Conjugation and Polynomial Factorization Dave L. Renfro Summer 2004 Central Michigan University I. The Remainder Theorem Let P (x) be a olynomial with comlex coe cients 1 and r be a comlex number.

More information

On prime-order elliptic curves with embedding degrees k = 3, 4 and 6

On prime-order elliptic curves with embedding degrees k = 3, 4 and 6 On prime-order elliptic curves with embedding degrees k = 3, 4 and 6 Koray Karabina and Edlyn Teske University of Waterloo ANTS VIII, Banff, May 20, 2008 K. Karabina and E. Teske (UW) Prime-order elliptic

More information

Zeros of a Polynomial Function

Zeros of a Polynomial Function Zeros of a Polynomial Function An important consequence of the Factor Theorem is that finding the zeros of a polynomial is really the same thing as factoring it into linear factors. In this section we

More information

University of Lille I PC first year list of exercises n 7. Review

University of Lille I PC first year list of exercises n 7. Review University of Lille I PC first year list of exercises n 7 Review Exercise Solve the following systems in 4 different ways (by substitution, by the Gauss method, by inverting the matrix of coefficients

More information

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12 CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

More information

Lecture 4: Partitioned Matrices and Determinants

Lecture 4: Partitioned Matrices and Determinants Lecture 4: Partitioned Matrices and Determinants 1 Elementary row operations Recall the elementary operations on the rows of a matrix, equivalent to premultiplying by an elementary matrix E: (1) multiplying

More information

SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO

SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO K. Hashimoto Nagoya Math. J. Vol. 77 (1980), 167-175 SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO Introduction In the theory of integral quadratic

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

Factoring Polynomials

Factoring Polynomials UNIT 11 Factoring Polynomials You can use polynomials to describe framing for art. 396 Unit 11 factoring polynomials A polynomial is an expression that has variables that represent numbers. A number can

More information

TOPIC 4: DERIVATIVES

TOPIC 4: DERIVATIVES TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the

More information

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Kevin Broughan University of Waikato, Hamilton, New Zealand May 13, 2010 Remainder and Factor Theorem 15 Definition of factor If f (x)

More information

Factoring of Prime Ideals in Galois Extensions

Factoring of Prime Ideals in Galois Extensions Chater 8 Factoring of Prime Ideals in Galois Extensions 8.1 Decomosition and Inertia Grous We return to the general AKLB setu: A is a Dedekind domain with fraction field K, L is a finite searable extension

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

More information

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ] 1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

More information

Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

More information

Factorization Methods: Very Quick Overview

Factorization Methods: Very Quick Overview Factorization Methods: Very Quick Overview Yuval Filmus October 17, 2012 1 Introduction In this lecture we introduce modern factorization methods. We will assume several facts from analytic number theory.

More information

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets. MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets. Norm The notion of norm generalizes the notion of length of a vector in R n. Definition. Let V be a vector space. A function α

More information

Lecture 21 and 22: The Prime Number Theorem

Lecture 21 and 22: The Prime Number Theorem Lecture and : The Prime Number Theorem (New lecture, not in Tet) The location of rime numbers is a central question in number theory. Around 88, Legendre offered eerimental evidence that the number π()

More information

SIMPLE MODELS OF TRANSMISSION LINE IN MATHCAD ENVIROMENTS PROSTE MODELE LINII DŁUGIEJ W ŚRODOWISKU MATHCAD

SIMPLE MODELS OF TRANSMISSION LINE IN MATHCAD ENVIROMENTS PROSTE MODELE LINII DŁUGIEJ W ŚRODOWISKU MATHCAD ELEKTRYKA Zeszyt () Ro LVIII Piotr JANKOWSKI Deartment of Marine Eectrica Power Engineering, Gdynia Maritime University SIMPLE MODELS OF TRANSMISSION LINE IN MATHCAD ENVIROMENTS Summary. The artice resents

More information

26 Ideals and Quotient Rings

26 Ideals and Quotient Rings Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed

More information

Lecture L3 - Vectors, Matrices and Coordinate Transformations

Lecture L3 - Vectors, Matrices and Coordinate Transformations S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3 - Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between

More information

More Properties of Limits: Order of Operations

More Properties of Limits: Order of Operations math 30 day 5: calculating its 6 More Proerties of Limits: Order of Oerations THEOREM 45 (Order of Oerations, Continued) Assume that!a f () L and that m and n are ositive integers Then 5 (Power)!a [ f

More information

6 EXTENDING ALGEBRA. 6.0 Introduction. 6.1 The cubic equation. Objectives

6 EXTENDING ALGEBRA. 6.0 Introduction. 6.1 The cubic equation. Objectives 6 EXTENDING ALGEBRA Chapter 6 Extending Algebra Objectives After studying this chapter you should understand techniques whereby equations of cubic degree and higher can be solved; be able to factorise

More information

Introduction to Matrix Algebra

Introduction to Matrix Algebra Psychology 7291: Multivariate Statistics (Carey) 8/27/98 Matrix Algebra - 1 Introduction to Matrix Algebra Definitions: A matrix is a collection of numbers ordered by rows and columns. It is customary

More information

MATH 10034 Fundamental Mathematics IV

MATH 10034 Fundamental Mathematics IV MATH 0034 Fundamental Mathematics IV http://www.math.kent.edu/ebooks/0034/funmath4.pdf Department of Mathematical Sciences Kent State University January 2, 2009 ii Contents To the Instructor v Polynomials.

More information

SOLUTIONS FOR PROBLEM SET 2

SOLUTIONS FOR PROBLEM SET 2 SOLUTIONS FOR PROBLEM SET 2 A: There exist primes p such that p+6k is also prime for k = 1,2 and 3. One such prime is p = 11. Another such prime is p = 41. Prove that there exists exactly one prime p such

More information

TRANSCENDENTAL NUMBERS

TRANSCENDENTAL NUMBERS TRANSCENDENTAL NUMBERS JEREMY BOOHER. Introduction The Greeks tried unsuccessfully to square the circle with a comass and straightedge. In the 9th century, Lindemann showed that this is imossible by demonstrating

More information

Number Theory Naoki Sato <sato@artofproblemsolving.com>

Number Theory Naoki Sato <sato@artofproblemsolving.com> Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material

More information

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors. Jordan canonical form (continued).

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors. Jordan canonical form (continued). MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors Jordan canonical form (continued) Jordan canonical form A Jordan block is a square matrix of the form λ 1 0 0 0 0 λ 1 0 0 0 0 λ 0 0 J = 0

More information

ILP Formulation and K-Shortest Path Heuristic for the RWA Problem with Allocation of Wavelength Converters

ILP Formulation and K-Shortest Path Heuristic for the RWA Problem with Allocation of Wavelength Converters ILP Formuation and K-Shortest Path Heuristic for the RWA Probem with Aocation of Waveength Converters Karcius D.R. Assis 1, A. C. B. Soares, Wiiam F. Giozza and Heio Wadman 1 UEFS- State University of

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

More information

Matrix Algebra. Some Basic Matrix Laws. Before reading the text or the following notes glance at the following list of basic matrix algebra laws.

Matrix Algebra. Some Basic Matrix Laws. Before reading the text or the following notes glance at the following list of basic matrix algebra laws. Matrix Algebra A. Doerr Before reading the text or the following notes glance at the following list of basic matrix algebra laws. Some Basic Matrix Laws Assume the orders of the matrices are such that

More information

Polynomials. Jackie Nicholas Jacquie Hargreaves Janet Hunter

Polynomials. Jackie Nicholas Jacquie Hargreaves Janet Hunter Mathematics Learning Centre Polnomials Jackie Nicholas Jacquie Hargreaves Janet Hunter c 26 Universit of Sdne Mathematics Learning Centre, Universit of Sdne 1 1 Polnomials Man of the functions we will

More information

3. INNER PRODUCT SPACES

3. INNER PRODUCT SPACES . INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.

More information

k, then n = p2α 1 1 pα k

k, then n = p2α 1 1 pα k Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

More information

Geometric Transformations

Geometric Transformations Geometric Transformations Definitions Def: f is a mapping (function) of a set A into a set B if for every element a of A there exists a unique element b of B that is paired with a; this pairing is denoted

More information

1 VECTOR SPACES AND SUBSPACES

1 VECTOR SPACES AND SUBSPACES 1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such

More information

Computing Cubic Fields in Quasi-Linear Time

Computing Cubic Fields in Quasi-Linear Time Computing Cubic Fields in Quasi-Linear Time K. Belabas Département de mathématiques (A2X) Université Bordeaux I 351, cours de la Libération, 33405 Talence (France) belabas@math.u-bordeaux.fr Cubic fields

More information

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication: COMMUTATIVE RINGS Definition: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative

More information