A077609 -id:A077609 - cp's OEIS frontend

A037445 Number of infinitary divisors (or i-divisors) of n.

1, 2, 2, 2, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 4, 2, 2, 4, 2, 4, 4, 4, 2, 8, 2, 4, 4, 4, 2, 8, 2, 4, 4, 4, 4, 4, 2, 4, 4, 8, 2, 8, 2, 4, 4, 4, 2, 4, 2, 4, 4, 4, 2, 8, 4, 8, 4, 4, 2, 8, 2, 4, 4, 4, 4, 8, 2, 4, 4, 8, 2, 8, 2, 4, 4, 4, 4, 8, 2, 4, 2, 4, 2, 8, 4, 4, 4, 8, 2, 8, 4, 4, 4, 4, 4, 8, 2, 4, 4, 4, 2, 8, 2, 8, 8

Offset: 1

Yasutoshi Kohmoto

A divisor of n is called infinitary if it is a product of divisors of the form p^{y_a 2^a}, where p^y is a prime power dividing n and sum_a y_a 2^a is the binary representation of y.

The smallest number m with exactly 2^n infinitary divisors is A037992(n); for these values m, a(m) increases also to a new record. - Bernard Schott, Mar 09 2023

			For n = 8, n = 2^3 = 2^"11" (writing 3 in binary) so the infinitary divisors are 2^"00" = 1, 2^"01" = 2, 2^"10" = 4 and 2^"11" = 8, so a(8) = 4.
For n = 90, n = 2*5*9 where 2,5,9 are in A050376, so a(90) = 2^3 = 8.

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
Steven R. Finch, Unitarism and Infinitarism, February 25, 2004. [Cached copy, with permission of the author]
J. O. M. Pedersen, Tables of Aliquot Cycles [Broken link]
J. O. M. Pedersen, Tables of Aliquot Cycles [Via Internet Archive Wayback-Machine]
J. O. M. Pedersen, Tables of Aliquot Cycles [Cached copy, pdf file only]
Eric Weisstein's World of Mathematics, Infinitary Divisor
Index entries for sequences computed from exponents in factorization of n

Cf. A000120, A001316, A004607, A007358, A007357, A037992, A038148, A049417, A064547, A074848, A077609, A124010, A156552, A286575.

a037445 = product . map (a000079 . a000120) . a124010_row
-- Reinhard Zumkeller, Mar 19 2013

A037445 := proc(n)
    local a,p;
    a := 1 ;
    for p in ifactors(n)[2] do
        a := a*2^wt(p[2]) ;
    end do:
    a ;
end proc: # R. J. Mathar, May 16 2016

