A001157 -id:A001157 - cp's OEIS frontend

A007434 Jordan function J_2(n) (a generalization of phi(n)).

1, 3, 8, 12, 24, 24, 48, 48, 72, 72, 120, 96, 168, 144, 192, 192, 288, 216, 360, 288, 384, 360, 528, 384, 600, 504, 648, 576, 840, 576, 960, 768, 960, 864, 1152, 864, 1368, 1080, 1344, 1152, 1680, 1152, 1848, 1440, 1728, 1584, 2208, 1536

Offset: 1

N. J. A. Sloane

Number of points in the bicyclic group Z/mZ X Z/mZ whose order is exactly m. - George J. Schaeffer (gschaeff(AT)andrew.cmu.edu), Mar 14 2006
Number of irreducible fractions among {(u+v*i)/n : 1 <= u, v <= n} with i = sqrt(-1), where a fraction (u+v*i)/n is called irreducible if and only if gcd(u, v, n) = 1. - Reinhard Zumkeller, Aug 20 2005
The weight of the n-th polynomial for the analog of cyclotomic polynomials for elliptic divisibility sequences. That is, let the weight of b1 = 1, b2 = 3, b3 = 8, b4 = 12 and let e1 = b1, e2 = b2*b1, e3 = b3*b1, e4 = b2*b4*b1, e5 = (b2^4*b4 - b3^3)*b1 = b5*e1, and so on, be an elliptic divisibility sequence. Then weight of e2 = 4, e3 = 9, e4 = 16, e5 = 25, where weight of en is n^2 in general, while weight of bn is a(n). - Michael Somos, Aug 12 2008
J_2(n) divides J_{2k}(n). J_2(n) gives the number of 2-tuples (x1,x2), such that 1 <= x1, x2 <= n and gcd(x1, x2, n) = 1. - Enrique Pérez Herrero, Mar 05 2011
From Jianing Song, Apr 06 2019: (Start)
Let k be any quadratic field such that all prime factors of n are inert in k, O_k be the corresponding ring of integers and G(n) = (O_k/nO_k)* be the multiplicative group of integers in O_k modulo n, then a(n) is the number of elements in G(n). The exponent of G(n) is A306933(n). [Equivalently, G(p^e) can be defined as (Z_{p^2}/p^eZ_{p^2})*, where Z_{p^2} is the ring of integers of the field Q_{p^2} (with a unique maximal ideal pZ_{p^2}), and Q_{p^2} is the unique unramified quadratic extension of the p-adic field Q_p. For the group structure of G(p^e), see A306933. - Jianing Song, Jun 19 2025]
For n >= 5, a(n) is divisible by 24. (End)
The Del Centina article on page 106 mentions a formula by Halphen denoted by phi(n)T(n). - Michael Somos, Feb 05 2021

			a(4) = 12 because the divisors of 4 being 1, 2, 4, we find that phi(1)*phi(4/1)*(4/1) = 8, phi(2)*phi(4/2)*(4/2) = 2, phi(4)*phi(4/4)*(4/4) = 2 and 8 + 2 + 2 = 12.
G.f. = x + 3*x^2 + 8*x^3 + 12*x^4 + 24*x^5 + 24*x^6 + 48*x^7 + 48*x^8 + 72*x^9 + ...

L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 199, #3.
A. Del Centina, Poncelet's porism: a long story of renewed discoveries, I, Hist. Exact Sci. (2016), v. 70, p. 106.
L. E. Dickson (1919, repr. 1971). History of the Theory of Numbers I. Chelsea. p. 147.
P. J. McCarthy, Introduction to Arithmetical Functions, Universitext, Springer, New York, NY, USA, 1986.
G. Pólya and G. Szegő, Problems and Theorems in Analysis I (Springer 1924, reprinted 1972), Part Eight, Chap. 1, Section 6, Problem 64.
M. Ram Murty (2001). Problems in Analytic Number Theory. Graduate Texts in Mathematics. 206. Springer-Verlag. p. 11.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n = 1..1000
Sukumar Das Adhikari and A. Sankaranarayanan, On an error term related to the Jordan totient function Jk(n), Journal of Number Theory Volume 34, Issue 2, February 1990, Pages 178-188.
Dorin Andrica and Mihai Piticari, On Some Extensions Of Jordan's Arithmetic Functions, Proceedings of the International Conference on Theory and Applications of Mathematics and Informatics - ICTAMI 2003, Alba Iulia.
E. Artal Bartolo, P. D. González Pérez, M. González Villa, and E. León-Cardenal, On a suspension formula for Denef-Loeser zeta functions, arXiv:2502.05022 [math.AG], 2025. See p. 19.
Theo Douvropoulos, Joel Brewster Lewis, and Alejandro H. Morales, Hurwitz numbers for reflection groups III: Uniform formulas, arXiv:2308.04751 [math.CO], 2023, see p. 32.
F. A. Lewis and others, Problem 4002, Amer. Math. Monthly, Vol. 49, No. 9, Nov. 1942, pp. 618-619.
H. Li and T. MacHenry, Permanents and Determinants, Weighted Isobaric Polynomials, and Integer Sequences, J. Int. Seq. 16 (2013) #13.3.5, example 38.
MathOverflow, Averages of euler-phi function and similar.
Carl-Fredrik Nyberg-Brodda, On congruence subgroups of SL_2(Z[1/p]) generated by two parabolic elements, arXiv:2312.11258 [math.GR], 2023.
Nittiya Pabhapote and Vichian Laohakosol, Combinatorial Aspects of the Generalized Euler's Totient, International Journal of Mathematics and Mathematical Sciences, Volume 2010 (2010), Article ID 648165, 15 p.
Wolfgang Schramm, The Fourier transform of functions of the greatest common divisor, Electronic Journal of Combinatorial Number Theory A50 (8(1)), 2008.
N. J. A. Sloane, Transforms.
S. Thajoddin and S. Vangipuram, A Note On Jordan's Totient Function, Indian J. Pure Appl. Math, 1988.
László Tóth, Multiplicative arithmetic functions of several variables: a survey, arXiv preprint arXiv:1310.7053 [math.NT], 2013.
Wikipedia, Jordan's totient function.
Index to divisibility sequences

Cf. A000056, A000290, A001065, A001615, A027750, A046970, A115000, A134675.
Cf. A059379 and A059380 (triangle of values of J_k(n)).
Cf. A000010 (J_1), this sequence (J_2), A059376 (J_3), A059377 (J_4), A059378 (J_5).
Cf. A002117, A088453, A301875, A301876, A321879 (partial sums).

a007434 n = sum $ zipWith3 (\x y z -> x * y * z)
                  tdivs (reverse tdivs) (reverse divs)
                  where divs = a027750_row n;  tdivs = map a000010 divs
-- Reinhard Zumkeller, Nov 24 2012

J := proc(n,k) local i,p,t1,t2; t1 := n^k; for p from 1 to n do if isprime(p) and n mod p = 0 then t1 := t1*(1-p^(-k)); fi; od; t1; end; # (with k = 2)
A007434 := proc(n)
    add(d^2*numtheory[mobius](n/d),d=numtheory[divisors](n)) ;
end proc: # R. J. Mathar, Nov 03 2015

jordanTotient[n_, k_:1] := DivisorSum[n, #^k*MoebiusMu[n/#] &] /; (n > 0) && IntegerQ[n]; Table[jordanTotient[n, 2], {n, 48}] (* Enrique Pérez Herrero, Sep 14 2010 *)
a[ n_] := If[ n < 1, 0, Sum[ d^2 MoebiusMu[ n/d], {d, Divisors @ n}]]; (* Michael Somos, Jan 11 2014 *)
a[ n_] := If[ n < 2, Boole[ n == 1], n^2 (Times @@ ((1 - 1/#[[1]]^2) & /@ FactorInteger @ n))]; (* Michael Somos, Jan 11 2014 *)
jordanTotient[n_Integer?Positive, r_:1] := DirichletConvolve[MoebiusMu[K], K^r, K, n]; Table[jordanTotient[n, 2], {n, 48}] (* Jan Mangaldan, Jun 03 2016 *)

{a(n) = if( n<1, 0, sumdiv(n, d, d^2 * moebius(n / d)))}; /* Michael Somos, Mar 20 2004 */

{a(n) = if( n<1, 0, direuler( p=2, n, (1 - X) / (1 - X*p^2))[n])}; /* Michael Somos, Jan 11 2014 */

seq(n) = dirmul(vector(n,k,k^2), vector(n,k,moebius(k)));
seq(48)  \\ Gheorghe Coserea, May 11 2016

jordan(n,k)=my(a=n^k);fordiv(n,i,if(isprime(i),a*=(1-1/(i^k))));a  \\ Roderick MacPhee, May 05 2017

from math import prod
from sympy import factorint
def A007434(n): return prod(p**(e-1<<1)*(p**2-1) for p, e in factorint(n).items()) # Chai Wah Wu, Jan 29 2024

Moebius transform of squares.
Multiplicative with a(p^e) = p^(2e) - p^(2e-2). - Vladeta Jovovic, Jul 26 2001
a(n) = Sum_{d|n} d^2 * mu(n/d). - Benoit Cloitre, Apr 05 2002
a(n) = n^2 * Product_{p|n} (1-1/p^2). - Tom Edgar, Jan 07 2015
a(n) = Sum_{d|n} phi(d)*phi(n/d)*n/d; Sum_{d|n} a(d) = n^2. - Reinhard Zumkeller, Aug 20 2005
Dirichlet generating function: zeta(s-2)/zeta(s). - Franklin T. Adams-Watters, Sep 11 2005
Dirichlet inverse of A046970. - Michael Somos, Jan 11 2014
a(n) = a(n^2)/n^2. - Enrique Pérez Herrero, Sep 14 2010
a(n) = A000010(n) * A001615(n).
If n > 1, then 1 > a(n)/n^2 > 1/zeta(2). - Enrique Pérez Herrero, Jul 14 2011
a(n) = Sum_{d|n} phi(n^2/d)*mu(d)^2. - Enrique Pérez Herrero, Jul 24 2012
a(n) = Sum_{k = 1..n} gcd(k, n)^2 * cos(2*Pi*k/n). - Enrique Pérez Herrero, Jan 18 2013
a(1) + a(2) + ... + a(n) ~ 1/(3*zeta(3))*n^3 + O(n^2). Lambert series Sum_{n >= 1} a(n)*x^n/(1 - x^n) = x*(1 + x)/(1 - x)^3. - Peter Bala, Dec 23 2013
n * a(n) = A000056(n). - Michael Somos, Mar 20 2004
a(n) = 24 * A115000(n) unless n < 5. - Michael Somos, Aug 12 2008
a(n) = A001065(n) - A134675(n). - Conjectured by John Mason and proved by Max Alekseyev, Jan 07 2015
a(n) = Sum_{k=1..n} gcd(n, k) * phi(gcd(n, k)), where phi(k) is the Euler totient function. - Daniel Suteu, Jun 15 2018
G.f.: Sum_{k>=1} mu(k)*x^k*(1 + x^k)/(1 - x^k)^3. - Ilya Gutkovskiy, Oct 24 2018
Sum_{k>=1} 1/a(k) = Product_{primes p} (1 + p^2/(p^2 - 1)^2) = 1.81078147612156295224312590448625180897250361794500723589001447178002894356... - Vaclav Kotesovec, Sep 19 2020
Limit_{n->oo} (1/n) * Sum_{k=1..n} a(k)/k^2 = 1/zeta(3) (A088453). - Amiram Eldar, Oct 12 2020
From Richard L. Ollerton, May 09 2021: (Start)
a(n) = Sum_{k=1..n} (n/gcd(n,k))^2*mu(gcd(n,k))/phi(n/gcd(n,k)).
a(n) = Sum_{k=1..n} gcd(n,k)^2*mu(n/gcd(n,k))/phi(n/gcd(n,k)).
a(n) = Sum_{k=1..n} n*phi(gcd(n,k))/gcd(n,k).
a(n) = Sum_{k=1..n} phi(n*gcd(n,k))*mu(n/gcd(n,k))^2.
a(n) = Sum_{k=1..n} phi(n^2/gcd(n,k))*mu(gcd(n,k))^2*phi(gcd(n,k))/phi(n/gcd(n,k)). (End)
a(n) = Sum_{k = 1..n} phi(gcd(n, k)^2) = Sum_{d divides n} phi(d^2)*phi(n/d). - Peter Bala, Jan 17 2024
a(n) = Sum_{1 <= i, j <= n, lcm(i, j) = n} phi(i)*phi(j). See Tóth, p. 14. - Peter Bala, Jan 29 2024
Conjecture: a(n) = lim_{k->oo} (n^(2*(k + 1)))/A001157(n^k). - Velin Yanev, Dec 04 2024

Thanks to Michael Somos for catching an error in this sequence.

A013954 a(n) = sigma_6(n), the sum of the 6th powers of the divisors of n.

Original entry on oeis.org

1, 65, 730, 4161, 15626, 47450, 117650, 266305, 532171, 1015690, 1771562, 3037530, 4826810, 7647250, 11406980, 17043521, 24137570, 34591115, 47045882, 65019786, 85884500, 115151530, 148035890, 194402650, 244156251, 313742650, 387952660, 489541650, 594823322, 741453700

Offset: 1

N. J. A. Sloane

If the canonical factorization of n into prime powers is the product of p^e(p) then sigma_k(n) = Product_p ((p^((e(p)+1)*k))-1)/(p^k-1).
Sum_{d|n} 1/d^k is equal to sigma_k(n)/n^k. So sequences A017665-A017712 also give the numerators and denominators of sigma_k(n)/n^k for k = 1..24. The power sums sigma_k(n) are in sequences A000203 (k=1), A001157-A001160 (k=2,3,4,5), A013954-A013972 for k = 6,7,...,24. - Ahmed Fares (ahmedfares(AT)my-deja.com), Apr 05 2001
Inverse Mobius transform of A001014. - R. J. Mathar, Oct 13 2011

Vincenzo Librandi, Table of n, a(n) for n = 1..1000
Index entries for sequences related to sigma(n).

Cf. A000203, A001014, A001157-A001160, A013665, A013955-A013972, A017665-A017712.

[DivisorSigma(6,n): n in [1..30]]; // Bruno Berselli, Apr 10 2013

A013954 := proc(n)
        numtheory[sigma][6](n) ;
end proc: # R. J. Mathar, Oct 13 2011

lst={};Do[AppendTo[lst,DivisorSigma[6,n]],{n,5!}];lst (* Vladimir Joseph Stephan Orlovsky, Mar 11 2009 *)
DivisorSigma[6,Range[30]] (* Harvey P. Dale, May 11 2025 *)

a(n)=sigma(n,6) \\ Charles R Greathouse IV, Apr 28 2011

[sigma(n,6)for n in range(1,24)] # Zerinvary Lajos, Jun 04 2009

G.f.: Sum_{k>=1} k^6*x^k/(1-x^k). - Benoit Cloitre, Apr 21 2003
L.g.f.: -log(Product_{k>=1} (1 - x^k)^(k^5)) = Sum_{n>=1} a(n)*x^n/n. - Ilya Gutkovskiy, May 06 2017
From Amiram Eldar, Oct 29 2023: (Start)
Multiplicative with a(p^e) = (p^(6*e+6)-1)/(p^6-1).
Dirichlet g.f.: zeta(s)*zeta(s-6).
Sum_{k=1..n} a(k) = zeta(7) * n^7 / 7 + O(n^8). (End)

A013972 a(n) = sigma_24(n), the sum of the 24th powers of the divisors of n.

Original entry on oeis.org

1, 16777217, 282429536482, 281474993487873, 59604644775390626, 4738381620767930594, 191581231380566414402, 4722366764344638701569, 79766443077154939399843, 1000000059604644792167842, 9849732675807611094711842, 79496851942053939878082786, 542800770374370512771595362

Offset: 1

N. J. A. Sloane

If the canonical factorization of n into prime powers is the product of p^e(p) then sigma_k(n) = Product_p ((p^((e(p)+1)*k))-1)/(p^k-1).

Sum_{d|n} 1/d^k is equal to sigma_k(n)/n^k. So sequences A017665-A017712 also give the numerators and denominators of sigma_k(n)/n^k for k = 1..24. The power sums sigma_k(n) are in sequences A000203 (k=1), A001157-A001160 (k=2,3,4,5), A013954-A013972 for k = 6,7,...,24. - Ahmed Fares (ahmedfares(AT)my-deja.com), Apr 05 2001

Seiichi Manyama, Table of n, a(n) for n = 1..10000
Index entries for sequences related to sigma(n).

Cf. A000203, A001157-A001160, A013954-A013972, A017665-A017712.

[DivisorSigma(24,n): n in [1..50]]; // G. C. Greubel, Nov 03 2018

Table[DivisorSigma[24,n],{n,50}] (* Vladimir Joseph Stephan Orlovsky, Mar 11 2009 *)

a(n)=sigma(n,24) \\ Charles R Greathouse IV, Apr 28 2011

[sigma(n,24)for n in range(1,12)] # Zerinvary Lajos, Jun 04 2009

G.f.: Sum_{k>=1} k^24*x^k/(1-x^k). - Benoit Cloitre, Apr 21 2003
From Amiram Eldar, Oct 29 2023: (Start)
Multiplicative with a(p^e) = (p^(24*e+24)-1)/(p^24-1).
Dirichlet g.f.: zeta(s)*zeta(s-24).
Sum_{k=1..n} a(k) = zeta(25) * n^25 / 25 + O(n^26). (End)

A064987 a(n) = n*sigma(n).

Original entry on oeis.org

1, 6, 12, 28, 30, 72, 56, 120, 117, 180, 132, 336, 182, 336, 360, 496, 306, 702, 380, 840, 672, 792, 552, 1440, 775, 1092, 1080, 1568, 870, 2160, 992, 2016, 1584, 1836, 1680, 3276, 1406, 2280, 2184, 3600, 1722, 4032, 1892, 3696, 3510, 3312, 2256, 5952

Offset: 1

Vladeta Jovovic, Oct 30 2001

Dirichlet convolution of sigma_2(n)=A001157(n) with phi(n)=A000010(n). - Vladeta Jovovic, Oct 27 2002
Equals row sums of triangle A143311 and of triangle A143308. - Gary W. Adamson, Aug 06 2008
a(n) is also the sum of all n's present in A244580, or in other words, a(n) is also the volume (or number of cubes) below the terraces of the n-th level of the staircase described in A244580 (see also A237593). - Omar E. Pol, Oct 11 2018
If n is a superperfect number then sigma(n) is a Mersenne prime and a(n) is a perfect number, a(A019279(k)) = A000396(k), k >= 1, assuming there are no odd perfect numbers. - Omar E. Pol, Apr 15 2020

B. C. Berndt, Ramanujan's theory of theta-functions, Theta functions: from the classical to the modern, Amer. Math. Soc., Providence, RI, 1993, pp. 1-63. MR 94m:11054. see page 43.
G. H. Hardy, Ramanujan: twelve lectures on subjects suggested by his life and work, AMS Chelsea Publishing, Providence, Rhode Island, 2002, pp. 166-167.

Harry J. Smith, Table of n, a(n) for n = 1..1000
Joerg Arndt, On computing the generalized Lambert series, arXiv:1202.6525v3 [math.CA], (2012).
Passawan Noppakaew and Prapanpong Pongsriiam, Product of Some Polynomials and Arithmetic Functions, J. Int. Seq. (2023) Vol. 26, Art. 23.9.1.
Michel Planat, Twelve-dimensional Pauli group contextuality with eleven rays, arXiv:1201.5455 [quant-ph], 2012.

Main diagonal of A319073.

Cf. A000203, A038040, A002618, A000010, A001157, A143308, A143311, A004009, A006352, A000594, A126832, A069097 (Mobius transform), A001001 (inverse Mobius transform), A237593, A244580.

a:=List([1..50],n->n*Sigma(n));; Print(a); # Muniru A Asiru, Jan 01 2019

a064987 n = a000203 n * n  -- Reinhard Zumkeller, Jan 21 2014

[n*SumOfDivisors(n): n in [1..70]]; // Vincenzo Librandi, Jan 01 2019

with(numtheory): [n*sigma(n)$n=1..50]; # Muniru A Asiru, Jan 01 2019

# DivisorSigma[1,#]&/@Range[80]  (* Harvey P. Dale, Mar 12 2011 *)

numlib::sigma(n)*n$ n=1..81 // Zerinvary Lajos, May 13 2008

PARI
```
{a(n) = if ( n==0, 0, n * sigma(n))}
```

{ for (n=1, 1000, write("b064987.txt", n, " ", n*sigma(n)) ) } \\ Harry J. Smith, Oct 02 2009

Multiplicative with a(p^e) = p^e * (p^(e+1) - 1) / (p - 1).
G.f.: Sum_{n>0} n^2*x^n/(1-x^n)^2. - Vladeta Jovovic, Oct 27 2002
G.f.: phi_{2, 1}(x) where phi_{r, s}(x) = Sum_{n, m>0} m^r * n^s * x^{m*n}. - Michael Somos, Apr 02 2003
G.f. is also (Q - P^2) / 288 where P, Q are Ramanujan Lambert series. - Michael Somos, Apr 02 2003. See the Hardy reference, p. 136, eq. (10.5.4) (with a proof). For Q and P, (10.5.6) and (10.5.5), see E_4 A004009 and E_2 A006352, respectively. - Wolfdieter Lang, Jan 30 2017
Convolution of A000118 and A186690. Dirichlet convolution of A000027 and A000290. - Michael Somos, Mar 25 2012
Dirichlet g.f.: zeta(s-1)*zeta(s-2). - R. J. Mathar, Feb 16 2011
a(n) = A009194(n)*A009242(n). - Michel Marcus, Oct 23 2013
a(n) (mod 5) = A126832(n) = A000594(n) (mod 5). See A126832 for references. - Wolfdieter Lang, Feb 03 2017
L.g.f.: Sum_{k>=1} k*x^k/(1 - x^k) = Sum_{n>=1} a(n)*x^n/n. - Ilya Gutkovskiy, May 13 2017
Sum_{k>=1} 1/a(k) = 1.4383899259334187832765458631783591251241657856627653748389234270650138768... - Vaclav Kotesovec, Sep 20 2020
From Peter Bala, Jan 21 2021: (Start)
G.f.: Sum_{n >= 1} n*q^n*(1 + q^n)/(1 - q^n)^3 (use the expansion x*(1 + x)/(1 - x)^3 = x + 2^2*x^2 + 3^2*x^3 + 4^2*x^4 + ...).
A faster converging g.f.: Sum_{n >= 1} q^(n^2)*( n^3*q^(3*n) - (n^3 + 3*n^2 - n)*q^(2*n) - (n^3 - 3*n^2 - n)*q^n + n^3 )/(1 - q^n)^3 - differentiate equation 5 in Arndt w.r.t. both x and q and then set x = 1. (End)
From Richard L. Ollerton, May 07 2021: (Start)
a(n) = Sum_{k=1..n} sigma_2(gcd(n,k)).
a(n) = Sum_{k=1..n} sigma_2(n/gcd(n,k))*phi(gcd(n,k))/phi(n/gcd(n,k)). (End)
From Peter Bala, Jan 22 2024: (Start)
a(n) = Sum_{1 <= j, k <= n} sigma_1( gcd(j, k, n) ).
a(n) = Sum_{d divides n} sigma_1(d)*J_2(n/d) = Sum_{d divides n} sigma_2(d)* phi(n/d), where the Jordan totient function J_2(n) = A007434(n). (End)

A001159 sigma_4(n): sum of 4th powers of divisors of n.

Original entry on oeis.org

1, 17, 82, 273, 626, 1394, 2402, 4369, 6643, 10642, 14642, 22386, 28562, 40834, 51332, 69905, 83522, 112931, 130322, 170898, 196964, 248914, 279842, 358258, 391251, 485554, 538084, 655746, 707282, 872644, 923522, 1118481, 1200644

Offset: 1

N. J. A. Sloane

If the canonical factorization of n into prime powers is the product of p^e(p) then sigma_k(n) = Product_p ((p^((e(p)+1)*k))-1)/(p^k-1).
Sum_{d|n} 1/d^k is equal to sigma_k(n)/n^k. So sequences A017665-A017712 also give the numerators and denominators of sigma_k(n)/n^k for k = 1..24. The power sums sigma_k(n) are in sequences A000203 (k=1), A001157-A001160 (k=2,3,4,5), A013954-A013972 for k = 6,7,...,24. - Ahmed Fares (ahmedfares(AT)my-deja.com), Apr 05 2001
sigma_4(n) is the sum of the 4th powers of the divisors of n (A001159).

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math.Series 55, Tenth Printing, 1972, p. 827.
T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 38.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n = 1..10000
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math.Series 55, Tenth Printing, 1972, p. 827.
Index entries for sequences related to sigma(n)

Cf. A000005, A000203, A001157, A001158.

[DivisorSigma(4,n): n in [1..40]]; // Bruno Berselli, Apr 10 2013

with(numtheory); A001159 := proc(n) sigma[4](n) ; end proc: # R. J. Mathar, Feb 04 2011

lst={}; Do[AppendTo[lst, DivisorSigma[4,n]], {n,5!}]; lst (* Vladimir Joseph Stephan Orlovsky, Mar 11 2009 *)
DivisorSigma[4,Range[40]] (* Harvey P. Dale, Apr 28 2013 *)

makelist(divsum(n,4),n,1,100); /* Emanuele Munarini, Mar 26 2011 */

N=99;q='q+O('q^N);
Vec(sum(n=1,N,n^4*q^n/(1-q^n))) /* Joerg Arndt, Feb 04 2011 */

[sigma(n,4)for n in range(1,34)] # Zerinvary Lajos_, Jun 04 2009

Multiplicative with a(p^e) = (p^(4e+4)-1)/(p^4-1). - David W. Wilson, Aug 01 2001
G.f. Sum_{k>=1} k^4*x^k/(1-x^k). - Benoit Cloitre, Apr 21 2003
L.g.f.: -log(Product_{j>=1} (1-x^j)^(j^3)) = Sum_{n>=1} a(n)/n*x^n. - Joerg Arndt, Feb 04 2011
Dirichlet g.f.: zeta(s)*zeta(s-4). - R. J. Mathar, Feb 04 2011
a(n) = Sum_{d|n} tau_{-2}^(d)*J_4(n/d), where tau_{-2} is A007427 and J_4 A059377. - Enrique Pérez Herrero, Jan 19 2013
G..f.: Sum_{n >= 1} A(4,x^n)/(1 - x^n)^5, where A(4,x) = x + 11*x^2 + 11*x^3 + x^4 is the 4th Eulerian polynomial - see A008292. - Peter Bala, Jan 11 2021
a(n) = Sum_{1 <= i, j, k, l <= n} tau(gcd(i, j, k, l, n)) = Sum_{d divides n} tau(d) * J_4(n/d), where the divisor function tau(n) = A000005(n) and the Jordan totient function J_4(n) = A059377(n). - Peter Bala, Jan 22 2024

A017712 Denominator of sum of -24th powers of divisors of n.

Original entry on oeis.org

1, 16777216, 282429536481, 281474976710656, 59604644775390625, 2369190669160808448, 191581231380566414401, 4722366482869645213696, 79766443076872509863361, 500000000000000000000000, 9849732675807611094711841

Offset: 1

N. J. A. Sloane

G. C. Greubel, Table of n, a(n) for n = 1..1000

Cf. A017711.

[Denominator(DivisorSigma(24,n)/n^24): n in [1..20]]; // G. C. Greubel, Nov 03 2018

Table[Denominator[DivisorSigma[24, n]/n^24], {n, 1, 20}] (* G. C. Greubel, Nov 03 2018 *)

a(n) = denominator(sigma(n, 24)/n^24); \\ Michel Marcus, Nov 01 2013

A057660 a(n) = Sum_{k=1..n} n/gcd(n,k).

Original entry on oeis.org

1, 3, 7, 11, 21, 21, 43, 43, 61, 63, 111, 77, 157, 129, 147, 171, 273, 183, 343, 231, 301, 333, 507, 301, 521, 471, 547, 473, 813, 441, 931, 683, 777, 819, 903, 671, 1333, 1029, 1099, 903, 1641, 903, 1807, 1221, 1281, 1521, 2163, 1197, 2101, 1563, 1911, 1727

Offset: 1

Henry Gould, Oct 15 2000

Also sum of the orders of the elements in a cyclic group with n elements, i.e., row sums of A054531. - Avi Peretz (njk(AT)netvision.net.il), Mar 31 2001
Also inverse Moebius transform of EulerPhi(n^2), A002618.
Sequence is multiplicative with a(p^e) = (p^(2*e+1)+1)/(p+1). Example: a(10) = a(2)*a(5) = 3*21 = 63.
a(n) is the number of pairs (a, b) such that the equation ax = b is solvable in the ring (Zn, +, x). See the Mathematical Reflections link. - Michel Marcus, Jan 07 2017
From Jake Duzyk, Jun 06 2023: (Start)
These are the "contraharmonic means" of the improper divisors of square integers (inclusive of 1 and the square integer itself).
Permitting "Contraharmonic Divisor Numbers" to be defined analogously to Øystein Ore's Harmonic Divisor Numbers, the only numbers for which there exists an integer contraharmonic mean of the divisors are the square numbers, and a(n) is the n-th integer contraharmonic mean, expressible also as the sum of squares of divisors of n^2 divided by the sum of divisors of n^2. That is, a(n) = sigma_2(n^2)/sigma(n^2).
(a(n) = A001157(k)/A000203(k) where k is the n-th number such that A001157(k)/A000203(k) is an integer, i.e., k = n^2.)
This sequence is an analog of A001600 (Harmonic means of divisors of harmonic numbers) and A102187 (Arithmetic means of divisors of arithmetic numbers). (End)

David M. Burton, Elementary Number Theory, Allyn and Bacon Inc., Boston MA, 1976, p. 152.
H. W. Gould and Temba Shonhiwa, Functions of GCD's and LCM's, Indian J. Math. (Allahabad), Vol. 39, No. 1 (1997), pp. 11-35.
H. W. Gould and Temba Shonhiwa, A generalization of Cesaro's function and other results, Indian J. Math. (Allahabad), Vol. 39, No. 2 (1997), pp. 183-194.

Amiram Eldar, Table of n, a(n) for n = 1..10000 (terms 1..1000 from T. D. Noe)
Habib Amiri and S. M. Jafarian Amiri, Sum of element orders on finite groups of the same order, J. Algebra Appl. 10 (2011), no. 2, 187--190. MR2795731 (2012d:20050)
Habib Amiri, S. M. Jafarian Amiri, and I. M. Isaacs, Sums of element orders in finite groups Comm. Algebra 37 (2009), no. 9, 2978--2980. MR2554185 (2010i:20022)
Miriam Mahannah El-Farrah, Expectation Numbers of Cyclic Groups, MS Thesis, Western Kentucky University, August 2015.
Steven R. Finch, Mathematical Constants II, Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, 2018, p. 154-5.
Walther Janous, Problem 10829, Amer. Math. Monthly, 107 (2000), p. 753.
Yadollah Marefat, Ali Iranmanesh, and Abolfazl Tehranian, On the sum of element orders of finite simple groups, J. Algebra Applications, 12 (2013), #1350026.
Mathematical Reflections, Solution to Problem U338, Issue 4, 2015, p 17.
Joachim von zur Gathen, Arnold Knopfmacher, Florian Luca, Lutz G. Lucht, and Igor E. Shparlinski, Average order of cyclic groups, J. Théorie Nombres Bordeaux 16 (1) (2004) 107-123.

Cf. A000010, A000203, A000290, A001157, A018804, A050873, A051193, A054522, A057661, A061255, A065764, A078747, A174405 (partial sums), A176797, A226512.

Cf. A308471.

a057660 n = sum $ map (div n) $ a050873_row n
-- Reinhard Zumkeller, Nov 25 2013

Table[ DivisorSigma[ 2, n^2 ] / DivisorSigma[ 1, n^2 ], {n, 1, 128} ]
Table[Total[Denominator[Range[n]/n]], {n, 55}] (* Alonso del Arte, Oct 07 2011 *)
f[p_, e_] := (p^(2*e + 1) + 1)/(p + 1); a[n_] := Times @@ (f @@@ FactorInteger[n]); Array[a, 100] (* Amiram Eldar, Nov 21 2020 *)

a(n)=if(n<1,0,sumdiv(n,d,d*eulerphi(d)))

a(n)=sumdivmult(n,d, eulerphi(d)*d) \\ Charles R Greathouse IV, Sep 09 2014

from math import gcd
def A057660(n): return sum(n//gcd(n,k) for k in range(1,n+1)) # Chai Wah Wu, Aug 24 2023

from math import prod
from sympy import factorint
def A057660(n): return prod((p**((e<<1)+1)+1)//(p+1) for p,e in factorint(n).items()) # Chai Wah Wu, Aug 05 2024

a(n) = Sum_{d|n} d*A000010(d) = Sum_{d|n} d*A054522(n,d), sum of d times phi(d) for all divisors d of n, where phi is Euler's phi function.
a(n) = sigma_2(n^2)/sigma_1(n^2) = A001157(A000290(n))/A000203(A000290(n)) = A001157(A000290(n))/A065764(n). - Labos Elemer, Nov 21 2001
a(n) = Sum_{d|n} A000010(d^2). - Enrique Pérez Herrero, Jul 12 2010
a(n) <= (n-1)*n + 1, with equality if and only if n is noncomposite. - Daniel Forgues, Apr 30 2013
G.f.: Sum_{n >= 1} n*phi(n)*x^n/(1 - x^n) = x + 3*x^2 + 7*x^3 + 11*x^4 + .... Dirichlet g.f.: sum {n >= 1} a(n)/n^s = zeta(s)*zeta(s-2)/zeta(s-1) for Re s > 3.  Cf. A078747 and A176797. - Peter Bala, Dec 30 2013
a(n) = Sum_{i=1..n} numerator(n/i). - Wesley Ivan Hurt, Feb 26 2017
L.g.f.: -log(Product_{k>=1} (1 - x^k)^phi(k)) = Sum_{n>=1} a(n)*x^n/n. - Ilya Gutkovskiy, May 21 2018
From Richard L. Ollerton, May 10 2021: (Start)
a(n) = Sum_{k=1..n} lcm(n,k)/k.
a(n) = Sum_{k=1..n} gcd(n,k)*phi(gcd(n,k))/phi(n/gcd(n,k)). (End)
From Vaclav Kotesovec, Jun 13 2021: (Start)
Sum_{k=1..n} a(k)/k ~ 3*zeta(3)*n^2/Pi^2.
Sum_{k=1..n} k^2/a(k) ~ A345294 * n.
Sum_{k=1..n} k*A000010(k)/a(k) ~ A345295 * n. (End)
Sum_{k=1..n} a(k) ~ 2*zeta(3)*n^3/Pi^2. - Vaclav Kotesovec, Jun 10 2023

More terms from James Sellers, Oct 16 2000

A035316 Sum of the square divisors of n.

Original entry on oeis.org

1, 1, 1, 5, 1, 1, 1, 5, 10, 1, 1, 5, 1, 1, 1, 21, 1, 10, 1, 5, 1, 1, 1, 5, 26, 1, 10, 5, 1, 1, 1, 21, 1, 1, 1, 50, 1, 1, 1, 5, 1, 1, 1, 5, 10, 1, 1, 21, 50, 26, 1, 5, 1, 10, 1, 5, 1, 1, 1, 5, 1, 1, 10, 85, 1, 1, 1, 5, 1, 1, 1, 50, 1, 1, 26, 5, 1, 1, 1, 21, 91, 1, 1, 5, 1, 1, 1, 5, 1, 10, 1, 5, 1

Offset: 1

N. J. A. Sloane

The Dirichlet generating function is zeta(s)*zeta(2s-2). The sequence is the Dirichlet convolution of A000012 with the sequence defined by n*A010052(n). - R. J. Mathar, Feb 18 2011

Inverse Möbius transform of n * c(n), where c(n) is the characteristic function of squares (A010052). - Wesley Ivan Hurt, Jun 20 2024

Nick Hobson, Table of n, a(n) for n = 1..1000
A. Dixit, B. Maji, and A. Vatwani, Voronoi summation formula for the generalized divisor function sigma_z^k(n), arXiv:2303.09937 [math.NT], 2023, sigma_(z=2,k=2,n).
R. J. Mathar, Survey of Dirichlet series of multiplicative arithmetic functions, arXiv:1106.4038 [math.NT] (2011), Remark 15.
Y. Puri and T. Ward, Arithmetic and growth of periodic orbits, J. Integer Seqs., Vol. 4 (2001), #01.2.1.

Cf. A001157, A010052, A027748, A124010, A113061 (sum cube divs).
Sum of the k-th powers of the square divisors of n for k=0..10: A046951 (k=0), this sequence (k=1), A351307 (k=2), A351308 (k=3), A351309 (k=4), A351310 (k=5), A351311 (k=6), A351313 (k=7), A351314 (k=8), A351315 (k=9), A351315 (k=10).
Cf. A008836, A000203.

a035316 n = product $
   zipWith (\p e -> (p ^ (e + 2 - mod e 2) - 1) `div` (p ^ 2 - 1))
           (a027748_row n) (a124010_row n)
-- Reinhard Zumkeller, Jul 28 2014

A035316 := proc(n)
    local a,pe,p,e;
    a := 1;
    for pe in ifactors(n)[2] do
        p := pe[1] ;
        e := pe[2] ;
        if type(e,'even') then
            e := e+2 ;
        else
            e := e+1 ;
        end if;
        a := a*(p^e-1)/(p^2-1) ;
    end do:
    a ;
end proc:
seq(A035316(n),n=1..100) ; # R. J. Mathar, Oct 10 2017

Table[ Plus @@ Select[ Divisors@ n, IntegerQ@ Sqrt@ # &], {n, 93}] (* Robert G. Wilson v, Feb 19 2011 *)
f[p_, e_] := (p^(2*(1 + Floor[e/2])) - 1)/(p^2 - 1); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, May 01 2020 *)

vector(93, n, sumdiv(n, d, issquare(d)*d))

a(n)=my(f=factor(n));prod(i=1,#f[,1],(f[i,1]^(f[i,2]+2-f[i,2]%2)-1)/(f[i,1]^2-1)) \\ Charles R Greathouse IV, May 20 2013

Multiplicative with a(p^e)=(p^(e+2)-1)/(p^2-1) for even e and a(p^e)=(p^(e+1)-1)/(p^2-1) for odd e. - Vladeta Jovovic, Dec 05 2001
G.f.: Sum_{k>0} k^2*x^(k^2)/(1-x^(k^2)). - Vladeta Jovovic, Dec 13 2002
a(n^2) = A001157(n). - Michel Marcus, Jan 14 2014
L.g.f.: -log(Product_{k>=1} (1 - x^(k^2))) = Sum_{n>=1} a(n)*x^n/n. - Ilya Gutkovskiy, May 06 2017
Sum_{k=1..n} a(k) ~ Zeta(3/2)*n^(3/2)/3 - n/2. - Vaclav Kotesovec, Feb 04 2019
a(n) = Sum_{k=1..n} k * (floor(sqrt(k)) - floor(sqrt(k-1))) * (1 - ceiling(n/k) + floor(n/k)). - Wesley Ivan Hurt, Jun 13 2021
a(n) = Sum_{d|n} d * c(d), where c = A010052. - Wesley Ivan Hurt, Jun 20 2024
a(n) = Sum_{d|n} lambda(d)*d*sigma(n/d), where lambda = A008836. - Ridouane Oudra, Jul 18 2025

A065764 Sum of divisors of square numbers.

Original entry on oeis.org

1, 7, 13, 31, 31, 91, 57, 127, 121, 217, 133, 403, 183, 399, 403, 511, 307, 847, 381, 961, 741, 931, 553, 1651, 781, 1281, 1093, 1767, 871, 2821, 993, 2047, 1729, 2149, 1767, 3751, 1407, 2667, 2379, 3937, 1723, 5187, 1893, 4123, 3751, 3871, 2257, 6643

Offset: 1

Labos Elemer, Nov 19 2001

Unlike A065765, the sums of divisors of squares give remainders r=1,3,5 modulo 6: sigma(4)==1, sigma(49)==3, sigma(2401)==5 (mod 6). See also A097022.
a(n) is also the number of ordered pairs of positive integers whose LCM is n, (see LeVeque). - Enrique Pérez Herrero, Aug 26 2013
Main diagonal of A319526. - Omar E. Pol, Sep 25 2018
Subsequence of primes is A023195 \ {3}; also, 31 is the only known prime to be twice in the data because 31 = sigma(16) = sigma(25) (see A119598 and Goormaghtigh conjecture link). - Bernard Schott, Jan 17 2021

W. J. LeVeque, Fundamentals of Number Theory, pp. 125 Problem 4, Dover NY 1996.

T. D. Noe, Table of n, a(n) for n=1..10000
Wikipedia, Goormaghtigh conjecture.

Cf. A000203, A000290, A028982, A319526.

a:=List([1..50],n->Sigma(n^2));; Print(a); # Muniru A Asiru, Jan 01 2019

[SumOfDivisors(n^2): n in [1..48]]; // Bruno Berselli, Apr 12 2011

with(numtheory): [sigma(n^2)$n=1..50]; # Muniru A Asiru, Jan 01 2019

Table[Plus@@Divisors[n^2], {n, 48}] (* Alonso del Arte, Feb 24 2012 *)
f[p_, e_] := (p^(2*e + 1) - 1)/(p - 1); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 50] (* Amiram Eldar, Sep 10 2020 *)

numlib::sigma(n^2)$ n=1..81 // Zerinvary Lajos, May 13 2008

a(n) = sigma(n^2); \\ Harry J. Smith, Oct 30 2009

from math import prod
from sympy import factorint
def A065764(n): return prod((p**((e<<1)+1)-1)//(p-1) for p,e in factorint(n).items()) # Chai Wah Wu, Oct 25 2023

[sigma(n^2,1)for n in range(1,49)] # Zerinvary Lajos, Jun 13 2009

a(n) = sigma(n^2) = A000203(A000290(n)).
Multiplicative with a(p^e) = (p^(2*e+1)-1)/(p-1). - Vladeta Jovovic, Dec 01 2001
Dirichlet g.f.: zeta(s)*zeta(s-1)*zeta(s-2)/zeta(2*s-2), inverse Mobius transform of A000082. - R. J. Mathar, Mar 06 2011
Dirichlet convolution of A001157 by the absolute terms of A055615. Also the Dirichlet convolution of A048250 by A000290. - R. J. Mathar, Apr 12 2011
a(n) = Sum_{d|n} d*Psi(d), where Psi is A001615. - Enrique Pérez Herrero, Feb 25 2012
a(n) >= (n+1) * sigma(n) - n, where sigma is A000203, equality holds if n is in A000961. - Enrique Pérez Herrero, Apr 21 2012
Sum_{k=1..n} a(k) ~ 5*Zeta(3) * n^3 / Pi^2. - Vaclav Kotesovec, Jan 30 2019
Sum_{k>=1} 1/a(k) = 1.3947708738535614499846243600124612760835313454790187655653356563282177118... - Vaclav Kotesovec, Sep 20 2020

A023887 a(n) = sigma_n(n): sum of n-th powers of divisors of n.

Original entry on oeis.org

1, 5, 28, 273, 3126, 47450, 823544, 16843009, 387440173, 10009766650, 285311670612, 8918294543346, 302875106592254, 11112685048647250, 437893920912786408, 18447025552981295105, 827240261886336764178, 39346558271492178925595, 1978419655660313589123980

Offset: 1

Olivier Gérard

Logarithmic derivative of A023881.

Compare to A217872(n) = sigma(n)^n.

			The divisors of 6 are 1, 2, 3 and 6, so a(6) = 1^6 + 2^6 + 3^6 + 6^6 = 47450.

Tom M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 38.

Nick Hobson, Table of n, a(n) for n = 1..100

Cf. A000203, A001157-A001160, A013954-A013972, A023881, A199858, subdiagonal in A109974.

A023887 := proc(n)
    numtheory[sigma][n](n) ;
end proc:
seq(A023887(n),n=1..10) ; # R. J. Mathar, Apr 06 2022

Table[DivisorSigma[n,n],{n,1,50}] (* Vladimir Joseph Stephan Orlovsky, Feb 26 2009 *)

makelist(divsum(n,n),n,1,20); /* Emanuele Munarini, Mar 26 2011 */

a(n) = sigma(n,n); \\ Nick Hobson, Nov 25 2006

from sympy import divisor_sigma
def A023887(n): return divisor_sigma(n,n) # Chai Wah Wu, Jun 19 2022

G.f.: Sum_{n>0} (n*x)^n/(1-(n*x)^n). - Vladeta Jovovic, Oct 27 2002
From Nick Hobson, Nov 25 2006: (Start)
If the canonical prime factorization of n > 1 is the product of p^e(p) then sigma_n(n) = Product_p ((p^(n*(e(p)+1)))-1)/(p^n-1).
sigma_n(n) is odd if and only if n is a square or twice a square. (End)
Conjecture: sigma_m(n) = sigma(n^m * rad(n)^(m-1))/sigma(rad(n)^(m-1)) for n > 0 and m > 0, where sigma = A000203 and rad = A007947. - Velin Yanev, Aug 24 2017
a(n) ~ n^n. - Vaclav Kotesovec, Nov 02 2018
Sum_{n>=1} 1/a(n) = A199858. - Amiram Eldar, Nov 19 2020

Edited by N. J. A. Sloane, Nov 25 2006

cp's OEIS Frontend

A007434 Jordan function J_2(n) (a generalization of phi(n)).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

PARI

PARI

PARI

Python

Formula

Extensions

A013954 a(n) = sigma_6(n), the sum of the 6th powers of the divisors of n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Sage

Formula

A013972 a(n) = sigma_24(n), the sum of the 24th powers of the divisors of n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Mathematica

PARI

Sage

Formula

A064987 a(n) = n*sigma(n).

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

GAP

Haskell

Magma

Maple

Mathematica

MuPAD

PARI

PARI

Formula

A001159 sigma_4(n): sum of 4th powers of divisors of n.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

Maxima

PARI