A062503 -id:A062503 - cp's OEIS frontend

A333749 Number of squarefree divisors of n that are <= sqrt(n).

1, 1, 1, 2, 1, 2, 1, 2, 2, 2, 1, 3, 1, 2, 2, 2, 1, 3, 1, 2, 2, 2, 1, 3, 2, 2, 2, 2, 1, 4, 1, 2, 2, 2, 2, 4, 1, 2, 2, 3, 1, 4, 1, 2, 3, 2, 1, 4, 2, 3, 2, 2, 1, 4, 2, 3, 2, 2, 1, 5, 1, 2, 3, 2, 2, 4, 1, 2, 2, 4, 1, 4, 1, 2, 3, 2, 2, 4, 1, 3, 2, 2, 1, 5, 2, 2, 2, 2, 1, 5, 2, 2, 2, 2, 2, 4, 1, 3, 2, 4

Offset: 1

Ilya Gutkovskiy, Apr 03 2020

nonn

If we define a divisor d|n to be inferior if d <= n/d, then inferior divisors are counted by A038548 and listed by A161906. This sequence counts inferior squarefree divisors. - Gus Wiseman, Feb 27 2021

			   n   inferior squarefree divisors of n
  ---  ---------------------------------
   33  1,  3
   56  1,  2,  7
  429  1,  3, 11, 13
   90  1,  2,  3,  5,  6
  490  1,  2,  5,  7, 10, 14
  480  1,  2,  3,  5,  6, 10, 15

Robert Israel, Table of n, a(n) for n = 1..10000

Cf. A034444, A069291, A333748, A333752.
Positions of 1's are A008578.
The case of equality is the indicator function of A062503.
The version for prime instead of squarefree divisors is A063962.
The version for odd instead of squarefree divisors is A069288.
The version for prime-power instead of squarefree divisors is A333750.
The superior version is A341592.
The strictly superior version is A341595.
The strictly inferior version is A341596.
A005117 lists squarefree numbers.
A038548 counts superior (or inferior) divisors.
A056924 counts strictly superior (or strictly inferior) divisors.
A161906 lists inferior divisors.
A161908 lists superior divisors.
A207375 list central divisors.
- Inferior: A033676, A066839, A217581.
- Superior: A033677, A051283, A059172, A063538, A063539, A070038, A116882, A116883, A341593, A341675, A341676.
- Strictly Inferior: A060775, A070039, A333805, A333806, A341674, A341677.
- Strictly Superior: A048098, A064052 A140271, A238535, A341591, A341594, A341642, A341643, A341644, A341645/A341646, A341673.
Cf. A000005, A000203, A001221, A001222, A001248, A006530, A020639.

N:= 200: # for a(1)..a(N)
g:= add(x^(k^2)/(1-x^k), k = select(numtheory:-issqrfree,[$1..floor(sqrt(N))])):
S:= series(g,x,N+1):
seq(coeff(S,x,j),j=1..N); # Robert Israel, Apr 05 2020

