ALGORITHMS FOR ALGEBRAIC CURVES

Size: px
Start display at page:

Download "ALGORITHMS FOR ALGEBRAIC CURVES"

Transcription

1 ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 3 In this text the symbol Θ stands for a positive constant. 1. COMPLEXITY THEORY AGAIN : DETERMINISTIC AND PROBABILISTIC CLASSES We refer the reader to Papadimitriou s book [Pap] for a complete treatment of complexity theory Languages. Let Σ be an alphabet i.e. a finite set of symbols. The set of finite words on Σ is denoted Σ. A language is a subset of Σ. For a language L Σ the associated decision problem is as follows. On input a word w Σ we want to decide if w belongs to L or not. Examples : even integers, prime integers, etc. For a function f : Σ Σ, the associated functional problem is as follows. On input a word w Σ we want to evaluate f(w). Examples : multiplying, factoring, etc Turing machines. Turing machines are a theoretical model for computers. They are finite automata (they have finitely many inner states), but they can write or read on an infinite tape with a tape head. A Turing machine can be defined by a transition table. For a given inner state and current character read by the head, the transition table provides the next inner state, which character to write on the tape in place of the current one, and how the head should move on the tape (one step left, one step right, or no move at all). More formally, a Turing machine is a 4-uple M = (K, Σ, δ, s) where K is the finite set of states, s K is the initial state, Σ is a finite set of symbols (the alphabet). One assumes that Σ contains two special symbols and, the spacing and the starting symbol. And the transition function is δ : K Σ (K {h, yes, no }) Σ {,, }. The state h is the end state, yes is the accepting state, and no is the rejecting state. The moving instructions are to move one step on the left, to move one step on the right, and not to move. The transition function δ associates to the current state q K and to the read symbol σ Σ, the triple (p, ρ, D) where p is the next state, ρ is the symbol to be written in place of σ, and D indicates how the head should move. The head initially stays at the beginning of the tape, and the symbol is written there. The input of the algorithme is written just after the symbol. The transition function must satisfy the following condition : if the symbol is read, moving to the left is prohibited. And the symbol cannot be erased. This ensures that the head never leaves the tape on the left. This model is called one tape Turing machine. One may also consider Turing machines with several tapes, and one head on each tape. 1

2 2 SUMMARY OF LECTURE 3 Question 1. How fast can a one tape Turing machine copy the input on its right? How fast can a two tape Turing machine copy the input on its right? What about sorting? How fast can a multitape Turing machine merge two sorted lists? More on Turing machines can be found in Chapter 2 of [Pap]. Remind a decision problem is a question that must be answered by yes or no: for example, deciding whether an integer is prime. The answer to a functional problem is a more general function of the question. For example, factoring an integer is a functional problem. If we want to solve a functional problem with a Turing machine, we write the input on the tape, we run the Turing machine, and we wait until it stops. We then read the output on the tape. If the machine always stops and returns the correct answer, we say that it solves the problem in question. The time complexity is the number of steps before the Turing machine has solved a given problem. Such a Turing machine is said to be deterministic because its behavior only depends on the input. The size of the input is the number of bits required to encode it. This is the space used on the tape to write this input. For example, the size of an integer is the number of bits in its binary expansion. A problem is said to be deterministic polynomial time if there exists a deterministic Turing machine that solves it in time polynomial in the size of the input. The class of all functional problems that can be solved in deterministic polynomial time is denoted FP or FPTIME. The class of deterministic polynomial time decision problems is denoted P or PTIME. Question 2. Is every language L {0, 1} accepted by a Turing machine? 1.3. Las Vegas randomized algorithms. Assume now that we are interested in the following problem: Given an odd prime integer p, find an integer a such that 1 a p 1 and a is not a square modulo p. ( ) This looks like a very easy problem because half of the nonzero residues modulo p are not squares. So we may just pick a random integer a between 1 and p 1 and compute the Legendre symbol ( ) p 1 a p = a 2. If the symbol is 1 we output a. Otherwise we output FAIL. The probability of success is 1/2 and failing is not a big problem because we can rerun the algorithm: we just pick another random integer a. This is a typical example of a randomized Las Vegas algorithm. The behavior of the algorithm depends on the input, of course, but also on the result of some random choices. One has to flip coins. A nice model for such an algorithm would be a Turing machine that receives besides the input, a long enough (say infinite) one-dimensional array R consisting of 0s and 1s. Whenever the machine needs to flip a coin, it looks at the next entry in the array R. So the Turing machine does not need to flip coins: we provide enough random data at the beginning. We assume that the running time of the algorithm is bounded from above in terms of the size of the input only (this upper bound should not depend on the random data R). For each input, we ask that the probability (on R) that the Turing machine returns the correct answer is 1/2. The random data R takes values in {0, 1} N. The measure on this latter set is the limit of the uniform measures on {0, 1} k when k tends to infinity. If the Turing machine fails to return the correct answer, it should return FAIL instead.

3 ALGORITHMS FOR ALGEBRAIC CURVES 3 We have just proved that finding a nonquadratic residue modulo p can be done in Las Vegas probabilistic polynomial time. At present (April 2012) there is no known algorithm that can be proved to solve this problem in deterministic polynomial time. The class of Las Vegas probabilistic polynomial time decision problems is denoted ZPP Picking random elements in finite sets. Let X and Y be two finite subsets. Prove that the product of the uniform measure on X by the uniform measure on Y is the uniform measure on X Y. Let X Y be two finite subsets. Prove that the restriction to X of the uniform measure on Y is the uniform measure on X. How can we pick a random integer in [1, p 1] with uniform probability, using a coin? How long does it take? How can we we pick a random element in a finite field with uniform probability? Picking a random point on an elliptic curve is a bit more tricky if we want uniform distribution. We have the finite set X(F q ) = {(x, y) F q 2 y 2 (x 3 + ax + b)}. A first idea is to first pick a random x coordinate in P 1 (K) = K. Then try to solve the degree two equation E(y, x) = 0. If there is no solution we throw x and start again. If there is a single solution we have a 2-torsion point and we are happy with it. If there are two solutions we choose one of them by flipping a coin. It is easy to check that [2]-torsion points are more likely to be selected (by a factor two). So the distribution is not uniform. A simple way of correcting this is to flip a coin even if there is a single solution to E(y, x) = 0. And to keep the point iff the the result is heads. If it is tails we throw x away Monte Carlo randomized algorithms. We now consider another slightly more difficult problem: Given an odd prime integer p, find a generating set (g i ) 1 i I for the cyclic group (Z/pZ). ( ) We have a simple probabilistic algorithm for this problem. We compute an integer I such that log 2 (3 log 2 (p 1)) I log 2 (3 log 2 (p 1)) + 2 and we pick I random integers (a i ) 1 i I in the interval [1, p 1]. The a i are uniformly distributed and pairwise independent. We set g i = a i mod p, and we show that the (g i ) 1 i I generate the group (Z/pZ) with probability 2/3. Indeed, if they don t, they must all lie in a maximal subgroup of (Z/pZ). The maximal subgroups of (Z/pZ) correspond to prime divisors of p 1. Let q be such a prime divisor. The probability that the (g i ) 1 i I all lie in the subgroup of index q is bounded from above by 1 q I 1 2 I, so the probability that the (g i ) 1 i I don t generate (Z/pZ) is bounded from above by 2 I times the number of prime divisors of q 1. Since the latter is log 2 (p 1), the probability of failure

4 4 SUMMARY OF LECTURE 3 is log 2(p 1), 2 I and this 1/3 by definition of I. Note that here we have a new kind of probabilistic algorithm: the answer is correct with probability 2/3 but when the algorithm fails, it may return a false answer. Such an algorithm (a Turing machine) is called Monte Carlo probabilistic. This is weaker than a Las Vegas algorithm. We just proved that problem ( ) can be solved in Monte Carlo probabilistic polynomial time. We don t know of any Las Vegas probabilistic polynomial time algorithm for this problem. The class of Monte Carlo probabilistic polynomial time decision problems is denoted BPP. In general, a Monte Carlo algorithm can be turned into a Las Vegas one provided the answer can be checked efficiently, because we then can force the algorithm to admit that it has failed. Note also that if we set I = f + log 2 (log 2 (p 1)), where f is a positive integer; then the probability of failure in the algorithm above is bounded from above by 2 f. So we can make this probability arbitrarily small at almost no cost. 2. MAPS BETWEEN ELLIPTIC CURVES Definition Let K be a field and let (X 1, O 1 ) and (X 2, O 2 ) be two elliptic curves over K. A morphism of elliptic curves is a morphism of algebraic curves f : X 1 X 2 such that f(o 1 ) = O 2. A non-constant morphism is called an isogeny. Examples, automorphisms : the identity, the involution (x, y) (x, y). These are indeed automorphisms. The automorphism group has order at least 2. Assume that the characteristic p of K is not 2. The elliptic curve with equation y 2 = x 3 + x has the automorphism (x, y) ( x, iy) defined over K(i). Its automorphism group over K has order at least 4. Assume that the characteristic p of K is not 2 or 3. The elliptic curve with equation y 2 = x has the automorphism (x, y) (ζ 3 x, y) over K(ζ 3 ). Its automorphism group over K has order at least 6. Theorem The automorphism group is of order 2 if j {0, 1728}. It is of order 6 if j = 0 and p {2, 3}. It is of order 4 if j = 0 and p {2, 3}. Indeed for p {2, 3} we have a reduced Weierstrass form and any K-automorphism takes the form (x, y) (u 2 x, u 3 y) for some u K. Examples, multiplication by n : for n a positive integer we define np = P + P and ( n)p = (np ). The map [n] : P np is a morphism of the elliptic curve into itself (an endomorphism). For n 0 this is a finite morphism with degree n 2. We already computed an explicit description of the map [1], [ 1] and [2]. Indeed we expressed the coordinates of 2P namely (x 2P, y 2P ) as rational fractions in x P and y P. A similar calculation would give (x 3P, y 3P ) as rational fractions in x P and y P. Classically these rational fractions are given as x np = φ n(x, y) ψ n (x, y) and y 2 np = ω n(x, y) ψ n (x, y), 3

