On primitive points of elliptic curves with complex multiplication (Q2566184)

Let \(E\) be an elliptic curve defined over \(\mathbb{Q}\) with complex multiplication by an order \({\mathcal O}\) in an imaginary quadratic field \(k\), and let \(P\in E(\mathbb{Q})\) be a rational point of infinite order. Let \(M_{E,P}\) denote the set of rational primes \(\ell\) such that \(\ell\) splits in \(k\), \(E\) has good reduction at \(\ell\), and \(P\) is a primitive point modulo \(\ell\). When \(k= \mathbb{Q}(\sqrt{-p})\) with \(p\in\{11,19,43,67,163\}\) and \({\mathcal O}\) is the maximal order of \(k\), \textit{R. Gupta} and \textit{M. R. Murty} [Compos. Math. 58, 13--44 (1986; Zbl 0598.14018)] showed under the assumption of the generalized Riemann hypothesis that \(M_{E,P}\) has a positive density. In the present paper the authors extend the results to several cases of non-maximal orders. The main theorem shows the following: Under the assumption that \(E_{\text{tor}}(k)\) is cyclic, \(M_{E,P}\) has a positive density if and only if for any prime \(q|\# E_{\text{tor}}(k)\), there exists no \(k\)-rational \(q\)-isogeny \(\phi: E'\to E\) such that \(\phi^{-1}(P)\subset E'(k)\).