No CrossRef data available.
Pseudoprime Reductions of Elliptic Curves – CORRIGENDUM
Published online by Cambridge University Press: 03 February 2012
Extract
Unfortunately, there are two inaccuracies in the argument of [CLS]. First, the statements of Lemmas 3, 4, 6, and 7 of [CLS] hold only under the additional condition gcd(m, ME) = 1 for some integer ME ≥ 1 depending only on E. Second, the divisibility condition (3·6) in [CLS] implies that tb(ℓ) | nE(p)−1 (rather than tb(ℓ) | nE(p), as it was erroneously claimed on p. 519 in [CLS]). In particular, instead of the divisibility ℓtb(ℓ) | nE(p) (see the last displayed formula on p. 519 in [CLS]), we conclude that for every prime ℓ | L there is an integer aℓ such that(0.1)However, the final result is correct and can easily be recovered. To do so, we remark that under the condition gcd(m,ME) =1, we have full analogues of Lemmas 6, 7, 9, and 10 of [CLS] for the function Π(x;m,a) defined as the number of primes p ≤ x with nE(p) ≡ a (mod m) (rather than just for Π(x;m) = Π(x;m,0) as in [CLS]). Define ρ*(n) as the largest square-free divisor of n which is relatively prime to ME. We then derive from (0.1) above thatTherefore(0.2)Sincewe see that (0.2) above implies the bound (3·7) from [CLS], and the result now follows without any further changes.
- Type
- Corrigendum
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 152 , Issue 3 , May 2012 , pp. 571
- Copyright
- Copyright © Cambridge Philosophical Society 2012