- Journal Home
- Volume 42 - 2024
- Volume 41 - 2023
- Volume 40 - 2022
- Volume 39 - 2021
- Volume 38 - 2020
- Volume 37 - 2019
- Volume 36 - 2018
- Volume 35 - 2017
- Volume 34 - 2016
- Volume 33 - 2015
- Volume 32 - 2014
- Volume 31 - 2013
- Volume 30 - 2012
- Volume 29 - 2011
- Volume 28 - 2010
- Volume 27 - 2009
- Volume 26 - 2008
- Volume 25 - 2007
- Volume 24 - 2006
- Volume 23 - 2005
- Volume 22 - 2004
- Volume 21 - 2003
- Volume 20 - 2002
- Volume 19 - 2001
- Volume 18 - 2000
- Volume 17 - 1999
- Volume 16 - 1998
- Volume 15 - 1997
- Volume 14 - 1996
- Volume 13 - 1995
- Volume 12 - 1994
- Volume 11 - 1993
- Volume 10 - 1992
- Volume 9 - 1991
- Volume 8 - 1990
- Volume 7 - 1989
- Volume 6 - 1988
- Volume 5 - 1987
- Volume 4 - 1986
- Volume 3 - 1985
- Volume 2 - 1984
- Volume 1 - 1983

Cited by

- BibTex
- RIS
- TXT

An elliptic curve is a pair $(E,O),$ where $E$ is a smooth projective curve of genus 1 and $O$ is a point of $E$, called the point at infinity. Every elliptic curve can be given by a Weierstrass equation $$E:y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6.$$ Let $\mathbb{Q}$ be the set of rationals. $E$ is said to be defined over $\mathbb{Q}$ if the coefficients $a_i, i=1,2,3,4,6$ are rationals and $O$ is defined over $\mathbb{Q}$.

Let $E/ \mathbb{Q}$ be an elliptic curve and let $E(\mathbb{Q})_{tors}$ be the torsion group of points of $E$ defined over $\mathbb{Q}$. The theorem of Mazur asserts that $E (\mathbb{Q})_{tors}$ is one of the following 15 groups $$E(\mathbb{Q})_{tors}=\begin{cases} \mathbb{Z}/m\mathbb{Z}, & m=1,2,\ldots,10,12 \\ \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/ 2m \mathbb{Z}, & m=1,2,3,4.\end{cases}.$$ We say that an elliptic curve $E'/\mathbb{Q}$ is isogenous to the elliptic curve $E$ if there is an isogeny, i.e. a morphism $\phi:E\rightarrow E'$ such that $\phi(O)=O$ , where $O$ is the point at infinity.

We give an explicit model of all elliptic curves for which $E(\mathbb{Q})_{tors}$ is in the form $\mathbb{Z}/m\mathbb{Z}$ where $m$ = 9,10,12 or $\mathbb{Z}/ 2 \mathbb{Z}\times \mathbb{Z}/ 2m \mathbb{Z} \ {\rm where} \ m=4$, according to Mazur's theorem. Morever, for every family of such elliptic curves, we give an explicit model of all their isogenous curves with cyclic kernels consisting of rationals points.

An elliptic curve is a pair $(E,O),$ where $E$ is a smooth projective curve of genus 1 and $O$ is a point of $E$, called the point at infinity. Every elliptic curve can be given by a Weierstrass equation $$E:y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6.$$ Let $\mathbb{Q}$ be the set of rationals. $E$ is said to be defined over $\mathbb{Q}$ if the coefficients $a_i, i=1,2,3,4,6$ are rationals and $O$ is defined over $\mathbb{Q}$.

Let $E/ \mathbb{Q}$ be an elliptic curve and let $E(\mathbb{Q})_{tors}$ be the torsion group of points of $E$ defined over $\mathbb{Q}$. The theorem of Mazur asserts that $E (\mathbb{Q})_{tors}$ is one of the following 15 groups $$E(\mathbb{Q})_{tors}=\begin{cases} \mathbb{Z}/m\mathbb{Z}, & m=1,2,\ldots,10,12 \\ \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/ 2m \mathbb{Z}, & m=1,2,3,4.\end{cases}.$$ We say that an elliptic curve $E'/\mathbb{Q}$ is isogenous to the elliptic curve $E$ if there is an isogeny, i.e. a morphism $\phi:E\rightarrow E'$ such that $\phi(O)=O$ , where $O$ is the point at infinity.

We give an explicit model of all elliptic curves for which $E(\mathbb{Q})_{tors}$ is in the form $\mathbb{Z}/m\mathbb{Z}$ where $m$ = 9,10,12 or $\mathbb{Z}/ 2 \mathbb{Z}\times \mathbb{Z}/ 2m \mathbb{Z} \ {\rm where} \ m=4$, according to Mazur's theorem. Morever, for every family of such elliptic curves, we give an explicit model of all their isogenous curves with cyclic kernels consisting of rationals points.

*Journal of Computational Mathematics*.

*20*(4). 337-348. doi: