[go: up one dir, main page]

login
Search: a289142 -id:a289142
     Sort: relevance | references | number | modified | created      Format: long | short | data
Integer log of n: sum of primes dividing n (with repetition). Also called sopfr(n).
(Formerly M0461 N0168)
+10
679
0, 2, 3, 4, 5, 5, 7, 6, 6, 7, 11, 7, 13, 9, 8, 8, 17, 8, 19, 9, 10, 13, 23, 9, 10, 15, 9, 11, 29, 10, 31, 10, 14, 19, 12, 10, 37, 21, 16, 11, 41, 12, 43, 15, 11, 25, 47, 11, 14, 12, 20, 17, 53, 11, 16, 13, 22, 31, 59, 12, 61, 33, 13, 12, 18, 16, 67, 21, 26, 14, 71, 12, 73, 39, 13, 23, 18, 18
OFFSET
1,2
COMMENTS
MacMahon calls this the potency of n.
Downgrades the operators in a prime decomposition. E.g., 40 factors as 2^3 * 5 and sopfr(40) = 2 * 3 + 5 = 11.
Consider all ways of writing n as a product of zero, one, or more factors; sequence gives smallest sum of terms. - Amarnath Murthy, Jul 07 2001
a(n) <= n for all n, and a(n) = n iff n is 4 or a prime.
Look at the graph of this sequence. At the lower edge of the logarithmic scatterplot there is a set of fuzzy but unmistakable diagonal fringes, sloping toward the southeast. Their spacing gradually increases, and their slopes gradually decrease; they are more distinct toward the lower edge of the range. Is any explanation known? - Allan C. Wechsler, Oct 11 2015
For n >= 2, the glb and lub are: 3 * log(n) / log(3) <= a(n) <= n, where the lub occurs when n = 3^k, k >= 1. (Jakimczuk 2012) - Daniel Forgues, Oct 12 2015
Except for the initial term, row sums of A027746. - M. F. Hasler, Feb 08 2016
Atanassov proves that a(n) <= A065387(n) - n. - Charles R Greathouse IV, Dec 06 2016
From Robert G. Wilson v, Aug 15 2022: (Start)
Differs from A337310 beginning with n at 64, 192, 256, 320, 448, 512, ..., .
The number of terms which equal k is A000607(k).
The first occurrence of k>1 is A056240(k).
The last occurrence of k>1 is A000792(k).
The Amarnath Murthy comment of Jul 07 2001 is a result of the fundamental theorem of arithmetic.
(End)
REFERENCES
K. Atanassov, New integer functions, related to ψ and σ functions. IV., Bull. Number Theory Related Topics 12 (1988), pp. 31-35.
Amarnath Murthy, Generalization of Partition function and introducing Smarandache Factor Partition, Smarandache Notions Journal, Vol. 11, 1-2-3, Spring-2000.
Amarnath Murthy and Charles Ashbacher, Generalized Partitions and Some New Ideas on Number Theory and Smarandache Sequences, Hexis, Phoenix; USA 2005. See Section 1.4.
Joe Roberts, Lure of the Integers, Math. Assoc. America, 1992, p. 89.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
LINKS
Daniel Forgues, Table of n, a(n) for n = 1..100000 (first 10000 terms from Franklin T. Adams-Watters)
Krishnaswami Alladi and Paul Erdős, On an additive arithmetic function, Pacific Journal of Mathematics, Vol. 71, No. 2 (1977), pp. 275-294, alternative link.
Es-said En-naoui, Study of the generalized Von Mangoldt function defined by L-additive function, arXiv:2301.09677 [math.GM], 2023.
Hans Havermann, Log plot of 100000 terms
J. Iraids, K. Balodis, J. Cernenoks, M. Opmanis, R. Opmanis and K. Podnieks, Integer Complexity: Experimental and Analytical Results, arXiv preprint arXiv:1203.6462 [math.NT], 2012.
Rafael Jakimczuk, Sum of Prime Factors in the Prime Factorization of an Integer, International Mathematical Forum, Vol. 7, No. 53 (2012), pp. 2617-2621.
Mohan Lal, Iterates of a number-theoretic function, Math. Comp., Vol. 23, No. 105 (1969), pp. 181-183.
P. A. MacMahon, Properties of prime numbers deduced from the calculus of symmetric functions, Proc. London Math. Soc., 23 (1923), 290-316. = Coll. Papers, II, pp. 354-380.
Eric Weisstein's World of Mathematics, Sum of Prime Factors.
Steve Witham, Linear-log plot (The clear upper lines are n (the primes), n/2, n/3, n/4... but there is a dark band at sqrt(n).)
Steve Witham, Log-log plot (Differently interesting at the lower edge. Higher up, you can see sqrt(n), sqrt(n)/2, maybe sqrt(n)/3.)
FORMULA
If n = Product p_j^k_j then a(n) = Sum p_j * k_j.
Dirichlet g.f. f(s)*zeta(s), where f(s) = Sum_{p prime} p/(p^s-1) = Sum_{k>0} primezeta(k*s-1) is the Dirichlet g.f. for A120007. Totally additive with a(p^e) = p*e. - Franklin T. Adams-Watters, Jun 02 2006
For n > 1: a(n) = Sum_{k=1..A001222(n)} A027746(n,k). - Reinhard Zumkeller, Aug 27 2011
Sum_{n>=1} (-1)^a(n)/n^s = ((2^s + 1)/(2^s - 1))*zeta(2*s)/zeta(s), if Re(s)>1 and 0 if s=1 (Alladi and Erdős, 1977). - Amiram Eldar, Nov 02 2020
EXAMPLE
a(24) = 2+2+2+3 = 9.
a(30) = 10: 30 can be written as 30, 15*2, 10*3, 6*5, 5*3*2. The corresponding sums are 30, 17, 13, 11, 10. Among these 10 is the least.
MAPLE
A001414 := proc(n) add( op(1, i)*op(2, i), i=ifactors(n)[2]) ; end proc:
seq(A001414(n), n=1..100); # Peter Luschny, Jan 17 2011
MATHEMATICA
a[n_] := Plus @@ Times @@@ FactorInteger@ n; a[1] = 0; Array[a, 78] (* Ray Chandler, Nov 12 2005 *)
PROG
(PARI) a(n)=local(f); if(n<1, 0, f=factor(n); sum(k=1, matsize(f)[1], f[k, 1]*f[k, 2]))
(PARI) A001414(n) = (n=factor(n))[, 1]~*n[, 2] \\ M. F. Hasler, Feb 07 2009
(Haskell)
a001414 1 = 0
a001414 n = sum $ a027746_row n
-- Reinhard Zumkeller, Feb 27 2012, Nov 20 2011
(Sage) [sum(factor(n)[j][0]*factor(n)[j][1] for j in range(0, len(factor(n)))) for n in range(1, 79)] # Giuseppe Coppoletta, Jan 19 2015
(Python)
from sympy import factorint
def A001414(n):
return sum(p*e for p, e in factorint(n).items()) # Chai Wah Wu, Jan 08 2016
(Magma) [n eq 1 select 0 else (&+[j[1]*j[2]: j in Factorization(n)]): n in [1..100]]; // G. C. Greubel, Jan 10 2019
CROSSREFS
A000607(n) gives the number of values of k for which A001414(k) = n.
Cf. A036349 (indices of even terms), A356163 (their char. function), A335657 (indices of odd terms), A289142 (of multiples of 3), A373371 (their char. function).
For sum of squares of prime factors see A067666, for cubes see A224787.
Other completely additive sequences with primes p mapped to a function of p include: A001222 (with a(p)=1), A056239 (with a(p)=primepi(p)), A059975 (with a(p)=p-1), A064097 (with a(p)=1+a(p-1)), A113177 (with a(p)=Fib(p)), A276085 (with a(p)=p#/p), A341885 (with a(p)=p*(p+1)/2), A373149 (with a(p)=prevprime(p)), A373158 (with a(p)=p#).
For other completely additive sequences see the cross-references in A104244.
KEYWORD
nonn,easy,nice
STATUS
approved
Numbers whose sum of prime factors (taken with multiplicity) is even.
+10
20
1, 2, 4, 8, 9, 15, 16, 18, 21, 25, 30, 32, 33, 35, 36, 39, 42, 49, 50, 51, 55, 57, 60, 64, 65, 66, 69, 70, 72, 77, 78, 81, 84, 85, 87, 91, 93, 95, 98, 100, 102, 110, 111, 114, 115, 119, 120, 121, 123, 128, 129, 130, 132, 133, 135, 138, 140, 141, 143, 144, 145, 154, 155
OFFSET
1,2
COMMENTS
A multiplicative semigroup; if m and n are in the sequence then so is m*n. - David James Sycamore, Jul 17 2018
From Peter Munn, Jul 19 2020: (Start)
Also closed under the commutative binary operation A059897(.,.), forming a subgroup of the positive integers under A059897.
A number is listed if and only if it has an even number of odd prime factors, counting repetitions; equivalently, if and only if it is the product of a term of A046337 and a power of 2 (term of A000079).
(End)
LINKS
FORMULA
Sum_{n>=1} 1/a(n)^s = (zeta(s) + ((2^s + 1)/(2^s - 1))*zeta(2*s)/zeta(s))/2 for Re(s)>1. - Amiram Eldar, Nov 02 2020
EXAMPLE
141 = 3 * 47 is a term since the sum 3 + 47 = 50 is even.
MAPLE
filter:= proc(n) local t; add(t[1]*t[2], t=ifactors(n)[2])::even end proc:
select(filter, [$1..200]); # Robert Israel, Jul 15 2020
MATHEMATICA
Select[Range[160], EvenQ[Total[Times@@@FactorInteger[#]]]&] (* Harvey P. Dale, Sep 21 2011 *)
PROG
(PARI) isok(n) = my(f=factor(n)); (sum(k=1, #f~, f[k, 1]*f[k, 2]) % 2) == 0; \\ Michel Marcus, Jul 19 2018
CROSSREFS
Cf. A001414 (sopfr), A059897.
Complement of A335657.
Sequences with similar definitions: A036350, A046363, A289142.
Subsequences: A000079, A028982, A046337, A056913.
KEYWORD
nonn
AUTHOR
Patrick De Geest, Dec 15 1998
EXTENSIONS
First term (2) from Harvey P. Dale, Sep 21 2011
First term (1) from David James Sycamore, Jul 17 2018
STATUS
approved
Numbers whose arithmetic derivative is a multiple of 3, cf. A003415.
+10
19
0, 1, 8, 9, 14, 18, 20, 26, 27, 35, 36, 38, 44, 45, 50, 54, 62, 63, 64, 65, 68, 72, 74, 77, 81, 86, 90, 92, 95, 99, 108, 110, 112, 116, 117, 119, 122, 125, 126, 134, 135, 143, 144, 146, 153, 155, 158, 160, 161, 162, 164, 170, 171, 180, 185, 188, 189, 194, 196, 198, 203, 206, 207, 208, 209, 212, 215, 216, 218, 221, 225
OFFSET
1,3
COMMENTS
From Antti Karttunen, May 27 2024 and Jun 12 2024: (Start)
This is a multiplicative semigroup: if m and n are in the sequence then so is m*n, and is generated by A008591 and A369659.
Term is present if and only if it is either a multiple of 9, or it is not a multiple of 3 and the sum of its prime factors (with repetition, A001414) is a multiple of 3, which happens iff the multiplicities of prime factors of the form 3m+1 (A002476) and of the form 3m-1 (A003627) are equal modulo 3.
(End)
LINKS
PROG
(PARI)
A003415(n) = if(n<=1, 0, my(f=factor(n)); n*sum(i=1, #f~, f[i, 2]/f[i, 1]));
A359430(n) = !(A003415(n)%3);
isA327863 = A359430;
CROSSREFS
Cf. A001414, A002476, A003415, A003627, A235992, A289142, A327862, A327864, A327865, A359430 (characteristic function).
Positions of 0's in A373253.
Nonnegative integers are partitioned between this sequence, A373255, and A373257.
Disjoint union of A008591 and A369659.
Other subsequences: A327933, A369644, A370119, A373144, A373478, A373494, A373597.
Cf. also A369654, A370123.
KEYWORD
nonn
AUTHOR
Antti Karttunen, Sep 30 2019
STATUS
approved
a(n) = 1 if the sum of prime factors with repetition is a multiple of 3, otherwise 0.
+10
11
1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1
OFFSET
1
COMMENTS
a(n) = 1 if the multiplicities of prime factors of the forms 3m+1 (A002476) and 3m-1 (A003627) are equal modulo 3, otherwise 0. - Antti Karttunen, Jun 13 2024
FORMULA
a(n) = [A001414(n) == 0 (mod 3)], where [ ] is the Iverson bracket.
From Antti Karttunen, Jun 13 2024: (Start)
a(n) = [A373591(n) == A373592(n) (mod 3)].
a(n) = a(n/A038500(n)) = A359430(n/A038500(n)) = A369658(n/A038500(n)).
(End)
PROG
(PARI)
A001414(n) = ((n=factor(n))[, 1]~*n[, 2]); \\ From A001414.
A373371(n) = !(A001414(n)%3);
(PARI) A373371(n) = { my(f = factor(n), m1=0, m2=0); for(i = 1, #f~, if(1==(f[i, 1]%3), m1 += f[i, 2], if(2==(f[i, 1]%3), m2 += f[i, 2]))); 0==((m1-m2)%3); }; \\ Antti Karttunen, Jun 13 2024
CROSSREFS
Characteristic function of A289142.
Cf. also A359430, A369658, A373372.
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 02 2024
STATUS
approved
Sum of digits of prime factors of n, with multiplicity.
+10
10
0, 2, 3, 4, 5, 5, 7, 6, 6, 7, 2, 7, 4, 9, 8, 8, 8, 8, 10, 9, 10, 4, 5, 9, 10, 6, 9, 11, 11, 10, 4, 10, 5, 10, 12, 10, 10, 12, 7, 11, 5, 12, 7, 6, 11, 7, 11, 11, 14, 12, 11, 8, 8, 11, 7, 13, 13, 13, 14, 12, 7, 6, 13, 12, 9, 7, 13, 12, 8, 14, 8, 12, 10, 12, 13, 14, 9, 9, 16, 13
OFFSET
1,2
COMMENTS
This is to A095402 (Sum of digits of all distinct prime factors of n) as bigomega = A001222 is to omega = A001221. See also: A007953 Digital sum (i.e., sum of digits) of n.
LINKS
Antti Karttunen, Table of n, a(n) for n = 1..10000 (terms 1..5000 from G. C. Greubel)
FORMULA
a(n) = Sum_{i=1..k} (e_i)*A007953(p_i) where prime decomposition of n = (p_1)^(e_1) * (p_2)^(e_2) * ... * (p_k)^(e_k).
EXAMPLE
a(22) = 4 because 22 = 2 * 11 and the digital sum of 2 + the digital sum of 11 = 2 + 2 = 4.
a(121) = 4 because 121 = 11^2 = 11 * 11, summing the digits of the prime factors with multiplicity gives A007953(11) + A007953(11) = 2 + 2 = 4.
a(1000) = 21 because = 2^3 * 5^3 = 2 * 2 * 2 * 5 * 5 * 5 and 2 + 2 + 2 + 5 + 5 + 5 = 21, as opposed to A095402(1000) = 7.
MAPLE
A118503 := proc(n) local a; a := 0 ; for p in ifactors(n)[2] do a := a+ op(2, p)*A007953(op(1, p)) ; end do: a ; end proc: # R. J. Mathar, Sep 14 2011
MATHEMATICA
sdpf[n_]:=Total[Flatten[IntegerDigits/@Flatten[Table[#[[1]], {#[[2]]}]&/@FactorInteger[n]]]]; Join[{0}, Array[sdpf, 100, 2]] (* Harvey P. Dale, Sep 19 2013 *)
PROG
(PARI) A118503(n) = { my(f=factor(n)); sum(i=1, #f~, f[i, 2]*sumdigits(f[i, 1])); }; \\ Antti Karttunen, Jun 08 2024
CROSSREFS
Cf. A001221, A001222, A007953, A095402, A102217, A289142 (positions of multiples of 3's).
KEYWORD
base,easy,nonn
AUTHOR
Jonathan Vos Post, May 06 2006
EXTENSIONS
a(0) removed by Joerg Arndt at the suggestion of Antti Karttunen, Jun 08 2024
STATUS
approved
Numbers k such that A001414(k) and A003415(k) are both multiples of 3, where A001414 is the sum of prime factors with repetition, and A003415 is the arithmetic derivative.
+10
9
1, 8, 9, 14, 20, 26, 27, 35, 38, 44, 50, 62, 64, 65, 68, 72, 74, 77, 81, 86, 92, 95, 110, 112, 116, 119, 122, 125, 126, 134, 143, 146, 155, 158, 160, 161, 164, 170, 180, 185, 188, 194, 196, 203, 206, 208, 209, 212, 215, 216, 218, 221, 230, 234, 236, 242, 243, 254, 275, 278, 280, 284, 287, 290, 299, 302, 304, 305
OFFSET
1,2
COMMENTS
A multiplicative semigroup; if m and n are in the sequence then so is m*n.
LINKS
PROG
(PARI) isA373478 = A373477;
CROSSREFS
Cf. A001414, A003415, A373477 (characteristic function).
Positions of multiples of 3 in A373364.
Intersection of A289142 and A327863.
Disjoint union of A373475 and A373479.
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 07 2024
STATUS
approved
Non-multiples of 3 whose multiplicies of prime factors of types 3m-1 and 3m+1 are both multiples of 3.
+10
9
1, 8, 20, 44, 50, 64, 68, 92, 110, 116, 125, 160, 164, 170, 188, 212, 230, 236, 242, 275, 284, 290, 332, 343, 352, 356, 374, 400, 404, 410, 425, 428, 452, 470, 506, 512, 524, 530, 544, 548, 575, 578, 590, 596, 605, 637, 638, 668, 692, 710, 716, 725, 736, 764, 782, 788, 830, 880, 890, 902, 908, 928, 931, 932, 935
OFFSET
1,2
COMMENTS
A multiplicative semigroup: if m and n are in the sequence, then so is m*n. This is generated by semigroups A373589 and A373590.
LINKS
EXAMPLE
20 = 2*2*5 has 0 primes of type 3m+1 (A002476) and 3 primes of type 3m-1 (A003627) in its prime factorization, and as 0 and 3 are both multiples of 3, 20 is included as a term.
21952 = 2^6 * 7^3 is a term because there are 3 primes of type 3m+1 and 6 primes of type 3m-1, and as 6 and 3 are both multiples of 3, 21952 is included as a term.
PROG
(PARI) isA373597 = A373596;
CROSSREFS
Cf. A002476, A003627, A373596 (characteristic function).
Subsequences: A373589 and A373590.
Subsequence of A001651, and of A145784.
Subsequence of the sequences A369659, A369644, A327863, A289142, A373385, and some of their intersections: A373473, A373475, A373478, A373492, A373494.
Differs from A373492 for the first time at n=91, where a(91) = 1325, which skips the value A373492(91) = 1323 present in A373492.
Cf. also A046337 (roughly analogous sequence for k=2, instead of k=3).
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 10 2024
STATUS
approved
Non-multiples of 3 whose arithmetic derivative, or equally, the sum of prime factors (with multiplicity) is a multiple of 3.
+10
8
1, 8, 14, 20, 26, 35, 38, 44, 50, 62, 64, 65, 68, 74, 77, 86, 92, 95, 110, 112, 116, 119, 122, 125, 134, 143, 146, 155, 158, 160, 161, 164, 170, 185, 188, 194, 196, 203, 206, 208, 209, 212, 215, 218, 221, 230, 236, 242, 254, 275, 278, 280, 284, 287, 290, 299, 302, 304, 305, 314, 323, 326, 329, 332, 335, 341, 343
OFFSET
1,2
COMMENTS
This is a subsequence of A373475, containing all its terms that are not multiples of 3. (See comments in A373475 for a proof). The first difference from A373475 is at n=4186, where A373475(4186) = 19683 = 3^9, the value which is missing from this sequence. - Antti Karttunen, Jun 07 2024
From Antti Karttunen, Jun 11 2024: (Start)
A multiplicative semigroup: if m and n are in the sequence, then so is m*n.
Numbers that are not multiples of 3, and the multiplicities of prime factors of the forms 3m+1 (A002476) and 3m-1 (A003627) are equal modulo 3.
Like A373597, which is a subsequence, also this sequence can be viewed as a kind of k=3 variant of A046337.
A289142, numbers whose sum of prime factors (with multiplicity, A001414) is a multiple of 3, is generated (as a multiplicative semigroup) by the union of this sequence with {3}.
A327863, numbers whose arithmetic derivative is a multiple of 3, is generated by this sequence and A008591.
A373478, numbers that are in the intersection of A289142 and A327863, is generated by the union of this sequence with {9, 27}.
A373475, numbers that are in the intersection of A289142 and A369644 (positions of multiples of 3 in A083345), is generated by the union of this sequence with {19683}, where 19683 = 3^9.
(End)
The integers in the multiplicative subgroup of positive rationals generated by semiprimes of the form 3m+2 (A344872) and cubes of primes except 27. - Peter Munn, Jun 19 2024
EXAMPLE
280 = 2*2*2*5*7 is included as it is not a multiple of 3, and one of its prime factors (7) is of the form 3m+1 and four are of the form 3m-1, and because 4 == 1 (mod 3). Also, A001414(280) = 18, and A003415(280) = 516, both of which are multiples of 3. - Antti Karttunen, Jun 12 2024
PROG
(PARI) \\ See A369658.
CROSSREFS
Cf. A001414, A002476, A003415, A003627, A083345, A369658 (characteristic function).
Intersection of A001651 and A327863.
Intersection of A001651 and A373475.
Setwise difference A373475 \ A373476.
Subsequence of A369644, which is a subsequence of A327863, and also of the following sequences: A289142, A373475, A373478.
Includes A030078 \ {27}, A344872 and A373597 as subsequences.
Cf. also A046337, A360110, A369969 for cases k=2, 4, 5 of "Nonmultiples of k whose arithmetic derivative is a multiple of k".
Cf. also A374044.
KEYWORD
nonn
AUTHOR
Antti Karttunen, Feb 10 2024
EXTENSIONS
Name amended with an alternative definition by Antti Karttunen, Jun 11 2024
STATUS
approved
Numbers k for which A059975(k) is a multiple of 3, where A059975 is fully additive with a(p) = p-1.
+10
8
1, 6, 7, 8, 13, 15, 19, 20, 27, 31, 33, 36, 37, 42, 43, 44, 48, 49, 50, 51, 56, 61, 64, 67, 68, 69, 73, 78, 79, 87, 90, 91, 92, 97, 103, 104, 105, 109, 110, 114, 116, 120, 123, 125, 127, 133, 139, 140, 141, 151, 152, 157, 159, 160, 162, 163, 164, 169, 170, 177, 181, 186, 188, 189, 193, 195, 198, 199, 211, 212, 213
OFFSET
1,2
COMMENTS
A multiplicative semigroup: if m and n are in the sequence, then so is m*n.
LINKS
PROG
(PARI)
A059975(n) = {my(f = factor(n)); sum(i = 1, #f~, f[i, 2]*(f[i, 1] - 1)); };
isA373385(n) = !(A059975(n)%3);
CROSSREFS
Cf. A059975.
Subsequences that are formed by intersecting this sequence with other multiplicative semigroups: A373384, A373473, A373492, A373494.
Cf. also A289142.
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 06 2024
STATUS
approved
Numbers k such that A001414(k) and A083345(k) are both multiples of 3, where A001414 is fully additive with a(p) = p, and A083345 is the numerator of the fully additive function with a(p) = 1/p.
+10
8
1, 8, 14, 20, 26, 35, 38, 44, 50, 62, 64, 65, 68, 74, 77, 86, 92, 95, 110, 112, 116, 119, 122, 125, 134, 143, 146, 155, 158, 160, 161, 164, 170, 185, 188, 194, 196, 203, 206, 208, 209, 212, 215, 218, 221, 230, 236, 242, 254, 275, 278, 280, 284, 287, 290, 299, 302, 304, 305, 314, 323, 326, 329, 332, 335, 341, 343
OFFSET
1,2
COMMENTS
If k is a term, then 3^9 * k is also a term. See A373476.
A369659 is a subsequence of this sequence, giving the terms that are not multiples of 3. This follows because A083345(n) = n' / gcd(n',n) and from the following lemma: When k is not a multiple of 3, then either sopfr(k) [= A001414(k)] and k' [= A003415(k)] are both multiples of 3, or both are non-multiples of 3.
Proof of the lemma: As k is not a multiple of 3, all its prime factors p, q, r, s, t, u, v, w, ... (not necessarily all distinct) are either of the form 3m+1 or 3m-1. Let's first eliminate from k all triplets of primes that are of the same type modulo 3, either -1 or +1, (marked now as p, q, r) as they do not affect the divisibility by 3 of either the sopfr(k) or k'. In the case of the arithmetic derivative this is because we have k' = (pqr)' * (k/pqr) + (k/pqr)' * pqr, and as we know that the first summand is a multiple of 3 (because (pqr)' is), therefore the divisibility of the whole expression by 3 depends only on whether (k/pqr)' is a multiple of 3, as certainly pqr is not a multiple of 3.
What will remain after such elimination process has been completed as far as possible, must be either 1, or of the form p*q (p and q of different types), or p*q*r*s (with two primes of one type, and two primes of the other type), in which cases both sopfr(k) and k' are multiples of 3, or then alternatively, what remains must be of the form p*q (p and q of the same type), or p*q*r (with two primes of one type and the third of the other type), both cases which indicate that both sopfr(k) and k' are non-multiples of 3.
FORMULA
a(n) = A373476(n) / 3^9.
EXAMPLE
110 = 2*5*11 is a term of this sequence because 2+5+11 = 18 is a multiple of 3, and also 2*5 + 2*11 + 5*11 = 87 is a multiple of 3.
54 (= A369644(10)) is NOT a term of this sequence, because A001414(54) = 11 is not a multiple of 3, although A083345(54) = 3 is.
19683 = 3^9 is a term of this sequence, because both A001414(19683) = 9*3 = 27 and A083345(19683) = A003415(3^9)/gcd(3^9, A003415(3^9)) = 3, are multiples of 3.
PROG
(PARI) isA373475 = A373474;
CROSSREFS
Cf. A001414, A003415, A083345, A373474 (characteristic function).
Positions of multiples of 3 in A373363.
Intersection of A289142 and A369644.
Subsequence of A373478.
Disjoint union of A369659 and A373476.
Differs from A369659 for the first time at n=4186, where a(4186) = A373476(1) = 19683, a term not present in A369659, as it is the first multiple of 3 in this sequence.
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 06 2024
STATUS
approved

Search completed in 0.011 seconds