Table[DivisorSum[n, 1 &, # <= Sqrt[n] && SquareFreeQ[#] &], {n, 1, 100}]
nmax = 100; CoefficientList[Series[Sum[MoebiusMu[k]^2 x^(k^2)/(1 - x^k), {k, 1, nmax}], {x, 0, nmax}], x] // Rest

a(n) = sumdiv(n, d, (d^2<=n) && issquarefree(d)); \\ Michel Marcus, Apr 03 2020

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

A323308 The number of exponential semiproper divisors of n.

Original entry on oeis.org

1, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 2, 1, 1, 1, 2, 1, 2, 1, 2, 1, 1, 1, 2, 2, 1, 2, 2, 1, 1, 1, 2, 1, 1, 1, 4, 1, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 2, 2, 2, 1, 2, 1, 2, 1, 2, 1, 1, 1, 2, 1, 1, 2, 2, 1, 1, 1, 2, 1, 1, 1, 4, 1, 1, 2, 2, 1, 1, 1, 2, 2, 1, 1, 2, 1, 1, 1

Offset: 1

Amiram Eldar, Jan 10 2019

An exponential semiproper divisor of n is a divisor d such that rad(d) = rad(n) and gcd(d/rad(n), n/d) = 1, where rad(n) is the largest squarefree divisor of n (A007947).
a(n) is also the number of divisors of n that are squares of squarefree numbers (A062503). - Amiram Eldar, Oct 08 2022
a(n) is also the number of unitary divisors of n that are powerful (A001694). - Amiram Eldar, Feb 18 2023
The smallest integer that has exactly 2^n exponential semiproper divisors is A061742(n). - Bernard Schott, Feb 20 2023

Amiram Eldar, Table of n, a(n) for n = 1..10000
Nicusor Minculete, A new class of divisors: the exponential semiproper divisors, Bulletin of the Transilvania University of Brasov, Mathematics, Informatics, Physics, Series III, Vol. 7, No. 1 (2014), pp. 37-46.
Index entries for sequences computed from exponents in factorization of n.
Index entries for sequences related to divisors of numbers.

Cf. A000188, A001694, A007947, A008833, A034444, A057521, A061742, A062503, A082020, A323309, A323310.

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

a(n) = my(f=factor(n)); for (k=1, #f~, f[k,1] = min(f[k,2], 2); f[k,2] = 1); factorback(f); \\ Michel Marcus, Jan 11 2019

a(n) = A034444(n/A007947(n)).
Multiplicative with a(p^e) = 1 for e = 1 and 2 otherwise.
Asymptotic mean: Limit_{n->oo} (1/n) * Sum_{k=1..n} a(k) = 15/Pi^2 = 1.5198177546... (A082020). - Amiram Eldar, Nov 08 2020
a(n) = Sum_{d^2|n} mu(d)^2. - Wesley Ivan Hurt, Feb 13 2022
Dirichlet g.f.: zeta(s) * zeta(2*s) / zeta(4*s). - Werner Schulte, Dec 29 2022
a(n) = A034444(A000188(n)) = A034444(A008833(n)) (the number of unitary divisors of the largest square dividing n). - Amiram Eldar, Sep 03 2023
a(n) = A034444(A057521(n)) (the number of unitary divisors of the powerful part of n). - Amiram Eldar, Oct 03 2023

A062838 Cubes of squarefree numbers.

Original entry on oeis.org

1, 8, 27, 125, 216, 343, 1000, 1331, 2197, 2744, 3375, 4913, 6859, 9261, 10648, 12167, 17576, 24389, 27000, 29791, 35937, 39304, 42875, 50653, 54872, 59319, 68921, 74088, 79507, 97336, 103823, 132651, 148877, 166375, 185193, 195112, 205379, 226981, 238328

Offset: 1

Jason Earls, Jul 21 2001

Cubefull numbers (A036966) all of whose nonunitary divisors are not cubefull (A362147). - Amiram Eldar, May 13 2023

Vincenzo Librandi and T. D. Noe, Table of n, a(n) for n = 1..1000

Other powers of squarefree numbers: A005117(1), A062503(2), A113849(4), A072774(all).
Cf. A000400, A036966, A225546, A362147.
A329332 column 3 in ascending order.

Select[Range[70], SquareFreeQ]^3 (* Harvey P. Dale, Jul 20 2011 *)

for(n=1,35, if(issquarefree(n),print(n*n^2)))

a(n) = my(m, c); if(n<=1, n==1, c=1; m=1; while(cAltug Alkan, Dec 03 2015

from math import isqrt
from sympy import mobius
def A062838(n):
    def f(x): return n+x-sum(mobius(k)*(x//k**2) for k in range(1, isqrt(x)+1))
    m, k = n, f(n)
    while m != k: m, k = k, f(k)
    return m**3 # Chai Wah Wu, Sep 11 2024

A055229(a(n)) = A005117(n) and A055229(m) < A005117(n) for m < a(n). - Reinhard Zumkeller, Apr 09 2010
a(n) = A005117(n)^3. - R. J. Mathar, Dec 03 2015
{a(n)} = {A225546(A000400(n)) : n >= 0}, where {a(n)} denotes the set of integers in the sequence. - Peter Munn, Oct 31 2019
Sum_{n>=1} 1/a(n) = zeta(3)/zeta(6) = 945*zeta(3)/Pi^6 (A157289). - Amiram Eldar, May 22 2020

More terms from Dean Hickerson, Jul 24 2001

More terms from Vladimir Joseph Stephan Orlovsky, Aug 15 2008

A329332 Table of powers of squarefree numbers, powers of A019565(n) in increasing order in row n. Square array A(n,k) n >= 0, k >= 0 read by descending antidiagonals.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 4, 3, 1, 1, 8, 9, 6, 1, 1, 16, 27, 36, 5, 1, 1, 32, 81, 216, 25, 10, 1, 1, 64, 243, 1296, 125, 100, 15, 1, 1, 128, 729, 7776, 625, 1000, 225, 30, 1, 1, 256, 2187, 46656, 3125, 10000, 3375, 900, 7, 1, 1, 512, 6561, 279936, 15625, 100000, 50625, 27000, 49, 14

Offset: 0

Peter Munn, Nov 10 2019

The A019565 row order gives the table neat relationships with A003961, A003987, A059897, A225546, A319075 and A329050. See the formula section.

Transposition of this table, that is reflection about its main diagonal, has subtle symmetries. For example, consider the unique factorization of a number into powers of distinct primes. This can be restated as factorization into numbers from rows 2^n (n >= 0) with no more than one from each row. Reflecting about the main diagonal, this factorization becomes factorization (of a related number) into numbers from columns 2^k (k >= 0) with no more than one from each column. This is also unique and is factorization into powers of squarefree numbers with distinct exponents that are powers of two. See the example section.

			Square array A(n,k) begins:
n\k |  0   1     2      3        4          5           6             7
----+------------------------------------------------------------------
   0|  1   1     1      1        1          1           1             1
   1|  1   2     4      8       16         32          64           128
   2|  1   3     9     27       81        243         729          2187
   3|  1   6    36    216     1296       7776       46656        279936
   4|  1   5    25    125      625       3125       15625         78125
   5|  1  10   100   1000    10000     100000     1000000      10000000
   6|  1  15   225   3375    50625     759375    11390625     170859375
   7|  1  30   900  27000   810000   24300000   729000000   21870000000
   8|  1   7    49    343     2401      16807      117649        823543
   9|  1  14   196   2744    38416     537824     7529536     105413504
  10|  1  21   441   9261   194481    4084101    85766121    1801088541
  11|  1  42  1764  74088  3111696  130691232  5489031744  230539333248
  12|  1  35  1225  42875  1500625   52521875  1838265625   64339296875
Reflection of factorization about the main diagonal: (Start)
The canonical (prime power) factorization of 864 is 2^5 * 3^3 = 32 * 27. Reflecting the factors about the main diagonal of the table gives us 10 * 36 = 10^1 * 6^2 = 360. This is the unique factorization of 360 into powers of squarefree numbers with distinct exponents that are powers of two.
Reflection about the main diagonal is given by the self-inverse function A225546(.). Clearly, all positive integers are in the domain of A225546, whether or not they appear in the table. It is valid to start from 360, observe that A225546(360) = 864, then use 864 to derive 360's factorization into appropriate powers of squarefree numbers as above.
(End)

The range of values is A072774.
Rows (abbreviated list): A000079(1), A000244(2), A000400(3), A000351(4), A011557(5), A001024(6), A009974(7), A000420(8), A001023(9), A009965(10), A001020(16), A001022(32), A001026(64).
A019565 is column 1, A334110 is column 2, and columns that are sorted in increasing order (some without the 1) are: A005117(1), A062503(2), A062838(3), A113849(4), A113850(5), A113851(6), A113852(7).
Other subtables: A182944, A319075, A329050.
Re-ordered subtable of A297845, A306697, A329329.
A000290, A003961, A003987, A059897 and A225546 are used to express relationships between terms of this sequence.
Cf. A285322.

A(n,k) = A019565(n)^k.
A(k,n) = A225546(A(n,k)).
A(n,2k) = A000290(A(n,k)) = A(n,k)^2.
A(2n,k) = A003961(A(n,k)).
A(n,2k+1) = A(n,2k) * A(n,1).
A(2n+1,k) = A(2n,k) * A(1,k).
A(A003987(n,m), k) = A059897(A(n,k), A(m,k)).
A(n, A003987(m,k)) = A059897(A(n,m), A(n,k)).
A(2^n,k) = A319075(k,n+1).
A(2^n, 2^k) = A329050(n,k).
A(n,k) = A297845(A(n,1), A(1,k)) = A306697(A(n,1), A(1,k)), = A329329(A(n,1), A(1,k)).
Sum_{n>=0} 1/A(n,k) = zeta(k)/zeta(2*k), for k >= 2. - Amiram Eldar, Dec 03 2022

A331590 Square array A(n,k) = A225546(A225546(n) * A225546(k)), n >= 1, k >= 1, read by descending antidiagonals.

Original entry on oeis.org

1, 2, 2, 3, 3, 3, 4, 6, 6, 4, 5, 8, 5, 8, 5, 6, 10, 12, 12, 10, 6, 7, 5, 15, 9, 15, 5, 7, 8, 14, 10, 20, 20, 10, 14, 8, 9, 12, 21, 24, 7, 24, 21, 12, 9, 10, 18, 24, 28, 30, 30, 28, 24, 18, 10, 11, 15, 27, 18, 35, 15, 35, 18, 27, 15, 11, 12, 22, 30, 36, 40, 42, 42, 40, 36, 30, 22, 12, 13, 24, 33, 40, 45, 20, 11, 20, 45, 40, 33, 24, 13

Offset: 1

Peter Munn, Jan 21 2020

As a binary operation, this sequence defines a commutative monoid over the positive integers that is isomorphic to multiplication. The self-inverse permutation A225546(.) provides an isomorphism. This monoid therefore has unique factorization. Its primes are the even terms of A050376: 2, 4, 16, 256, ..., which in standard integer multiplication are the powers of 2 with powers of 2 as exponents.
In this monoid, in contrast, the powers of 2 run through the squarefree numbers, the k-th power of 2 being A019565(k). 4 is irreducible and its powers are the squares of the squarefree numbers, the k-th power of 4 being A019565(k)^2 (where "^2" denotes standard integer squaring); and so on with powers of 16, 256, ...
In many cases the product of two numbers is the same here as in standard integer multiplication. See the formula section for details.

			From _Antti Karttunen_, Feb 02 2020: (Start)
The top left 16 X 16 corner of the array:
   1,  2,  3,  4,  5,  6,   7,   8,   9,  10,  11,  12,  13,  14,  15,  16, ...
   2,  3,  6,  8, 10,  5,  14,  12,  18,  15,  22,  24,  26,  21,  30,  32, ...
   3,  6,  5, 12, 15, 10,  21,  24,  27,  30,  33,  20,  39,  42,   7,  48, ...
   4,  8, 12,  9, 20, 24,  28,  18,  36,  40,  44,  27,  52,  56,  60,  64, ...
   5, 10, 15, 20,  7, 30,  35,  40,  45,  14,  55,  60,  65,  70,  21,  80, ...
   6,  5, 10, 24, 30, 15,  42,  20,  54,   7,  66,  40,  78,  35,  14,  96, ...
   7, 14, 21, 28, 35, 42,  11,  56,  63,  70,  77,  84,  91,  22, 105, 112, ...
   8, 12, 24, 18, 40, 20,  56,  27,  72,  60,  88,  54, 104,  84, 120, 128, ...
   9, 18, 27, 36, 45, 54,  63,  72,  25,  90,  99, 108, 117, 126, 135, 144, ...
  10, 15, 30, 40, 14,  7,  70,  60,  90,  21, 110, 120, 130, 105,  42, 160, ...
  11, 22, 33, 44, 55, 66,  77,  88,  99, 110,  13, 132, 143, 154, 165, 176, ...
  12, 24, 20, 27, 60, 40,  84,  54, 108, 120, 132,  45, 156, 168,  28, 192, ...
  13, 26, 39, 52, 65, 78,  91, 104, 117, 130, 143, 156,  17, 182, 195, 208, ...
  14, 21, 42, 56, 70, 35,  22,  84, 126, 105, 154, 168, 182,  33, 210, 224, ...
  15, 30,  7, 60, 21, 14, 105, 120, 135,  42, 165,  28, 195, 210,  35, 240, ...
  16, 32, 48, 64, 80, 96, 112, 128, 144, 160, 176, 192, 208, 224, 240,  81, ...
(End)

Antti Karttunen, Antidiagonals n = 1..144, flattened
Antti Karttunen, Data supplement: n, a(n) computed for n = 1..80200; (antidiagonals n = 1..400)
Eric Weisstein's World of Mathematics, Monoid

Isomorphic to A003991 with A225546 as isomorphism.
Cf. A003961(main diagonal), A048675, A059895, A059896, A059897.
Rows/columns, sorted in ascending order: 2: A000037, 3: A028983, 4: A252849.
A019565 lists powers of 2 in order of increasing exponent.
Powers of k, sorted in ascending order: k=2: A005117, k=3: A056911, k=4: A062503, k=5: A276378, k=6: intersection of A325698 and A005117, k=7: intersection of A007775 and A005117, k=8: A062838.
Irreducibles are A001146 (even terms of A050376).

up_to = 1275;
A019565(n) = factorback(vecextract(primes(logint(n+!n, 2)+1), n));
A048675(n) = { my(f = factor(n)); sum(k=1, #f~, f[k, 2]*2^primepi(f[k, 1]))/2; };
A331590sq(x,y) = if(1==x,y,if(1==y,x, my(fx=factor(x),fy=factor(y),u=max(#binary(vecmax(fx[, 2])),#binary(vecmax(fy[, 2]))),prodsx=vector(u,x,1),m=1); for(i=1,u,for(k=1,#fx~, if(bitand(fx[k,2],m),prodsx[i] *= fx[k,1])); for(k=1,#fy~, if(bitand(fy[k,2],m),prodsx[i] *= fy[k,1])); m<<=1); prod(i=1,u,A019565(A048675(prodsx[i]))^(1<<(i-1)))));
A331590list(up_to) = { my(v = vector(up_to), i=0); for(a=1,oo, for(col=1,a, i++; if(i > up_to, return(v)); v[i] = A331590sq(col,(a-(col-1))))); (v); };
v331590 = A331590list(up_to);
A331590(n) = v331590[n]; \\ Antti Karttunen, Feb 02 2020

Alternative definition: A(n,1) = n; A(n,k) = A(A059897(n,k), A003961(A059895(n,k))).
Main derived identities: (Start)
A(n,k) = A(k,n).
A(1,n) = n.
A(n, A(m,k)) = A(A(n,m), k).
A(m,m) = A003961(m).
A(n^2, k^2) = A(n,k)^2.
A(A003961(n), A003961(k)) = A003961(A(n,k)).
A(A019565(n), A019565(k)) = A019565(n+k).
(End)
Characterization of conditions for A(n,k) = n * k: (Start)
The following 4 conditions are equivalent:
(1) A(n,k) = n * k;
(2) A(n,k) = A059897(n,k);
(3) A(n,k) = A059896(n,k);
(4) A059895(n,k) = 1.
If gcd(n,k) = 1, A(n,k) = n * k.
If gcd(n,k) = 1, A(A225546(n), A225546(k)) = A225546(n) * A225546(k).
The previous formula implies A(n,k) = n * k in the following cases:
(1) for n = A005117(m), k = j^2;
(2) more generally for n = A005117(m_1)^(2^i_1), k = A005117(m_2)^(2^i_2), with A004198(i_1, i_2) = 0.
(End)

A368714 Numbers whose maximal exponent in their prime factorization is even.

Original entry on oeis.org

1, 4, 9, 12, 16, 18, 20, 25, 28, 36, 44, 45, 48, 49, 50, 52, 60, 63, 64, 68, 75, 76, 80, 81, 84, 90, 92, 98, 99, 100, 112, 116, 117, 121, 124, 126, 132, 140, 144, 147, 148, 150, 153, 156, 162, 164, 169, 171, 172, 175, 176, 180, 188, 192, 196, 198, 204, 207, 208

Offset: 1

Amiram Eldar, Jan 04 2024

First differs from A240112 at n = 30.
Numbers k such that A051903(k) is even.
The asymptotic density of this sequence is Sum_{k>=2} (-1)^k * (1 - 1/zeta(k)) = 0.27591672059822700769... .

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

Cf. A051903, A240112.
Subsequences: A000290, A000302, A000583, A001014, A001016, A001025, A008454, A062503, A067259.
Similar sequences: A060476, A074661, A096432, A336064, A368715.

Select[Range[210], # == 1 || EvenQ[Max[FactorInteger[#][[;;, 2]]]] &]

lista(kmax) = for(k = 1, kmax, if(k == 1 || !(vecmax(factor(k)[,2])%2), print1(k, ", ")));

A113849 Numbers whose prime factors are raised to the fourth power.

Original entry on oeis.org

16, 81, 625, 1296, 2401, 10000, 14641, 28561, 38416, 50625, 83521, 130321, 194481, 234256, 279841, 456976, 707281, 810000, 923521, 1185921, 1336336, 1500625, 1874161, 2085136, 2313441, 2825761, 3111696, 3418801, 4477456, 4879681, 6765201, 7890481

Offset: 1

Cino Hilliard, Jan 25 2006

This is essentially A005117 (the squarefree numbers) raised to the fourth power. - T. D. Noe, Mar 13 2013

All positive integers have a unique factorization into powers of squarefree numbers with distinct exponents that are powers of two. So every positive number is a product of at most one squarefree number (A005117), at most one square of a squarefree number (A062503), at most one 4th power of a squarefree number (term of this sequence), at most one 8th power of a squarefree number, and so on. - Peter Munn, Mar 12 2020

			1296 = 16*81 = 2^4*3^4 so the prime factors of 1296, 2 and 3, are raised to the fourth power.

T. D. Noe, Table of n, a(n) for n = 1..10000

Proper subset of A000583.
Other powers of squarefree numbers: A005117(1), A062503(2), A062838(3),  A113850(5), A113851(6), A113852(7), A072774(all).
Cf. A000351, A225546.

Select[ Range@50^4, Union[Last /@ FactorInteger@# ] == {4} &] (* Robert G. Wilson v, Jan 26 2006 *)
nn = 50; t = Select[Range[2, nn], Union[Transpose[FactorInteger[#]][[2]]] == {1} &]; t^4 (* T. D. Noe, Mar 13 2013 *)
Rest[Select[Range[100], SquareFreeQ]^4] (* Vaclav Kotesovec, May 22 2020 *)

allpwrfact(n,p) = { local(x,j,ln,y,flag); for(x=4,n, y=Vec(factor(x)); ln = length(y[1]); flag=0; for(j=1,ln, if(y[2][j]==p,flag++); ); if(flag==ln,print1(x",")); ) } \\ All prime factors are raised to the power p

from math import isqrt
from sympy import mobius
def A113849(n):
    def f(x): return n+x-sum(mobius(k)*(x//k**2) for k in range(1, isqrt(x)+1))
    kmin, kmax = 1,2
    while f(kmax) >= kmax:
        kmax <<= 1
    while True:
        kmid = kmax+kmin>>1
        if f(kmid) < kmid:
            kmax = kmid
        else:
            kmin = kmid
        if kmax-kmin <= 1:
            break
    return kmax**4 # Chai Wah Wu, Aug 19 2024

From Peter Munn, Oct 31 2019: (Start)
a(n) = A005117(n+1)^4.
{a(n)} = {A225546(A000351(n)) : n >= 0} \ {1}, where {a(n)} denotes the set of integers in the sequence.
(End)
Sum_{k>=1} 1/a(k) = zeta(4)/zeta(8) - 1 = 105/Pi^4 - 1. - Amiram Eldar, May 22 2020

More terms from Robert G. Wilson v, Jan 26 2006

A329050 Square array A(n,k) = prime(n+1)^(2^k), read by descending antidiagonals (0,0), (0,1), (1,0), (0,2), (1,1), (2,0), ...; Fermi-Dirac primes (A050376) in matrix form, sorted into rows by their prime divisor.

Original entry on oeis.org

2, 4, 3, 16, 9, 5, 256, 81, 25, 7, 65536, 6561, 625, 49, 11, 4294967296, 43046721, 390625, 2401, 121, 13, 18446744073709551616, 1853020188851841, 152587890625, 5764801, 14641, 169, 17, 340282366920938463463374607431768211456, 3433683820292512484657849089281, 23283064365386962890625, 33232930569601, 214358881, 28561, 289, 19

Offset: 0

Antti Karttunen and Peter Munn, Nov 02 2019

This sequence is a permutation of A050376, so every positive integer is the product of a unique subset, S_factors, of its terms. If we restrict S_factors to be chosen from a subset, S_0, consisting of numbers from specified rows and/or columns of this array, there are notable sequences among those that may be generated. See the examples. Other notable sequences can be generated if we restrict the intersection of S_factors with specific rows/columns to have even cardinality. In any of the foregoing cases, the numbers in the resulting sequence form a group under the binary operation A059897(.,.).
Shares with array A246278 the property that columns grow downward by iterating A003961, and indeed, this array can be obtained from A246278 by selecting its columns 1, 2, 8, 128, ..., 2^((2^k)-1), for k >= 0.
A(n,k) is the image of the lattice point with coordinates X=n and Y=k under the inverse of the bijection f defined in the first comment of A306697. This geometric relationship can be used to construct an isomorphism from the polynomial ring GF(2)[x,y] to a ring over the positive integers, using methods similar to those for constructing A297845 and A306697. See A329329, the ring's multiplicative operator, for details.

			The top left 5 X 5 corner of the array:
  n\k |   0     1       2           3                   4
  ----+-------------------------------------------------------
   0  |   2,    4,     16,        256,              65536, ...
   1  |   3,    9,     81,       6561,           43046721, ...
   2  |   5,   25,    625,     390625,       152587890625, ...
   3  |   7,   49,   2401,    5764801,     33232930569601, ...
   4  |  11,  121,  14641,  214358881,  45949729863572161, ...
Column 0 continues as a list of primes, column 1 as a list of their squares, column 2 as a list of their 4th powers, and so on.
Every nonnegative power of 2 (A000079) is a product of a unique subset of numbers from row 0; every squarefree number (A005117) is a product of a unique subset of numbers from column 0. Likewise other rows and columns generate the sets of numbers from sequences:
Row 1:                 A000244 Powers of 3.
Column 1:              A062503 Squares of squarefree numbers.
Row 2:                 A000351 Powers of 5.
Column 2:              A113849 4th powers of squarefree numbers.
Union of rows 0 and 1:     A003586 3-smooth numbers.
Union of columns 0 and 1:  A046100 Biquadratefree numbers.
Union of row 0 / column 0: A122132 Oddly squarefree numbers.
Row 0 excluding column 0:  A000302 Powers of 4.
Column 0 excluding row 0:  A056911 Squarefree odd numbers.
All rows except 0:         A005408 Odd numbers.
All columns except 0:      A000290\{0} Positive squares.
All rows except 1:         A001651 Numbers not divisible by 3.
All columns except 1:      A252895 (have odd number of square divisors).
If, instead of restrictions on choosing individual factors of the product, we restrict the product to be of an even number of terms from each row of the array, we get A262675. The equivalent restriction applied to columns gives us A268390; applied only to column 0, we get A028260 (product of an even number of primes).

Antti Karttunen, Table of n, a(n) for n = 0..77; the first 12 antidiagonals of array
Wikipedia, Polynomial ring

Transpose: A329049.
Permutation of A050376.
Rows 1-4: A001146, A011764, A176594, A165425 (after the two initial terms).
Columns 1-5: A000040, A001248, A030514, A179645, A030635.
Antidiagonal products: A191555.
Subtable of A182944, A242378, A246278, A329332.
A000290, A003961, A225546 are used to express relationship between terms of this sequence.
Related binary operations: A059897, A306697, A329329.
See also the table in the example section.

Table[Prime[#]^(2^k) &[m - k + 1], {m, 0, 7}, {k, m, 0, -1}] // Flatten (* Michael De Vlieger, Dec 28 2019 *)

up_to = 105;
A329050sq(n,k) = (prime(1+n)^(2^k));
A329050list(up_to) = { my(v = vector(up_to), i=0); for(a=0, oo, for(col=0, a, i++; if(i > up_to, return(v)); v[i] = A329050sq(col, a-col))); (v); };
v329050 = A329050list(up_to);
A329050(n) = v329050[1+n];
for(n=0,up_to-1,print1(A329050(n),", ")); \\ Antti Karttunen, Nov 06 2019

A(0,k) = 2^(2^k), and for n > 0, A(n,k) = A003961(A(n-1,k)).
A(n,k) = A182944(n+1,2^k).
A(n,k) = A329332(2^n,2^k).
A(k,n) = A225546(A(n,k)).
A(n,k+1) = A000290(A(n,k)) = A(n,k)^2.

Example annotated for clarity by Peter Munn, Feb 12 2020

A067801 Numbers m such that bigomega(m)=2*omega(m).

Original entry on oeis.org

1, 4, 9, 24, 25, 36, 40, 49, 54, 56, 88, 100, 104, 121, 135, 136, 152, 169, 184, 189, 196, 225, 232, 240, 248, 250, 289, 296, 297, 328, 336, 344, 351, 360, 361, 375, 376, 424, 441, 459, 472, 484, 488, 504, 513, 528, 529, 536, 540, 560, 568, 584, 600, 621, 624

Offset: 1

Benoit Cloitre, Feb 07 2002

nonn

There are A000041(k) distinct prime signatures of length k. - David A. Corneth, Apr 25 2020

A square k is a term iff k belongs to A062503; in this case, k = p_1^2 * p_2^2 *...* p_r^2 and bigomega(k) = 2*omega(k) = 2*r. - Bernard Schott, Apr 25 2020

Enrique Pérez Herrero, Table of n, a(n) for n = 1..5000

Cf. A000041, A001221, A001222.

Cf. also A065127 (subsequence of nonsquares), A062503 (subsequence of squares).

Select[Range[700], PrimeOmega[#] == 2*PrimeNu[#] &] (* Jean-François Alcover, Jun 29 2013 *)

is(n)=my(f=factor(n)[,2]); vecsum(f)==2*#f \\ Charles R Greathouse IV, Oct 15 2015

Numbers m such that A001222(m) = 2*A001221(m)

A153158 a(n) = A007916(n)^2.

Original entry on oeis.org

4, 9, 25, 36, 49, 100, 121, 144, 169, 196, 225, 289, 324, 361, 400, 441, 484, 529, 576, 676, 784, 841, 900, 961, 1089, 1156, 1225, 1369, 1444, 1521, 1600, 1681, 1764, 1849, 1936, 2025, 2116, 2209, 2304, 2500, 2601, 2704, 2809, 2916, 3025, 3136, 3249, 3364, 3481

Offset: 1

Vladimir Joseph Stephan Orlovsky, Dec 19 2008

nonn

A378168(n) is the number of terms <= 10^n. - Chai Wah Wu, Nov 21 2024

			2^2 = 4, 3^2 = 9, 4^2 = 16 = 2^4 is not in the sequence, 5^2 = 25, 6^2 = 36, ...

Reinhard Zumkeller, Table of n, a(n) for n = 1..1000

Cf. A007916, A153147, A153157, A153159, A153160, A062503, A076467, A378168, A378287.

a153158 n = a153158_list !! (n-1)
a153158_list = filter ((== 2) . foldl1 gcd . a124010_row) [2..]
-- Reinhard Zumkeller, Apr 13 2012

q:= n-> is(igcd(seq(i[2], i=ifactors(n)[2]))=2):
select(q, [i^2$i=2..60])[];  # Alois P. Heinz, Nov 26 2024

Select[Range[2,100],GCD@@Last/@FactorInteger@#==1&]^2

from sympy import mobius, integer_nthroot
def A153158(n):
    def f(x): return int(n+1-sum(mobius(k)*(integer_nthroot(x,k)[0]-1) for k in range(2,x.bit_length())))
    m, k = n, f(n)
    while m != k:
        m, k = k, f(k)
    return m**2 # Chai Wah Wu, Aug 13 2024

GCD(exponents in prime factorization of a(n)) = 2, cf. A124010. - Reinhard Zumkeller, Apr 13 2012
Sum_{n>=1} 1/a(n) = zeta(2) - 1 - Sum_{k>=2} mu(k)*(1 - zeta(2*k)) = 0.5444587396... - Amiram Eldar, Jul 02 2022
Intersection of A000290 and A378287. Squares that are not of the form m^k for some k>=3. - Chai Wah Wu, Nov 21 2024

Edited by Ray Chandler, Dec 22 2008

cp's OEIS Frontend

A333749 Number of squarefree divisors of n that are <= sqrt(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A323308 The number of exponential semiproper divisors of n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A062838 Cubes of squarefree numbers.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Python

Formula

Extensions

A329332 Table of powers of squarefree numbers, powers of A019565(n) in increasing order in row n. Square array A(n,k) n >= 0, k >= 0 read by descending antidiagonals.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

A331590 Square array A(n,k) = A225546(A225546(n) * A225546(k)), n >= 1, k >= 1, read by descending antidiagonals.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

A368714 Numbers whose maximal exponent in their prime factorization is even.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

A113849 Numbers whose prime factors are raised to the fourth power.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Python