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.

A160972 a(n) = Sum_{d|n} Moebius(n/d)*d^(b-1)/phi(n) for b = 13.

Original entry on oeis.org

1, 4095, 265720, 8386560, 61035156, 1088123400, 2306881200, 17175674880, 47071500840, 249938963820, 313842837672, 2228476723200, 1941507093540, 9446678514000, 16218261652320, 35175782154240, 36413889826860, 192757795939800, 122961939948120, 511874997903360, 612984472464000
Offset: 1

Views

Author

N. J. A. Sloane, Nov 19 2009

Keywords

Comments

a(n) is the number of lattices L in Z^12 such that the quotient group Z^12 / L is C_n. - Álvar Ibeas, Nov 26 2015

Crossrefs

Column 12 of A263950.

Programs

  • Mathematica
    b = 13; Table[Sum[MoebiusMu[n/d] d^(b - 1)/EulerPhi@ n, {d, Divisors@ n}], {n, 17}] (* Michael De Vlieger, Nov 27 2015 *)
    f[p_, e_] := p^(11*e - 11) * (p^12-1) / (p-1); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 20] (* Amiram Eldar, Nov 08 2022 *)
  • PARI
    vector(100, n, sumdiv(n^11, d, if(ispower(d, 12), moebius(sqrtnint(d, 12))*sigma(n^11/d), 0))) \\ Altug Alkan, Nov 26 2015
    
  • PARI
    a(n) = {my(f = factor(n)); prod(i = 1, #f~, (f[i,1]^12 - 1)*f[i,1]^(11*f[i,2] - 11)/(f[i,1] - 1));} \\ Amiram Eldar, Nov 08 2022

Formula

a(n) = J_12(n)/J_1(n) where J_12 and J_1(n) = A000010(n) are Jordan functions. - R. J. Mathar, Jul 12 2011
From Álvar Ibeas, Nov 26 2015: (Start)
Multiplicative with a(p^e) = p^(11e-11) * (p^12-1) / (p-1).
For squarefree n, a(n) = A000203(n^11). (End)
From Amiram Eldar, Nov 08 2022: (Start)
Sum_{k=1..n} a(k) ~ c * n^12, where c = (1/12) * Product_{p prime} (1 + (p^11-1)/((p-1)*p^12)) = 0.1619398772... .
Sum_{k>=1} 1/a(k) = zeta(11)*zeta(12) * Product_{p prime} (1 - 2/p^12 + 1/p^23) = 1.0002481006668... . (End)
a(n) = (1/n) * Sum_{d|n} mu(n/d)*sigma(d^12). - Ridouane Oudra, Apr 02 2025

Extensions

Definition corrected by Enrique Pérez Herrero, Oct 30 2010