Primitive divisors of sequences associated to elliptic curves (Q2288319): Difference between revisions

Let \(E\) be an elliptic curve defined over number field \(K\) and take \(P, Q\in E(K)\). In the paper the author study the sequence of denominators of \(x\)-coordinates of the sequence of points \(\{nP+Q\}_{n\geq 0}\). More precisely, let us write \((x(nP+Q))=\frac{C_{n}}{D_{n}}\). Here we have factorization of a fractional ideal of \(x(nP+Q)\), where \(C_{n}, D_{n}\) are co-prime integral ideals in \(K\). One of the main results of the paper states that if \(Q\) is torsion point of a prime order then for \(n\) sufficiently large \(D_{n}\) has a primitive divisor, i.e., there is a prime ideal \({\mathfrak p}\) in such that \(\mathfrak{p}\nmid D_{1}D_{1}\cdots D_{n-1}\) and \(\mathfrak{p}|D_{n}\). This generalizes earlier results of \textit{J. H. Silverman} [The arithmetic of elliptic curves. New York, NY: Springer (2009; Zbl 1194.11005)] who obtained the statement in the case of \(K=\mathbb{Q}\) and \(Q=0\) and of \textit{J. Cheon} and \textit{S. Hahn} [Acta Arith. 88, No. 3, 219--222 (1999; Zbl 0933.11029)] (in the case of general \(K\) and \(Q=0\)). In the second part of the paper the author concentrates on the elliptic curves defined over \(\mathbb{Q}\). Let \(E\) be an elliptic curve and for given \(P, Q\in E(\mathbb{Q})\) consider the set \[ N_{P,Q}(x)=\{p<x:\;p\nmid\Delta\;\mbox{and}\;\overline{Q}\in<\overline{P}>\;\mbox{in}\;E(\mathbb{F}_{p})\}. \] As an application of the result concerning primitive divisors the author proves that if \(P\) is of infinite order then \(\# N_{P,Q}(x)\gg \sqrt{\log x}\).