login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A353693
a(n) is the least multiplier k such that the exponents in the prime factorization of k*n are mutually distinct (A130091).
3
1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 3, 1, 1, 1, 1, 1, 3, 2, 1, 1, 1, 2, 1, 1, 1, 12, 1, 1, 3, 2, 5, 2, 1, 2, 3, 1, 1, 12, 1, 1, 1, 2, 1, 1, 1, 1, 3, 1, 1, 1, 5, 1, 3, 2, 1, 6, 1, 2, 1, 1, 5, 12, 1, 1, 3, 20, 1, 1, 1, 2, 1, 1, 7, 12, 1, 1, 1, 2, 1, 6, 5, 2
OFFSET
1,6
COMMENTS
First differs from A327499 at n = 30.
If n = Product_{i=1..k} p_i is squarefree (A005117), and p_1 < p_2 < ... < p_k are its k ordered prime divisors, then a(n) = Product_{i} p_i^(k-i).
If n is powerful (A001694) then a(n) = a(n/rad(n)), where rad(n) is the squarefree kernel of n (A007947). In general, if k = A051904(n) is the minimal exponent in the prime factorization of n, then a(n) = a(n/(rad(n)^(k-1))).
LINKS
FORMULA
a(n) = 1 if and only if n is in A130091.
a(A130092(n)) > 1.
rad(a(n)) | rad(n).
a(n) = A353694(n)/n.
EXAMPLE
a(2) = 1 since 2 = 2^1 has only one exponent (1) in its prime factorization.
a(6) = 2 since 6 = 2*3 has two equal exponents (1) in its prime factorization, and 2*6 = 12 = 2^2*3 has two distinct exponents (1 and 2).
MATHEMATICA
a[n_] := Module[{k = 1}, While[!UnsameQ @@ FactorInteger[k*n][[;; , 2]], k++]; k]; Array[a, 100]
PROG
(PARI) a(n) = my(k=1, f=factor(n)[, 2]); while(#Set(f) != #f, k++; f=factor(k*n)[, 2]); k; \\ Michel Marcus, May 05 2022
KEYWORD
nonn
AUTHOR
Amiram Eldar, May 04 2022
STATUS
approved