A053165 -id:A053165 - cp's OEIS frontend

A007913 Squarefree part of n: a(n) is the smallest positive number m such that n/m is a square.

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

Offset: 1

R. Muller, Mar 15 1996

Also called core(n). [Not to be confused with the squarefree kernel of n, A007947.]
Sequence read mod 4 gives A065882. - Philippe Deléham, Mar 28 2004
This is an arithmetic function and is undefined if n <= 0.
A note on square roots of numbers: we can write sqrt(n) = b*sqrt(c) where c is squarefree. Then b = A000188(n) is the "inner square root" of n, c = A007913(n), lcm(A007947(b),c) = A007947(n) = "squarefree kernel" of n and bc = A019554(n) = "outer square root" of n. [Corrected by M. F. Hasler, Mar 01 2018]
If n > 1, the quantity f(n) = log(n/core(n))/log(n) satisfies 0 <= f(n) <= 1; f(n) = 0 when n is squarefree and f(n) = 1 when n is a perfect square. One can define n as being "epsilon-almost squarefree" if f(n) < epsilon. - Kurt Foster (drsardonicus(AT)earthlink.net), Jun 28 2008
a(n) is the smallest natural number m such that product of geometric mean of the divisors of n and geometric mean of the divisors of m are integers. Geometric mean of the divisors of number n is real number b(n) = Sqrt(n). a(n) = 1 for infinitely many n. a(n) = 1 for numbers from A000290: a(A000290(n)) = 1. For n = 8; b(8) = sqrt(8), a(n) = 2 because b(2) = sqrt(2); sqrt(8) * sqrt(2) = 4 (integer). - Jaroslav Krizek, Apr 26 2010
Dirichlet convolution of A010052 with the sequence of absolute values of A055615. - R. J. Mathar, Feb 11 2011
Booker, Hiary, & Keating outline a method for bounding (on the GRH) a(n) for large n using L-functions. - Charles R Greathouse IV, Feb 01 2013
According to the formula a(n) = n/A000188(n)^2, the scatterplot exhibits the straight lines y=x, y=x/4, y=x/9, ..., i.e., y=x/k^2 for all k=1,2,3,... - M. F. Hasler, May 08 2014
The Dirichlet inverse of this sequence is A008836(n) * A063659(n). - Álvar Ibeas, Mar 19 2015
a(n) = 1 if n is a square, a(n) = n if n is a product of distinct primes. - Zak Seidov, Jan 30 2016
All solutions of the Diophantine equation n*x=y^2 or, equivalently, G(n,x)=y, with G being the geometric mean, are of the form x=k^2*a(n), y=k*sqrt(n*a(n)), where k is a positive integer. - Stanislav Sykora, Feb 03 2016
If f is a multiplicative function then Sum_{d divides n} f(a(d)) is also multiplicative. For example, A010052(n) = Sum_{d divides n} mu(a(d)) and A046951(n) = Sum_{d divides n} mu(a(d)^2). - Peter Bala, Jan 24 2024

Daniel Forgues, Table of n, a(n) for n = 1..100000 (first 1000 terms from T. D. Noe)
Krassimir T. Atanassov, On Some of Smarandache's Problems.
Krassimir T. Atanassov, On the 22nd, 23rd, and the 24th Smarandache Problems, Notes on Number Theory and Discrete Mathematics, Sophia, Bulgaria, Vol. 5 (1999), No. 2, 80-82.
Andrew Booker, Ghaith Hiary, and Jon Keating, Detecting squarefree numbers, CNTA XII (2012).
Henry Bottomley, Some Smarandache-type multiplicative sequences.
John M. Campbell, An Integral Representation of Kekulé Numbers, and Double Integrals Related to Smarandache Sequences, arXiv preprint arXiv:1105.3399 [math.GM], 2011.
Vlad Copil and Laurenţiu Panaitopol, Properties of a sequence generated by positive integers, Bulletin mathématique de la Société des Sciences Mathématiques de Roumanie, Nouvelle Série, Vol. 50 (98), No. 2 (2007), pp. 131-137; alternative link.
Florentin Smarandache, Only Problems, Not Solutions!, Xiquan Publ., Phoenix-Chicago, 1993.
Eric Weisstein's World of Mathematics, Squarefree Part.

See A000188, A007947, A008833, A019554, A117811 for related information, specific to n.
See A027746, A027748, A124010 for factorization data for n.
Analogous sequences: A050985, A053165, A055231.
Cf. A002734, A005117 (range of values), A059897, A069891 (partial sums), A090699, A350389.
Related to A006519 via A225546.

