OFFSET
1,3
COMMENTS
A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798.
The axiom of choice says that, given any sequence of nonempty sets, it is possible to choose a sequence containing an element from each. In the strict version, the elements of this sequence must be distinct, meaning none is chosen more than once.
The asymptotic density of the occurrences of 0's in this sequence is 1 - Product_{k>=1} (1 - 1/prime(k)^(A000041(k)+1)) = 0.27893946566270364212... . - Amiram Eldar, Nov 11 2025
LINKS
Andrew Howroyd, Table of n, a(n) for n = 1..10000
FORMULA
Multiplicative with a(prime(k)^e) = e! * binomial(A000041(k), e). - Andrew Howroyd, Nov 10 2025
EXAMPLE
The prime indices of 9 are (2,2), and there are a(9) = 2 choices:
((2),(1,1))
((1,1),(2))
The prime indices of 15 are (2,3), and there are a(15) = 5 choices:
((2),(3))
((2),(2,1))
((2),(1,1,1))
((1,1),(2,1))
((1,1),(1,1,1))
MATHEMATICA
prix[n_]:=If[n==1, {}, Flatten[Cases[FactorInteger[n], {p_, k_}:>Table[PrimePi[p], {k}]]]];
Table[Length[Select[Tuples[IntegerPartitions/@prix[n]], UnsameQ@@#&]], {n, 100}]
PROG
(PARI) a(n) = { my(f=factor(n)); prod(i=1, #f~, my([p, e]=f[i, ]); e!*binomial(numbpart(primepi(p)), e)) } \\ Andrew Howroyd, Nov 10 2025
CROSSREFS
Twice partitions of this type are counted by A296122.
The disjoint case is A383706.
For initial intervals instead of partitions we have A387111.
The case of strict partitions is A387115.
The case of constant partitions is A387120.
Taking each prime factor (instead of index) gives A387133.
A003963 multiplies together prime indices.
A120383 lists numbers divisible by all of their prime indices.
A289509 lists numbers with relatively prime prime indices.
KEYWORD
nonn,mult
AUTHOR
Gus Wiseman, Aug 18 2025
STATUS
approved