Table[Length@((Times @@ (First[it]^(#1 /. z -> List)) & ) /@
Flatten[Outer[z, Sequence @@ bitty /@
Last[it = Transpose[FactorInteger[k]]], 1]]), {k, 2, 240}]
bitty[k_] := Union[Flatten[Outer[Plus, Sequence @@ ({0, #1} & ) /@ Union[2^Range[0, Floor[Log[2, k]]]*Reverse[IntegerDigits[k, 2]]]]]]
y[n_] := Select[Range[0, n], BitOr[n, # ] == n & ] divisors[Infinity][1] := {1}
divisors[Infinity][n_] := Sort[Flatten[Outer[Times, Sequence @@ (FactorInteger[n] /. {p_, m_Integer} :> p^y[m])]]] Length /@ divisors[Infinity] /@ Range[105] (* Paul Abbott (paul(AT)physics.uwa.edu.au), Apr 29 2005 *)
a[1] = 1; a[n_] := Times @@ Flatten[ 2^DigitCount[#, 2, 1]&  /@ FactorInteger[n][[All, 2]] ]; Table[a[n], {n, 1, 105}] (* Jean-François Alcover, Aug 19 2013, after Reinhard Zumkeller *)

A037445(n) = factorback(apply(a -> 2^hammingweight(a), factorint(n)[,2])) \\ Andrew Lelechenko, May 10 2014

from sympy import factorint
def wt(n): return bin(n).count("1")
def a(n):
    f=factorint(n)
    return 2**sum([wt(f[i]) for i in f]) # Indranil Ghosh, May 30 2017

(define (A037445 n) (if (= 1 n) n (* (A001316 (A067029 n)) (A037445 (A028234 n))))) ;; Antti Karttunen, May 28 2017

Multiplicative with a(p^e) = 2^A000120(e). - David W. Wilson, Sep 01 2001
Let n = q_1*...*q_k, where q_1,...,q_k are different terms of A050376. Then a(n) = 2^k (the number of subsets of a set with k elements is 2^k). - Vladimir Shevelev, Feb 19 2011.
a(n) = Product_{k=1..A001221(n)} A000079(A000120(A124010(n,k))). - Reinhard Zumkeller, Mar 19 2013
From Antti Karttunen, May 28 2017: (Start)
a(n) = A286575(A156552(n)). [Because multiplicative with a(p^e) = A001316(e).]
a(n) = 2^A064547(n). (End)
a(A037992(n)) = 2^n. - Bernard Schott, Mar 10 2023

Corrected and extended by Naohiro Nomoto, Jun 21 2001

A049417 a(n) = isigma(n): sum of infinitary divisors of n.

Original entry on oeis.org

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

Offset: 1

Yasutoshi Kohmoto, Dec 11 1999

A divisor of n is called infinitary if it is a product of divisors of the form p^{y_a 2^a}, where p^y is a prime power dividing n and sum_a y_a 2^a is the binary representation of y.
This sequence is an infinitary analog of the Dedekind psi function A001615. Indeed, a(n) = Product_{q in Q_n}(q+1) =  n*Product_{q in Q_n} (1+1/q), where {q} are terms of A050376 and Q_n is the set of distinct q's whose product is n. - Vladimir Shevelev, Apr 01 2014
1/a(n) is the asymptotic density of numbers that are infinitarily divided by n (i.e., numbers whose set of infinitary divisors includes n). - Amiram Eldar, Jul 23 2025

			If n = 8: 8 = 2^3 = 2^"11" (writing 3 in binary) so the infinitary divisors are 2^"00" = 1, 2^"01" = 2, 2^"10" = 4 and 2^"11" = 8; so a(8) = 1+2+4+8 = 15.
n = 90 = 2*5*9, where 2, 5, 9 are in A050376; so a(n) = 3*6*10 = 180. - _Vladimir Shevelev_, Feb 19 2011

Amiram Eldar, Table of n, a(n) for n = 1..10000 (terms 1..7417 from R. J. Mathar)
Graeme L. Cohen, On an integer's infinitary divisors, Math. Comp. 54 (189) (1990) 395-411.
Steven R. Finch, Unitarism and Infinitarism, February 25, 2004. [Cached copy, with permission of the author]
Steven R. Finch, Mathematical Constants II, Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, 2018, pp. 49-56.
J. O. M. Pedersen, Tables of Aliquot Cycles.
J. O. M. Pedersen, Tables of Aliquot Cycles. [Via Internet Archive Wayback-Machine]
J. O. M. Pedersen, Tables of Aliquot Cycles [Cached copy, pdf file only]
Tomohiro Yamada, Infinitary superperfect numbers, Annales Mathematicae et Informaticae, Vol. 47 (2017), pp. 211-218; arXiv preprint, arXiv:1705.10933 [math.NT], 2017.

Cf. A004607, A037445, A050376, A077609, A091732, A127661, A293355.
Cf. A049418 (3-infinitary), A074847 (4-infinitary), A097863 (5-infinitary).
Cf. A000079, A001615, A027748, A030308, A124010, A126168.

a049417 1 = 1
a049417 n = product $ zipWith f (a027748_row n) (a124010_row n) where
   f p e = product $ zipWith div
           (map (subtract 1 . (p ^)) $
                zipWith (*) a000079_list $ map (+ 1) $ a030308_row e)
           (map (subtract 1 . (p ^)) a000079_list)
-- Reinhard Zumkeller, Sep 18 2015

isidiv := proc(d, n)
    local n2, d2, p, j;
    if n mod d <> 0 then
        return false;
    end if;
    for p in numtheory[factorset](n) do
        padic[ordp](n,p) ;
        n2 := convert(%, base, 2) ;
        padic[ordp](d,p) ;
        d2 := convert(%, base, 2) ;
        for j from 1 to nops(d2) do
            if op(j, n2) = 0 and op(j, d2) <> 0 then
                return false;
            end if;
        end do:
    end do;
    return true;
end proc:
idivisors := proc(n)
    local a, d;
    a := {} ;
    for d in numtheory[divisors](n) do
        if isidiv(d, n) then
            a := a union {d} ;
        end if;
    end do:
    a ;
end proc:
A049417 := proc(n)
    local d;
    add(d, d=idivisors(n)) ;
end proc:
seq(A049417(n),n=1..100) ; # R. J. Mathar, Feb 19 2011

bitty[k_] := Union[Flatten[Outer[Plus, Sequence @@ ({0, #1} & ) /@ Union[2^Range[0, Floor[Log[2, k]]]*Reverse[IntegerDigits[k, 2]]]]]]; Table[Plus@@((Times @@ (First[it]^(#1 /. z -> List)) & ) /@ Flatten[Outer[z, Sequence @@ bitty /@ Last[it = Transpose[FactorInteger[k]]], 1]]), {k, 2, 120}]
(* Second program: *)
a[n_] := If[n == 1, 1, Sort @ Flatten @ Outer[ Times, Sequence @@ (FactorInteger[n] /. {p_, m_Integer} :> p^Select[Range[0, m], BitOr[m, #] == m &])]] // Total;
Array[a, 100] (* Jean-François Alcover, Mar 23 2020, after Paul Abbott in A077609 *)

A049417(n) = {my(b, f=factorint(n)); prod(k=1, #f[,2], b = binary(f[k,2]); prod(j=1, #b, if(b[j], 1+f[k,1]^(2^(#b-j)), 1)))} \\ Andrew Lelechenko, Apr 22 2014

isigma(n)=vecprod([vecprod([f[1]^2^k+1|k<-[0..exponent(f[2])], bittest(f[2],k)])|f<-factor(n)~]) \\ M. F. Hasler, Oct 20 2022

from math import prod
from sympy import factorint
def A049417(n): return prod(p**(1<Chai Wah Wu, Jul 11 2024

Multiplicative: If e = Sum_{k >= 0} d_k 2^k (binary representation of e), then a(p^e) = Product_{k >= 0} (p^(2^k*{d_k+1}) - 1)/(p^(2^k) - 1). - Christian G. Bower and Mitch Harris, May 20 2005 [This means there is a factor p^2^k + 1 if d_k = 1, otherwise the factor is 1. - M. F. Hasler, Oct 20 2022]
Let n = Product(q_i) where {q_i} is a set of distinct terms of A050376. Then a(n) = Product(q_i + 1). - Vladimir Shevelev, Feb 19 2011
If n is squarefree, then a(n) = A001615(n). - Vladimir Shevelev, Apr 01 2014
a(n) = Sum_{k>=1} A077609(n,k). - R. J. Mathar, Oct 04 2017
a(n) = A126168(n)+n. - R. J. Mathar, Oct 05 2017
Multiplicative with a(p^e) = Product{k >= 0, e_k = 1} p^2^k + 1, where e = Sum e_k 2^k, i.e., e_k is bit k of e. - M. F. Hasler, Oct 20 2022
a(n) = iphi(n^2)/iphi(n), where iphi(n) = A091732(n). - Amiram Eldar, Sep 21 2024

More terms from Wouter Meeussen, Sep 02 2001

A138302 Exponentially 2^n-numbers: 1 together with positive integers k such that all exponents in prime factorization of k are powers of 2.

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, 65, 66, 67, 68, 69, 70, 71, 73, 74, 75, 76, 77, 78, 79, 80, 81

Offset: 1

Vladimir Shevelev, May 07 2008

nonn

Previous name: sequence consists of products of distinct relatively prime terms of A084400. - Vladimir Shevelev, Sep 24 2015
These numbers are also called "compact integers."
The density of this sequence exists and equals 0.872497...
There exist only seven compact factorials A000142(n) for n=1,2,3,6,7,10 and 11.
For a general definition of exponentially S-numbers, see comments in A209061. - Vladimir Shevelev, Sep 24 2015
The first 1000 digits of the density of the sequence were calculated by Juan Arias-de-Reyna in A271727. - Vladimir Shevelev, Apr 18 2016
A225546 maps the set of terms 1:1 onto A268375. - Peter Munn, Jan 26 2020
Numbers whose sets of unitary divisors (A077610) and infinitary divisors (A077609) coincide. - Amiram Eldar, Dec 23 2020

			60 = 2^(2^1)*3^(2^0)*5^(2^0).

Amiram Eldar, Table of n, a(n) for n = 1..10000
S. Litsyn and V. Shevelev, On Factorization of Integers with Restrictions on the Exponents, INTEGERS: The Electronic Journal of Combinatorial Number Theory 7 (2007), #A33.
Vladimir Shevelev, Compact integers and factorials, Acta Arithmetica 126:3 (2007), pp. 195-236.
Vladimir Shevelev, Set of all densities of exponentially S-numbers, arXiv preprint arXiv:1511.03860 [math.NT], 2015-2016.

Cf. A000142, A005117, A050376, A084400, A209061, A271727.

Related to A268375 via A225546.

isA000079 := proc(n)
    if n = 1 then
        true;
    else
        type(n,'even') and nops(numtheory[factorset](n))=1 ;
        simplify(%) ;
    end if;
end proc:
isA138302 := proc(n)
    local p;
    if n = 1 then
        return true;
    end if;
    for p in ifactors(n)[2] do
        if not isA000079(op(2,p)) then
            return false;
        end if;
    end do:
    true ;
end proc:
for n from 1 to 100 do
    if isA138302(n) then
        printf("%d,",n) ;
    end if;
end do: # R. J. Mathar, Sep 27 2016

lst={}; Do[p=Prime[n]; s=p^(1/3); f=Floor[s]; a=f^3; d=p-a; AppendTo[lst,d], {n,100}]; Union[lst] (* Vladimir Joseph Stephan Orlovsky, Mar 11 2009 *)
selQ[n_] := AllTrue[FactorInteger[n][[All, 2]], IntegerQ[Log[2, #]]&];
Select[Range[100], selQ] (* Jean-François Alcover, Oct 29 2018 *)

is(n)=if(n<8, n>0, vecmin(apply(n->n>>valuation(n,2)==1, factor(n)[,2]))) \\ Charles R Greathouse IV, Dec 07 2012

Identities arising from the calculation of the density h of the sequence (cf. [Shevelev] and comment for a generalization in A209061):

h = Product_{prime p} Sum_{j in {0 and 2^k}}(p-1)/p^(j+1) = Product_{prime p} (1 + Sum_{j>=2} (u(j) - u(j-1))/p^j) = (1/zeta(2))* Product_{p}(1 + 1/(p+1))*Sum_{i>=1}p^(-(2^i-1)), where u(n) is the characteristic function of set {2^k, k>=0}. - Vladimir Shevelev, Sep 24 2015

Incorrect comment removed by Charles R Greathouse IV, Dec 07 2012
Simpler name from Vladimir Shevelev, Sep 24 2015
Edited by N. J. A. Sloane, Nov 07 2015

A222266 Irregular triangle which lists the bi-unitary divisors of n in row n.

Original entry on oeis.org

1, 1, 2, 1, 3, 1, 4, 1, 5, 1, 2, 3, 6, 1, 7, 1, 2, 4, 8, 1, 9, 1, 2, 5, 10, 1, 11, 1, 3, 4, 12, 1, 13, 1, 2, 7, 14, 1, 3, 5, 15, 1, 2, 8, 16, 1, 17, 1, 2, 9, 18, 1, 19, 1, 4, 5, 20, 1, 3, 7, 21, 1, 2, 11, 22, 1, 23, 1, 2, 3, 4, 6, 8, 12, 24, 1, 25, 1, 2, 13, 26, 1, 3, 9, 27, 1, 4, 7, 28, 1, 29, 1, 2, 3, 5, 6, 10, 15, 30, 1, 31, 1, 2, 4, 8, 16, 32, 1, 3, 11, 33, 1, 2, 17, 34, 1, 5, 7, 35

Offset: 1

R. J. Mathar, May 05 2013

The bi-unitary divisors of n are the divisors of n such that the largest common unitary divisor of d and n/d is 1, indicated by A165430.
The first difference from the triangle A077609 is in row n=16.
The concept of bi-unitary divisors was introduced by Suryanarayana (1972). - Amiram Eldar, Mar 09 2024

			The table starts
  1;
  1, 2;
  1, 3;
  1, 4;
  1, 5;
  1, 2, 3, 6;
  1, 7;
  1, 2, 4, 8;
  1, 9;
  1, 2, 5, 10;
  1, 11;
  1, 3, 4, 12;
  1, 13;
  1, 2, 7, 14;
  1, 3, 5, 15;
  1, 2, 8, 16;
  1, 17;

Michael De Vlieger, Table of n, a(n) for n = 1..13171 (rows 1 <= n <= 2000).
D. Suryanarayana, The number of bi-unitary divisors of an integer, in: A. A. Gioia and D. L. Goldsmith (eds.), The Theory of Arithmetic Functions, Lecture Notes in Mathematics, Vol 251, Springer, Berlin, Heidelberg, 1972.

Cf. A077609, A165430, A188999 (row sums), A286324 (row lengths).

# Return set of unitary divisors of n.
A077610_row := proc(n)
    local u,d ;
    u := {} ;
    for d in numtheory[divisors](n) do
        if igcd(n/d,d) = 1 then
            u := u union {d} ;
        end if;
    end do:
    u ;
end proc:
# true if d is a bi-unitary divisor of n.
isbiudiv := proc(n,d)
    if n mod d = 0 then
        A077610_row(d) intersect A077610_row(n/d) ;
        if % = {1} then
            true;
        else
            false;
        end if;
    else
        false;
    end if;
end proc:
# Return set of bi-unitary divisors of n
biudivs := proc(n)
    local u,d ;
    u := {} ;
    for d in numtheory[divisors](n) do
        if isbiudiv(n,d) then
            u := u union {d} ;
        end if;
    end do:
    u ;
end proc:
for n from 1 to 35 do
    print(op(biudivs(n))) ;
end do:

f[n_] := Select[Divisors[n], Function[d, CoprimeQ[d, n/d]]]; Table[Function[d, Union@ Flatten@ Select[Transpose@ {d, n/d}, Last@ Intersection[f@ #1, f@ #2] == 1 & @@ # &]]@ Select[Divisors@ n, # <= Floor@ Sqrt@ n &], {n, 35}] (* Michael De Vlieger, May 07 2017 *)

isbdiv(f, d) = {for (i=1, #f~, if(f[i, 2]%2 == 0 && valuation(d, f[i, 1]) == f[i, 2]/2, return(0))); 1;}
row(n) = {my(d = divisors(n), f = factor(n), bdiv = []); for(i=1, #d, if(isbdiv(f, d[i]), bdiv = concat(bdiv, d[i]))); bdiv; } \\ Amiram Eldar, Mar 24 2023

A322791 Irregular triangle read by rows in which the n-th row lists the exponential divisors (or e-divisors) of n.

Original entry on oeis.org

1, 2, 3, 2, 4, 5, 6, 7, 2, 8, 3, 9, 10, 11, 6, 12, 13, 14, 15, 2, 4, 16, 17, 6, 18, 19, 10, 20, 21, 22, 23, 6, 24, 5, 25, 26, 3, 27, 14, 28, 29, 30, 31, 2, 32, 33, 34, 35, 6, 12, 18, 36, 37, 38, 39, 10, 40, 41, 42, 43, 22, 44, 15, 45, 46, 47, 6, 12, 48, 7, 49

Offset: 1

Amiram Eldar, Dec 26 2018

			The table starts
  1
  2
  3
  2, 4
  5
  6
  7
  2, 8
  3, 9
  10

Xiaodong Cao and Wenguang Zhai, Some arithmetic functions involving exponential divisors, Journal of Integer Sequences, Vol. 13, No. 2 (2010), Article 10.3.7.
E. G. Straus and M. V. Subbarao, On exponential divisors, Duke Mathematical Journal, Vol. 41, No. 2 (1974), pp. 465-471, alternative link.
Eric Weisstein's World of Mathematics, e-Divisor

Cf. A049419 (row lengths), A051377 (row sums).

Cf. A027750 (all divisors), A077609 (infinitary), A077610 (unitary), A222266 (bi-unitary).

A322791 := proc(n)
    local expundivs ,d,isue,p,ai,bi;
    expudvs := {} ;
    for d in numtheory[divisors](n) do
        isue := true ;
        for p in numtheory[factorset](n) do
            ai := padic[ordp](n,p) ;
            bi := padic[ordp](d,p) ;
            if bi > 0 then
                if modp(ai,bi) <>0 then
                    isue := false;
                end if;
            else
                isue := false ;
            end if;
        end do;
        if isue then
            expudvs := expudvs union {d} ;
        end if;
    end do:
    sort(expudvs) ;
end proc:
seq(op(A322791(n)),n=1..40) ; # R. J. Mathar, Mar 06 2023

divQ[n_, m_] := (n > 0 && m>0 && Divisible[n, m]); expDivQ[n_, d_] := Module[ {f=FactorInteger[n]}, And@@MapThread[divQ, {f[[;; , 2]], IntegerExponent[ d, f[[;; , 1]]]} ]]; expDivs[1]={1}; expDivs[n_] := Module[ {d=Rest[Divisors[n]]}, Select[ d, expDivQ[n, #]&] ]; Table[expDivs[n], {n, 1, 50}] // Flatten

isexpdiv(f, d) = { my(e); for (i=1, #f~, e = valuation(d, f[i, 1]); if(!e || (e && f[i, 2] % e), return(0))); 1; }
row(n) = {my(d = divisors(n), f = factor(n), ediv = []); if(n == 1, return([1])); for(i=2, #d, if(isexpdiv(f, d[i]), ediv = concat(ediv, d[i]))); ediv; } \\ Amiram Eldar, Mar 27 2023

A063947 Infinitary harmonic numbers: harmonic mean of infinitary divisors is an integer.

Original entry on oeis.org

1, 6, 45, 60, 90, 270, 420, 630, 2970, 5460, 8190, 9100, 15925, 27300, 36720, 40950, 46494, 54600, 81900, 95550, 136500, 163800, 172900, 204750, 232470, 245700, 257040, 409500, 464940, 491400, 646425, 716625, 790398, 791700, 819000, 900900

Offset: 1

Wouter Meeussen, Sep 03 2001

Amiram Eldar, Table of n, a(n) for n = 1..239 (terms below 10^10)
P. Hagis, Jr. and G. L. Cohen, Infinitary harmonic numbers, Bull. Australian math. Soc., 41 (1990), 151-158 (Math. Rev. 91d:11001) (asymptotics).
Eric Weisstein's World of Mathematics, Harmonic Mean
Wikipedia, Harmonic mean

Cf. A037445, A049417.

Cf. A077609.

import Data.Ratio (denominator)
import Data.List (genericLength)
a063947 n = a063947_list !! (n-1)
a063947_list = filter ((== 1) . denominator . hm . a077609_row) [1..]
   where hm xs = genericLength xs / sum (map (recip . fromIntegral) xs)
-- Reinhard Zumkeller, Jul 10 2013

bitty[ k_ ] := Union[ Flatten[ Outer[ Plus, Sequence @@ ({0, #} & /@ Union[ (2^Range[ 0, Floor[ Log[ 2, k ] ] ] ) Reverse[ IntegerDigits[ k, 2 ] ] ] ) ] ] ]; 1 + Flatten[ Position[ Table[ (Length[ # ] /(Plus @@ (1/#)) &)@ (Apply[ Times, (First[ it ] ^ (# /. z -> List)) ] & /@ Flatten[ Outer[ z, Sequence @@ (bitty /@ Last[ it = Transpose[ FactorInteger[ k ] ] ] ), 1 ] ]), {k, 2, 2^22 + 1} ], Integer ] ] (* _Robert G. Wilson v, Sep 04 2001 *)

More terms from David W. Wilson, Sep 04 2001

A348271 a(n) is the sum of noninfinitary divisors of n.

Original entry on oeis.org

0, 0, 0, 2, 0, 0, 0, 0, 3, 0, 0, 8, 0, 0, 0, 14, 0, 9, 0, 12, 0, 0, 0, 0, 5, 0, 0, 16, 0, 0, 0, 12, 0, 0, 0, 41, 0, 0, 0, 0, 0, 0, 0, 24, 18, 0, 0, 56, 7, 15, 0, 28, 0, 0, 0, 0, 0, 0, 0, 48, 0, 0, 24, 42, 0, 0, 0, 36, 0, 0, 0, 45, 0, 0, 20, 40, 0, 0, 0, 84, 39

Offset: 1

Amiram Eldar, Oct 09 2021

nonn

			a(12) = 8 since 12 has 2 noninfinitary divisors, 2 and 6, and 2 + 6 = 8.

Amiram Eldar, Table of n, a(n) for n = 1..10000
Eric Weisstein's World of Mathematics, Infinitary Divisor.

Cf. A000203, A036537, A049417, A077609, A162643, A327633.

Similar sequences: A034448, A048146, A051377, A188999.

f[p_, e_] := Module[{b = IntegerDigits[e, 2], m}, m = Length[b]; Product[If[b[[j]] > 0, 1 + p^(2^(m - j)), 1], {j, 1, m}]]; isigma[1] = 1; isigma[n_] := Times @@ f @@@ FactorInteger[n]; a[n_]:= DivisorSigma[1,n] - isigma[n]; Array[a, 100]

a(n) = A000203(n) - A049417(n).
a(n) = 0 if and only if the number of divisors of n is a power of 2, (i.e., n is in A036537).
a(n) > 0 if and only if the number of divisors of n is not a power of 2, (i.e., n is in A162643).

A318465 The number of Zeckendorf-infinitary divisors of n = Product_{i} p(i)^r(i): divisors d = Product_{i} p(i)^s(i), such that the Zeckendorf expansion (A014417) of each s(i) contains only terms that are in the Zeckendorf expansion of r(i).

Original entry on oeis.org

1, 2, 2, 2, 2, 4, 2, 2, 2, 4, 2, 4, 2, 4, 4, 4, 2, 4, 2, 4, 4, 4, 2, 4, 2, 4, 2, 4, 2, 8, 2, 2, 4, 4, 4, 4, 2, 4, 4, 4, 2, 8, 2, 4, 4, 4, 2, 8, 2, 4, 4, 4, 2, 4, 4, 4, 4, 4, 2, 8, 2, 4, 4, 4, 4, 8, 2, 4, 4, 8, 2, 4, 2, 4, 4, 4, 4, 8, 2, 8, 4, 4, 2, 8, 4, 4, 4, 4, 2, 8, 4, 4, 4, 4, 4, 4, 2, 4, 4, 4, 2, 8, 2, 4, 8

Offset: 1

Antti Karttunen, Aug 30 2018

Zeckendorf-infinitary divisors are analogous to infinitary divisors (A077609) with Zeckendorf expansion instead of binary expansion. - Amiram Eldar, Jan 09 2020

			a(16) = 4 since 16 = 2^4 and the Zeckendorf expansion of 4 is 101, i.e., its Zeckendorf representation is a set with 2 terms: {1, 3}. There are 4 possible exponents of 2: 0, 1, 3 and 4, corresponding to the subsets {}, {1}, {3} and {1, 3}. Thus 16 has 4 Zeckendorf-infinitary divisors: 2^0 = 1, 2^1 = 2, 2^3 = 8, and 2^4 = 16.

Antti Karttunen, Table of n, a(n) for n = 1..65537
Index entries for sequences computed from exponents in factorization of n

Cf. A007895, A318464, A318469.
Cf. A014417, A037445, A038148, A074848, A077609.
Cf. also A318472, A318474.

fb[n_] := Block[{k = Ceiling[Log[GoldenRatio, n*Sqrt[5]]], t = n, fr = {}}, While[k > 1, If[t >= Fibonacci[k], AppendTo[fr, 1]; t = t - Fibonacci[k], AppendTo[fr, 0]]; k--]; Fibonacci[1 + Position[Reverse@fr, ?(# == 1 &)]]]; f[p, e_] := 2^Length@fb[e]; a[1] = 1; a[n_] := Times @@ (Flatten@(f @@@ FactorInteger[n])); Array[a, 100] (* Amiram Eldar, Jan 09 2020 after Robert G. Wilson v at A014417 *)

A072649(n) = { my(m); if(n<1, 0, m=0; until(fibonacci(m)>n, m++); m-2); }; \\ From A072649
A007895(n) = { my(s=0); while(n>0, s++; n -= fibonacci(1+A072649(n))); (s); }
A318465(n) = factorback(apply(e -> 2^A007895(e),factor(n)[,2]));

Multiplicative with a(p^e) = 2^A007895(e), where A007895(n) gives the number of terms in the Zeckendorf representation of n.

a(n) = 2^A318464(n).

Name edited and interpretation in terms of divisors added by Amiram Eldar, Jan 09 2020

A348341 a(n) is the number of noninfinitary divisors of n.

Original entry on oeis.org

0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 3, 0, 2, 0, 2, 0, 0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 2, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 0, 6, 1, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 2, 3, 0, 0, 0, 2, 0, 0, 0, 4, 0, 0, 2, 2, 0, 0, 0, 6, 3, 0, 0, 4, 0, 0, 0

Offset: 1

Amiram Eldar, Oct 13 2021

nonn

			a(4) = 1 since 4 has one noninfinitary divisor, 2.

Amiram Eldar, Table of n, a(n) for n = 1..10000
Eric Weisstein's World of Mathematics, Infinitary Divisor.

Cf. A000005, A036537, A037445, A077609, A162643, A327576, A348271.

Similar sequences: A034444, A048105, A286324, A049419.

a[1] = 0; a[n_] := DivisorSigma[0, n] - Times @@ Flatten[2^DigitCount[#, 2, 1] & /@ FactorInteger[n][[;; , 2]]]; Array[a, 100]

A348341(n) = (numdiv(n)-factorback(apply(a -> 2^hammingweight(a), factorint(n)[, 2]))); \\ Antti Karttunen, Oct 13 2021

a(n) = A000005(n) - A037445(n).
a(n) = 0 if and only if the number of divisors of n is a power of 2, (i.e., n is in A036537).
a(n) > 0 if and only if the number of divisors of n is not a power of 2, (i.e., n is in A162643).
Sum_{k=1..n} a(k) ~ c * n * log(n), where c = (1 - 2 * A327576) = 0.266749... . - Amiram Eldar, Dec 09 2022

A359411 a(n) is the number of divisors of n that are both infinitary and exponential.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1

Offset: 1

Amiram Eldar, Dec 30 2022

First differs from A318672 and A325989 at n = 32.
If e > 0 is the exponent of the highest power of p dividing n (where p is a prime), then for each divisor d of n that is both an infinitary and an exponential divisor, the exponent of the highest power of p dividing d is a number k such that k | e and the bitwise AND of e and k is equal to k.
The least term that is higher than 2 is a(216) = 4.
The position of the first appearance of a prime p in this sequence is 2^A359081(p), if A359081(p) > -1. E.g., 2^39 = 549755813888 for p = 3, 2^175 = 4.789...*10^52 for p = 5, and 2^1275 = 6.504...*10^383 for p = 7.
This sequence is unbounded since A246600 is unbounded (see A359082).

			a(8) = 2 since 8 has 2 divisors that are both infinitary and exponential: 2 and 8.

Cf. A037445, A049419, A077609, A080948, A138302, A246600, A322791, A359081, A359082, A359412.

Cf. A318672, A325989.

s[n_] := DivisorSum[n, 1 &, BitAnd[n, #] == # &]; f[p_, e_] := s[e]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

s(n) = sumdiv(n, d, bitand(d, n)==d);
a(n) = {my(f = factor(n)); prod(i = 1, #f~, s(f[i,2]));}

from math import prod
from sympy import divisors, factorint
def A359411(n): return prod(sum(1 for d in divisors(e,generator=True) if e|d == e) for e in factorint(n).values()) # Chai Wah Wu, Sep 01 2023

Multiplicative with a(p^e) = A246600(e).
a(n) = 1 if and only if n is in A138302.
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = Product_{p prime} (1 + Sum_{k>=1} A246600(k)/p^k) = 1.135514937... .

cp's OEIS Frontend

A037445 Number of infinitary divisors (or i-divisors) of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Python

Scheme

Formula

Extensions

A049417 a(n) = isigma(n): sum of infinitary divisors of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

PARI

Python

Formula

Extensions

A138302 Exponentially 2^n-numbers: 1 together with positive integers k such that all exponents in prime factorization of k are powers of 2.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A222266 Irregular triangle which lists the bi-unitary divisors of n in row n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

A322791 Irregular triangle read by rows in which the n-th row lists the exponential divisors (or e-divisors) of n.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

A063947 Infinitary harmonic numbers: harmonic mean of infinitary divisors is an integer.

Views

Author

Keywords

Links

Crossrefs

Programs

Haskell