a007913 n = product $
            zipWith (^) (a027748_row n) (map (`mod` 2) $ a124010_row n)
-- Reinhard Zumkeller, Jul 06 2012

[ Squarefree(n) : n in [1..256] ]; // N. J. A. Sloane, Dec 23 2006

A007913 := proc(n) local f,a,d; f := ifactors(n)[2] ; a := 1 ; for d in f do if type(op(2,d),'odd') then a := a*op(1,d) ; end if; end do: a; end proc: # R. J. Mathar, Mar 18 2011
# second Maple program:
a:= n-> mul(i[1]^irem(i[2], 2), i=ifactors(n)[2]):
seq(a(n), n=1..100);  # Alois P. Heinz, Jul 20 2015
seq(n / expand(numtheory:-nthpow(n, 2)), n=1..77);  # Peter Luschny, Jul 12 2022

data = Table[Sqrt[n], {n, 1, 100}]; sp = data /. Sqrt[] -> 1; sfp = data/sp /. Sqrt[x] -> x (* Artur Jasinski, Nov 03 2008 *)
Table[Times@@Power@@@({#[[1]],Mod[ #[[2]],2]}&/@FactorInteger[n]),{n,100}] (* Zak Seidov, Apr 08 2009 *)
Table[{p, e} = Transpose[FactorInteger[n]]; Times @@ (p^Mod[e, 2]), {n, 100}] (* T. D. Noe, May 20 2013 *)
Sqrt[#] /. (c_:1)*a_^(b_:0) -> (c*a^b)^2& /@ Range@100 (* Bill Gosper, Jul 18 2015 *)

PARI
```
a(n)=core(n)
```

from sympy import factorint, prod
def A007913(n):
    return prod(p for p, e in factorint(n).items() if e % 2)
# Chai Wah Wu, Feb 03 2015

[squarefree_part(n) for n in (1..77)] # Peter Luschny, Feb 04 2015

Multiplicative with a(p^k) = p^(k mod 2). - David W. Wilson, Aug 01 2001
a(n) modulo 2 = A035263(n); a(A036554(n)) is even; a(A003159(n)) is odd. - Philippe Deléham, Mar 28 2004
Dirichlet g.f.: zeta(2s)*zeta(s-1)/zeta(2s-2). - R. J. Mathar, Feb 11 2011
a(n) = n/( Sum_{k=1..n} floor(k^2/n)-floor((k^2 -1)/n) )^2. - Anthony Browne, Jun 06 2016
a(n) = rad(n)/a(n/rad(n)), where rad = A007947. This recurrence relation together with a(1) = 1 generate the sequence. - Velin Yanev, Sep 19 2017
From Peter Munn, Nov 18 2019: (Start)
a(k*m) = A059897(a(k), a(m)).
a(n) = n / A008833(n).
(End)
a(A225546(n)) = A225546(A006519(n)). - Peter Munn, Jan 04 2020
From Amiram Eldar, Mar 14 2021: (Start)
Theorems proven by Copil and Panaitopol (2007):
Lim sup_{n->oo} a(n+1)-a(n) = oo.
Lim inf_{n->oo} a(n+1)-a(n) = -oo.
Sum_{k=1..n} 1/a(k) ~ c*sqrt(n) + O(log(n)), where c = zeta(3/2)/zeta(3) (A090699). (End)
a(n) = A019554(n)^2/n. - Jianing Song, May 08 2022
Sum_{k=1..n} a(k) ~ c * n^2, where c = Pi^2/30 = 0.328986... . - Amiram Eldar, Oct 25 2022
a(n) = A007947(A350389(n)). - Amiram Eldar, Jan 20 2024

More terms from Michael Somos, Nov 24 2001

Definition reformulated by Daniel Forgues, Mar 24 2009

A225546 Tek's flip: Write n as the product of distinct factors of the form prime(i)^(2^(j-1)) with i and j integers, and replace each such factor with prime(j)^(2^(i-1)).

Original entry on oeis.org

1, 2, 4, 3, 16, 8, 256, 6, 9, 32, 65536, 12, 4294967296, 512, 64, 5, 18446744073709551616, 18, 340282366920938463463374607431768211456, 48, 1024, 131072, 115792089237316195423570985008687907853269984665640564039457584007913129639936, 24, 81, 8589934592, 36, 768

Offset: 1

Paul Tek, May 10 2013

This is a multiplicative self-inverse permutation of the integers.
A225547 gives the fixed points.
From Antti Karttunen and Peter Munn, Feb 02 2020: (Start)
This sequence operates on the Fermi-Dirac factors of a number. As arranged in array form, in A329050, this sequence reflects these factors about the main diagonal of the array, substituting A329050[j,i] for A329050[i,j], and this results in many relationships including significant homomorphisms.
This sequence provides a relationship between the operations of squaring and prime shift (A003961) because each successive column of the A329050 array is the square of the previous column, and each successive row is the prime shift of the previous row.
A329050 gives examples of how significant sets of numbers can be formed by choosing their factors in relation to rows and/or columns. This sequence therefore maps equivalent derived sets by exchanging rows and columns. Thus odd numbers are exchanged for squares, squarefree numbers for powers of 2 etc.
Alternative construction: For n > 1, form a vector v of length A299090(n), where each element v[i] for i=1..A299090(n) is a product of those distinct prime factors p(i) of n whose exponent e(i) has the bit (i-1) "on", or 1 (as an empty product) if no such exponents are present. a(n) is then Product_{i=1..A299090(n)} A000040(i)^A048675(v[i]). Note that because each element of vector v is squarefree, it means that each exponent A048675(v[i]) present in the product is a "submask" (not all necessarily proper) of the binary string A087207(n).
This permutation effects the following mappings:
A000035(a(n)) = A010052(n), A010052(a(n)) = A000035(n). [Odd numbers <-> Squares]
A008966(a(n)) = A209229(n), A209229(a(n)) = A008966(n). [Squarefree numbers <-> Powers of 2]
(End)
From Antti Karttunen, Jul 08 2020: (Start)
Moreover, we see also that this sequence maps between A016825 (Numbers of the form 4k+2) and A001105 (2*squares) as well as between A008586 (Multiples of 4) and A028983 (Numbers with even sum of the divisors).
(End)

			  7744  = prime(1)^2^(2-1)*prime(1)^2^(3-1)*prime(5)^2^(2-1).
a(7744) = prime(2)^2^(1-1)*prime(3)^2^(1-1)*prime(2)^2^(5-1) = 645700815.

Cf. A225547 (fixed points) and the subsequences listed there.
Transposes A329050, A329332.
An automorphism of positive integers under the binary operations A059895, A059896, A059897, A306697, A329329.
An automorphism of A059897 subgroups: A000379, A003159, A016754, A122132.
Permutes lists where membership is determined by number of Fermi-Dirac factors: A000028, A050376, A176525, A268388.
Also permutes: A036554, A059404, A066427, A066428, A072774, A331593.
Sequences f that satisfy f(a(n)) = f(n): A048675, A064179, A064547, A097248, A302777, A331592.
Pairs of sequences (f,g) that satisfy a(f(n)) = g(a(n)): (A000265,A008833), (A000290,A003961), (A005843,A334747), (A006519,A007913), (A008586,A334748).
Pairs of sequences (f,g) that satisfy a(f(n)) = g(n), possibly with offset change: (A000040,A001146), (A000079,A019565).
Pairs of sequences (f,g) that satisfy f(a(n)) = g(n), possibly with offset change: (A000035, A010052), (A008966, A209229), (A007814, A248663), (A061395, A299090), (A087207, A267116), (A225569, A227291).
Cf. A331287 [= gcd(a(n),n)].
Cf. A331288 [= min(a(n),n)], see also A331301.
Cf. A331309 [= A000005(a(n)), number of divisors].
Cf. A331590 [= a(a(n)*a(n))].
Cf. A331591 [= A001221(a(n)), number of distinct prime factors], see also A331593.
Cf. A331740 [= A001222(a(n)), number of prime factors with multiplicity].
Cf. A331733 [= A000203(a(n)), sum of divisors].
Cf. A331734 [= A033879(a(n)), deficiency].
Cf. A331735 [= A009194(a(n))].
Cf. A331736 [= A000265(a(n)) = a(A008833(n)), largest odd divisor].
Cf. A335914 [= A038040(a(n))].
A self-inverse isomorphism between pairs of A059897 subgroups: (A000079,A005117), (A000244,A062503), (A000290\{0},A005408), (A000302,A056911), (A000351,A113849 U {1}), (A000400,A062838), (A001651,A252895), (A003586,A046100), (A007310,A000583), (A011557,A113850 U {1}), (A028982,A042968), (A053165,A065331), (A262675,A268390).
A bijection between pairs of sets: (A001248,A011764), (A007283,A133466), (A016825, A001105), (A008586, A028983).
Cf. also A336321, A336322 (compositions with another involution, A122111).

Array[If[# == 1, 1, Times @@ Flatten@ Map[Function[{p, e}, Map[Prime[Log2@ # + 1]^(2^(PrimePi@ p - 1)) &, DeleteCases[NumberExpand[e, 2], 0]]] @@ # &, FactorInteger[#]]] &, 28] (* Michael De Vlieger, Jan 21 2020 *)

A019565(n) = factorback(vecextract(primes(logint(n+!n, 2)+1), n));
a(n) = {my(f=factor(n)); for (i=1, #f~, my(p=f[i,1]); f[i,1] = A019565(f[i,2]); f[i,2] = 2^(primepi(p)-1);); factorback(f);} \\ Michel Marcus, Nov 29 2019

A048675(n) = { my(f = factor(n)); sum(k=1, #f~, f[k, 2]*2^primepi(f[k, 1]))/2; };
A225546(n) = if(1==n,1,my(f=factor(n),u=#binary(vecmax(f[, 2])),prods=vector(u,x,1),m=1,e); for(i=1,u,for(k=1,#f~, if(bitand(f[k,2],m),prods[i] *= f[k,1])); m<<=1); prod(i=1,u,prime(i)^A048675(prods[i]))); \\ Antti Karttunen, Feb 02 2020

from math import prod
from sympy import prime, primepi, factorint
def A225546(n): return prod(prod(prime(i) for i, v in enumerate(bin(e)[:1:-1],1) if v == '1')**(1<Chai Wah Wu, Mar 17 2023

Multiplicative, with a(prime(i)^j) = A019565(j)^A000079(i-1).
a(prime(i)) = 2^(2^(i-1)).
From Antti Karttunen and Peter Munn, Feb 06 2020: (Start)
a(A329050(n,k)) = A329050(k,n).
a(A329332(n,k)) = A329332(k,n).
Equivalently, a(A019565(n)^k) = A019565(k)^n. If n = 1, this gives a(2^k) = A019565(k).
a(A059897(n,k)) = A059897(a(n), a(k)).
The previous formula implies a(n*k) = a(n) * a(k) if A059895(n,k) = 1.
a(A000040(n)) = A001146(n-1); a(A001146(n)) = A000040(n+1).
a(A000290(a(n))) = A003961(n); a(A003961(a(n))) = A000290(n) = n^2.
a(A000265(a(n))) = A008833(n); a(A008833(a(n))) = A000265(n).
a(A006519(a(n))) = A007913(n); a(A007913(a(n))) = A006519(n).
A007814(a(n)) = A248663(n); A248663(a(n)) = A007814(n).
A048675(a(n)) = A048675(n) and A048675(a(2^k * n)) = A048675(2^k * a(n)) = k + A048675(a(n)).
(End)
From Antti Karttunen and Peter Munn, Jul 08 2020: (Start)
For all n >= 1, a(2n) = A334747(a(n)).
In particular, for n = A003159(m), m >= 1, a(2n) = 2*a(n). [Note that A003159 includes all odd numbers]
(End)

Name edited by Peter Munn, Feb 14 2020

"Tek's flip" prepended to the name by Antti Karttunen, Jul 08 2020

A065331 Largest 3-smooth divisor of n.

Original entry on oeis.org

1, 2, 3, 4, 1, 6, 1, 8, 9, 2, 1, 12, 1, 2, 3, 16, 1, 18, 1, 4, 3, 2, 1, 24, 1, 2, 27, 4, 1, 6, 1, 32, 3, 2, 1, 36, 1, 2, 3, 8, 1, 6, 1, 4, 9, 2, 1, 48, 1, 2, 3, 4, 1, 54, 1, 8, 3, 2, 1, 12, 1, 2, 9, 64, 1, 6, 1, 4, 3, 2, 1, 72, 1, 2, 3, 4, 1, 6, 1, 16, 81, 2, 1, 12, 1, 2, 3, 8, 1, 18, 1, 4, 3, 2, 1, 96

Offset: 1

Reinhard Zumkeller, Oct 29 2001

Bennett, Filaseta, & Trifonov show that if n > 8 then a(n^2 + n) < n^0.715. - Charles R Greathouse IV, May 21 2014

Charles R Greathouse IV, Table of n, a(n) for n = 1..10000
M. A. Bennett, M. Filaseta, and O. Trifonov, On the factorization of consecutive integers, J. Reine Angew. Math. 629 (2009), pp. 171-200.
Jon Maiga, Computer-generated formulas for A065331, Sequence Machine.

Cf. A003586, A065330, A006519, A038500, A007814, A007949, A007310, A047229, A071521, A322026.
Related to A053165 via A225546.
Cf. A126760 (ordinal transform of this sequence, from its term a(1) = 1 onward).

a065331 = f 2 1 where
   f p y x | r == 0    = f p (y * p) x'
           | otherwise = if p == 2 then f 3 y x else y
           where (x', r) = divMod x p
-- Reinhard Zumkeller, Nov 19 2015

[Gcd(n,6^n): n in [1..100]]; // Vincenzo Librandi, Feb 09 2016

A065331 := proc(n) n/A065330(n) ; end: # R. J. Mathar, Jun 24 2009
seq(2^padic:-ordp(n,2)*3^padic:-ordp(n,3), n=1..100); # Robert Israel, Feb 08 2016

Table[GCD[n, 6^n], {n, 100}] (* Vincenzo Librandi, Feb 09 2016 *)
a[n_] := Times @@ ({2, 3}^IntegerExponent[n, {2, 3}]); Array[a, 100] (* Amiram Eldar, Sep 19 2020 *)

a(n)=3^valuation(n,3)<Charles R Greathouse IV, Aug 21 2011

a(n)=gcd(n,6^n) \\ Not very efficient, but simple. Stanislav Sykora, Feb 08 2016

a(n)=gcd(6^logint(n,2),n) \\ 'optimized' version of Sykora's script; Charles R Greathouse IV, Jul 23 2024

a(n) = n / A065330(n).
a(n) = A006519(n) * A038500(n).
a(n) = (2^A007814 (n)) * (3^A007949(n)).
Multiplicative with a(2^e)=2^e, a(3^e)=3^e, a(p^e)=1, p>3. - Vladeta Jovovic, Nov 05 2001
Dirichlet g.f.: zeta(s)*(1-2^(-s))*(1-3^(-s))/ ( (1-2^(1-s))*(1-3^(1-s)) ). - R. J. Mathar, Jul 04 2011
a(n) = gcd(n,6^n). - Stanislav Sykora, Feb 08 2016
a(A225546(n)) = A225546(A053165(n)). - Peter Munn, Jan 17 2020
Sum_{k=1..n} a(k) ~ n*(log(n)^2 + (2*gamma + 3*log(2) + 2*log(3) - 2)*log(n) + (2 + log(2)^2/6 + 3*log(2)*(log(3) - 1) - 2*log(3) + log(3)^2/6 + gamma*(3*log(2) + 2*log(3) - 2) - 2*sg1)) / (6*log(2)*log(3)), where gamma is the Euler-Mascheroni constant A001620 and sg1 is the first Stieltjes constant (see A082633). - Vaclav Kotesovec, Sep 19 2020
a(n) = A003586(A322026(n)), A322026(n) = A071521(a(n)). - Antti Karttunen, Sep 08 2024

A050985 Cubefree part of n.

Original entry on oeis.org

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

Offset: 1

Eric W. Weisstein, Dec 11 1999

This is an unusual sequence in the sense that the 83.2% of the integers that belong to A004709 occur infinitely many times, whereas the remaining 16.8% of the integers that belong to A046099 never occur at all. - Ant King, Sep 22 2013

Amiram Eldar, Table of n, a(n) for n = 1..10000 (terms 1..1000 from Harvey P. Dale)
Henry Bottomley, Some Smarandache-type multiplicative sequences.
Eric Weisstein's World of Mathematics, Cubefree Part.
Eric Weisstein's World of Mathematics, Dirichlet Generating Function.

Cf. A007913, A008834, A053165, A004709, A046099, A301596, A301597.

A050985 := proc(n)
    n/A008834(n) ;
end proc:
seq(A050985(n),n=1..40) ; # R. J. Mathar, Dec 08 2015

cf[n_]:=Module[{tr=Transpose[FactorInteger[n]],ex,cb},ex= tr[[2]]- Mod[ tr[[2]],3];cb=Times@@(First[#]^Last[#]&/@Transpose[{tr[[1]], ex}]);n/cb]; Array[cf,75] (* Harvey P. Dale, Jun 03 2012 *)
f[p_, e_] := p^Mod[e, 3]; a[n_] := Times @@ (f @@@ FactorInteger[n]); Array[a, 100] (* Amiram Eldar, Sep 07 2020 *)

a(n) = my(f=factor(n)); f[,2] = apply(x->(x % 3), f[,2]); factorback(f); \\ Michel Marcus, Jan 06 2019

from operator import mul
from functools import reduce
from sympy import factorint
def A050985(n):
    return 1 if n <=1 else reduce(mul,[p**(e % 3) for p,e in factorint(n).items()])
# Chai Wah Wu, Feb 04 2015

Multiplicative with p^e -> p^(e mod 3), p prime. - Reinhard Zumkeller, Nov 22 2009
Dirichlet g.f.: zeta(3s)*zeta(s-1)/zeta(3s-3). - R. J. Mathar, Feb 11 2011
a(n) = n/A008834(n). - R. J. Mathar, Dec 08 2015
Sum_{k=1..n} a(k) ~ Pi^6 * n^2 / (1890*Zeta(3)). - Vaclav Kotesovec, Feb 08 2019

A008835 Largest 4th power dividing n.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 16, 81

Offset: 1

N. J. A. Sloane

Michael De Vlieger, Table of n, a(n) for n = 1..10000
Henry Bottomley, Some Smarandache-type multiplicative sequences.

Cf. A000188, A000190, A008833, A008834, A053164, A053165.

with(numtheory): [ seq( expand(nthpow(i,4)),i=1..200) ];

Max@ Select[Divisors@ #, IntegerQ@ Power[#, 1/4] &] & /@ Range@ 81 (* Michael De Vlieger, Mar 18 2015 *)
f[p_, e_] := p^(e - Mod[e, 4]); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Aug 15 2023 *)

a(n) = {f = factor(n); for (i=1, #f~, f[i,2] = 4*(f[i,2]\4);); factorback(f);} \\ Michel Marcus, Mar 16 2015

from math import prod
from sympy import factorint
def A008835(n): return prod(p**(e&-4) for p, e in factorint(n).items()) # Chai Wah Wu, Aug 08 2024

a(n) = A000188(A000188(n))^4.
Multiplicative with a(p^e) = p^(4[e/4]). - Mitch Harris, Apr 19 2005
Dirichlet g.f.: zeta(s) * zeta(4s-4) / zeta(4s). - Álvar Ibeas, Feb 12 2015
Sum_{k=1..n} a(k) ~ zeta(5/4) * n^(5/4) / (5*zeta(5)) - 45*n/Pi^4. - Vaclav Kotesovec, Feb 03 2019
a(n) = n/A053165(n). - Amiram Eldar, Aug 15 2023
a(n) = A053164(n)^4. - Amiram Eldar, Sep 01 2024

Entry improved by comments from Henry Bottomley, Feb 29 2000

A058035 Largest 4th-power-free number dividing n.

Original entry on oeis.org

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

Offset: 1

Henry Bottomley, Nov 16 2000

			a(96) = 24 since the factors of 96 are {1,2,3,4,6,8,12,16,24,32,48,96} but 32, 48 and 96 all contain a 4th power factor (16).

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
Henry Bottomley, Some Smarandache-type multiplicative sequences.

Cf. A007947, A007948, A008835, A046100, A053165, A065466.

Cf. A027748, A124010.

a058035 n = product $
   zipWith (^) (a027748_row n) (map (min 3) $ a124010_row n)
-- Reinhard Zumkeller, Jan 06 2012

f[p_, e_] := p^Min[e, 3]; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Jul 09 2022 *)

a(n) = my(f=factor(n)); for(k=1,#f~,f[k,2]=min(3,f[k,2])); factorback(f); \\ Michel Marcus, Sep 13 2017

Multiplicative with a(p^e) = p ^ min(e,3), p prime, e > 0. - Reinhard Zumkeller, Jan 06 2012

Sum_{k=1..n} a(k) ~ (1/2) * c * n^2, where c = Product_{p prime} (1 - 1/(p^3*(p+1))) = 0.947733... (A065466). - Amiram Eldar, Oct 13 2022

A335324 Square part of 4th-power-free part of n.

Original entry on oeis.org

1, 1, 1, 4, 1, 1, 1, 4, 9, 1, 1, 4, 1, 1, 1, 1, 1, 9, 1, 4, 1, 1, 1, 4, 25, 1, 9, 4, 1, 1, 1, 1, 1, 1, 1, 36, 1, 1, 1, 4, 1, 1, 1, 4, 9, 1, 1, 1, 49, 25, 1, 4, 1, 9, 1, 4, 1, 1, 1, 4, 1, 1, 9, 4, 1, 1, 1, 4, 1, 1, 1, 36, 1, 1, 25, 4, 1, 1, 1, 1, 1, 1, 1, 4, 1

Offset: 1

Peter Munn, May 31 2020

Equivalently, biquadratefree (4th-power-free) part of square part of n.
Multiplicative. The terms are squares of squarefree numbers (A062503).
Every positive integer n is the product of a unique subset S_n of the terms of A050376 (sometimes called Fermi-Dirac primes). a(n) is the product of the members of S_n that are squares of prime numbers (A001248).

			Removing the 4th powers from 192 = 2^6 * 3^1 gives 2^(6 - 4) * 3^1 = 2^2 * 3 = 12. So the 4th-power-free part of 192 is 12. The square part of 12 (largest square dividing 12) is 4. So a(192) = 4.

Michel Marcus, Table of n, a(n) for n = 1..10000
Eric Weisstein's World of Mathematics, Biquadratefree.
Eric Weisstein's World of Mathematics, Square part.

A007913, A008833, A008835, A053165 are used in formulas defining the sequence.
Column 1 of A352780.
Range of values is A062503.
Positions of 1's: A252895.
Related to A038500 by A225546.
The formula section details how the sequence maps the terms of A003961, A331590.
Cf. A001248, A050376, A083730.
Cf. A002117, A013662, A078434.

f[p_, e_] := p^(2*Floor[e/2] - 4*Floor[e/4]); a[n_] := Times @@ (f @@@ FactorInteger[n]); Array[a, 100] (* Amiram Eldar, Jun 01 2020 *)

A053165(n)=my(f=factor(n)); f[, 2]=f[, 2]%4; factorback(f);
a(n) = my(m=A053165(n)); m/core(m); \\ Michel Marcus, Jun 01 2020

from math import prod
from sympy import factorint
def A335324(n): return prod(p**(e&2) for p, e in factorint(n).items()) # Chai Wah Wu, Aug 07 2024

a(n) = A053165(A008833(n)) = A008833(A053165(n)).
a(n) = A053165(n) / A007913(n).
a(n) = A008833(n) / A008835(n).
n = A007913(n) * a(n) * A008835(n).
a(n) = A225546(A038500(A225546(n))).
a(n^2) = A007913(n)^2.
a(A003961(n)) = A003961(a(n)).
a(A331590(n, k)) = A331590(a(n), a(k)).
a(p^e) = p^(2*floor(e/2) - 4*floor(e/4)). - Amiram Eldar, Jun 01 2020
From Amiram Eldar, Sep 21 2023: (Start)
Dirichlet g.f.: zeta(s) * zeta(2*s-2) * zeta(4*s)/(zeta(2*s) * zeta(4*s-4)).
Sum_{k=1..n} a(k) ~ (4*zeta(3/2)*zeta(4))/(21*zeta(3)) * n^(3/2). (End)

A056553 Smallest 4th-power divisible by n divided by largest 4th-power which divides n.

Original entry on oeis.org

1, 16, 81, 16, 625, 1296, 2401, 16, 81, 10000, 14641, 1296, 28561, 38416, 50625, 1, 83521, 1296, 130321, 10000, 194481, 234256, 279841, 1296, 625, 456976, 81, 38416, 707281, 810000, 923521, 16, 1185921, 1336336, 1500625, 1296, 1874161, 2085136

Offset: 1

Henry Bottomley, Jun 25 2000

			a(64) = 16 because smallest 4th power divisible by 64 is 256 and largest 4th power which divides 64 is 16 and 256/16 = 16.

Amiram Eldar, Table of n, a(n) for n = 1..10000
Henry Bottomley, Some Smarandache-type multiplicative sequences

Cf. A000190, A008835, A053164, A053165, A053166, A053167, A056551, A056554, A056555.

Cf. A013662, A013678.

f[p_, e_] := p^If[Divisible[e, 4], 0, 1]; a[n_] := (Times @@ (f @@@ FactorInteger[ n]))^4; Array[a, 100] (* Amiram Eldar, Aug 29 2019*)

a(n) = {my(f = factor(n)); prod(i = 1, #f~, if(f[i,2]%4, f[i,1], 1))^4; } \\ Amiram Eldar, Oct 27 2022

a(n) = A053167(n)/A008835(n) = A056556(n)*A053165(n) = A056554(n)^4.
From Amiram Eldar, Oct 27 2022: (Start)
Multiplicative with a(p^e) = 1 if e is divisible by 4, and a(p^e) = p^4 otherwise.
Sum_{k=1..n} a(k) ~ c * n^5, where c = (zeta(20)/(5*zeta(4))) * Product_{p prime} (1 - 1/p^2 + 1/p^4 - 1/p^7 + 1/p^8) = 0.123026157003... . (End)

A056554 Powerfree kernel of 4th-powerfree part of n.

Original entry on oeis.org

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

Offset: 1

Henry Bottomley, Jun 25 2000

			a(64) = 2 because 4th-power-free part of 64 is 4 and power-free kernel of 4 is 2.

Amiram Eldar, Table of n, a(n) for n = 1..10000
Henry Bottomley, Some Smarandache-type multiplicative sequences.

Cf. A000190, A007947, A008835, A013666, A053164, A053165, A053166, A053167, A056552, A056553, A056555.

f[p_, e_] :=  p^If[Divisible[e, 4], 0, 1]; a[n_] := Times @@ (f @@@ FactorInteger[ n]); Array[a, 100] (* Amiram Eldar, Aug 29 2019 *)

a(n) = my(f=factor(n)); for (k=1, #f~, if (frac(f[k,2]/4), f[k,2] = 1, f[k,2] = 0)); factorback(f); \\ Michel Marcus, Feb 28 2019

a(n) = A007947(A053165(n)) = A053166(A053165(n)) = n/(A053164(n)*A000190(n)) = A053166(n)/A053164(n) = A056553(n)^(1/4).
If n = Product_{j} Pj^Ej then a(n) = Product_{j} Pj^Fj, where Fj = 0 if Ej is 0 or a multiple of 4 and Fj = 1 otherwise.
Multiplicative with a(p^e) = p^(if 4|e, then 0, else 1). - Mitch Harris, Apr 19 2005
Sum_{k=1..n} a(k) ~ c * n^2, where c = (zeta(8)/2) * Product_{p prime} (1 - 1/p^2 + 1/p^3 - 1/p^4 + 1/p^5 - 1/p^6) = 0.3513111135... . - Amiram Eldar, Oct 27 2022

A056555 Smallest number k (k>0) such that n*k is a perfect 4th power.

Original entry on oeis.org

1, 8, 27, 4, 125, 216, 343, 2, 9, 1000, 1331, 108, 2197, 2744, 3375, 1, 4913, 72, 6859, 500, 9261, 10648, 12167, 54, 25, 17576, 3, 1372, 24389, 27000, 29791, 8, 35937, 39304, 42875, 36, 50653, 54872, 59319, 250, 68921, 74088, 79507, 5324, 1125

Offset: 1

Henry Bottomley, Jun 25 2000

			a(64) = 4 because the smallest 4th power divisible by 64 is 256 and 64*4 = 256.

Amiram Eldar, Table of n, a(n) for n = 1..10000
Henry Bottomley, Some Smarandache-type multiplicative sequences.

Cf. A000190, A008835, A048798, A053164, A053165, A053166, A053167, A056554.

Cf. A013662, A013674.

f[p_, e_] := p^Mod[4 - e, 4]; a[n_] := Times @@ (f @@@ FactorInteger[n]); Array[a, 100] (* Amiram Eldar, Sep 08 2020 *)

a(n,f=factor(n))=f[,2]=-f[,2]%4; factorback(f) \\ Charles R Greathouse IV, Apr 24 2020

a(n) = A053167(n)/n = n^3/A000190(n)^4 = A056553(n)/A053165(n).
Multiplicative with a(p^e) = p^((4 - e) mod 4). - Amiram Eldar, Sep 08 2020
Sum_{k=1..n} a(k) ~ c * n^4, where c = (zeta(16)/(4*zeta(4))) * Product_{p prime} (1 - 1/p^2 + 1/p^4 - 1/p^7 + 1/p^8) = 0.1537848996... . - Amiram Eldar, Oct 27 2022

cp's OEIS Frontend

A007913 Squarefree part of n: a(n) is the smallest positive number m such that n/m is a square.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

Python

Sage

Formula

Extensions

A225546 Tek's flip: Write n as the product of distinct factors of the form prime(i)^(2^(j-1)) with i and j integers, and replace each such factor with prime(j)^(2^(i-1)).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Python

Formula

Extensions

A065331 Largest 3-smooth divisor of n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

PARI

PARI

Formula

A050985 Cubefree part of n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Python

Formula

A008835 Largest 4th power dividing n.

Views

Author

Keywords

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Python

Formula

Extensions

A058035 Largest 4th-power-free number dividing n.

Views

Author

Keywords

Examples