A376886 -id:A376886 - cp's OEIS frontend

A376885 The number of factors of n of the form p^(k!) counted with multiplicity, where p is a prime and k >= 1, when the factorization is uniquely done using the factorial-base representation of the exponents in the prime factorization of n.

0, 1, 1, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 2, 2, 1, 2, 1, 2, 2, 2, 1, 3, 1, 2, 2, 2, 1, 3, 1, 3, 2, 2, 2, 2, 1, 2, 2, 3, 1, 3, 1, 2, 2, 2, 1, 3, 1, 2, 2, 2, 1, 3, 2, 3, 2, 2, 1, 3, 1, 2, 2, 1, 2, 3, 1, 2, 2, 3, 1, 3, 1, 2, 2, 2, 2, 3, 1, 3, 2, 2, 1, 3, 2, 2, 2, 3, 1, 3, 2, 2, 2, 2, 2, 4, 1, 2, 2, 2, 1, 3, 1, 3, 3

Offset: 1

Amiram Eldar, Oct 08 2024

Let n = Product p^e be the canonical prime factorization of n. The factorization of n that is based on the factorial-base representation of the exponents is done by factoring each prime power p^e into prime powers, p^e = Product_{k} (p^(k!))^d_k where e = Sum_{k>=1} d_k * k! is the factorial-base representation of e. So, the factors in this factorization are prime powers with exponents that are factorial numbers. Each factor in the factorization, p^(k!), can have a multiplicity d in the range [1, k], so this factorization of n is a product of numbers of the form (p^(k!))^d.
The number of factors counted with multiplicity (the sum of the multiplicities d in (p^(k!))^d) is given by this sequence (analogous to A001222 for the canonical prime factorization).
The number of distinct factors p^(k!) of n is A376886(n) (analogous to A001221).
The number of divisors of n that can be constructed from partial sets of these factors (with multiplicities that are not larger than those in n) is A376887(n) (analogous to A000005), and their sum is A376888(n) (analogous to A000203).

			For n = 8 = 2^3, the representation of 3 in factorial base is 11, i.e., 3 = 1! + 2!, so 8 = (2^(1!))^1 * (2^(2!))^1 and a(8) = 1 + 1 = 2.
For n = 16 = 2^4, the representation of 4 in factorial base is 20, i.e., 4 = 2 * 2!, so 16 = (2^(2!))^2 and a(16) = 2.

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

Cf. A000142, A007623, A034968, A077761.
Cf. A000005, A000203, A001221, A001222, A376886, A376887, A376888.
Similar sequences: A064547, A318464.

fdigsum[n_] := Module[{k = n, m = 2, r, s = 0}, While[{k, r} = QuotientRemainder[k, m]; k != 0 || r != 0, s += r; m++]; s]; f[p_, e_] := fdigsum[e]; a[1] = 0; a[n_] := Plus @@ f @@@ FactorInteger[n]; Array[a, 100]

