Skip to main content

Part of the book series: Undergraduate Texts in Mathematics ((UTM))

  • 12k Accesses

Abstract

An element P of any group is said to have order m if

$$\displaystyle{mP =\mathop{\underbrace{ P + P + \cdots + P}}\limits _{\mbox{ $m$ summands}} = \mathcal{O},}$$

but \(m'P\neq \mathcal{O}\) for all integers 1 ≤ m′ < m. If such an m exists, then P has finite order, otherwise it has infinite order. We begin our study of points of finite order on cubic curves by looking at points of order two and order three. As usual, we will assume that our non-singular cubic curve is given by a Weierstrass equation

$$\displaystyle{y^{2} = f(x) = x^{3} + ax^{2} + bx + c,}$$

and that the point at infinity \(\mathcal{O}\) is taken to be the zero element for the group law.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 59.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    However, there are two caveats. First, as with the case of rational, real, or complex numbers, we must assume that the cubic polynomial \(x^{3} + ax^{2} + bx + c\) does not have a double root in the algebraic closure of the finite field. Second, the formulas do not work for fields of characteristic 2. The problem occurs when we try to go from a general cubic equation to an equation of the form y 2 = f(x). This transformation requires dividing by 2 and completing the square; see Section 1.3 To work with cubic equations in characteristic 2, one uses more general Weierstrass equations of the form \(y^{2} + a_{1}xy + a_{3}y = x^{3} + a_{2}x^{2} + a_{4}x + a_{6}\).

  2. 2.

    Iteration of the duplication map \(x \rightarrow \frac{x^{4}-2bx^{2}-8cx+b^{2}-4ac} {4x^{3}+4ax^{2}+4bx+4c}\) also plays an important role in the theory of dynamical systems, where Lattès used it in 1918 to give the first example of a rational map whose behavior is everywhere chaotic. See [29, 35].

  3. 3.

    We remark that the resultant of f(X) and ϕ(X) is actually D 2, so general theory only predicts an equation of the form \(Ff+\varPhi \phi = D^{2}\).

References

  1. S. Lattès, Sur l’iteration des substitutions rationelles et les fonctions de Poincaré. Comptes Rendus Acad. Sci. Paris 166, 26–28 (1918)

    MATH  Google Scholar 

  2. L.J. Mordell, On the rational solutions of the indeterminate equations of the third and fourth degrees, Math. Proc. Cambridge Philos. Soc. 21, 179–192 (1922)

    Google Scholar 

  3. G. Billing, K. Mahler, On exceptional points on cubic curves. J. Lond. Math. Soc. 15, 32–43 (1940)

    Article  MathSciNet  Google Scholar 

  4. B. Mazur, Modular curves and the Eisenstein ideal. Inst. Hautes Études Sci. Publ. Math. 47, 33–186 (1978/1977)

    Google Scholar 

  5. B. Mazur, Rational isogenies of prime degree (with an appendix by D. Goldfeld). Invent. Math. 44(2), 129–162 (1978)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Silverman, J.H., Tate, J.T. (2015). Points of Finite Order. In: Rational Points on Elliptic Curves. Undergraduate Texts in Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-319-18588-0_2

Download citation

Publish with us

Policies and ethics