cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A001766 Index of (the image of) the modular group Gamma(n) in PSL_2(Z).

This page as a plain text file.
%I A001766 M4098 N1700 #38 Jun 01 2025 03:21:20
%S A001766 1,6,12,24,60,72,168,192,324,360,660,576,1092,1008,1440,1536,2448,
%T A001766 1944,3420,2880,4032,3960,6072,4608,7500,6552,8748,8064,12180,8640,
%U A001766 14880,12288,15840,14688,20160,15552,25308,20520,26208,23040,34440,24192,39732,31680
%N A001766 Index of (the image of) the modular group Gamma(n) in PSL_2(Z).
%C A001766 Equivalently, the degree of the modular curve X(N) as a cover of the j-line.
%D A001766 R. C. Gunning, Lectures on Modular Forms, Princeton Univ. Press, Princeton, NJ, 1962, p. 15.
%D A001766 B. Schoeneberg, Elliptic Modular Functions, Springer-Verlag, NY, 1974, p. 76.
%D A001766 N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
%D A001766 N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H A001766 T. D. Noe, <a href="/A001766/b001766.txt">Table of n, a(n) for n = 1..1000</a>
%H A001766 Ioannis Ivrissimtzis, David Singerman, and James Strudwick, <a href="https://arxiv.org/abs/1909.08568">From Farey fractions to the Klein quartic and beyond</a>, arXiv:1909.08568 [math.GR], 2019. See mu(n), p. 3.
%H A001766 <a href="/index/Gre#groups_modular">Index entries for sequences related to modular groups</a>.
%F A001766 a(n) = A000056(n) for n = 2 and (1/2)*A000056(n) for n > 2 (since -I is contained in Gamma(2) but not in Gamma(n) for n > 2).
%F A001766 a(n) = n * A000114(n). - _Michael Somos_, Jan 29 2004
%F A001766 a(n) = ((n^3)/2)*Product_{p | n, p prime} (1-1/p^2), for n>=3. - _Michel Marcus_, Oct 23 2019
%F A001766 Sum_{k=1..n} a(k) ~ n^4 / (8*zeta(3)). - _Amiram Eldar_, Jun 01 2025
%p A001766 proc(n) local b,d: b := (n^3)/2: for d from 1 to n do if irem(n,d) = 0 and isprime(d) then b := b*(1-d^(-2)): fi: od: RETURN(b): end:
%t A001766 Table[ (n^3)/If[ n>2, 2, 1 ] Times@@(1-1/Select[ Range[ n ], (Mod[ n, #1 ]==0&&PrimeQ[ #1 ])& ]^2), {n, 1, 45} ] (* _Olivier Gérard_, Aug 15 1997 *)
%o A001766 (PARI) a(n) = if (n==1, 1, if (n==2, 6, my(f=factor(n)); prod(k=1, #f~, 1-1/f[k,1]^2)*n^3/2)); \\ _Michel Marcus_, Oct 23 2019
%Y A001766 Cf. A000056, A000114, A002117.
%K A001766 nonn,easy
%O A001766 1,2
%A A001766 _N. J. A. Sloane_
%E A001766 More terms from _Olivier Gérard_, Aug 15 1997
%E A001766 Definition corrected by _Mira Bernstein_, May 30 2006