fdigsum(n) = {my(k = n, m = 2, r, s = 0); while([k, r] = divrem(k, m); k != 0 || r != 0, s += r; m++); s;}
a(n) = {my(e = factor(n)[, 2]); sum(i = 1, #e, fdigsum(e[i]));}

Additive with a(p^e) = A034968(e).

Sum_{k=1..n} a(k) ~ n * (log(log(n)) + B + C), where B is Mertens's constant (A077761) and C = Sum_{p prime} f(1/p) = 0.18682321026088865388..., where f(x) = -x + (1-x) * Sum_{k>=1} A034968(k)* x^k.

A376888 The sum of divisors of n that are products of factors of the form p^(k!) with multiplicities not larger than their multiplicity in n, where p is a prime and k >= 1, when the factorization of n is uniquely done using the factorial-base representation of the exponents in the prime factorization of n.

Original entry on oeis.org

1, 3, 4, 5, 6, 12, 8, 15, 10, 18, 12, 20, 14, 24, 24, 21, 18, 30, 20, 30, 32, 36, 24, 60, 26, 42, 40, 40, 30, 72, 32, 63, 48, 54, 48, 50, 38, 60, 56, 90, 42, 96, 44, 60, 60, 72, 48, 84, 50, 78, 72, 70, 54, 120, 72, 120, 80, 90, 60, 120, 62, 96, 80, 65, 84, 144

Offset: 1

Amiram Eldar, Oct 08 2024

See A376885 for details about this factorization.
First differs from A188999 at n = 16.
The number of these divisors is given by A376887(n).

			For n = 12 = 2^2 * 3^1, the representation of 2 in factorial base is 10, i.e., 2 = 2!, so 12 = (2^(2!))^1 * (3^(1!))^1 and a(12) is the sum of the 4 divisors 1 + 3 + 4 + 12 = 20.

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

Cf. A188999, A376885, A376886, A376887.

Similar sequences: A049417, A049418, A074847, A097863, A331107, A331110.

ff[q_, s_] := (q^(s + 1) - 1)/(q - 1); f[p_, e_] := Module[{k = e, m = 2, r, s = {}}, While[{k, r} = QuotientRemainder[k, m]; k != 0 || r != 0, If[r > 0, AppendTo[s, {p^(m - 1)!, r}];]; m++]; Times @@ ff @@@ s]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

fdigits(n) = {my(k = n, m = 2, r, s = []); while([k, r] = divrem(k, m); k != 0 || r != 0, s = concat(s, r); m++); s;}
a(n) = {my(f = factor(n), p = f[, 1], e = f[, 2], d); prod(i = 1, #p, prod(j = 1, #d=fdigits(e[i]), (p[i]^(j!*(d[j]+1)) - 1)/(p[i]^j! - 1)));}

Multiplicative: if e = Sum_{k>=1} d_k * k! (factorial base representation), then a(p^e) = Product_{k>=1} (p^(k!*{d_k+1}) - 1)/(p^(k!) - 1).

A377020 Numbers whose prime factorization has exponents that are all numbers of the form m*k!, where 1 <= m <= k.

Original entry on oeis.org

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

Offset: 1

Amiram Eldar, Oct 13 2024

First differs from A138302 and A270428 at n = 57: a(57) = 64 is not a term of A138302 and A270428.
First differs from A337052 at n = 193: A337052(193) = 216 is not a term of this sequence.
First differs from A335275 at n = 227: A335275(227) = 256 is not a term of this sequence.
First differs from A220218 at n = 903: A220218(903) = 1024 is not a term of this sequence.
Numbers k such that A376886(k) = A001221(k).
The asymptotic density of this sequence is Product_{p prime} (1 - 1/p^3 + (1 - 1/p) * (Sum_{k>=3} 1/p^A051683(k))) = 0.87902453718626485582... .
a(n) = A096432(n-1) for 2<=n<380, but then the sequences start to differ: A096432 contains 432, 648, 1024, 1728, 2000, 2160,... which are not in this sequence. - R. J. Mathar, Oct 15 2024

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

Cf. A001221, A051683, A376886, A377021, A377022.
Subsequences: A005117, A004709, A377019.
Cf. A138302, A220218, A270428, A335275, A337052.

expQ[n_] := expQ[n] = Module[{m = n, k = 2}, While[Divisible[m, k], m /= k; k++]; m < k]; q[n_] := AllTrue[FactorInteger[n][[;;, 2]], expQ]; Select[Range[100], q]

isf(n) = {my(k = 2); while(!(n % k), n /= k; k++); n < k;}
is(k) = {my(e = factor(k)[, 2]); for(i = 1, #e, if(!isf(e[i]), return(0))); 1;}

A377021 Numbers whose prime factorization has exponents that are all sums of distinct factorials (A059590, where 0! and 1! are not considered distinct).

Original entry on oeis.org

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

Offset: 1

Amiram Eldar, Oct 13 2024

First differs from its subsequence A046100 at n = 61: a(61) = 64 is not a term of A046100.
Numbers k such that A376885(k) = A376886(k).
Numbers that are "squarefree" when they are factorized into factors of the form p^(k!), where p is a prime and k >= 1, a factorization that is done using the factorial-base representation of the exponents in the prime factorization (see A376885 for more details). Each factor p^(k!) has a multiplicity 1.
The asymptotic density of this sequence is Product_{p prime} (1 - 1/p^2 + (1 - 1/p) * (Sum_{k>=2} 1/p^A059590(k))) = 0.93973112474919498992... .

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

Cf. A000142, A046100, A059590, A376885, A376886, A377019, A377020, A377022.

Analogous to A005117.

expQ[n_] := expQ[n] = Module[{k = n, m = 2, r, s = 1}, While[{k, r} = QuotientRemainder[k, m]; k != 0 || r != 0, If[r > 1, s = 0; Break[]]; m++]; s == 1]; q[n_] := AllTrue[FactorInteger[n][[;;, 2]], expQ]; Select[Range[100], q]

isexp(n) = {my(k = n, m = 2, r); while([k, r] = divrem(k, m); k != 0 || r != 0, if(r > 1, return(0)); m++); 1;}
is(k) = {my(e = factor(k)[, 2]); for(i = 1, #e, if(!isexp(e[i]), return(0))); 1;}

A376887 The number of divisors of n that are products of factors of the form p^(k!) with multiplicities not larger than their multiplicity in n, where p is a prime and k >= 1, when the factorization of n is uniquely done using the factorial-base representation of the exponents in the prime factorization of n.

Original entry on oeis.org

1, 2, 2, 2, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 4, 3, 2, 4, 2, 4, 4, 4, 2, 8, 2, 4, 4, 4, 2, 8, 2, 6, 4, 4, 4, 4, 2, 4, 4, 8, 2, 8, 2, 4, 4, 4, 2, 6, 2, 4, 4, 4, 2, 8, 4, 8, 4, 4, 2, 8, 2, 4, 4, 2, 4, 8, 2, 4, 4, 8, 2, 8, 2, 4, 4, 4, 4, 8, 2, 6, 3, 4, 2, 8, 4, 4, 4

Offset: 1

Amiram Eldar, Oct 08 2024

See A376885 for details about this factorization.
If n = Product p_i^e_i is the canonical prime factorization of n, then the divisors that are counted by this function are d = Product p_i^s_i, where all the digits of s_i in factorial base are not larger than the corresponding digits of e_i.
The sum of these divisors is given by A376888(n).

			For n = 12 = 2^2 * 3^1, the representation of 2 in factorial base is 10, i.e., 2 = 2!, so 12 = (2^(2!))^1 * (3^(1!))^1 and a(12) = (1+1) * (1+1) = 4, corresponding to the 4 divisors 1, 3, 4 and 12.

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

Cf. A007623, A034968, A376885, A376886, A376888.

Similar sequences: A037445, A038148, A074848, A318465, A331109.

fdigprod[n_] := Module[{k = n, m = 2, r, s = 1}, While[{k, r} = QuotientRemainder[k, m]; k != 0 || r != 0, s *= (r+1); m++]; s]; f[p_, e_] := fdigprod[e]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

fdigprod(n) = {my(k = n, m = 2, r, s = 1); while([k, r] = divrem(k, m); k != 0 || r != 0, s *= (r+1); m++); s;}
a(n) = {my(e = factor(n)[, 2]); prod(i = 1, #e, fdigprod(e[i]));}

Multiplicative with a(p^e) = A227154(e).

cp's OEIS Frontend

A376885 The number of factors of n of the form p^(k!) counted with multiplicity, where p is a prime and k >= 1, when the factorization is uniquely done using the factorial-base representation of the exponents in the prime factorization of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A377020 Numbers whose prime factorization has exponents that are all numbers of the form m*k!, where 1 <= m <= k.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

A377021 Numbers whose prime factorization has exponents that are all sums of distinct factorials (A059590, where 0! and 1! are not considered distinct).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula