OFFSET
1,2
COMMENTS
Order of the group SL(3,Z_n). For n > 2, a(n) is divisible by 48. - Jianing Song, Nov 24 2018
LINKS
T. D. Noe, Table of n, a(n) for n = 1..1000
Geoffrey Critzer, Combinatorics of Vector Spaces over Finite Fields, Master's thesis, Emporia State University, 2018.
FORMULA
Multiplicative with a(p^e) = p^(8*e-5)*(p^3 - 1)*(p^2 - 1). - Vladeta Jovovic, Nov 18 2001
For a formula see A064767.
a(n) = A064767(n)/phi(n). - Jianing Song, Nov 24 2018
Sum_{k>=1} 1/a(k) = Product_{primes p} (1 + p^5/((p-1)^3 * (p+1)^2 * (p^2 + p + 1) * (p^6 + p^4 + p^2 + 1))) = 1.0061577672748872278355775942508642214184417621389767880397578015151659965... - Vaclav Kotesovec, Sep 19 2020
Sum_{k=1..n} a(k) ~ c * n^9, where c = (1/9) * Product_{p prime} (1 - (p^3 + p^2 -1)/p^6) = 0.08630488937... . - Amiram Eldar, Oct 23 2022
MATHEMATICA
a[n_] := (n^9*Times @@ Function[p, (1 - 1/p^3)*(1 - 1/p^2)*(1 - 1/p)] /@ FactorInteger[n][[All, 1]])/EulerPhi[n]; a[1] = 1; Array[a, 30] (* Jean-François Alcover, Mar 21 2017 *)
PROG
(PARI) a(n) = n^9*prod(k=2, n, if (!isprime(k) || (n % k), 1, (1-1/k^3)*(1-1/k^2)*(1-1/k)))/eulerphi(n); \\ Michel Marcus, Jun 30 2015
CROSSREFS
KEYWORD
nonn,mult
AUTHOR
Benjamin T. Love (benlove(AT)preston.polaristel.net)
EXTENSIONS
More terms from John W. Layman, Feb 16 2001
Further terms from Vladeta Jovovic, Oct 29 2001
STATUS
approved