A056192 -id:A056192 - cp's OEIS frontend

A056623 If n=LLgggf (see A056192) and a(n) = LL, then its complementary divisor n/LL = gggf and gcd(L^2, n/LL) = 1.

1, 1, 1, 4, 1, 1, 1, 1, 9, 1, 1, 4, 1, 1, 1, 16, 1, 9, 1, 4, 1, 1, 1, 1, 25, 1, 1, 4, 1, 1, 1, 4, 1, 1, 1, 36, 1, 1, 1, 1, 1, 1, 1, 4, 9, 1, 1, 16, 49, 25, 1, 4, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 9, 64, 1, 1, 1, 4, 1, 1, 1, 9, 1, 1, 25, 4, 1, 1, 1, 16, 81, 1, 1, 4, 1, 1, 1, 1, 1, 9, 1, 4, 1, 1, 1, 4, 1, 49, 9

Offset: 1

Labos Elemer, Aug 08 2000

The part of the name "Largest unitary square divisor of n" was removed because it is correct only for numbers whose odd exponents in their prime factorization are all smaller than 5. For the correct largest unitary square divisor of n see A350388. - Amiram Eldar, Jul 26 2024

			a(200) = A008833(200)/A055229(200)^2 = 100/2^2 = 25.
a(250) = A008833(250)/A055229(250)^2 = 25/5^2 = 1.

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

Cf. A008833, A055229, A000188, A046951, A034444, A056192, A056622, A350388.

f[p_, 1] := 1; f[p_, e_] := If[EvenQ[e], p^e, p^(e-3)]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Sep 11 2020 *)

A055229(n) = { my(c=core(n)); gcd(c, n/c); }; \\ Charles R Greathouse IV, Nov 20 2012
A008833(n) = n/core(n) \\ Michael B. Porter, Oct 17 2009
A056623(n) = (A008833(n)/(A055229(n)^2)); \\ Antti Karttunen, Nov 19 2017

