p-adic Properties of Translated Division Polynomials and Somos Sequences

In this paper we consider the sequences $(\Psi _{n}(\mathbf{P}))_{n\geq 0}$, $(\Phi _{n}(\mathbf{P}))_{n\geq 0}$ and $(\overline{\Omega }\,_{n}(\mathbf{P}$ of values of the translated division polynomials of an elliptic curve $E/K$ evaluated at a point $\mathbf{P}\in$ $E(K)^{2}$. We prove that these sequences are purely periodic when $K$ is a finite field. Then we use the periodicity properties of these sequences to prove that certain subsequences of these sequences are $$-Cauchy. Finally, we use this result to prove analogous results for Somos $4$ and Somos $5$ sequences.