No label defined (Q3972624)

[For the entire collection see Zbl 0711.00009.] Let \(E\) be an elliptic curve over \(\mathbb{Q}\) with complex multiplication in an imaginary quadratic field \(K\), and let \(R\) be a point of infinite order in \(E(\mathbb{Q})\). For a prime number \(p\) which is inert in \(K\) it is shown that \((p+1)R=0\) on the reduced elliptic curve \(\overline E\) modulo \(p\). This fact can be used for a pseudoprimality test analogous to the one derived from Fermat's criterion. A composite number \(n\) is called elliptic pseudoprime for \(E\) and \(R\), if it passes this test, in particular if \((n+1)R=0\) modulo \(n\). The authors estimate the numbers of these elliptic pseudoprimes improving an earlier result [cf. \textit{I. Miyamoto} and \textit{M. R. Murty}, Math. Comput. 53, No.\ 187, 415-430 (1989; Zbl 0697.14021)]. Their bound is equal to the bound of Erdős for the classical pseudoprimes to the base 2.