Periodicity mod \(q\) of elliptic sequences and \(S\)-integral points on elliptic curves (Q1313315)

Let \(E\) be an elliptic curve defined over \(\mathbb{Q}\) by a generalized Weierstrass equation: \[ y^ 2+A_ 1 xy+A_ 3 y= x^ 3+A_ 2 x^ 2+ A_ 4 x+A_ 6; \qquad A_ i\in\mathbb{Z}. \] Let \(M=(a/d^ 2,b/d^ 3)\), with \((a,d)=1\), be a rational point on this curve. For every integer \(m\), we express the coordinates of \(mM\) in the form: \[ mM= \left( {{\varphi_ m(M)} \over {\psi^ 2_ n(m)}}, {{\omega_ m(M)} \over {\psi^ 3_ m(M)}} \right)= \left( {{\widehat{\varphi}_ m} \over {d^ 2\widehat{\psi}^ 2_ m}}, {{\widehat {\omega}_ m} \over {d^ 3 \widehat {\psi}^ 3_ m}} \right), \] where \(\varphi_ m, \psi_ m, \omega_ m\in \mathbb{Z}[A_ 1, \dots, A_ 6,x,y]\) and \(\widehat {\varphi}_ m\), \(\widehat {\psi}_ m\), \(\widehat {\omega}_ m\) are obtained from these by multiplying by appropriate powers of \(d\). Let \(p\) be a rational odd prime and suppose that \(M\pmod p\) is non singular and that the rank of apparition of \(p\) in the sequence of integer \((\widehat {\psi}_ m)\) is at least equal to three. Denote this rank by \(r=r(p)\) and let \(\nu_ p(\widehat {\psi}_ r)=e_ 0\geq 1\). We show that the sequence \((\widehat {\psi}_ m)\) is periodic (mod \(p^ N\)) for every \(N\geq 1\). Denote this period by \(\Pi_ N\), then there exists a rank \(N_ 1\) effectively computable, \(1\leq N_ 1\leq e_ 0\), such that \(\pi_ 1=\dots=\pi_{N_ 1}\) and \(\pi_{N+1}= p\pi_ N\) for \(N\geq N_ 1\). These considerations are used to find \(S\)-integral points on elliptic curves.