A244963 -id:A244963 - cp's OEIS frontend

A344695 a(n) = gcd(sigma(n), psi(n)), where sigma is the sum of divisors function, A000203, and psi is the Dedekind psi function, A001615.

1, 3, 4, 1, 6, 12, 8, 3, 1, 18, 12, 4, 14, 24, 24, 1, 18, 3, 20, 6, 32, 36, 24, 12, 1, 42, 4, 8, 30, 72, 32, 3, 48, 54, 48, 1, 38, 60, 56, 18, 42, 96, 44, 12, 6, 72, 48, 4, 1, 3, 72, 14, 54, 12, 72, 24, 80, 90, 60, 24, 62, 96, 8, 1, 84, 144, 68, 18, 96, 144, 72, 3, 74, 114, 4, 20, 96, 168, 80, 6, 1, 126, 84, 32, 108

Offset: 1

Antti Karttunen and Peter Munn, May 26 2021

nonn

This is not multiplicative. The first point where a(m*n) = a(m)*a(n) does not hold for coprime m and n is 108 = 4*27, where a(108) = 8, although a(4) = 1 and a(27) = 4. See A344702.
A more specific property holds: for prime p that does not divide n, a(p*n) = a(p) * a(n). In particular, on squarefree numbers (A005117) this sequence coincides with sigma and psi, which are multiplicative.
If prime p divides the squarefree part of n then p+1 divides a(n). (For example, 20 has square part 4 and squarefree part 5, so 5+1 divides a(20) = 6.) So a(n) = 1 only if n is square. The first square n with a(n) > 1 is a(196) = 21. See A344703.
Conjecture: the set of primes that appear in the sequence is A065091 (the odd primes). 5 does not appear as a term until a(366025) = 5, where 366025 = 5^2 * 11^4. At this point, the missing numbers less than 22 are 2, 10 and 17. 17 appears at the latest by a(17^2 * 103^16) = 17.

Antti Karttunen, Table of n, a(n) for n = 1..20000
Index entries for sequences related to sigma(n)

Cf. A000203, A001615, A005117, A244963, A344696, A344697, A344702, A344703 (numbers k for which a(k^2) > 1).
Cf. also A048250, A291750, A291751, A340070, A323363.
Subsets of range: A008864, A065091 (conjectured).

