OFFSET
1,2
COMMENTS
Let G_n be the group of invertible 2 X 2 matrices mod n (sequence A000252). a(n) is the number of conjugacy classes in G_n. - Dan Fux (dan.fux(AT)OpenGaia.com or danfux(AT)OpenGaia.com), Nov 13 2001
a(n) = Sum_{d|n} phi(n*d). - Vladeta Jovovic, Apr 17 2002
Apparently the Mobius transform of A062952. - R. J. Mathar, Oct 01 2011
REFERENCES
D. M. Burton, Elementary Number Theory, Allyn and Bacon Inc., Boston MA, 1976, Prob. 7.2 12, p. 141.
LINKS
T. D. Noe, Table of n, a(n) for n=1..10000
Vaclav Kotesovec, Plot of Sum_{k=1..n} a(k) / (Pi^2 * n^3 / 18) for n = 1..1000000
J.-L. Nicolas and J. Sondow, Ramanujan, Robin, highly composite numbers, and the Riemann Hypothesis, arXiv:1211.6944 [math.HO], 2012, to appear in RAMA125 Proceedings, Contemp. Math.
FORMULA
Multiplicative with a(p^e) = p^(e-1)*(p^(e+1)-1). - Vladeta Jovovic, Apr 17 2002
Dirichlet g.f.: zeta(s-1)*zeta(s-2)*product_{primes p} (1-p^(1-s)-p^(-s)+p^(2-2s)). - R. J. Mathar, Oct 01 2011, corrected by Vaclav Kotesovec, Dec 17 2019
6/Pi^2 < a(n)/n^2 < 1 for n > 1. - Jonathan Sondow, Mar 06 2014
Sum_{k=1..n} a(k) ~ c * Pi^2 * n^3 / 18, where c = A330523 = Product_{primes p} (1 - 1/p^2 - 1/p^3 + 1/p^4) = 0.535896... - Vaclav Kotesovec, Dec 17 2019
Sum_{n>=1} 1/a(n) = 1.7865764... (A093827). - Amiram Eldar, Aug 20 2020
MATHEMATICA
Table[EulerPhi[n] DivisorSigma[1, n], {n, 1, 80}] (* Carl Najafi, Aug 16 2011 *)
PROG
(PARI) a(n)=sigma(n)*eulerphi(n); vector(150, n, a(n))
CROSSREFS
KEYWORD
easy,nonn,mult
AUTHOR
Jason Earls, Jul 06 2001
STATUS
approved