OFFSET
1,5
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)^(A000009(k)+1)) = 0.34064159435571437619... . - 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(A000009(k), e). - Andrew Howroyd, Nov 10 2025
EXAMPLE
The prime indices of 15 are (2,3), and there are a(15) = 2 choices:
((2),(3))
((2),(2,1))
The prime indices of 121 are (5,5), and there are a(121) = 6 choices:
((5),(4,1))
((5),(3,2))
((4,1),(5))
((4,1),(3,2))
((3,2),(5))
((3,2),(4,1))
MATHEMATICA
prix[n_]:=If[n==1, {}, Flatten[Cases[FactorInteger[n], {p_, k_}:>Table[PrimePi[p], {k}]]]];
Table[Length[Select[Tuples[Select[IntegerPartitions[#], UnsameQ@@#&]&/@prix[n]], UnsameQ@@#&]], {n, 100}]
PROG
(PARI) \\ here b(n) = A000009(n).
b(n)=my(A=O(x*x^n)); polcoef(eta(x^2 + A)/eta(x + A), n)
a(n) = { my(f=factor(n)); prod(i=1, #f~, my([p, e]=f[i, ]); e!*binomial(b(primepi(p)), e)) } \\ Andrew Howroyd, Nov 10 2025
CROSSREFS
The disjoint case is A383706.
For initial intervals instead of strict partitions we have A387111.
For constant instead of strict partitions we have A387120.
A003963 multiplies together the prime indices of n.
A120383 lists numbers divisible by all of their prime indices.
A289509 lists numbers with relatively prime prime indices.
KEYWORD
nonn,easy,mult
AUTHOR
Gus Wiseman, Aug 20 2025
STATUS
approved