Table[GCD[DivisorSigma[1,n],DivisorSum[n,MoebiusMu[n/#]^2*#&]],{n,100}] (* Giorgos Kalogeropoulos, Jun 03 2021 *)

A001615(n) = if(1==n,n, my(f=factor(n)); prod(i=1, #f~, f[i, 1]^f[i, 2] + f[i, 1]^(f[i, 2]-1))); \\ After code in A001615
A344695(n) = gcd(sigma(n), A001615(n));
(Python 3.8+)
from math import prod, gcd
from sympy import primefactors, divisor_sigma
def A001615(n):
    plist = primefactors(n)
    return n*prod(p+1 for p in plist)//prod(plist)
def A344695(n): return gcd(A001615(n),divisor_sigma(n)) # Chai Wah Wu, Jun 03 2021

a(n) = gcd(A000203(n), A001615(n)).
For prime p, a(p^e) = (p+1)^(e mod 2).
For prime p with gcd(p, n) = 1, a(p*n) = a(p) * a(n).
a(A007913(n)) | a(n).
a(n) = gcd(A000203(n), A244963(n)) = gcd(A001615(n), A244963(n)).
a(n) = A000203(n) / A344696(n).
a(n) = A001615(n) / A344697(n).

A344700 Numbers k for which A306927(k) [= A001615(k)-k] is a multiple of A344705(k) [= A001615(k)-A001065(k)], and their quotient is nonnegative.

Original entry on oeis.org

1, 6, 24, 28, 168, 496, 864, 1080, 1520, 1836, 2016, 2088, 2112, 2520, 2912, 2976, 3000, 3024, 3240, 3800, 8128, 9000, 11088, 11232, 11448, 14160, 14688, 16920, 17028, 18360, 19872, 20520, 20880, 25280, 25488, 27552, 29376, 30800, 31200, 31320, 31968, 35400, 39240, 44064, 48768, 49896, 50760, 51480, 51660, 52200, 55680

Offset: 1

Antti Karttunen, May 28 2021

nonn

Numbers k for which A344704(k) = A344705(k), i.e., numbers k such that gcd(A001615(k)-k, A001615(k)-A001065(k)) = A001615(k) - A001065(k).
Note that A306927(k) is always nonnegative, but A344705(k) = A033879(k) + A306927(k) gets also negative values. Number k is perfect only when A033879(k) = A344705(k) - A306927(k) = 0, that is, when A344705(k) = A306927(k), which necessitates that A306927(k) should be a multiple of A344705(k), and their quotient should be nonnegative (actually = +1).
In the range 1 .. 2^31 there are 782 such numbers, of which only the initial 1 is odd.

Cf. A000203, A001065, A001615, A033879, A244963, A306927, A344704, A344705, A344752 (gives the quotient A306927(k)/A344705(k) computed for these terms), A344753.
Cf. A000396 (subsequence).
Cf. also A344754, A344755.

A001615(n) = if(1==n,n, my(f=factor(n)); prod(i=1, #f~, f[i, 1]^f[i, 2] + f[i, 1]^(f[i, 2]-1))); \\ After code in A001615
isA344700(n) = { my(t=A001615(n), s=sigma(n), u = (n+t)-s); (gcd(t-n,u)==u); };
\\ Alternatively as:
isA344700(n) = { my(t=A001615(n), s=sigma(n), u = (n+t)-s); ((u>0)&&(0==((t-n)%u))); };

A385134 The sum of divisors d of n such that n/d is a biquadratefree number (A046100).

Original entry on oeis.org

1, 3, 4, 7, 6, 12, 8, 15, 13, 18, 12, 28, 14, 24, 24, 30, 18, 39, 20, 42, 32, 36, 24, 60, 31, 42, 40, 56, 30, 72, 32, 60, 48, 54, 48, 91, 38, 60, 56, 90, 42, 96, 44, 84, 78, 72, 48, 120, 57, 93, 72, 98, 54, 120, 72, 120, 80, 90, 60, 168, 62, 96, 104, 120, 84, 144

Offset: 1

Amiram Eldar, Jun 19 2025

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A000203, A008683, A046100, A307430, A385006.

The sum of divisors d of n such that n/d is: A001615 (squarefree), A002131 (odd), A069208 (powerful), A076752 (square), A129527 (power of 2), A254981 (cubefree), A244963 (nonsquarefree), A327626 (cube), this sequence (biquadratefree), A385135 (exponentially odd), A385136 (cubefull), A385137 (3-smooth), A385138 (5-rough), A385139 (exponentially 2^n).

f[p_, e_] := p^(e-3)*(1 + p + p^2 + p^3); f[p_, 1] := 1 + p; f[p_, 2] := 1 + p + p^2; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = {my(f = factor(n), p, e); prod(i = 1, #f~, p = f[i,1]; e = f[i,2]; p^max(e-3,0) * (p^min(e+1,4)-1)/(p-1));}

a(n) = Sum_{d | n} d * A307430(n/d) = n * Sum_{d | n} A307430(d) / d.
a(n) = Sum_{d^3 | n} mu(d) * A000203(n/d^3), where mu is the Moebius function (A008683).
Multiplicative with a(p) = 1 + p, a(p^2) = 1 + p + p^2, and a(p^e) = p^(e-3) * (1 + p + p^2 + p^3), for e >= 3.
In general, the sum of divisors d of n such that n/d is k-free (not divisible by a k-th power larger than 1) is multiplicative with a(p^e) =  p^max(e-k+1,0) * (p^min(e+1,k)-1)/(p-1).
Dirichlet g.f.: zeta(s) * zeta(s-1) / zeta(4*s).
In general, the sum of divisors d of n such that n/d is k-free has Dirichlet g.f.: zeta(s) * zeta(s-1) / zeta(k*s).
Sum_{i=1..n} a(i) ~ (1575 / (2*Pi^6)) * n^2.

A385135 The sum of divisors d of n such that n/d is an exponentially odd number (A268335).

Original entry on oeis.org

1, 3, 4, 6, 6, 12, 8, 13, 12, 18, 12, 24, 14, 24, 24, 26, 18, 36, 20, 36, 32, 36, 24, 52, 30, 42, 37, 48, 30, 72, 32, 53, 48, 54, 48, 72, 38, 60, 56, 78, 42, 96, 44, 72, 72, 72, 48, 104, 56, 90, 72, 84, 54, 111, 72, 104, 80, 90, 60, 144, 62, 96, 96, 106, 84, 144

Offset: 1

Amiram Eldar, Jun 19 2025

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A013662, A033634, A268335.

The sum of divisors d of n such that n/d is: A001615 (squarefree), A002131 (odd), A069208 (powerful), A076752 (square), A129527 (power of 2), A254981 (cubefree), A244963 (nonsquarefree), A327626 (cube), A385134 (biquadratefree), this sequence (exponentially odd), A385136 (cubefull), A385137 (3-smooth), A385138 (5-rough), A385139 (exponentially 2^n).

f[p_, e_] := p^e + (p^(e+1) - If[EvenQ[e], p, 1])/(p^2 - 1); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = {my(f = factor(n), p, e); prod(i = 1, #f~, p = f[i,1]; e = f[i,2]; p^e + (p^(e + 1) - if(e%2, 1, p))/(p^2 - 1));}

Multiplicative with a(p^e) = p^e + (p^(e+1) - 1)/(p^2-1) if e is odd, and p^e + (p^(e+1) - p)/(p^2-1) if e is even.
Dirichlet g.f.: zeta(s-1) * zeta(2*s) * Product_{p prime} (1 + 1/p^s - 1/p^(2*s)).
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = zeta(4) * Product_{p prime} (1 + 1/p^2 - 1/p^4) = 1.542116283140158741... .

A385136 The sum of divisors d of n such that n/d is a cubefull number (A036966).

Original entry on oeis.org

1, 2, 3, 4, 5, 6, 7, 9, 9, 10, 11, 12, 13, 14, 15, 19, 17, 18, 19, 20, 21, 22, 23, 27, 25, 26, 28, 28, 29, 30, 31, 39, 33, 34, 35, 36, 37, 38, 39, 45, 41, 42, 43, 44, 45, 46, 47, 57, 49, 50, 51, 52, 53, 56, 55, 63, 57, 58, 59, 60, 61, 62, 63, 79, 65, 66, 67, 68

Offset: 1

Amiram Eldar, Jun 19 2025

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A013661, A036966, A385005.

The sum of divisors d of n such that n/d is: A001615 (squarefree), A002131 (odd), A069208 (powerful), A076752 (square), A129527 (power of 2), A254981 (cubefree), A244963 (nonsquarefree), A327626 (cube), A385134 (biquadratefree), A385135 (exponentially odd), this sequence (cubefull), A385137 (3-smooth), A385138 (5-rough), A385139 (exponentially 2^n).

f[p_, e_] := (p^(e+1) - p^e + p^(e-2) - 1)/(p-1); f[p_, 1] := p; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = {my(f = factor(n), p, e); prod(i = 1, #f~, p = f[i,1]; e = f[i,2]; if(e == 1, p, (p^(e+1) - p^e + p^(e-2) - 1)/(p-1)));}

Multiplicative with a(p) = p and a(p^e) = (p^(e+1) - p^e + p^(e-2) - 1)/(p-1) for e >= 2.
Dirichlet g.f.: zeta(s-1) * zeta(s) * Product_{p prime} (1 - 1/p^s + 1/p^(3*s)).
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = zeta(2) * Product_{p prime} (1 - 1/p^2 + 1/p^6) = 1.022486596136980366... .

A385137 The sum of divisors d of n such that n/d is a 3-smooth number (A003586).

Original entry on oeis.org

1, 3, 4, 7, 5, 12, 7, 15, 13, 15, 11, 28, 13, 21, 20, 31, 17, 39, 19, 35, 28, 33, 23, 60, 25, 39, 40, 49, 29, 60, 31, 63, 44, 51, 35, 91, 37, 57, 52, 75, 41, 84, 43, 77, 65, 69, 47, 124, 49, 75, 68, 91, 53, 120, 55, 105, 76, 87, 59, 140, 61, 93, 91, 127, 65, 132

Offset: 1

Amiram Eldar, Jun 19 2025

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A003586, A064987, A072044, A072045, A072079.

The sum of divisors d of n such that n/d is: A001615 (squarefree), A002131 (odd), A069208 (powerful), A076752 (square), A129527 (power of 2), A254981 (cubefree), A244963 (nonsquarefree), A327626 (cube), A385134 (biquadratefree), A385135 (exponentially odd), A385136 (cubefull), this sequence (3-smooth), A385138 (5-rough), A385139 (exponentially 2^n).

f[p_, e_] := If[p < 5, (p^(e+1) - 1)/(p - 1), p^e]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = {my(f = factor(n), p, e); prod(i = 1, #f~, p = f[i,1]; e = f[i,2]; if(p < 5, (p^(e + 1) - 1)/(p - 1), p^e));}

a(n) = A064987(n)/A385138(n).
Multiplicative with a(p^e) = (p^(e+1)-1)/(p-1) if p <= 3, and p^e if p >= 5.
In general, the sum of divisors d of n such that n/d is q-smooth (not divisible by a prime larger than q) is multiplicative with a(p^e) = (p^(e+1)-1)/(p-1) if p <= q, and p^e if p > q.
Dirichlet g.f.: zeta(s-1) / ((1 - 1/2^s) * (1 - 1/3^s)).
In general, the sum of divisors d of n such that n/d is q-smooth has Dirichlet g.f.: zeta(s-1) / Product_{p prime <= q} (1 - 1/q^s).
Sum_{k=1..n} a(k) ~ (3/4)*n^2.
In general, the sum of divisors d of n such that n/d is prime(k)-smooth has an average order c * n^2 / 2, where c = A072044(k-1)/A072045(k-1) for k >= 2.

A385138 The sum of divisors d of n such that n/d is a 5-rough number (A007310).

Original entry on oeis.org

1, 2, 3, 4, 6, 6, 8, 8, 9, 12, 12, 12, 14, 16, 18, 16, 18, 18, 20, 24, 24, 24, 24, 24, 31, 28, 27, 32, 30, 36, 32, 32, 36, 36, 48, 36, 38, 40, 42, 48, 42, 48, 44, 48, 54, 48, 48, 48, 57, 62, 54, 56, 54, 54, 72, 64, 60, 60, 60, 72, 62, 64, 72, 64, 84, 72, 68, 72

Offset: 1

Amiram Eldar, Jun 19 2025

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A007310, A013661, A064987, A072044, A072045, A186099.

The sum of divisors d of n such that n/d is: A001615 (squarefree), A002131 (odd), A069208 (powerful), A076752 (square), A129527 (power of 2), A254981 (cubefree), A244963 (nonsquarefree), A327626 (cube), A385134 (biquadratefree), A385135 (exponentially odd), A385136 (cubefull), A385137 (3-smooth), this sequence (5-rough), A385139 (exponentially 2^n).

f[p_, e_] := If[p > 3, (p^(e+1) - 1)/(p - 1), p^e]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = {my(f = factor(n), p, e); prod(i = 1, #f~, p = f[i,1]; e = f[i,2]; if(p > 3, (p^(e + 1) - 1)/(p - 1), p^e));}

a(n) = A064987(n)/A385137(n).
Multiplicative with a(p^e) = p^e if p <= 3, and (p^(e+1)-1)/(p-1) if p >= 5.
In general, the sum of divisors d of n such that n/d is q-rough (not divisible by a prime smaller than q) is multiplicative with a(p^e) = p^e if p <= q, and (p^(e+1)-1)/(p-1) if p > q.
Dirichlet g.f.: zeta(s-1) * zeta(s) * ((1 - 1/2^s) * (1 - 1/3^s)).
In general, the sum of divisors d of n such that n/d is q-rough has Dirichlet g.f.: zeta(s-1) * zeta(s) * Product_{p prime <= q} (1 - 1/q^s).
Sum_{k=1..n} a(k) ~ (Pi^2/18)*n^2.
In general, the sum of divisors d of n such that n/d is prime(k)-rough has an average order c * n^2 / 2, where c = zeta(2) * A072045(k-1)/A072044(k-1) for k >= 2.

A385139 The sum of divisors d of n such that n/d has exponents in its prime factorization that are all powers of 2 (A138302).

Original entry on oeis.org

1, 3, 4, 7, 6, 12, 8, 14, 13, 18, 12, 28, 14, 24, 24, 29, 18, 39, 20, 42, 32, 36, 24, 56, 31, 42, 39, 56, 30, 72, 32, 58, 48, 54, 48, 91, 38, 60, 56, 84, 42, 96, 44, 84, 78, 72, 48, 116, 57, 93, 72, 98, 54, 117, 72, 112, 80, 90, 60, 168, 62, 96, 104, 116, 84, 144

Offset: 1

Amiram Eldar, Jun 19 2025

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A004709, A138302, A353900.

The sum of divisors d of n such that n/d is: A001615 (squarefree), A002131 (odd), A069208 (powerful), A076752 (square), A129527 (power of 2), A254981 (cubefree), A244963 (nonsquarefree), A327626 (cube), A385134 (biquadratefree), A385135 (exponentially odd), A385136 (cubefull), A385137 (3-smooth), A385138 (5-rough), this sequence (exponentially 2^n).

f[p_, e_] := p^e + Sum[p^(e - 2^k), {k, 0, Floor[Log2[e]]}]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = {my(f = factor(n)); prod(i = 1, #f~, f[i, 1]^f[i, 2] + sum(k = 0, logint(f[i, 2], 2), f[i, 1]^(f[i, 2]-2^k)));}

Multiplicative with a(p^e) = p^e + Sum_{k=0..floor(log_2(e))} p^(e-2^k).		
a(n) <= A000203(n), with equality if and only if n is cubefree (A004709).
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = Product_{p prime} (1 + (1-1/p)*(Sum_{k>=1} (Sum_{j=0..floor(log_2(k))} 1/p^(k+2^j)))) = 1.62194750148969761827... .

A344705 a(n) = n + A001615(n) - sigma(n), where A001615 is the Dedekind psi-function, and sigma(n) gives the sum of divisors of n; difference between psi and the sum of proper divisors.

Original entry on oeis.org

1, 2, 3, 3, 5, 6, 7, 5, 8, 10, 11, 8, 13, 14, 15, 9, 17, 15, 19, 14, 21, 22, 23, 12, 24, 26, 23, 20, 29, 30, 31, 17, 33, 34, 35, 17, 37, 38, 39, 22, 41, 42, 43, 32, 39, 46, 47, 20, 48, 47, 51, 38, 53, 42, 55, 32, 57, 58, 59, 36, 61, 62, 55, 33, 65, 66, 67, 50, 69, 70, 71, 21, 73, 74, 71, 56, 77, 78, 79, 38, 68, 82

Offset: 1

Antti Karttunen, May 28 2021

First negative term occurs as a(1440) = -18.

Antti Karttunen, Table of n, a(n) for n = 1..16560
Antti Karttunen, Data supplement: n, a(n) computed for n = 1..65537

Cf. A000203, A001065, A001615, A033879, A244963, A291209 (positions of zeros), A344700, A344704, A344753.

Cf. A013661, A082020.

f[p_, e_] := (p^(e+1) - 1)/(p-1); a[1] = 1; a[n_] := Module[{fct = FactorInteger[n]}, n * (Times @@ (1 + 1/fct[[;; , 1]]) + 1) - Times @@ f @@@ fct]; Array[a, 100] (* Amiram Eldar, Dec 08 2023 *)

A001615(n) = (n * sumdivmult(n, d, issquarefree(d)/d));
A344705(n) = ((n + A001615(n)) - sigma(n));

a(n) = A001615(n) - A001065(n) = n - A244963(n) = n + A001615(n) - sigma(n).
a(n) = A033879(n) + A306927(n).
a(n) = n + A344753(n) - 2*A001065(n).
Sum_{k=1..n} a(k) = c * n^2 / 2 + O(n*log(n)), where c = 15/Pi^2 + 1 - Pi^2/6 = 0.874883... . - Amiram Eldar, Dec 08 2023

A344704 a(n) = gcd(A001615(n)-n, sigma(n)-(A001615(n)+n)).

Original entry on oeis.org

1, 1, 1, 1, 1, 6, 1, 1, 1, 2, 1, 4, 1, 2, 3, 1, 1, 3, 1, 2, 1, 2, 1, 12, 1, 2, 1, 20, 1, 6, 1, 1, 3, 2, 1, 1, 1, 2, 1, 2, 1, 6, 1, 4, 3, 2, 1, 4, 1, 1, 3, 2, 1, 6, 1, 8, 1, 2, 1, 12, 1, 2, 11, 1, 1, 6, 1, 10, 3, 2, 1, 3, 1, 2, 1, 4, 1, 6, 1, 2, 1, 2, 1, 4, 1, 2, 3, 4, 1, 18, 7, 4, 1, 2, 5, 12, 1, 5, 3, 1, 1, 6, 1, 2, 3

Offset: 1

Antti Karttunen, May 28 2021

nonn

Antti Karttunen, Table of n, a(n) for n = 1..65537

Cf. A000203, A001615, A244963, A306927, A344700, A344705.

A001615(n) = if(1==n,n, my(f=factor(n)); prod(i=1, #f~, f[i, 1]^f[i, 2] + f[i, 1]^(f[i, 2]-1))); \\ After code in A001615
A344704(n) = gcd(A001615(n)-n, sigma(n)-(A001615(n)+n));

a(n) = gcd(A306927(n), n-A244963(n)) = gcd(A001615(n)-n, sigma(n)-(A001615(n)+n)).

cp's OEIS Frontend

A344695 a(n) = gcd(sigma(n), psi(n)), where sigma is the sum of divisors function, A000203, and psi is the Dedekind psi function, A001615.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A344700 Numbers k for which A306927(k) [= A001615(k)-k] is a multiple of A344705(k) [= A001615(k)-A001065(k)], and their quotient is nonnegative.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

A385134 The sum of divisors d of n such that n/d is a biquadratefree number (A046100).

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385135 The sum of divisors d of n such that n/d is an exponentially odd number (A268335).

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385136 The sum of divisors d of n such that n/d is a cubefull number (A036966).

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385137 The sum of divisors d of n such that n/d is a 3-smooth number (A003586).

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385138 The sum of divisors d of n such that n/d is a 5-rough number (A007310).

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385139 The sum of divisors d of n such that n/d has exponents in its prime factorization that are all powers of 2 (A138302).

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI