login
A327934
Numbers k such that there is no prime p such that p^p divides k, but for its arithmetic derivative a positive finite number of such primes exist.
11
15, 35, 39, 51, 55, 87, 91, 95, 111, 115, 119, 123, 143, 155, 158, 159, 183, 187, 203, 215, 219, 225, 235, 247, 259, 267, 275, 287, 291, 295, 299, 303, 319, 323, 327, 329, 335, 339, 355, 371, 374, 391, 395, 403, 407, 410, 411, 415, 427, 441, 447, 451, 471, 473, 482, 511, 515, 519, 525, 527, 533, 535, 543, 551, 559, 579
OFFSET
1,1
COMMENTS
a(15) = 158, being even, is the first term not in A080774 or A202237, while 275 (= 5^2 * 11) is the first odd term not in the latter.
After 1, 3375 (= 3^3 * 5^3) is the first term in A202237 that is not present in this sequence, even though the overwhelming majority of the terms of A202237 are also included here. On the other hand, A080774 is a genuine subsequence of this sequence, as the sum of prime factors of such semiprimes is always a multiple of 4.
In contrast to A360110, this is not a multiplicative semigroup; For example, although 15 = 3*5 and 275 = 5^2 * 11 are both present, their product 15*275 = 4125 = 3 * 5^3 * 11 is not. - Antti Karttunen, Jan 31 2023
LINKS
EXAMPLE
From Antti Karttunen, Feb 01 2023: (Start)
1 has arithmetic derivative 1' = A003415(1) = 0. There are an infinite number of primes p such that p^p | 0, but because infinity is not a finite number, 1 is excluded from this sequence.
275 = 5^2 * 11 has no divisor of the form p^p, but its arithmetic derivative 275' = 135 = 3^3 * 5 has one divisor of the form p^p, therefore 275 is included in this sequence.
4125 = 3 * 5^3 * 11 has arithmetic derivative 4125' = A003415(4125) = 4225 = 5^2 * 13^2, that has no divisor of the form p^p, therefore 4125 is not included in this sequence.
(End)
PROG
(PARI)
A003415(n) = {my(fac); if(n<1, 0, fac=factor(n); sum(i=1, matsize(fac)[1], n*fac[i, 2]/fac[i, 1]))}; \\ From A003415
A129251(n) = { my(f = factor(n)); sum(k=1, #f~, (f[k, 2]>=f[k, 1])); };
A327928(n) = if(n<=1, 0, A129251(A003415(n)));
isA327934(n) = ((0==A129251(n))&&(A327928(n)>0));
(PARI) isA327934(n) = A360111(n); \\ Antti Karttunen, Feb 01 2023
CROSSREFS
Intersection of A048103 and A327929.
Cf. A003415, A099309, A129251, A202237, A256750, A327932, A359550, A360110, A360111 (characteristic function).
Cf. A080774 (subsequence).
Sequence in context: A345331 A360110 A359163 * A202237 A080774 A146319
KEYWORD
nonn
AUTHOR
Antti Karttunen, Oct 01 2019
EXTENSIONS
Definition clarified to exclude the term 1 by Antti Karttunen, Feb 01 2023
STATUS
approved