a(n) = {my(f = factor(n), p, e); prod(i = 1, #f~, p = f[i,1]; e = f[i,2]; if(e == 1, 1, if(e%2, p^(e-3), p^e)));} \\ Amiram Eldar, Dec 25 2023

(definec (A056623 n) (if (= 1 n) n (let ((e (A067029 n)) (rest (A056623 (A028234 n)))) (cond ((even? e) (* (A028233 n) rest)) ((= 1 e) rest) (else (* (expt (A020639 n) (- e 3)) rest)))))) ;; After Jovovic's multiplicative formula, using memoization-macro definec - Antti Karttunen, Nov 19 2017

a(n) = A008833(n)/A055229(n)^2 = K^2/g^2, which coincides with the largest square divisor iff the g-factor is 1.
Multiplicative with a(p^e)=p^e for even e, a(p)=1, a(p^e)=p^(e-3) for odd e > 1. - Vladeta Jovovic, Apr 30 2002
From Amiram Eldar, Dec 25 2023 (Start)
Dirichlet g.f.: zeta(2*s-2) * Product_{p prime} (1 + 1/p^s - 1/p^(3*s-2) + 1/p^(3*s)).
Sum_{k=1..n} a(k) ~ c * n^(3/2) / 3, where c = Product_{p prime} (1 + 1/p^(3/2) - 1/p^(5/2) + 1/p^(9/2)) = 1.81133051934001073532... . (End)
a(n) = A056622(n)^2. - Amiram Eldar, Jul 26 2024

Name edited by Amiram Eldar, Jul 26 2024

A367168 The largest unitary divisor of n that is a term of A138302.

Original entry on oeis.org

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

Offset: 1

Amiram Eldar, Nov 07 2023

First differs from A056192 at n = 32 and from A270418 at n = 128.

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A048298, A065465, A138302, A367169, A367170, A367171.
Cf. A056192, A270418.
Similar sequences: A350388, A350389, A360539.

f[p_, e_] := If[e == 2^IntegerExponent[e, 2], p^e, 1]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = {my(f = factor(n)); prod(i = 1, #f~, if(f[i, 2] == 1 << valuation(f[i, 2], 2), f[i, 1]^f[i, 2], 1));}

from math import prod
from sympy import factorint
def A367168(n): return prod(p**e for p,e in factorint(n).items() if not(e&-e)^e) # Chai Wah Wu, Nov 10 2023

Multiplicative with a(p^e) = p^A048298(e).
a(n) <= n, with equality if and only if n is in A138302.
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = 0.881513... (A065465).

A270418 Numerator of the rational number obtained when exponents in prime factorization of n are reinterpreted as alternating binary sums (A065620).

Original entry on oeis.org

1, 2, 3, 4, 5, 6, 7, 1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 3, 25, 26, 1, 28, 29, 30, 31, 1, 33, 34, 35, 36, 37, 38, 39, 5, 41, 42, 43, 44, 45, 46, 47, 48, 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, 76, 77, 78, 79, 80, 81

Offset: 1

Antti Karttunen, May 23 2016

Map n -> A270418(n)/A270419(n) is a bijection from N (1, 2, 3, ...) to the set of positive rationals.

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

Cf. A270419 (gives the denominators).
Cf. A262675 (indices of ones).
Cf. A000069, A001969, A010060, A020639, A028234, A065620, A067029.
Cf. also A270420, A270421, A270436, A270437 and permutation pair A273671/A273672.
Differs from A056192 for the first time at n=32, which here a(32)=1, while A056192(32)=4.

s[0] = 0; s[n_]:= s[n]= If[OddQ[n], 1 - 2*s[(n-1)/2], 2*s[n/2]]; f[p_, e_] := p^(ThueMorse[e] * s[e]); a[n_] := Times @@ f @@@ FactorInteger[n]; a[1] = 1; Array[a, 100] (* Amiram Eldar, Sep 05 2023 *)

A270418(n)={n=factor(n);n[,2]=apply(A065620,n[,2]);numerator(factorback(n))} \\ M. F. Hasler, Apr 16 2018

Multiplicative with a(p^e) = p^A065620(e) for odious e, a(p^e)=1 for evil e, or equally, a(p^e) = p^(A010060(e)*A065620(e)).
a(1) = 1, for n > 1, a(n) = a(A028234(n)) * A020639(n)^( A010060(A067029(n)) * A065620(A067029(n)) ).
Other identities. For all n >= 1:
a(A270436(n)) = n, a(A270437(n)) = 1.

A056191 Characteristic cube divisor of n: cube of g = gcd(K,F), where K is the largest square root divisor of n (A000188) and F = n/(KK) = A007913(n) is its squarefree part; g^2 divides K^2 = A008833(n) = g^2L^2 and g divides F = gf.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 27, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 27, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1

Offset: 1

Labos Elemer, Aug 02 2000

This is not the largest cube which divides n. It is canonical, since the decomposition n = KKgggf is unique (factors are defined above and dependent on n).

			If n=24, largest square divisor is 4, squarefree part is 6, g=2, a(24)=8; n=81, largest square divisor is 81, both F and g is 1, a(81)=1.

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

Cf. A055229, A000188, A008833, A007913, A055231, A056192.

a[n_]:=With[{sf=Times@@Power@@@({#[[1]], Mod[#[[2]], 2]}&/@FactorInteger[n])}, GCD[sf, n/sf]]; Table[a[n]^3, {n, 1, 100}] (* Vincenzo Librandi, Oct 08 2017 *)

a(n) = {my(f = factor(n)); prod(i = 1, #f~, if(f[i,2] == 1 || !(f[i,2]%2), 1,  f[i,1]^3));} \\ Amiram Eldar, Sep 05 2023

a(n) = A055229(n)^3 = g^3 = ggg; n = (KK)*(ggg)*f = K^2*g^3*f = KK*a(n)^3*f.

Multiplicative with a(p^e)=1 for even e, a(p)=1, a(p^e)=p^3 for odd e > 1. - Vladeta Jovovic, May 01 2002

A367514 The exponentially odious part of n: the largest unitary divisor of n that is an exponentially odious number (A270428).

Original entry on oeis.org

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

Offset: 1

Amiram Eldar, Nov 21 2023

First differs from A056192 at n = 32, and from A270418 and A367168 at n = 128.

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A000069, A001221, A010060, A034444, A102392, A262675, A270428, A293439, A366901, A366903, A367515.
Cf. A056192, A270418.
Similar sequences: A350388, A350389, A366905, A367168, A367513.

f[p_, e_] := p^(e*ThueMorse[e]); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = {my(f = factor(n)); prod(i = 1, #f~, if(hammingweight(f[i, 2])%2, f[i, 1]^f[i, 2], 1));}

from math import prod
from sympy import factorint
def A367514(n): return prod(p**e for p, e in factorint(n).items() if e.bit_count()&1) # Chai Wah Wu, Nov 23 2023

Multiplicative with a(p^e) = p^(e*A010060(e)) = p^A102392(e).
a(n) = n/A367513(n).
A001221(a(n)) = A293439(n).
A034444(a(n)) = A367515(n).
a(n) >= 1, with equality if and only if n is an exponentially evil number (A262675).
a(n) <= n, with equality if and only if n is an exponentially odious number (A270428).
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = Product_{p prime} f(1/p) = 0.88585652437242918295..., and f(x) = (x+2)/(2*(x+1)) + (x/2) * Product_{k>=0} (1 - x^(2^k)).

cp's OEIS Frontend

A056623 If n=LLgggf (see A056192) and a(n) = LL, then its complementary divisor n/LL = gggf and gcd(L^2, n/LL) = 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Scheme

Formula

Extensions

A367168 The largest unitary divisor of n that is a term of A138302.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Python

Formula

A270418 Numerator of the rational number obtained when exponents in prime factorization of n are reinterpreted as alternating binary sums (A065620).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A056191 Characteristic cube divisor of n: cube of g = gcd(K,F), where K is the largest square root divisor of n (A000188) and F = n/(K*K) = A007913(n) is its squarefree part; g^2 divides K^2 = A008833(n) = g^2*L^2 and g divides F = gf.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A367514 The exponentially odious part of n: the largest unitary divisor of n that is an exponentially odious number (A270428).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Python

Formula

A056191 Characteristic cube divisor of n: cube of g = gcd(K,F), where K is the largest square root divisor of n (A000188) and F = n/(KK) = A007913(n) is its squarefree part; g^2 divides K^2 = A008833(n) = g^2L^2 and g divides F = gf.