A049094 -id:A049094 - cp's OEIS frontend

A373123 Sum of all squarefree numbers from 2^(n-1) to 2^n - 1.

1, 5, 18, 63, 218, 891, 3676, 15137, 60580, 238672, 953501, 3826167, 15308186, 61204878, 244709252, 979285522, 3917052950, 15664274802, 62663847447, 250662444349, 1002632090376, 4010544455838, 16042042419476, 64168305037147, 256675237863576

Offset: 1

Gus Wiseman, May 27 2024

nonn

			This is the sequence of row sums of A005117 treated as a triangle with row-lengths A077643:
   1
   2   3
   5   6   7
  10  11  13  14  15
  17  19  21  22  23  26  29  30  31
  33  34  35  37  38  39  41  42  43  46  47  51  53  55  57  58  59  61  62

Counting all numbers (not just squarefree) gives A010036.
For the sectioning of A005117:
Row-lengths are A077643, partial sums A143658.
First column is A372683, delta A373125, indices A372540, firsts of A372475.
Last column is A372889, delta A373126, indices A143658, diffs A077643.
For primes instead of powers of two:
- sum A373197
- length A373198 = A061398 - 1
- maxima A112925, opposite A112926
For prime instead of squarefree:
- sum A293697 (except initial terms)
- length A036378
- min A104080 or A014210, indices A372684 (firsts of A035100)
- max A014234, delta A013603
A000120 counts ones in binary expansion (binary weight), zeros A080791.
A005117 lists squarefree numbers, first differences A076259.
A030190 gives binary expansion, reversed A030308.
A070939 or (preferably) A029837 gives length of binary expansion.
Cf. A372473 (firsts of A372472), A372541 (firsts of A372433).
Cf. A029931, A048793, A049093, A049094, A059015, A069010, A077641.

Table[Total[Select[Range[2^(n-1),2^n-1],SquareFreeQ]],{n,10}]

a(n) = my(s=0); forsquarefree(i=2^(n-1), 2^n-1, s+=i[1]); s; \\ Michel Marcus, May 29 2024

A375709 Numbers k such that A013929(k+1) = A013929(k) + 1. In other words, the k-th nonsquarefree number is 1 less than the next nonsquarefree number.

Original entry on oeis.org

2, 8, 10, 15, 17, 18, 24, 28, 30, 37, 38, 43, 45, 47, 48, 52, 56, 59, 65, 67, 69, 73, 80, 85, 92, 93, 94, 100, 106, 108, 111, 115, 122, 125, 128, 133, 134, 137, 138, 141, 143, 145, 148, 153, 158, 165, 166, 171, 178, 183, 184, 192, 196, 198, 203, 205, 207, 210

Offset: 1

Gus Wiseman, Sep 01 2024

nonn

The difference of consecutive nonsquarefree numbers is at least 1 and at most 4, so there are four disjoint sequences of this type:
- A375709 (difference 1) (this)
- A375710 (difference 2)
- A375711 (difference 3)
- A375712 (difference 4)

			The initial nonsquarefree numbers are 4, 8, 9, 12, 16, 18, 20, 24, 25, which first increase by one after the 2nd and 8th terms.

Positions of 1's in A078147.
For prime-powers (A246655) we have A375734.
First differences are A373409.
For prime numbers we have A375926.
For squarefree instead of nonsquarefree we have A375927.
A005117 lists the squarefree numbers, first differences A076259.
A013929 lists the nonsquarefree numbers, first differences A078147.
A053797 gives lengths of runs of nonsquarefree numbers, firsts A373199.
A375707 counts squarefree numbers between consecutive nonsquarefree numbers.
Cf. A007674, A049094, A061399, A068781, A072284, A110969, A120992, A294242, A373410, A373573.

