A recurrence relation for elliptic divisibility sequences

Abstract

In literature, there are two different definitions of elliptic divisibility sequences. The first one says that a sequence of integers $\{h_n\}_{n\geq 0}$ is an elliptic divisibility sequence if it verifies the recurrence relation $h_{m+n}h_{m-n}h_{r}^2=h_{m+r}h_{m-r}h_{n}^2-h_{n+r}h_{n-r}h_{m}^2$ for every natural number $m\geq n\geq r$. The second definition says that a sequence of integers $\{β_n\}_{n\geq 0}$ is an elliptic divisibility sequence if it is the sequence of the square roots (chosen with an appropriate sign) of the denominators of the abscissas of the iterates of a point on a rational elliptic curve. It is well-known that the two sequences are not equivalent. Hence, given a sequence of the denominators $\{β_n\}_{n\geq 0}$, in general does not hold $β_{m+n}β_{m-n}β_{r}^2=β_{m+r}β_{m-r}β_{n}^2-β_{n+r}β_{n-r}β_{m}^2$ for $m\geq n\geq r$. We will prove that the recurrence relation above holds for $\{β_n\}_{n\geq 0}$ under some conditions on the indexes $m$, $n$, and $r$.

Theorems & Definitions (48)

• Definition A
• Definition B
• Remark 1.1
• Remark 1.2
• Definition 1.3
• Example 1.4
• Example 1.5
• Example 1.6
• Theorem 1.7
• Theorem 1.9