A071773 -id:A071773 - cp's OEIS frontend

A359433 Dirichlet inverse of A071773.

1, -1, -1, -1, -1, 1, -1, 1, -2, 1, -1, 1, -1, 1, 1, 1, -1, 2, -1, 1, 1, 1, -1, -1, -4, 1, 2, 1, -1, -1, -1, -1, 1, 1, 1, 2, -1, 1, 1, -1, -1, -1, -1, 1, 2, 1, -1, -1, -6, 4, 1, 1, -1, -2, 1, -1, 1, 1, -1, -1, -1, 1, 2, -1, 1, -1, -1, 1, 1, -1, -1, -2, -1, 1, 4, 1, 1, -1, -1, -1, 4, 1, -1, -1, 1, 1, 1, -1, -1, -2, 1, 1, 1, 1, 1, 1, -1, 6, 2, 4, -1, -1, -1, -1, -1

Offset: 1

Antti Karttunen, Jan 02 2023

Multiplicative because A071773 is.

Antti Karttunen, Table of n, a(n) for n = 1..65537

Cf. A071773.
Cf. A038838 (positions of even terms), A122132 (of odd terms), A353627 (parity of terms).
Cf. also A359432.

f[p_, e_] := (-1)^e * (1-p)^Floor[e/2]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Jan 04 2023 *)

A071773(n) = { my(f=factor(n)); prod(i=1, #f~, f[i, 1]^(f[i, 2]>1)); };
memoA359433 = Map();
A359433(n) = if(1==n,1,my(v); if(mapisdefined(memoA359433,n,&v), v, v = -sumdiv(n,d,if(dA071773(n/d)*A359433(d),0)); mapput(memoA359433,n,v); (v)));

Multiplicative with a(p^e) = (-1)^e * (1-p)^floor(e/2). - Sebastian Karlsson, Jan 03 2023

A003557 n divided by largest squarefree divisor of n; if n = Product p(k)^e(k) then a(n) = Product p(k)^(e(k)-1), with a(1) = 1.

Original entry on oeis.org

1, 1, 1, 2, 1, 1, 1, 4, 3, 1, 1, 2, 1, 1, 1, 8, 1, 3, 1, 2, 1, 1, 1, 4, 5, 1, 9, 2, 1, 1, 1, 16, 1, 1, 1, 6, 1, 1, 1, 4, 1, 1, 1, 2, 3, 1, 1, 8, 7, 5, 1, 2, 1, 9, 1, 4, 1, 1, 1, 2, 1, 1, 3, 32, 1, 1, 1, 2, 1, 1, 1, 12, 1, 1, 5, 2, 1, 1, 1, 8, 27, 1, 1, 2, 1, 1, 1, 4, 1, 3, 1, 2, 1, 1, 1, 16, 1, 7

Offset: 1

Marc LeBrun

a(n) is the size of the Frattini subgroup of the cyclic group C_n - Ahmed Fares (ahmedfares(AT)my-deja.com), Jun 07 2001.
Also of the Frattini subgroup of the dihedral group with 2*n elements. - Sharon Sela (sharonsela(AT)hotmail.com), Jan 01 2002
Number of solutions to x^m==0 (mod n) provided that n < 2^(m+1), i.e. the sequence of sequences A000188, A000189, A000190, etc. converges to this sequence. - Henry Bottomley, Sep 18 2001
a(n) is the number of nilpotent elements in the ring Z/nZ. - Laszlo Toth, May 22 2009
The sequence of partial products of a(n) is A085056(n). - Peter Luschny, Jun 29 2009
The first occurrence of n in this sequence is at A064549(n). - Franklin T. Adams-Watters, Jul 25 2014
From Hal M. Switkay, Jul 03 2025: (Start)
For n > 1, a(n) is a proper divisor of n. Thus the sequence n, a(n), a(a(n)), ... eventually becomes 1. This yields a minimal factorization of n as a product of squarefree numbers (A005117), each factor dividing all larger factors, in a factorization that is conjugate to the minimal factorization of n as a product of prime powers (A000961), as follows.
Let f(n,0) = n, and let f(n,k) = a(f(n,k-1)) for k > 0. A051903(n) is the minimal value of k such that f(n,k) = 1. A051903(n) <= log(n)/log(2). Since n/a(n) = A007947(n) is always squarefree by definition, n is a product of squarefree factors in the form Product_{i=1..A051903(n)} [f(n,i-1)/f(n,i)].
The two factorizations correspond to conjugate partitions of bigomega(n) = A001222(n). (End)

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
Henry Bottomley, Some Smarandache-type multiplicative sequences.
Steven R. Finch, Idempotents and Nilpotents Modulo n, arXiv:math/0605019 [math.NT], 2006-2017.

Cf. A007947, A062378, A062379, A064549, A300717 (Möbius transform), A326306 (inv. Möbius transf.), A328572.
Sequences that are multiples of this sequence (the other factor of a pointwise product is given in parentheses): A000010 (A173557), A000027 (A007947), A001615 (A048250), A003415 (A342001), A007434 (A345052), A057521 (A071773).
Cf. A082695 (Dgf at s=2), A065487 (Dgf at s=3).
Cf. A000961, A001222, A005117, A051903.

a003557 n = product $ zipWith (^)
                      (a027748_row n) (map (subtract 1) $ a124010_row n)
-- Reinhard Zumkeller, Dec 20 2013

using Nemo
function A003557(n)
    n < 4 && return 1
    q = prod([p for (p, e) ∈ Nemo.factor(fmpz(n))])
    return n == q ? 1 : div(n, q)
end
[A003557(n) for n in 1:90] |> println  # Peter Luschny, Feb 07 2021

[(&+[(Floor(k^n/n)-Floor((k^n-1)/n)): k in [1..n]]): n in [1..100]]; // G. C. Greubel, Nov 02 2018

A003557 := n -> n/ilcm(op(numtheory[factorset](n))):
seq(A003557(n), n=1..98); # Peter Luschny, Mar 23 2011
seq(n / NumberTheory:-Radical(n), n = 1..98); # Peter Luschny, Jul 20 2021

Prepend[ Array[ #/Times@@(First[ Transpose[ FactorInteger[ # ] ] ])&, 100, 2 ], 1 ] (* Olivier Gérard, Apr 10 1997 *)

a(n)=n/factorback(factor(n)[,1]) \\ Charles R Greathouse IV, Nov 17 2014

for(n=1, 100, print1(direuler(p=2, n, (1 - p*X + X)/(1 - p*X))[n], ", ")) \\ Vaclav Kotesovec, Jun 20 2020

from sympy.ntheory.factor_ import core
from sympy import divisors
def a(n): return n / max(i for i in divisors(n) if core(i) == i)
print([a(n) for n in range(1, 101)]) # Indranil Ghosh, Apr 16 2017

from math import prod
from sympy import primefactors
def A003557(n): return n//prod(primefactors(n)) # Chai Wah Wu, Nov 04 2022

def A003557(n) : return n*mul(1/p for p in prime_divisors(n))
[A003557(n) for n in (1..98)] # Peter Luschny, Jun 10 2012

Multiplicative with a(p^e) = p^(e-1). - Vladeta Jovovic, Jul 23 2001
a(n) = n/rad(n) = n/A007947(n) = sqrt(J_2(n)/J_2(rad(n))), where J_2(n) is A007434. - Enrique Pérez Herrero, Aug 31 2010
a(n) = (J_k(n)/J_k(rad(n)))^(1/k), where J_k is the k-th Jordan Totient Function: (J_2 is A007434 and J_3 A059376). - Enrique Pérez Herrero, Sep 03 2010
Dirichlet convolution of A000027 and A097945. - R. J. Mathar, Dec 20 2011
a(n) = A000010(n)/|A023900(n)|. - Eric Desbiaux, Nov 15 2013
a(n) = Product_{k = 1..A001221(n)} (A027748(n,k)^(A124010(n,k)-1)). - Reinhard Zumkeller, Dec 20 2013
a(n) = Sum_{k=1..n}(floor(k^n/n)-floor((k^n-1)/n)). - Anthony Browne, May 11 2016
a(n) = e^[Sum_{k=2..n} (floor(n/k)-floor((n-1)/k))*(1-A010051(k))*Mangoldt(k)] where Mangoldt is the Mangoldt function. - Anthony Browne, Jun 16 2016
a(n) = Sum_{d|n} mu(d) * phi(d) * (n/d), where mu(d) is the Moebius function and phi(d) is the Euler totient function (rephrases formula of Dec 2011). - Daniel Suteu, Jun 19 2018
G.f.: Sum_{k>=1} mu(k)*phi(k)*x^k/(1 - x^k)^2. - Ilya Gutkovskiy, Nov 02 2018
Dirichlet g.f.: Product_{primes p} (1 + 1/(p^s - p)). - Vaclav Kotesovec, Jun 24 2020
From Richard L. Ollerton, May 07 2021: (Start)
a(n) = Sum_{k=1..n} mu(n/gcd(n,k))*gcd(n,k).
a(n) = Sum_{k=1..n} mu(gcd(n,k))*(n/gcd(n,k))*phi(gcd(n,k))/phi(n/gcd(n,k)). (End)
a(n) = A001615(n)/A048250(n) = A003415/A342001(n) = A057521(n)/A071773(n). - Antti Karttunen, Jun 08 2021

Secondary definition added to the name by Antti Karttunen, Jun 08 2021

A056170 Number of non-unitary prime divisors of n.

Original entry on oeis.org

0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 2, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 2, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 1, 1, 2, 0, 0, 0, 1, 0

Offset: 1

Labos Elemer, Jul 27 2000

A prime factor of n is unitary iff its exponent is 1 in the prime factorization of n. (Of course for any prime p, GCD(p, n/p) is either 1 or p. For a unitary prime factor it must be 1.)
Number of squared primes dividing n. - Reinhard Zumkeller, May 18 2002
a(A005117(n)) = 0; a(A013929(n)) > 0; a(A190641(n)) = 1. - Reinhard Zumkeller, Dec 29 2012
First differences of A013940. - Jason Kimberley, Feb 01 2017
Number of exponents larger than 1 in the prime factorization of n. - Antti Karttunen, Nov 28 2017

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
Index entries for sequences computed from exponents in factorization of n.

Cf. A000188, A001221, A003557, A013940, A034444, A046660, A048105, A056169, A085548, A124010, A162641, A212177, A275812, A295659, A295666.

Cf. A057427(a(n)) = 1 - A008966(n).

a056170 = length . filter (> 1) . a124010_row
-- Reinhard Zumkeller, Dec 29 2012

A056170:=func;
[A056170(n):n in[1..105]];
// Jason Kimberley, Jan 22 2017

A056170 := n -> nops(select(t -> (t[2]>1), ifactors(n)[2]));
seq(A056170(n),n=1..100); # Robert Israel, Jun 03 2014

a[n_] := Count[FactorInteger[n], {, k /; k > 1}]; Table[a[n], {n, 105}]  (* Jean-François Alcover, Mar 23 2011 *)
Table[Count[FactorInteger[n][[All,2]],?(#>1&)],{n,110}] (* _Harvey P. Dale, Jul 08 2019 *)

a(n)=my(f=factor(n)[,2]); sum(i=1,#f,f[i]>1) \\ Charles R Greathouse IV, May 18 2015

from sympy import factorint
def a(n):
    f = factorint(n)
    return sum([1 for i in f if f[i]!=1]) # Indranil Ghosh, Apr 24 2017

Additive with a(p^e) = 0 if e = 1, 1 otherwise.
G.f.: Sum_{k>=1} x^(prime(k)^2)/(1 - x^(prime(k)^2)). - Ilya Gutkovskiy, Jan 01 2017
a(n) = log_2(A000005(A071773(n))). - observed by Velin Yanev, Aug 20 2017, confirmed by Antti Karttunen, Nov 28 2017
From Antti Karttunen, Nov 28 2017: (Start)
a(n) = A001221(n) - A056169(n).
a(n) = omega(A000188(n)) = omega(A003557(n)) = omega(A057521(n)) = omega(A295666(n)), where omega = A001221.
For all n >= 1 it holds that:
a(A003557(n)) = A295659(n).
a(n) >= A162641(n).
(End)
Dirichlet g.f.: primezeta(2s)*zeta(s). - Benedict W. J. Irwin, Jul 11 2018
Asymptotic mean: lim_{n->oo} (1/n) * Sum_{k=1..n} a(k) = Sum_{p prime} 1/p^2 = 0.452247... (A085548). - Amiram Eldar, Nov 01 2020
a(n) = A275812(n) - A046660(n). - Amiram Eldar, Jan 09 2024

Minor edits by Franklin T. Adams-Watters, Mar 23 2011

A055231 Powerfree part of n: product of primes that divide n only once.

Original entry on oeis.org

1, 2, 3, 1, 5, 6, 7, 1, 1, 10, 11, 3, 13, 14, 15, 1, 17, 2, 19, 5, 21, 22, 23, 3, 1, 26, 1, 7, 29, 30, 31, 1, 33, 34, 35, 1, 37, 38, 39, 5, 41, 42, 43, 11, 5, 46, 47, 3, 1, 2, 51, 13, 53, 2, 55, 7, 57, 58, 59, 15, 61, 62, 7, 1, 65, 66, 67, 17, 69, 70, 71, 1, 73, 74, 3, 19, 77, 78, 79, 5

Offset: 1

Labos Elemer, Jun 21 2000

The previous name was: Write n = K^2*F where F is squarefree and F = g*f where g = gcd(K,F) and f = F/g; then a(n) = f(n) = F(n)/g(n). Thus gcd(K^2,f) = 1.
Differs from A007913; they coincide if and only if g(n) = 1.
a(n) is the powerfree part of n; i.e., if n=Product(pi^ei) over all i (prime factorization) then a(n)=Product(pi^ei) over those i with ei=1; if n=b*c^2*d^3 then a(n) is minimum possible value of b. - Henry Bottomley, Sep 01 2000
Also denominator of n/rad(n)^2, where rad is the squarefree kernel of n (A007947), numerator: A062378. - Reinhard Zumkeller, Dec 10 2002
Largest unitary squarefree number dividing n (the unitary squarefree kernel of n). - Steven Finch, Mar 01 2004
From Bernard Schott, Dec 19 2022: (Start)
a(n) = 1 iff n is a squareful number (A001694).
1 < a(n) < n iff n is a nonsquarefree number that is not squareful (A332785).
a(n) = n iff n is a squarefree number (A005117). (End)

Antti Karttunen, Table of n, a(n) for n = 1..20000 (first 1000 terms from T. D. Noe)
Steven R. Finch, Unitarism and Infinitarism, February 25, 2004. [Cached copy, with permission of the author]
Vaclav Kotesovec, Plot of Sum_{k=1..n} a(k) / n^2 for n = 1..1000000

Positions of 1's: A001694.
Cf. A008833, A007913, A007947, A000188, A057521, A055773 (computed for n!), A056169 (number of prime divisors), A056671 (number of divisors), A092261 (sum of divisors of the n-th term), A197863, A332785.
Cf. A005117 (subsequence).

A055231 := proc(n)
    a := 1 ;
    if n > 1 then
        for f in ifactors(n)[2] do
            if op(2, f) = 1 then
                a := a*op(1, f) ;
            end if;
        end do:
    end if;
    a ;
end proc: # R. J. Mathar, Dec 23 2011

rad[n_] := Times @@ First /@ FactorInteger[n]; a[n_] := Denominator[n/rad[n]^2]; Table[a[n], {n, 1, 80}] (* Jean-François Alcover, Jun 20 2013, after Reinhard Zumkeller *)
f[p_, e_] := If[e==1, p, 1]; a[n_] := Times @@ (f @@@ FactorInteger[n]); Array[a, 100] (* Amiram Eldar, Sep 07 2020 *)

A055231(n)={
   local(a=1);
   f=factor(n) ;
   for(i=1,matsize(f)[1],
         if( f[i,2] ==1, a *=  f[i,1]
         )
   ) ;
   a ;
} /* R. J. Mathar, Mar 12 2012 */

a(n) = {my(f=factor(n)); for (k=1, #f~, if (f[k,2] > 1, f[k,2] = 0);); factorback(f);} \\ Michel Marcus, Aug 27 2017

from math import prod
from sympy import factorint
def A055231(n): return prod(p for p, e in factorint(n).items() if e == 1) # Chai Wah Wu, Nov 14 2022

;; With memoization-macro definec.
(definec (A055231 n) (if (= 1 n) 1 (* (if (= 1 (A067029 n)) (A020639 n) 1) (A055231 (A028234 n))))) ;; Antti Karttunen, Nov 28 2017

a(n) = A007913(n)/gcd(A008833(n), A007913(n)).
a(n) = n/A057521(n).
Multiplicative with a(p) = p and a(p^e) = 1 for e > 1. - Vladeta Jovovic, Nov 01 2001
Dirichlet g.f.: zeta(s)*Product_{primes p} (1 + p^(1-s) - p^(-s) - p^(1-2s) + p^(-2s)). - R. J. Mathar, Dec 21 2011
a(n) = A007947(n)/A071773(n). - observed by Velin Yanev, Aug 27 2017, confirmed by Antti Karttunen, Nov 28 2017
a(1) = 1; for n > 1, a(n) = A020639(n)^A063524(A067029(n)) * a(A028234(n)). - Antti Karttunen, Nov 28 2017
a(n*m) = a(n)*a(m)/(gcd(n,a(m))*gcd(m,a(n))) for all n and m > 0 (conjectured). - Velin Yanev, Feb 06 2019. [This follows easily from the comment of Vladeta Jovovic. - N. J. A. Sloane, Mar 14 2019]
From Vaclav Kotesovec, Dec 19 2019: (Start)
Dirichlet g.f.: zeta(s-1) * zeta(s) * Product_{primes p} (1 - p^(1-3*s) + p^(2-3*s) - p^(2-2*s) + p^(-2*s) - p^(-s)).
Sum_{k=1..n} a(k) ~ c * Pi^2 * n^2 / 12, where c = Product_{primes p} (1 - 2/p^2 + 2/p^4 - 1/p^5) = 0.394913518073109872954607634745304266741971541072... (End)
a(n) = A197863(n)/n. - Amiram Eldar, Sep 01 2023

Name replaced with a simpler description (based on Henry Bottomley's comment) by Antti Karttunen, Nov 28 2017

Incorrect comments and example deleted by Peter Munn, Nov 30 2022

A007948 Largest cubefree number dividing n.

Original entry on oeis.org

1, 2, 3, 4, 5, 6, 7, 4, 9, 10, 11, 12, 13, 14, 15, 4, 17, 18, 19, 20, 21, 22, 23, 12, 25, 26, 9, 28, 29, 30, 31, 4, 33, 34, 35, 36, 37, 38, 39, 20, 41, 42, 43, 44, 45, 46, 47, 12, 49, 50, 51, 52, 53, 18, 55, 28, 57, 58, 59, 60, 61, 62, 63, 4, 65, 66, 67, 68, 69, 70, 71, 36, 73

Offset: 1

R. Muller

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
Henry Bottomley, Some Smarandache-type multiplicative functions.
Florentin Smarandache, Only Problems, Not Solutions!, 1993.

Cf. A003557, A004709, A007947, A027748, A058035, A062378, A065465, A124010, A197863.

a007948 = last . filter ((== 1) . a212793) . a027750_row
-- Reinhard Zumkeller, May 27 2012, Jan 06 2012

Table[Apply[Times, FactorInteger[n] /. {p_, e_} /; p > 0 :> p^Min[e, 2]], {n, 73}] (* Michael De Vlieger, Jul 18 2017 *)

a(n) = my(f=factor(n)); for (i=1, #f~, f[i,2] = min(f[i, 2], 2)); factorback(f); \\ Michel Marcus, Jun 09 2014
(Scheme, with memoization-macro definec) (definec (A007948 n) (if (= 1 n) n (* (expt (A020639 n) (min 2 (A067029 n))) (A007948 (A028234 n))))) ;; Antti Karttunen, Nov 28 2017

Multiplicative with a(p^e) = p^(min(e, 2)). - David W. Wilson, Aug 01 2001
a(n) = max{A212793(A027750(n,k)) * A027750(n,k): k=1..A000005(n)}. - Reinhard Zumkeller, May 27 2012
a(n) = A071773(n)*A007947(n). - observed by Velin Yanev, Aug 20 2017, confirmed by Antti Karttunen, Nov 28 2017
a(n) = n / A062378(n) = n / A003557(A003557(n)). - Antti Karttunen, Nov 28 2017
Sum_{k=1..n} a(k) ~ (1/2) * c * n^2, where c = Product_{p prime} (1 - 1/(p^2*(p+1))) = 0.881513... (A065465). - Amiram Eldar, Oct 13 2022

More terms from Henry Bottomley, Jun 18 2001

A249739 The smallest prime whose square divides n, 1 if n is squarefree.

Original entry on oeis.org

1, 1, 1, 2, 1, 1, 1, 2, 3, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 2, 1, 1, 1, 2, 5, 1, 3, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 3, 1, 1, 2, 7, 5, 1, 2, 1, 3, 1, 2, 1, 1, 1, 2, 1, 1, 3, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 5, 2, 1, 1, 1, 2, 3, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 2, 1, 1, 1, 2, 1, 7, 3, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 3, 1, 1, 2

Offset: 1

Antti Karttunen, Nov 04 2014

nonn

A249740 gives the corresponding largest prime.

If n belongs to A013929, then a(n)>1. - Robert G. Wilson v, Nov 16 2016

Antti Karttunen, Table of n, a(n) for n = 1..10000

Cf. A003557, A005117, A013929, A020639, A046027, A249717.

Differs from A071773 and A249740 for the first time at n=36, where a(36) = 2, while A249740(36) = 3 and A071773(36) = 6.

Table[If[SquareFreeQ@ n, 1, p = 2; While[! Divisible[n, p^2], p = NextPrime@ p]; p], {n, 120}] (* Michael De Vlieger, Nov 15 2016 *)

a(n) = {f = factor(n/core(n)); vsq = select(x->((x%2) == 0), f[,2], 1); if (#vsq, f[vsq[1], 1], 1);} \\ Michel Marcus, Mar 11 2017

(define (A249739 n) (let loop ((n n) (p (A020639 n))) (cond ((= 1 n) n) ((zero? (modulo n (* p p))) p) (else (loop (/ n p) (A020639 (/ n p)))))))

a(n) = A020639(A003557(n)). - Amiram Eldar, Feb 11 2021

A249740 The largest prime whose square divides n, 1 if n is squarefree.

Original entry on oeis.org

1, 1, 1, 2, 1, 1, 1, 2, 3, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 2, 1, 1, 1, 2, 5, 1, 3, 2, 1, 1, 1, 2, 1, 1, 1, 3, 1, 1, 1, 2, 1, 1, 1, 2, 3, 1, 1, 2, 7, 5, 1, 2, 1, 3, 1, 2, 1, 1, 1, 2, 1, 1, 3, 2, 1, 1, 1, 2, 1, 1, 1, 3, 1, 1, 5, 2, 1, 1, 1, 2, 3, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 2, 1, 1, 1, 2, 1, 7, 3, 5, 1, 1, 1, 2, 1, 1, 1, 3, 1, 1, 1, 2, 1, 1, 1, 2, 3, 1, 1, 2

Offset: 1

Antti Karttunen, Nov 04 2014

nonn

A249739 gives the corresponding smallest prime.

Antti Karttunen, Table of n, a(n) for n = 1..10000

Cf. A003557, A005117, A013929, A006530, A052126, A070003, A241917, A249718.

Differs from A071773 and A249739 for the first time at n=36, where a(36) = 3, while A249739(36) = 2 and A071773(36) = 6.

a[n_] := If[(f = Select[FactorInteger[n], Last[#] > 1 &]) == {}, 1, f[[-1, 1]]]; Array[a, 100] (* Amiram Eldar, Feb 11 2021 *)
Table[If[SquareFreeQ[n],1,Select[FactorInteger[n],#[[2]]>1&][[-1,1]]],{n,120}] (* Harvey P. Dale, Feb 28 2021 *)

(define (A249740 n) (let loop ((n n) (p (A006530 n))) (cond ((= 1 n) n) ((zero? (modulo n (* p p))) p) (else (loop (/ n p) (A006530 (/ n p)))))))
;; Alternative version which is based on the given recurrence, and utilizes the memoizing definec-macro from Antti Karttunen's IntSeq-library:
(definec (A249740 n) (cond ((= n 1) n) ((zero? (A241917 n)) (A006530 n)) (else (A249740 (A052126 n)))))

a(1) = 1, and for n > 1, if A241917(n) = 0 [i.e., n is a term of A070003], a(n) = A006530(n), otherwise a(n) = a(A052126(n)).

a(n) = A006530(A003557(n)). - Amiram Eldar, Feb 11 2021

A333842 G.f.: Sum_{k>=1} k * x^(prime(k)^2) / (1 - x^(prime(k)^2)).

Original entry on oeis.org

0, 0, 0, 1, 0, 0, 0, 1, 2, 0, 0, 1, 0, 0, 0, 1, 0, 2, 0, 1, 0, 0, 0, 1, 3, 0, 2, 1, 0, 0, 0, 1, 0, 0, 0, 3, 0, 0, 0, 1, 0, 0, 0, 1, 2, 0, 0, 1, 4, 3, 0, 1, 0, 2, 0, 1, 0, 0, 0, 1, 0, 0, 2, 1, 0, 0, 0, 1, 0, 0, 0, 3, 0, 0, 3, 1, 0, 0, 0, 1, 2, 0, 0, 1, 0, 0, 0, 1, 0, 2, 0, 1, 0, 0, 0, 1, 0, 4, 2, 4, 0, 0, 0, 1

Offset: 1

Ilya Gutkovskiy, Apr 07 2020

nonn

Sum of indices of non-unitary prime factors of n (prime factors for which the exponent exceeds 1).

			a(450) = a(2 * 3^2 * 5^2) = a(prime(1) * prime(2)^2 * prime(3)^2) = 2 + 3 = 5.

Antti Karttunen, Table of n, a(n) for n = 1..65537
Index entries for sequences computed from indices in prime factorization.

Cf. A000720, A003557, A005117 (positions of 0's), A056170, A056239, A063958, A066328, A071773.

nmax = 104; CoefficientList[Series[Sum[k x^(Prime[k]^2)/(1 - x^(Prime[k]^2)), {k, 1, nmax}], {x,0, nmax}], x] // Rest
f[p_, e_] := If[e == 1, 0, PrimePi[p]]; a[1] = 0; a[n_] := Plus @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Jul 24 2024 *)

A333842(n) = { my(f=factor(n)); sum(k=1, #f~, if(1==f[k, 2],0,1)*primepi(f[k, 1])); }; \\ Antti Karttunen, Jun 12 2020

a(n) = A056239(A071773(n)) = A066328(A003557(n)). - Peter Munn and Antti Karttunen, Jun 13 2020

Additive with a(p^e) = primepi(p) = A000720(p) if e >= 2, and 0 otherwise. - Amiram Eldar, Jul 24 2024

cp's OEIS Frontend

A359433 Dirichlet inverse of A071773.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A003557 n divided by largest squarefree divisor of n; if n = Product p(k)^e(k) then a(n) = Product p(k)^(e(k)-1), with a(1) = 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Julia

Magma

Maple

Mathematica

PARI

PARI

Python

Python

Sage

Formula

Extensions

A056170 Number of non-unitary prime divisors of n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

Python

Formula

Extensions

A055231 Powerfree part of n: product of primes that divide n only once.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

PARI

Python

Scheme

Formula

Extensions

A007948 Largest cubefree number dividing n.

Views

Author

Keywords

Links

Crossrefs

Programs

Haskell

Mathematica

PARI

Formula

Extensions

A249739 The smallest prime whose square divides n, 1 if n is squarefree.

Views

Author

Keywords