Join@@Position[Differences[Select[Range[100],!SquareFreeQ[#]&]],1]

Complement of A375710 U A375711 U A375712.

A086251 Number of primitive prime factors of 2^n - 1.

Original entry on oeis.org

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

Offset: 1

T. D. Noe, Jul 14 2003

A prime factor of 2^n - 1 is called primitive if it does not divide 2^r - 1 for any r < n. Equivalently, p is a primitive prime factor of 2^n - 1 if ord(2,p) = n. Zsigmondy's theorem says that there is at least one primitive prime factor for n > 1, except for n=6. See A086252 for those n that have a record number of primitive prime factors.
Number of odd primes p such that A002326((p-1)/2) = n. Number of occurrences of number n in A014664. - Thomas Ordowski, Sep 12 2017
The prime factors are not counted with multiplicity, which matters for a(364)=4 and a(1755)=6. - Jeppe Stig Nielsen, Sep 01 2020

			a(11) = 2 because 2^11 - 1 = 23*89 and both 23 and 89 have order 11.

Table of n, a(n) for n = 1..1206
Eric Weisstein's World of Mathematics, Zsigmondy Theorem

Cf. A046800, A046051 (number of prime factors, with repetition, of 2^n-1), A086252, A002588, A005420, A002184, A046801, A049093, A049094, A059499, A085021, A097406, A112927, A237043.

Join[{0}, Table[cnt=0; f=Transpose[FactorInteger[2^n-1]][[1]]; Do[If[MultiplicativeOrder[2, f[[i]]]==n, cnt++ ], {i, Length[f]}]; cnt, {n, 2, 200}]]

a(n) = sumdiv(n, d, moebius(n/d)*omega(2^d-1)); \\ Michel Marcus, Sep 12 2017

a(n) = my(m=polcyclo(n, 2)); omega(m/gcd(m,n)) \\ Jeppe Stig Nielsen, Sep 01 2020

a(n) = Sum{d|n} mu(n/d) A046800(d), inverse Mobius transform of A046800.
a(n) <= A182590(n). - Thomas Ordowski, Sep 14 2017
a(n) = A001221(A064078(n)). - Thomas Ordowski, Oct 26 2017

Terms to a(500) in b-file from T. D. Noe, Nov 11 2010
Terms a(501)-a(1200) in b-file from Charles R Greathouse IV, Sep 14 2017
Terms a(1201)-a(1206) in b-file from Max Alekseyev, Sep 11 2022

A372889 Greatest squarefree number <= 2^n.

Original entry on oeis.org

1, 2, 3, 7, 15, 31, 62, 127, 255, 511, 1023, 2047, 4094, 8191, 16383, 32767, 65535, 131071, 262142, 524287, 1048574, 2097149, 4194303, 8388607, 16777214, 33554431, 67108863, 134217727, 268435455, 536870911, 1073741822, 2147483647, 4294967295, 8589934591

Offset: 0

Gus Wiseman, May 27 2024

nonn

			The terms together with their binary expansions and binary indices begin:
      1:               1 ~ {1}
      2:              10 ~ {2}
      3:              11 ~ {1,2}
      7:             111 ~ {1,2,3}
     15:            1111 ~ {1,2,3,4}
     31:           11111 ~ {1,2,3,4,5}
     62:          111110 ~ {2,3,4,5,6}
    127:         1111111 ~ {1,2,3,4,5,6,7}
    255:        11111111 ~ {1,2,3,4,5,6,7,8}
    511:       111111111 ~ {1,2,3,4,5,6,7,8,9}
   1023:      1111111111 ~ {1,2,3,4,5,6,7,8,9,10}
   2047:     11111111111 ~ {1,2,3,4,5,6,7,8,9,10,11}
   4094:    111111111110 ~ {2,3,4,5,6,7,8,9,10,11,12}
   8191:   1111111111111 ~ {1,2,3,4,5,6,7,8,9,10,11,12,13}
  16383:  11111111111111 ~ {1,2,3,4,5,6,7,8,9,10,11,12,13,14}
  32767: 111111111111111 ~ {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15}

Positions of these terms in A005117 are A143658.
For prime instead of squarefree we have A014234, delta A013603.
For primes instead of powers of two we have A112925, opposite A112926.
Least squarefree number >= 2^n is A372683, delta A373125, indices A372540.
The opposite for prime instead of squarefree is A372684, firsts of A035100.
The delta (difference from 2^n) is A373126.
A000120 counts ones in binary expansion (binary weight), zeros A080791.
A005117 lists squarefree numbers, first differences A076259.
A030190 gives binary expansion, reversed A030308, length A070939 or A029837.
A061398 counts squarefree numbers between primes, exclusive.
A077643 counts squarefree terms between powers of 2, run-lengths of A372475.
Cf. A029931, A048793, A049093, A049094, A077641, A372433, A372472, A372473, A372541, A373197, A373198.

Table[NestWhile[#-1&,2^n,!SquareFreeQ[#]&],{n,0,15}]

a(n) = my(k=2^n); while (!issquarefree(k), k--); k; \\ Michel Marcus, May 29 2024

a(n) = A005117(A143658(n)).

a(n) = A070321(2^n). - R. J. Mathar, May 31 2024

A373408 Minimum of the n-th maximal antirun of squarefree numbers differing by more than one.

Original entry on oeis.org

1, 2, 3, 6, 7, 11, 14, 15, 22, 23, 30, 31, 34, 35, 38, 39, 42, 43, 47, 58, 59, 62, 66, 67, 70, 71, 74, 78, 79, 83, 86, 87, 94, 95, 102, 103, 106, 107, 110, 111, 114, 115, 119, 123, 130, 131, 134, 138, 139, 142, 143, 146, 155, 158, 159, 166, 167, 174, 178, 179

Offset: 1

Gus Wiseman, Jun 05 2024

nonn

The maximum is given by A007674.
An antirun of a sequence (in this case A005117) is an interval of positions at which consecutive terms differ by more than one.
Consists of 1 and all squarefree numbers n such that n - 1 is also squarefree.

			Row-minima of:
   1
   2
   3   5
   6
   7  10
  11  13
  14
  15  17  19  21
  22
  23  26  29
  30
  31  33
  34
  35  37
  38
  39  41
  42
  43  46
  47  51  53  55  57

Gus Wiseman, Four statistics for runs and antiruns of prime, nonprime, squarefree, and nonsquarefree numbers

Functional neighbors: A005381, A006512, A007674, A072284, A373127, A373410, A373411.
A005117 lists the squarefree numbers, first differences A076259.
A013929 lists the nonsquarefree numbers, first differences A078147.
Cf. A001223, A049093, A049094, A061398, A077641, A077643, A112925, A112926, A350842, A372683, A373123.

First/@Split[Select[Range[100],SquareFreeQ],#1+1!=#2&]//Most

a(1) = 1; a(n>1) = A007674(n-1) + 1.

A280302 Smallest k such that (n+1)^k - n^k is divisible by a square > 1.

Original entry on oeis.org

6, 10, 4, 2, 21, 20, 3, 20, 33, 6, 20, 2, 2, 5, 21, 6, 10, 6, 6, 4, 4, 2, 7, 2, 6, 3, 10, 4, 18, 6, 2, 10, 20, 6, 57, 17, 2, 14, 42, 2, 10, 10, 6, 39, 14, 4, 10, 20, 2, 21, 20, 6, 4, 21, 6, 20, 10, 2, 5, 2, 5, 2, 20, 6, 42, 14, 2, 6, 55, 6, 3, 7, 2, 42, 3, 2

Offset: 1

Juri-Stepan Gerasimov, Dec 31 2016

nonn

a(209) > 70.

a(n) <= p^2 - p, where p = A053670(n). - Jinyuan Wang, May 15 2020

			a(1) = 6 is because (1+1)^6 - 1^6 = 63 is divisible by 9 = 3^2.

Lars Blomberg, Table of n, a(n) for n = 1..208

Cf. A049094, A053670, A237043, A280203, A280208, A280209, A280296, A282176, A282177, A280307.

Cf. A289629, A280547, A289985.

a(n) = {my(k = 1); while (issquarefree((n+1)^k - n^k), k++); k;} \\ Michel Marcus, Jan 14 2017

More terms from Lars Blomberg, Jan 10 2017

A373573 Least k such that the k-th maximal antirun of nonsquarefree numbers has length n. Position of first appearance of n in A373409.

Original entry on oeis.org

6, 1, 18, 8, 4, 2, 10, 52, 678

Offset: 1

Gus Wiseman, Jun 10 2024

nonn

The sorted version is A373574.
An antirun of a sequence (in this case A013929) is an interval of positions at which consecutive terms differ by more than one.
Is this sequence finite? Are there only 9 terms?

			The maximal antiruns of nonsquarefree numbers begin:
   4   8
   9  12  16  18  20  24
  25  27
  28  32  36  40  44
  45  48
  49
  50  52  54  56  60  63
  64  68  72  75
  76  80
  81  84  88  90  92  96  98
  99
The a(n)-th rows are:
    49
     4    8
   148  150  152
    64   68   72   75
    28   32   36   40   44
     9   12   16   18   20   24
    81   84   88   90   92   96   98
   477  480  484  486  488  490  492  495
  6345 6348 6350 6352 6354 6356 6358 6360 6363

Gus Wiseman, Four statistics for runs and antiruns of prime, nonprime, squarefree, and nonsquarefree numbers

For composite runs we have A073051, firsts of A176246, sorted A373400.
For squarefree runs we have the triple (5,3,1), firsts of A120992.
For prime runs we have the triple (1,3,2), firsts of A175632.
For squarefree antiruns we have A373128, firsts of A373127, sorted A373200.
For nonsquarefree runs we have A373199 (assuming sorted), firsts of A053797.
For prime antiruns we have A373401, firsts of A027833, sorted A373402.
For composite antiruns we have the triple (2,7,1), firsts of A373403.
Positions of first appearances in A373409.
The sorted version is A373574.
A005117 lists the squarefree numbers, first differences A076259.
A013929 lists the nonsquarefree numbers, first differences A078147.
Cf. A007674, A025157, A049094, A061399, A068781, A072284, A110969, A251092, A294242, A373410, A373412.

t=Length/@Split[Select[Range[10000],!SquareFreeQ[#]&],#1+1!=#2&]//Most;
spna[y_]:=Max@@Select[Range[Length[y]],SubsetQ[t,Range[#1]]&];
Table[Position[t,k][[1,1]],{k,spna[t]}]

A373415 Maximum of the n-th maximal run of squarefree numbers.

Original entry on oeis.org

3, 7, 11, 15, 17, 19, 23, 26, 31, 35, 39, 43, 47, 51, 53, 55, 59, 62, 67, 71, 74, 79, 83, 87, 89, 91, 95, 97, 103, 107, 111, 115, 119, 123, 127, 131, 134, 139, 143, 146, 149, 151, 155, 159, 161, 163, 167, 170, 174, 179, 183, 187, 191, 195, 197, 199, 203, 206

Offset: 1

Gus Wiseman, Jun 05 2024

nonn

The minimum is given by A072284.
A run of a sequence (in this case A005117) is an interval of positions at which consecutive terms differ by one.
Consists of all squarefree numbers k such that k + 1 is not squarefree.

			Row-maxima of:
   1   2   3
   5   6   7
  10  11
  13  14  15
  17
  19
  21  22  23
  26
  29  30  31
  33  34  35
  37  38  39
  41  42  43
  46  47
  51
  53
  55
  57  58  59

Gus Wiseman, Four statistics for runs and antiruns of prime, nonprime, squarefree, and nonsquarefree numbers

Functional neighbors: A006093, A007674, A067774, A072284, A120992, A373413.
A005117 lists the squarefree numbers, first differences A076259.
A013929 lists the nonsquarefree numbers, first differences A078147.
Cf. A049093, A049094, A061398, A069010, A077641, A077643, A112925, A112926, A143658, A372683, A373125, A373126.

Last/@Split[Select[Range[100],SquareFreeQ],#1+1==#2&]//Most

a(n) = A070321(A072284(n+1) - 1).

A280149 Numbers k such that 3^k - 2^k is not squarefree.

Original entry on oeis.org

10, 11, 20, 22, 30, 33, 40, 42, 44, 50, 52, 55, 57, 60, 66, 70, 77, 80, 84, 88, 90, 99, 100, 104, 110, 114, 120, 121, 126, 130, 132, 140, 143, 150, 154, 156, 160, 165, 168, 170, 171, 176, 180, 187, 190, 198, 200, 203, 208, 209, 210, 220, 228, 230, 231, 240, 242, 250, 252, 253, 260, 264, 270, 272, 275, 280, 285

Offset: 1

Juri-Stepan Gerasimov, Dec 27 2016

nonn

Primitive members (not multiples of earlier terms) are 10, 11, 42, 52, 57, 203, 272, 497, .... - Juri-Stepan Gerasimov and Charles R Greathouse IV, Dec 27 2016
From Robert Israel, Dec 27 2016: (Start)
Numbers divisible by the order of 3/2 mod p^2 for some prime p > 3.
Includes numbers divisible by p^2-p for some prime p > 3.
If k is a member, then so are all multiples of k. (End)

			10 is in this sequence because 3^10 - 2^10 = 58025 = 5^2*11*211.

Charles R Greathouse IV and Amiram Eldar, Table of n, a(n) for n = 1..134 (terms 1..127 from Charles R Greathouse IV)

Cf. A001047, A005117, A013929, A049094, A057468, A082869, A282688, A282689.

[n: n in [1..156] | not IsSquarefree(3^n-2^n)];

Select[Range@ 120, ! SquareFreeQ[3^# - 2^#] &] (* Michael De Vlieger, Dec 27 2016 *)

is(n)=issquarefree(3^n-2^n)==0 \\ Charles R Greathouse IV, Dec 27 2016

More terms from Charles R Greathouse IV, Dec 27 2016

A373414 Sum of the n-th maximal run of nonsquarefree numbers differing by one.

Original entry on oeis.org

4, 17, 12, 16, 18, 20, 49, 55, 32, 36, 40, 89, 147, 52, 54, 56, 60, 127, 68, 72, 151, 161, 84, 88, 90, 92, 96, 297, 104, 108, 112, 233, 241, 375, 128, 132, 271, 140, 144, 295, 150, 305, 156, 160, 162, 164, 337, 343, 351, 180, 184, 377, 192, 196, 198, 200, 204

Offset: 1

Gus Wiseman, Jun 06 2024

nonn

The length of this run is given by A053797.

A run of a sequence (in this case A013929) is an interval of positions at which consecutive terms differ by one.

			Row-sums of:
   4
   8   9
  12
  16
  18
  20
  24  25
  27  28
  32
  36
  40
  44  45
  48  49  50

Gus Wiseman, Four statistics for runs and antiruns of prime, nonprime, squarefree, and nonsquarefree numbers

The partial sums are a subset of A329472.
Functional neighbors: A053797, A053806, A054265, A373406, A373412, A373413.
A005117 lists the squarefree numbers, first differences A076259.
A013929 lists the nonsquarefree numbers, first differences A078147.
Cf. A049093, A049094, A061398, A061399, A077641, A077643, A101836, A143658 A294242, A373123, A373197.

Total/@Split[Select[Range[100],!SquareFreeQ[#]&],#1+1==#2&]//Most

cp's OEIS Frontend

A373123 Sum of all squarefree numbers from 2^(n-1) to 2^n - 1.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

PARI

A375709 Numbers k such that A013929(k+1) = A013929(k) + 1. In other words, the k-th nonsquarefree number is 1 less than the next nonsquarefree number.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A086251 Number of primitive prime factors of 2^n - 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

Extensions

A372889 Greatest squarefree number <= 2^n.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

PARI

Formula

A373408 Minimum of the n-th maximal antirun of squarefree numbers differing by more than one.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A280302 Smallest k such that (n+1)^k - n^k is divisible by a square > 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Extensions

A373573 Least k such that the k-th maximal antirun of nonsquarefree numbers has length n. Position of first appearance of n in A373409.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A373415 Maximum of the n-th maximal run of squarefree numbers.

Views

Author

Keywords