5 ALGORITHMS FOR ALGEBRAIC CURVES 5 where φ n, ψ n and ω n are polynomials in x and y satisfying simple recurrence formulae. See the books by Silverman [Sil] or Enge [Eng]. They have degree 0 or 1 in y and degree n 2 in x. The three polynomials φ n, ψ n and ω n can be computed in time n 2 log n operations in K. For n odd ψ n is a degree (n 2 1)/2 polynomial in K[x]. It vanishes exactly at the x- coordinates of non-zero n-torsion points. The n-torsion points form a set (group) X[n]( K) = {P X( K) np = O}. Example : for X with affine equation y 2 = x 3 + x we have ψ 2 = 2y, ψ 3 = 3x 4 + 6x 2 1, ψ 4 = (4x x 4 20x 2 4)y, ψ 5 = 5x x x 8 300x 6 125x 4 50x The ideal generated by y 2 x 3 ax b and ψ n (x, y) is the ideal of X[n] O in the affine plane. The Frobenius morphism : let X be given by some Weierstrass equation E(x, y) = y 2 x 3 ax b with a, and b in K a field with finite characteristic p. Let X (p) be the curve with equation E(x, y) = y 2 x 3 a p x b p. The map Φ (p) : (x, y) (x p, y p ) defines a morphism from X onto X (p). Indeed such a morphism exists for every curve over a field with chracteristic p. We note that the image by Φ (p) of the origin O is the origin on X (p). The degree of Φ (p) is p. And Φ (p) is a purely inseparable map. Over a finite field with cardinality q = p e the morphism Φ (q) is an endomorphism. Theorem : any morphism of elliptic curves f : (X 1, O 1 ) (X 2, O 2 ) is a morphism of (algebraic) groups : f(p + Q) = f(p ) + f(q). When f is separable, then Ker(f) is a dimension zero reduced subscheme of X. It is in fact a subgroupscheme. From a set theoretical point of view we can then identify Ker(f) with the set of its K-points Ker(f)( K) = {P X 1 ( K) f(p ) = O 2 }. In general (without assuming that f is separable), the finite group Ker(f)( K) has order the separable degree of f. The dual isogeny Let f : X Y an isogeny. To every divisor D on Y we associate its pull-back f (D) on X. If D has local equation g then f (D) has local equation g f. We deduce a map f : Pic 0 (Y ) = Y (K) Pic 0 (X) = X(K). It is induced by a morphism ˆf : Y X. This ˆf is called the dual isogeny. We have ˆff = [deg(f)] X, f ˆf = [deg(f)] Y, deg( ˆf) = deg(f), ˆf = f, fg = ĝ ˆf. The dual of [n] is [n]. 3. VÉLU S FORMULAE We have seen how to write down equations for the Frobenius and multiplication by n morphisms. Vélu s formulae provide such explicit equations for a much broader class of isogenies. Notation For A X(K) we call τ A : X X the translation by A. So τ A (P ) = P + A. We set x A = x τ A and y A = y τ A.

6 6 SUMMARY OF LECTURE 3 Let f be a separable isogeny f : X X with degree d. We assume that Ker(f) splits over K, that is Ker(f)( K) = Ker(f)(K). Further we assume that Ker(f)(K) is cyclic, that is Ker(f)( K) = {O, T, 2T,..., (d 1)T } with T X(K). We call G = {τ A A Ker(f)(K)} the group of translations by elements in the kernel. It is the group of automorphisms of f. It is the group of automorphisms of the Galois field extension K(X ) K(X). And X can be seen as the quotient of X by the finite group Ker(f)(K). The field K(X ) is the fixed subfield of K(X) by this finite group of translations. Vélu s formulae provide an explicit form for Y and f in terms of X and the generator T. The main idea is that the functions x and y on X are almost the traces of x and y in the extension K(X ) K(X). We give these formulae for the simpler case when d 3 is an odd integer. So T E(K) is a point of order d. For A X(K) we set τ A and x A = x A τ A. For k an integer, we set x k = x kt, y k = y kt and following Vélu [Vel1], we define (1) x = x + [x k x(kt )] and y = y + [y k y(kt )]. We also set w 4 = w 6 = 1 k d 1 1 k (d 1)/2 1 k (d 1)/2 a 4 = a 4 5w 4, a 6 = a 6 b 2 w 4 7w 6, 6 x(kt ) 2 + b 2 x(kt ) + b 4, 1 k d 1 10 x(kt ) b 2 x(kt ) b 4 x(kt ) + b 6, and b 2 = a a 2, b 4 = a 1 a 3 + 2a 4, b 6 = a a 6, b 8 = a 2 1a 6 + 4a 2 a 6 a 1 a 3 a 4 + a 2 a 2 3 a 2 4. (2) a 1 = a 1, a 2 = a 2, a 3 = a 3. Vélu proves the identity (y ) 2 + a 1x y + a 3y = (x ) 3 + a 2(x ) 2 + a 4x + a 6. This gives an explicit description of the isogeny in that case. If we want to apply these formulae to compute a separable isogeny with non-split kernel, we may move to the splitting field of this kernel. In case the kernel is non-cyclic we may proceed in several steps since any isogeny if a composite of isogenies with cyclic kernels.

7 ALGORITHMS FOR ALGEBRAIC CURVES 7 4. THE ENDOMORPHISM RING An endomorphism is a morphism f : X X of an elliptic curve into itself. Because X is a (algebraic) group, we can add two endomorphisms of X. We can also compose them. Theorem : the set of endomorphisms of E with the laws + and is a ring. The map f ˆf is a ring anti-homomorphism, and an involution. The fixed subring of the involution is Z End(X). The endomorphism ring is a free Z-module of rank 1, 2, or 4. Every endomorphism has a trace Tr(f) = f + ˆf in Z, a norm Norm(f) = f ˆf in Z, a characteristic polynomial χ f (X) = X 2 Tr(f)X + Norm(f). And of course χ f (f) = χ f ( ˆf) = 0. Example : Consider again the elliptic curve (X, O) where X is given by the affine equation y 2 = x 3 + x over C. The ring End(X) contains Z and J : (x, y) ( x, ζ 4 y) where ζ 4 = exp(2iπ/4). We check that J = 0, Ĵ = J. The subring of End(X) generated by J is isomorphic to the imaginary quadratic order Z[ 1]. Another example : let K = F 9 = F 3 [z]/(z 2 + 1). Consider the elliptic curve (X, O) where X is given by the affine equation y 2 = x 3 + x over K. Then End(X) contains Z and J where J(x, y) = ( x, zy) where z mod z is a root of 1 again. This time we also have the Frobenius endomorphism Φ (3). The ring End(X) is not commutative because J and Φ (3) do not commute. Cardinality and trace of the Frobenius Let K be a finite field with q = p e elements. Let (X, O) be an elliptic curve over K. We denote by Φ the Frobenius endomorphism Φ (q) : X X. The characteristic polynomial T 2 tt + q. of Φ brings much information. Theorem The order of X(K) is q + 1 t where t is the trace of Φ. Further t 2 4q 0. Indeed E(F q ) = {P = (X : Y : Z) E( K) Φ(P ) = (X q : Y q : Z q ) = (X : Y : Z) = P }. So E(F q ) is the set theoretic kernel of Φ 1. And #E(F q ) is the number of K points in the kernel of Φ Id. This is the separable degree deg s (Φ Id). It is a fact that Φ Id is separable (it acts on differentials like Id). So deg s (Φ 1) = deg(φ 1) = (Φ 1)(ˆΦ 1) = q + 1 Tr(Φ) = q + 1 t. Example Let K = Z/3Z and X the elliptic curve with affine equation y 2 = x 3 + x. The characteristic polynomial of Φ = Φ (3) is T 2 tt +3. The number of points #X(F 3 ) is 3+1 t. We have counted 4 points on X. So t = 0. The ring generated by Φ is isomorphic to Z[X]/(X 2 tx + q) Z[ 3] here. We deduce that the trace of Φ k = Φ (3k) is ( 3) k + ( 3) k and the cardinality as already observed. X(F 3 k) = 3 k + 1 ( 3) k ( 3) k,

8 8 SUMMARY OF LECTURE 3 5. USING MAGMA TO PLAY WITH GENERIC POINTS We comment the following instructions in MAGMA. >Q:=Rationals(); The base field is the field Q of rationals. >X := EllipticCurve([ Q 1, 1]); We consider the elliptic curve X over Q with Weierstrass equation y 2 = x 3 + x + 1. >K<y> := FunctionField(X); >F<x> := BaseRing(K); The function field K = Q(X) of X is the field of fractions of the quotient ring Q[x, y]/(y 2 x 3 x 1). >XK := BaseChange(X, K); >P:=XK! [x,y,1]; We base change E to its own function field. So we have an evident non-trivial point on X Q K. This point P is what André Weil in his foundations [Wei] calls a generic point on X. > -P; (x : -y : 1) The coordinates of P give us the formula for the involution. > P+P; ((1/4*x^4-1/2*x^2-2*x + 1/4)/(x^3 + x + 1) : (1/8*x^6 + 5/8*x^4 + 5/2*x^3-5/8*x^2-1/2*x - 9/8) /(x^6 + 2*x^4 + 2*x^3 + x^2 + 2*x + 1)*y : 1) The coordinates of 2P give us the formula for the multiplication by 2. The x 3 + x + 1 in the denominator is very important : it vanishes for non-trivial points of order 2. This is the division polynomial of order 2. > P+P+P; ((1/9*x^9-4/3*x^7-32/3*x^6 + 10/3*x^5-8/3*x^4 + 28/3*x^3 + 16/3*x^2 + 35/3*x + 8) /(x^8 + 4*x^6 + 8*x^5 + 10/3*x^4 + 16*x^3 + 44/3*x^2-8/3*x + 1/9) : (1/27*x^ /27*x^ /27*x^9-55/9*x^8-176/9*x^7-1868/27*x^6 + 88/9*x^5-1145/27*x^4-400/27*x^3-238/9*x^2-1028/27*x - 611/27) /(x^12 + 6*x^ *x^9 + 11*x^8 + 48*x^7 + 52*x^6 + 40*x^ /3*x^4 + 48*x^3-46/3*x^2 + 4/3*x - 1/27)*y : 1) This time we obtain the degree 8 polynomial x 8 + 4x 6 + 8x /3x x /3x 2 8/3x + 1/9 vanishing at every non-zero point of order 3. This is the 3-division polynomial. Using fast exponentiation we can efficiently compute np and deduce the n-division polynomials. Equivalently, text books provide explicit recurrence formulae.

9 ALGORITHMS FOR ALGEBRAIC CURVES 9 REFERENCES [Eng] Andreas Enge. Elliptic Curves and Their Applications to Cryptography - an introduction. Kluwer, [Gat] J. Von Zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press. [Knu] Donald E. Knuth. The Art of Computer Programming. Four volumes. Addison-Wesley. [Pap] C.H. Papadimitriou. Computational complexity. Addison Wesley, Reading, [Sil] J. Silverman. The arithmetic of elliptic curves. Lecture Notes in Math. 106, Springer, Berlin, [Vel1] J. Vélu. Isogénies entre courbes elliptiques. Comptes Rendus de l Académie des Sciences, Série I, 273, pp , [Vel2] J. Vélu. Courbes elliptiques munies d un sous-groupe Z/nZ µ n. Mémoires de la Société Mathématique de France, no. 57 (1978), pp [Wei] A. Weil. Foundations of Algebraic Geometry. American Mathematical Society Colloquium Publications, vol. 29, 1946.

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013 18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and

More information

Mappings of elliptic curves

Mappings of elliptic curves Mappings of elliptic curves Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Isogenies of Elliptic Curves

More information

ALGORITHMS FOR ALGEBRAIC CURVES

ALGORITHMS FOR ALGEBRAIC CURVES ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 7 I consider the problem of computing in Pic 0 (X) where X is a curve (absolutely integral, projective, smooth) over a field K. Typically K is a finite

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

14 Ordinary and supersingular elliptic curves

14 Ordinary and supersingular elliptic curves 18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that

More information

Lecture 2: Elliptic curves

Lecture 2: Elliptic curves Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining

More information

Elliptic Curves Spring 2015 Lecture #7 02/26/2015

Elliptic Curves Spring 2015 Lecture #7 02/26/2015 18.783 Elliptic Curves Spring 2015 Lecture #7 02/26/2015 7 Endomorphism rings 7.1 The n-torsion subgroup E[n] Now that we know the degree of the multiplication-by-n map, we can determine the structure

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

Mathematics for Cryptography

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

More information

Elliptic Curves Spring 2013 Lecture #8 03/05/2013

Elliptic Curves Spring 2013 Lecture #8 03/05/2013 18.783 Elliptic Curves Spring 2013 Lecture #8 03/05/2013 8.1 Point counting We now consider the problem of determining the number of points on an elliptic curve E over a finite field F q. The most naïve

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Explicit Complex Multiplication

Explicit Complex Multiplication Explicit Complex Multiplication Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Explicit CM Eindhoven,

More information

Introduction to Elliptic Curves

Introduction to Elliptic Curves IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting

More information

COMPLEX MULTIPLICATION: LECTURE 15

COMPLEX MULTIPLICATION: LECTURE 15 COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

1. Vélu s formulae GENERALIZATION OF VÉLU S FORMULAE FOR ISOGENIES BETWEEN ELLIPTIC CURVES. Josep M. Miret, Ramiro Moreno and Anna Rio

1. Vélu s formulae GENERALIZATION OF VÉLU S FORMULAE FOR ISOGENIES BETWEEN ELLIPTIC CURVES. Josep M. Miret, Ramiro Moreno and Anna Rio Publ. Mat. 2007, 147 163 Proceedings of the Primeras Jornadas de Teoría de Números. GENERALIZATION OF VÉLU S FORMULAE FOR ISOGENIES BETWEEN ELLIPTIC CURVES Josep M. Miret, Ramiro Moreno and Anna Rio Abstract

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

An Introduction to Supersingular Elliptic Curves and Supersingular Primes

An Introduction to Supersingular Elliptic Curves and Supersingular Primes An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such

More information

Constructing genus 2 curves over finite fields

Constructing genus 2 curves over finite fields Constructing genus 2 curves over finite fields Kirsten Eisenträger The Pennsylvania State University Fq12, Saratoga Springs July 15, 2015 1 / 34 Curves and cryptography RSA: most widely used public key

More information

Galois Representations

Galois Representations 9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

ECEN 5022 Cryptography

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

More information

Identifying supersingular elliptic curves

Identifying supersingular elliptic curves Identifying supersingular elliptic curves Andrew V. Sutherland Massachusetts Institute of Technology January 6, 2012 http://arxiv.org/abs/1107.1140 Andrew V. Sutherland (MIT) Identifying supersingular

More information

Counting points on elliptic curves over F q

Counting points on elliptic curves over F q Counting points on elliptic curves over F q Christiane Peters DIAMANT-Summer School on Elliptic and Hyperelliptic Curve Cryptography September 17, 2008 p.2 Motivation Given an elliptic curve E over a finite

More information

1 Fields and vector spaces

1 Fields and vector spaces 1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

More information

Computing the endomorphism ring of an ordinary elliptic curve

Computing the endomorphism ring of an ordinary elliptic curve Computing the endomorphism ring of an ordinary elliptic curve Massachusetts Institute of Technology April 3, 2009 joint work with Gaetan Bisson http://arxiv.org/abs/0902.4670 Elliptic curves An elliptic

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil

More information

Computing coefficients of modular forms

Computing coefficients of modular forms Computing coefficients of modular forms (Work in progress; extension of results of Couveignes, Edixhoven et al.) Peter Bruin Mathematisch Instituut, Universiteit Leiden Théorie des nombres et applications

More information

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No

More information

COMPUTING MODULAR POLYNOMIALS

COMPUTING MODULAR POLYNOMIALS COMPUTING MODULAR POLYNOMIALS DENIS CHARLES AND KRISTIN LAUTER 1. Introduction The l th modular polynomial, φ l (x, y), parameterizes pairs of elliptic curves with an isogeny of degree l between them.

More information

Turing Machines and Time Complexity

Turing Machines and Time Complexity Turing Machines and Time Complexity Turing Machines Turing Machines (Infinitely long) Tape of 1 s and 0 s Turing Machines (Infinitely long) Tape of 1 s and 0 s Able to read and write the tape, and move

More information

Elliptic Curves Spring 2017 Lecture #5 02/22/2017

Elliptic Curves Spring 2017 Lecture #5 02/22/2017 18.783 Elliptic Curves Spring 017 Lecture #5 0//017 5 Isogenies In almost every branch of mathematics, when considering a category of mathematical objects with a particular structure, the maps between

More information

8 Point counting. 8.1 Hasse s Theorem. Spring /06/ Elliptic Curves Lecture #8

8 Point counting. 8.1 Hasse s Theorem. Spring /06/ Elliptic Curves Lecture #8 18.783 Elliptic Curves Lecture #8 Spring 2017 03/06/2017 8 Point counting 8.1 Hasse s Theorem We are now ready to prove Hasse s theorem. Theorem 8.1 (Hasse). Let E/ be an elliptic curve over a finite field.

More information

Part II. Number Theory. Year

Part II. Number Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler

More information

Elliptic Curves Spring 2015 Lecture #23 05/05/2015

Elliptic Curves Spring 2015 Lecture #23 05/05/2015 18.783 Elliptic Curves Spring 2015 Lecture #23 05/05/2015 23 Isogeny volcanoes We now want to shift our focus away from elliptic curves over C and consider elliptic curves E/k defined over any field k;

More information

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.

More information

THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE

THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE ARNAB KUNDU Abstract. We first look at the fundamental group, and try to find a suitable definition that can be simulated for algebraic varieties. In the

More information

Curves, Cryptography, and Primes of the Form x 2 + y 2 D

Curves, Cryptography, and Primes of the Form x 2 + y 2 D Curves, Cryptography, and Primes of the Form x + y D Juliana V. Belding Abstract An ongoing challenge in cryptography is to find groups in which the discrete log problem hard, or computationally infeasible.

More information

Computing the image of Galois

Computing the image of Galois Computing the image of Galois Andrew V. Sutherland Massachusetts Institute of Technology October 9, 2014 Andrew Sutherland (MIT) Computing the image of Galois 1 of 25 Elliptic curves Let E be an elliptic

More information

L-Polynomials of Curves over Finite Fields

L-Polynomials of Curves over Finite Fields School of Mathematical Sciences University College Dublin Ireland July 2015 12th Finite Fields and their Applications Conference Introduction This talk is about when the L-polynomial of one curve divides

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

CLASS FIELD THEORY WEEK Motivation

CLASS FIELD THEORY WEEK Motivation CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only

More information

CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS

CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS DEPARTMENT OF MATHEMATICS AND STATISTICS UNIVERSITY OF OTTAWA SUPERVISOR: PROFESSOR MONICA NEVINS STUDENT: DANG NGUYEN

More information

MANIN-MUMFORD AND LATTÉS MAPS

MANIN-MUMFORD AND LATTÉS MAPS MANIN-MUMFORD AND LATTÉS MAPS JORGE PINEIRO Abstract. The present paper is an introduction to the dynamical Manin-Mumford conjecture and an application of a theorem of Ghioca and Tucker to obtain counterexamples

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

LARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE

LARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE LARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE EVERETT W. HOWE, FRANCK LEPRÉVOST, AND BJORN POONEN Abstract. We construct examples of families of curves of genus 2 or 3 over

More information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)

More information

Integral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis

Integral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis June 23, 2011 Integral points of a modular curve of level 11 by René Schoof and Nikos Tzanakis Abstract. Using lower bounds for linear forms in elliptic logarithms we determine the integral points of the

More information

Moreover this binary operation satisfies the following properties

Moreover this binary operation satisfies the following properties Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................

More information

Some practice problems for midterm 2

Some practice problems for midterm 2 Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is

More information

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

More information

CDM. Finite Fields. Klaus Sutner Carnegie Mellon University. Fall 2018

CDM. Finite Fields. Klaus Sutner Carnegie Mellon University. Fall 2018 CDM Finite Fields Klaus Sutner Carnegie Mellon University Fall 2018 1 Ideals The Structure theorem Where Are We? 3 We know that every finite field carries two apparently separate structures: additive and

More information

A Few Primality Testing Algorithms

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

More information

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS The integers are the set 1. Groups, Rings, and Fields: Basic Examples Z := {..., 3, 2, 1, 0, 1, 2, 3,...}, and we can add, subtract, and multiply

More information

Summation polynomials and the discrete logarithm problem on elliptic curves

Summation polynomials and the discrete logarithm problem on elliptic curves Summation polynomials and the discrete logarithm problem on elliptic curves Igor Semaev Department of Mathematics University of Leuven,Celestijnenlaan 200B 3001 Heverlee,Belgium Igor.Semaev@wis.kuleuven.ac.be

More information

CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker

CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES Reinier Bröker Abstract. We give an algorithm that constructs, on input of a prime power q and an integer t, a supersingular elliptic curve over F q with trace

More information

13 Endomorphism algebras

13 Endomorphism algebras 18.783 Elliptic Curves Lecture #13 Spring 2017 03/22/2017 13 Endomorphism algebras The key to improving the efficiency of elliptic curve primality proving (and many other algorithms) is the ability to

More information

HONDA-TATE THEOREM FOR ELLIPTIC CURVES

HONDA-TATE THEOREM FOR ELLIPTIC CURVES HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.

More information

SOLUTION TO MATH 797N, PROBLEM SET #1.

SOLUTION TO MATH 797N, PROBLEM SET #1. SOLUTION TO MATH 797N, PROBLEM SET #1. SIMAN WONG Comments: As Silverman points on p. 461,... it is hoped that this book will lead the student on into the realm of active mathematics, and the benefits

More information

LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS

LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS PETE L. CLARK 1. What is an arithmetic Fuchsian group? The class of Fuchsian groups that we are (by far) most interested in are the arithmetic groups.

More information

Projects on elliptic curves and modular forms

Projects on elliptic curves and modular forms Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

INTEGER VALUED POLYNOMIALS AND LUBIN-TATE FORMAL GROUPS

INTEGER VALUED POLYNOMIALS AND LUBIN-TATE FORMAL GROUPS INTEGER VALUED POLYNOMIALS AND LUBIN-TATE FORMAL GROUPS EHUD DE SHALIT AND ERAN ICELAND Abstract. If R is an integral domain and K is its field of fractions, we let Int(R) stand for the subring of K[x]

More information

VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES

VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We

More information

Arithmetic of split Kummer surfaces: Montgomery endomorphism of Edwards products

