Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
A160972
a(n) = Sum_{d|n} Moebius(n/d)*d^(b-1)/phi(n) for b = 13.
4
1, 4095, 265720, 8386560, 61035156, 1088123400, 2306881200, 17175674880, 47071500840, 249938963820, 313842837672, 2228476723200, 1941507093540, 9446678514000, 16218261652320, 35175782154240, 36413889826860
OFFSET
1,2
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
LINKS
Jin Ho Kwak and Jaeun Lee, Enumeration of graph coverings, surface branched coverings and related group theory, in Combinatorial and Computational Mathematics (Pohang, 2000), ed. S. Hong et al., World Scientific, Singapore 2001, pp. 97-161. See p. 134.
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)
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 *)
PROG
(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
CROSSREFS
Column 12 of A263950.
Sequence in context: A011562 A326705 A326383 * A038999 A022528 A024010
KEYWORD
nonn,mult
AUTHOR
N. J. A. Sloane, Nov 19 2009
EXTENSIONS
Definition corrected by Enrique Pérez Herrero, Oct 30 2010
STATUS
approved