is an infinitary divisor of
(with
) if
, where
denotes a k-ary Divisor
(Guy 1994, p. 54). Infinitary divisors therefore generalize the concept of the
k-ary divisor.
Infinitary divisors can also be defined as follows. Compute the prime factorization for each divisor
of
,
Now make a table of the binary representations of
for each prime factor
. The infinitary divisors are then those factors
that have zeros in the binary representation of all
s where
itself does. This is illustrated in the following table for
the number
,
which has divisors 1, 2, 3, 4, 6, and 12 and prime factors 2 and 3.
1 | 2 | 0 | 000 | 3 | 0 | 000 |
2 | 2 | 1 | 001 | 3 | 0 | 000 |
3 | 2 | 0 | 000 | 3 | 1 | 001 |
4 | 2 | 2 | 010 | 3 | 0 | 000 |
6 | 2 | 1 | 001 | 3 | 1 | 001 |
12 | 2 | 2 | 010 | 3 | 1 | 001 |
As can be seen from the table, the divisors 1, 3, 4, and 12 have zeros in the binary expansions of
(the exponents of 2) in the positions that 12 itself does. Similarly, all divisors
have zeros in the leftmost two positions in the binary expansions of
(the exponents of 3), as does 12 itself. The intersection
of the divisors matching zero in the binary representations in each of the exponents
is therefore 1, 3, 4, 12, and these are the infinitary divisors of 12.
The following table lists the infinitary divisors for small integers (OEIS A077609).
1 | 1 |
2 | 1, 2 |
3 | 1, 3 |
4 | 1, 4 |
5 | 1, 5 |
6 | 1, 2, 3, 6 |
7 | 1, 7 |
8 | 1, 2, 4, 8 |
9 | 1, 9 |
10 | 1, 2, 5, 10 |
11 | 1, 11 |
12 | 1, 3, 4, 12 |
13 | 1, 13 |
14 | 1, 2, 7, 14 |
15 | 1, 3, 5, 15 |
The numbers of infinitary divisors of for
, 2, ... are 1, 2, 2, 2, 2, 4, 2, 4, 2, 4, ... (OEIS A037445).