Arithmetic of split Kummer surfaces: Montgomery endomorphism of Edwards products 1 Arithmetic of split Kummer surfaces: Montgomery endomorphism of Edwards products David Kohel Institut de Mathématiques de Luminy International Workshop on Codes and Cryptography 2011 Qingdao, 2 June

More information

Belyi Lattès maps. Ayberk Zeytin. Department of Mathematics, Galatasaray University. İstanbul Turkey. January 12, 2016

Belyi Lattès maps. Ayberk Zeytin. Department of Mathematics, Galatasaray University. İstanbul Turkey. January 12, 2016 Belyi Lattès maps Ayberk Zeytin Department of Mathematics, Galatasaray University Çırağan Cad. No. 36, 3357 Beşiktaş İstanbul Turkey January 1, 016 Abstract In this work, we determine all Lattès maps which

More information

arxiv: v2 [math.nt] 23 Sep 2011

arxiv: v2 [math.nt] 23 Sep 2011 ELLIPTIC DIVISIBILITY SEQUENCES, SQUARES AND CUBES arxiv:1101.3839v2 [math.nt] 23 Sep 2011 Abstract. Elliptic divisibility sequences (EDSs) are generalizations of a class of integer divisibility sequences

More information

MATH 361: NUMBER THEORY TENTH LECTURE

MATH 361: NUMBER THEORY TENTH LECTURE MATH 361: NUMBER THEORY TENTH LECTURE The subject of this lecture is finite fields. 1. Root Fields Let k be any field, and let f(x) k[x] be irreducible and have positive degree. We want to construct a

More information

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013 The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

Algebra Exam Topics. Updated August 2017

Algebra Exam Topics. Updated August 2017 Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have

More information

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

More information

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes. A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.

More information

Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite Groups. Hendrik Lenstra. 1. Introduction Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,

More information

Mathematical Foundations of Cryptography

Mathematical Foundations of Cryptography Mathematical Foundations of Cryptography Cryptography is based on mathematics In this chapter we study finite fields, the basis of the Advanced Encryption Standard (AES) and elliptical curve cryptography

More information

Elliptic Curves Spring 2013 Lecture #12 03/19/2013

Elliptic Curves Spring 2013 Lecture #12 03/19/2013 18.783 Elliptic Curves Spring 2013 Lecture #12 03/19/2013 We now consider our first practical application of elliptic curves: factoring integers. Before presenting the elliptic curve method (ECM) for factoring

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

Congruent Number Problem and Elliptic curves

Congruent Number Problem and Elliptic curves Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using

More information

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field

More information

Lecture 24: Randomized Complexity, Course Summary

Lecture 24: Randomized Complexity, Course Summary 6.045 Lecture 24: Randomized Complexity, Course Summary 1 1/4 1/16 1/4 1/4 1/32 1/16 1/32 Probabilistic TMs 1/16 A probabilistic TM M is a nondeterministic TM where: Each nondeterministic step is called

More information

Some algebraic number theory and the reciprocity map

Some algebraic number theory and the reciprocity map Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible

More information

HMMT February 2018 February 10, 2018

HMMT February 2018 February 10, 2018 HMMT February 018 February 10, 018 Algebra and Number Theory 1. For some real number c, the graphs of the equation y = x 0 + x + 18 and the line y = x + c intersect at exactly one point. What is c? 18

More information

Algebraic Geometry: MIDTERM SOLUTIONS

Algebraic Geometry: MIDTERM SOLUTIONS Algebraic Geometry: MIDTERM SOLUTIONS C.P. Anil Kumar Abstract. Algebraic Geometry: MIDTERM 6 th March 2013. We give terse solutions to this Midterm Exam. 1. Problem 1: Problem 1 (Geometry 1). When is

More information

On elliptic curves in characteristic 2 with wild additive reduction

On elliptic curves in characteristic 2 with wild additive reduction ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2

More information

Explicit isogenies and the Discrete Logarithm Problem in genus three

Explicit isogenies and the Discrete Logarithm Problem in genus three Explicit isogenies and the Discrete Logarithm Problem in genus three Benjamin Smith INRIA Saclay Île-de-France Laboratoire d informatique de l école polytechnique (LIX) EUROCRYPT 2008 : Istanbul, April

More information

13 Endomorphism algebras

13 Endomorphism algebras 18.783 Elliptic Curves Spring 2015 Lecture #13 03/19/2015 13 Endomorphism algebras The key to improving the efficiency of elliptic curve primality proving (and many other algorithms) is the ability to

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

More information

Outline of the Seminar Topics on elliptic curves Saarbrücken,

Outline of the Seminar Topics on elliptic curves Saarbrücken, Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5

More information

GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE)

GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) JACQUES VÉLU 1. Introduction Let E be an elliptic curve defined over a number field K and equipped

More information

Isogeny invariance of the BSD conjecture

Isogeny invariance of the BSD conjecture Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,

More information