|
%I #8 Oct 18 2018 12:22:14
%S 11,14,15,17,19,20,21,24,27,32,36,49
%N Numbers n such that genus of group Gamma_0(n) is 1.
%C I assume it is known that there are no further terms? A reference for this would be nice.
%C Available conductors for modular elliptic curves genus 1. [From _Artur Jasinski_, Jun 24 2010]
%D B. Schoeneberg, Elliptic Modular Functions, Springer-Verlag, NY, 1974, p. 103.
%D G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, Princeton, 1971, see Prop. 1.40 and 1.43.
%F Numbers n such that A001617(n) = 1.
%t a89[n_] := a89[n] = Product[{p, e} = pe; Which[p < 3 && e == 1, 1, p == 2 && e > 1, 0, Mod[p, 4] == 1, 2, Mod[p, 4] == 3, 0, True, a89[p^e]], {pe, FactorInteger[n]}];
%t a86[n_] := a86[n] = Product[{p, e} = pe; Which[p == 1 || p == 3 && e == 1, 1, p == 3 && e > 1, 0, Mod[p, 3] == 1, 2, Mod[p, 3] == 2, 0, True, a86[p^e]], {pe, FactorInteger[n]}];
%t a1615[n_] := n Sum[MoebiusMu[d]^2/d, {d, Divisors[n]}];
%t a1616[n_] := Sum[EulerPhi[GCD[ d, n/d]], {d, Divisors[n]}];
%t a1617[n_] := 1 + a1615[n]/12 - a89[n]/4 - a86[n]/3 - a1616[n]/2;
%t Position[Array[a1617, 100], 1] // Flatten (* _Jean-François Alcover_, Oct 18 2018 *)
%Y Cf. A001617, A001615, A000089, A000086, A001616, A091401, A091404.
%K nonn,fini,full
%O 1,1
%A _N. J. A. Sloane_, Mar 02 2004
|
