cp's OEIS Frontend

A290338 Euler elliptic Carmichael numbers for the elliptic curve y^2 = x^3 + 80.

%I A290338 #25 Sep 03 2017 08:44:43
%S A290338 481,1679,1763,3599,4991,5183,6119,7859,9271,9407,9599,18239,24119,
%T A290338 24511,24803,31919,38111,38999,46079,56159,57599,58463,62863,63503,
%U A290338 67199,72899,82679,152279,163799,167579,170519,181859,187739,196559,208919,213443,236851
%N A290338 Euler elliptic Carmichael numbers for the elliptic curve y^2 = x^3 + 80.
%C A290338 An elliptic curve E over a field K is a nonsingular algebraic curve defined by a minimal Weierstrass equation
%C A290338 E/K: y^2 + a_1 xy + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6
%C A290338 for some coefficients a_1, a_2, a_3, a_4, a_6 in K and discriminant of E not equal to zero.
%C A290338 Associated to E is an L-function L(E,s) = sum_{N} a_N / N^s. The map sending the positive integer N to a_N is a multiplicative function. Moreover, a_p = p + 1 - #E(F_p) with E(F_p) defined below, and a_{p^e} = a_p a_{p^{e-1}} - 1_E(p) p a_{p^{e-2}} for all e >= 2 where 1_E(p) is 1 if p does not divide the discriminant of E and is 0 otherwise.
%C A290338 Let E(Q) be an elliptic curve over Q, the field of rational numbers. We can replace y and x with scalar multiples such that the defining equation of E has integer coefficients.
%C A290338 For an integer N > 2, let E(Z/NZ) be the set of points (x,y) satisfying the defining equation of E in Z/NZ, the ring of integers modulo N, and the "points at infinity" (identity element). If the discriminant of E is coprime to N, then E(Z/NZ) forms an Abelian group.
%C A290338 If the discriminant of E is indivisible by a prime p and if #E(F_p) = p, then p is called an anomalous prime for E. There are no anomalous primes for the curve y^2 = x^3 + 80. This was shown in a paper by H. Qin (2016), see link.
%C A290338 The notions of strong elliptic pseudoprimes and strong elliptic Carmichael numbers are defined in "Anomalous Primes and Extension of the Korselt Criterion", see link. A Korselt criterion for these two notions was proven in "Anomalous Primes and Extension of the Korselt Criterion" based on the Korselt criterion developed in "Elliptic Carmichael Numbers and Elliptic Korselt Criteria" (J. Silverman, 2012).
%C A290338 Let N be a composite number, and P be a point of E(Z/NZ). Suppose that N+1-a_N is even, N has at least two distinct prime factors, and N is coprime to the discriminant of E. Then, N is an Euler elliptic pseudoprime for (E,P) if ((N+1-a_N)/2) P is the identity if P = 2Q for some Q in E(Z/NZ) and is of the form (x,y) where 2y + a_1 x + a_3 = 0 modulo N otherwise. For a prime p, let ord_p(N) be the p-adic order of N. Also let e_{N,p}(E) be the exponent of the group E(Z/p^(ord_p(N))Z). N is an Euler elliptic Carmichael number for E if and only if N has at least two distinct prime factors, N is coprime to the discriminant of E, and, for every prime p dividing N, 2e_{N,p}(E) divides N+1-a_N.
%H A290338 Hyun Jong Kim, <a href="/A290338/b290338.txt">Table of n, a(n) for n = 1..334</a>
%H A290338 L. Babinkostova, J. C. Bahr, Y. H. Kim, E. Neyman, and G. K. Taylor, <a href="https://arxiv.org/abs/1608.02317">Anomalous primes and the Elliptic Korselt Criterion</a>, arXiv:1608.02317 [math.NT], 2016.
%H A290338 L. Babinkostova, B. Bentz, M. I. Hassan, A. Hernández-Espiet, and H. Kim, <a href="http://math.boisestate.edu/reu/publications/KorseltExtension.pdf">Anomalous Primes and Extension of the Korselt Criterion</a>.
%H A290338 L. Babinkostova, B. Bentz, M. I. Hassan, A. Hernández-Espiet, and H. Kim, <a href="https://cocalc.com/projects/fc3a1712-5315-4e9b-979f-758952178f11/files/Sage/OEIS%20Euler%20elliptic%20Carmichael%20numbers.sagews">Software for generating sequence</a>.
%H A290338 D. M. Gordon, <a href="https://doi.org/10.1090/S0025-5718-1989-0946604-2">On the number of elliptic pseudoprimes</a>, Mathematics of Computations Vol. 52:185 (1989), 231-245.
%H A290338 B. Mazur, <a href="http://mi.mathnet.ru/eng/mat668">Rational Points of Abelian Varieties with Values in Towers of Number Fields</a>, Invent. Mathematics 18 (1972), 183-266.
%H A290338 I. Miyamoto and M. R. Murty, <a href="https://doi.org/10.1090/S0025-5718-1989-0970701-9">Elliptic Pseudoprimes</a>, Mathematics of Computation, Vol. 53:187 (1989), 290-305.
%H A290338 S. Müller, <a href="https://doi.org/10.1090/S0025-5718-09-02275-3">On the existence and non-existence of elliptic pseudoprimes</a>, Mathematics of Computation, Vol. 79 (2009), 1171-1190.
%H A290338 H. Qin, <a href="https://doi.org/10.1112/plms/pdv072">Anomalous primes of the elliptic curve E_D:y^2 = x^3 + D</a>, Proceedings of London Mathematics Society, Vol. 3:112 (2016), 415-453.
%H A290338 J. H. Silverman, <a href="https://arxiv.org/abs/1108.3830">Elliptic Carmichael Numbers and Elliptic Korselt Criteria</a>, Acta Arithmetica Vol. 155:3 (2012), 233-246.
%e A290338 Let N = 481 = 13*37. The discriminant of E: y^2 = x^3 + 80 is -16*(4*0^3 + 27*80^2) = -2764800, which is coprime to N. It turns out that E(Z/13Z) is isomorphic to the Abelian group Z/19Z and that E(Z/37Z) is isomorphic to the Abelian group Z/14Z + Z/2Z. In particular, #E(Z/13Z) = 19 and #E(Z/37Z) = 28, so a_13 = 13+1-19 = -5 and a_37 = 37+1-28 = 10. Therefore, a_N = a_13 * a_37 = -50, so N+1-a_N = 532. Moreover, e_{N,13} = 19 and e_{N,37} = 14, so 2*e_{N,13} = 38 and 2*e_{N,37} = 28 both divide N+1-a_N.
%Y A290338 Cf. A112927, A275739.
%K A290338 nonn
%O A290338 1,1
%A A290338 _Hyun Jong Kim_, Jul 27 2017