Imaginary quadratic orders with given prime factor of class number
|
|
- Sabina Claribel Jordan
- 7 years ago
- Views:
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 TREVOR ARNOLD Abstract This aer demonstrates a few characteristics of finite extensions of small degree over the rational numbers Q It comrises attemts
More information15. 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 informationLogics 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 informationContinued 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 informationZero: 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 informationChapter 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 informationQuotient 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 informationLecture 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 informationMathematics. (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 informationminimal 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 informationA 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 informationa 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 informationJUST 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 informationInner 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 informationSAT 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 informationFACTORING 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 informationHow 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 informationElementary 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 informationNumber 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 informationCHAPTER 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 informationPUTNAM 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 information4.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 informationa 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 informationVector 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 informationAs 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 informationMATH 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 informationSOME 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 informationGRE 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 informationUnited 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 information4. 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 informationABSTRACT 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 informationPythagorean 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 informationMath 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
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 information4. 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 informationChapter 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 informationLectures 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 informationTOPOLOGICAL 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 informationUnique 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 informationSQUARE 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 informationECE 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 informationCONTENTS 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 information1 = (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 information7. 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 informationFACTORING 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 informationCopy 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 informationNotes 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 informationSYSTEMS 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 informationSAT 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 informationFactoring 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 informationQUADRATIC 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 informationSection 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 informationASYMPTOTIC 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 information1 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 information3 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 informationHow 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 informationMeasuring 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 informationFactoring 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 informationLinear 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 informationP. 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 informationUnified 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 informationComplex 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 informationOn 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 informationZeros 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 informationUniversity 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 informationCONTINUED 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 informationLecture 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 informationSOME 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 informationI. 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 informationFactoring 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 informationTOPIC 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 informationModern 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 informationFactoring 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 informationMATRIX 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 information1 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 informationLecture 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 informationFactorization 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 informationMATH 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 informationLecture 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 informationSIMPLE 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 information26 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 informationLecture 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 informationMore 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 information6 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 informationIntroduction 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 informationMATH 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 informationSOLUTIONS 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 informationTRANSCENDENTAL 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 informationNumber 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 informationMATH 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 informationILP 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 informationUndergraduate 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 informationMatrix 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 informationPolynomials. 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 information3. 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 informationk, 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 informationGeometric 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 information1 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 informationComputing 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 informationCOMMUTATIVE 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