A146879 -id:A146879 - cp's OEIS frontend

A221362 Number of distinct groups of order n that are the torsion subgroup of an elliptic curve over the rationals Q.

1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 0, 2, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0

Offset: 1

Jonathan Sondow, Jan 12 2013

Barry Mazur proved that the torsion subgroup of an elliptic curve over Q is one of the 15 following groups: Z/NZ for N = 1, 2, …, 10, or 12, or Z/2Z × Z/2NZ with N = 1, 2, 3, 4.

			a(4) = 2 because a subgroup of order 4 in an elliptic curve over Q is isomorphic to one of the 2 groups Z/4Z or Z/2Z × Z/2Z.

J. H. Silverman, The Arithmetic of Elliptic Curves, Graduates Texts in Mathematics 106, Springer-Verlag, 1986 (see Theorem 7.5).

B. Mazur, Rational isogenies of prime degree, Inventiones Math. 44, 2 (June 1978), 129-162.
Wikipedia, Elliptic curve
Wikipedia, Mazur's torsion theorem

Cf. A059765 (possible sizes of the torsion subgroup of an elliptic curve over Q), A146879.

a(n) = 0 for n > 16.

a(A059765(n)) > 0. - Jonathan Sondow, May 10 2014

cp's OEIS Frontend

A221362 Number of distinct groups of order n that are the torsion subgroup of an elliptic curve over the rationals Q.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Formula