A385223 -id:A385223 - cp's OEIS frontend

A014663 Primes p such that multiplicative order of 2 modulo p is odd.

7, 23, 31, 47, 71, 73, 79, 89, 103, 127, 151, 167, 191, 199, 223, 233, 239, 263, 271, 311, 337, 359, 367, 383, 431, 439, 463, 479, 487, 503, 599, 601, 607, 631, 647, 719, 727, 743, 751, 823, 839, 863, 881, 887, 911, 919, 937, 967, 983, 991, 1031, 1039, 1063

Offset: 1

N. J. A. Sloane, Dec 11 1999

nonn

Or, primes p which do not divide 2^n+1 for any n.
The possibility n=0 in the above rules out A072936(1)=2; apart from this, a(n)=A072936(n+1). - M. F. Hasler, Dec 08 2007
The order of 2 mod p is odd iff 2^k=1 mod p, where p-1=2^s*k, k odd. - M. F. Hasler, Dec 08 2007
Has density 7/24 (Hasse).
From Jianing Song, Jun 27 2025: (Start)
The multiplicative order of 2 modulo a(n) is A139686(n).
Contained in primes congruent to 1 or 7 modulo 8 (primes p such that 2 is a quadratic residue modulo p, A001132), and contains primes congruent to 7 modulo 8 (A007522). (End)

Christopher Adler and Jean-Paul Allouche (2022), Finite self-similar sequences, permutation cycles, and music composition, Journal of Mathematics and the Arts, 16:3, 244-261, DOI: 10.1080/17513472.2022.2116745.
P. Moree, Appendix to V. Pless et al., Cyclic Self-Dual Z_4 Codes, Finite Fields Applic., vol. 3 pp. 48-69, 1997.

T. D. Noe, Table of n, a(n) for n=1..1000
H. H. Hasse, Über die Dichte der Primzahlen p, ... , Math. Ann., 168 (1966), 19-23.
J. C. Lagarias, The set of primes dividing the Lucas numbers has density 2/3, Pacific J. Math., 118. No. 2, (1985), 449-461.
Chunlei Li, Nian Li, and Matthew G. Parker, Complementary Sequence Pairs of Types II and III. [From _N. J. A. Sloane_, Jun 16 2012]

Cf. Complement in primes of A091317.
Cf. A001132, A007522, A040098, A045315, A049564, A139686 (the actual multiplicative orders).
Cf. Essentially the same as A072936 (except for missing leading term 2).
Cf. other bases: this sequence (base 2), A385220 (base 3), A385221 (base 4), A385192 (base 5), A163183 (base -2), A385223 (base -3), A385224 (base -4), A385225 (base -5).

okQ[p_] := OddQ[MultiplicativeOrder[2, p]];
Select[Prime[Range[1000]], okQ] (* Jean-François Alcover, Nov 23 2024 *)

isA014663(p)=1==Mod(1,p)<<((p-1)>>factor(p-1,2)[1,2])
listA014663(N=1000)=forprime(p=3,N,isA014663(p)&print1(p", ")) \\ M. F. Hasler, Dec 08 2007

lista(nn) = {forprime(p=3, nn, if (znorder(Mod(2, p)) % 2, print1(p, ", ")););} \\ Michel Marcus, Feb 06 2015

Edited by M. F. Hasler, Dec 08 2007

More terms from Max Alekseyev, Feb 06 2010

A163183 Primes dividing 2^j + 1 for some odd j.

Original entry on oeis.org

3, 11, 19, 43, 59, 67, 83, 107, 131, 139, 163, 179, 211, 227, 251, 281, 283, 307, 331, 347, 379, 419, 443, 467, 491, 499, 523, 547, 563, 571, 587, 617, 619, 643, 659, 683, 691, 739, 787, 811, 827, 859, 883, 907, 947, 971, 1019, 1033, 1049, 1051, 1091, 1097

Offset: 1

Christopher J. Smyth, Jul 22 2009

Also the primes p for which ord_p(-2) is odd, as (-2)^j == 1 (mod p).
All such p are = 1 or 3 mod 8, so sequence is subsequence of A033200, as (-2)^{j+1} == -2 (mod p) implies that (-2/p) = 1, p == 1 or 3 (mod 8).
Claim: Sequence contains all primes = 3 mod 8, so contains A007520 as a subsequence.
Proof: If p = 8r + 3 then 2^{4r+1} == 1 or -1 (mod p). If former, then (2^{2r+1})^2 == 2 (mod p), (2/p) = 1, only true for p == 1 or 7 (mod 8). So p | 2^{4r+1} + 1.
Also contains some primes == 1 (mod 8), given in A163184. So sequence is a union of A007520 and A163184.
Claim: For every p in sequence and every 2^k, the equation x^{2^k} == -2 (mod p) is soluble. Hence sequence is a subsequence of A033203 (k=1), A051071 (k=2), A051073 (k=3), A051077 (k=4), A051085 (k=5), A051101 (k=6), ....
Proof: Put x == (-2)^u (mod p). Then using (-2)^j == 1 (mod p), we can solve x^{2^k} == -2 (mod p) if can find u and v such that u*2^k + v*j = 1, possible as gcd(2^k, j) = 1.
From Jianing Song, Jun 22 2025: (Start)
The multiplicative order of -2 modulo a(n) is A385228(n).
Contained in primes congruent to 1 or 3 modulo 8 (primes p such that -2 is a quadratic residue modulo p, A033200), and contains primes congruent to 3 modulo 8 (A007520).
Conjecture: this sequence has density 7/24 among the primes (see A014663). (End)

			11 is in sequence as 11 | 2^5 + 1; 281 (smallest element of the sequence == 1 (mod 8)) is in the sequence as 281 | 2^35 + 1.

Jianing Song, Table of n, a(n) for n = 1..10000

Sequence is a union of A007520 and A163184.
Subsequence of A033200. Contains A007520 as a subsequence.
Cf. A385228 (the actual multiplicative orders).
Cf. other bases: A014663 (base 2), A385220 (base 3), A385221 (base 4), A385192 (base 5), this sequence (base -2), A385223 (base -3), A385224 (base -4), A385225 (base -5).

with(numtheory):A:=3:p:=3: for c to 500 do p:=nextprime(p);if order(-2,p) mod 2=1 then A:=A,p;;fi;od:A;

Select[Prime[Range[200]], OddQ[MultiplicativeOrder[-2, #]] &] (* Paolo Xausa, Jun 30 2025 *)

lista(nn) = forprime(p=3, nn, if(znorder(Mod(-2, p))%2, print1(p, ", "))); \\ Jinyuan Wang, Mar 23 2020

A385192 Primes p such that multiplicative order of 5 modulo p is odd.

Original entry on oeis.org

2, 11, 19, 31, 59, 71, 79, 101, 109, 131, 139, 149, 151, 179, 181, 191, 199, 211, 239, 251, 269, 271, 311, 331, 359, 379, 389, 401, 409, 419, 431, 439, 461, 479, 491, 499, 541, 569, 571, 599, 619, 631, 659, 691, 719, 739, 751, 811, 829, 839, 859, 911, 919, 941, 971, 991

Offset: 1

Jianing Song, Jun 20 2025

The multiplicative order of 5 modulo a(n) is A385193(n).
Contained in primes congruent to 1 or 4 modulo 5 (primes p such that 5 is a quadratic residue modulo p, A045468), and contains primes congruent to 11 or 19 modulo 20 (A122869).
Conjecture: this sequence has density 1/3 among the primes.

			101 is a term since 5^25 == 1 (mod 101).

Jianing Song, Table of n, a(n) for n = 1..10000

Subsequence of A040105, which (without the terms 2 and 5) is itself a subsequence of A045468.
Contains A122869 as a proper subsequence.
Cf. A385193 (the actual multiplicative orders).
Cf. other bases: A014663 (base 2), A385220 (base 3), A385221 (base 4), this sequence (base 5), A163183 (base -2), A385223 (base -3), A385224 (base -4), A385225 (base -5).

Select[Prime[Range[200]], OddQ[MultiplicativeOrder[5, #]] &] (* Paolo Xausa, Jun 28 2025 *)

isA385192(p) = isprime(p) && (p!=5) && znorder(Mod(5,p))%2

A385220 Primes p such that multiplicative order of 3 modulo p is odd.

Original entry on oeis.org

2, 11, 13, 23, 47, 59, 71, 83, 107, 109, 131, 167, 179, 181, 191, 227, 229, 239, 251, 263, 277, 311, 313, 347, 359, 383, 419, 421, 431, 433, 443, 467, 479, 491, 503, 541, 563, 587, 599, 601, 647, 659, 683, 709, 719, 733, 743, 757, 827, 829, 839, 863, 887, 911, 947, 971, 983

Offset: 1

Jianing Song, Jun 22 2025

The multiplicative order of 3 modulo a(n) is A385226(n).
Without 2, contained in primes congruent to 1 or 11 modulo 12 (primes p such that 3 is a quadratic residue modulo p; A097933), and contains primes congruent to 11 modulo 12 (A068231).
Conjecture: this sequence has density 1/3 among the primes.

Jianing Song, Table of n, a(n) for n = 1..10000

A068231 < this sequence < A045317 < A040101 < A097933 (ignoring terms 2, 3), where Ax < Ay means that Ax is a subsequence of Ay.
Complement of A301916 in {primes} \ {3}.
Cf. A385226 (the actual multiplicative orders).
Cf. other bases: A014663 (base 2), this sequence (base 3), A385221 (base 4), A385192 (base 5), A163183 (base -2), A385223 (base -3), A385224 (base -4), A385225 (base -5).

Select[Prime[Range[200]], OddQ[MultiplicativeOrder[3, #]] &] (* Paolo Xausa, Jun 28 2025 *)

isA385220(p) = isprime(p) && (p!=3) && znorder(Mod(3,p))%2

A385224 Primes p such that multiplicative order of -4 modulo p is odd.

Original entry on oeis.org

5, 13, 29, 37, 41, 53, 61, 101, 109, 113, 137, 149, 157, 173, 181, 197, 229, 269, 277, 293, 313, 317, 349, 373, 389, 397, 409, 421, 457, 461, 509, 521, 541, 557, 569, 593, 613, 653, 661, 677, 701, 709, 733, 757, 761, 773, 797, 809, 821, 829, 853, 857, 877, 941, 953, 997

Offset: 1

Jianing Song, Jun 22 2025

The multiplicative order of -4 modulo a(n) is A385230(n).
Different from A133204: 593 is here but not in A133204, and 1601 is in A133204 but not here.
The sequence contains no primes congruent to 3 modulo 4 and all primes congruent to 5 modulo 8:
  - If p is a term of this sequence, then -4 is a quadratic residue modulo p, so p == 1 (mod 4);
  - For p == 1 (mod 4), we have (-4)^((p-1)/4) == (+-1+-i)^(p-1) == 1 (mod p), where i is a solution to i^2 == -1 (mod p).
Conjecture: this sequence has density 1/3 among the primes.

Jianing Song, Table of n, a(n) for n = 1..10000

Subsequence of A002144 (primes congruent to 1 modulo 4).
Contains A007521 (primes congruent to 5 or modulo 8) as a proper subsequence.
Cf. A385230 (the actual multiplicative orders).
Cf. other bases: A014663 (base 2), A385220 (base 3), A385221 (base 4), A385192 (base 5), A163183 (base -2), A385223 (base -3), this sequence (base -4), A385225 (base -5).
Cf. A133204.

Select[Prime[Range[200]], OddQ[MultiplicativeOrder[-4, #]] &] (* Paolo Xausa, Jun 28 2025 *)

isA385224(p) = isprime(p) && (p!=2) && znorder(Mod(-4,p))%2

A385221 Primes p such that multiplicative order of 4 modulo p is odd.

Original entry on oeis.org

3, 7, 11, 19, 23, 31, 43, 47, 59, 67, 71, 73, 79, 83, 89, 103, 107, 127, 131, 139, 151, 163, 167, 179, 191, 199, 211, 223, 227, 233, 239, 251, 263, 271, 281, 283, 307, 311, 331, 337, 347, 359, 367, 379, 383, 419, 431, 439, 443, 463, 467, 479, 487, 491, 499, 503, 523, 547, 563

Offset: 1

Jianing Song, Jun 22 2025

The multiplicative order of 4 modulo a(n) is A385227(n).
Primes p such that neither ord(2,p) nor ord(-2,p) is divisible by 4, where ord(a,m) is the multiplicative order of a modulo m. (Note that we have either (a) ord(2,p) = ord(-2,p) and both are even; (b) ord(-2,p) = 2*ord(2,p), ord(2,p) is odd, ord(-2,p) == 2 (mod 4); or (c) ord(2,p) = 2*ord(-2,p), ord(-2,p) is odd, ord(2,p) == 2 (mod 4)).
Contains all primes congruent to 3 modulo 4 (A002145).
Conjecture: this sequence has density 7/12 among the primes (see A014663).

Jianing Song, Table of n, a(n) for n = 1..10000

Contains A002145, A014663, and A163183.
Cf. A385227 (the actual multiplicative orders).
Cf. other bases: A014663 (base 2), A385220 (base 3), this sequence (base 4), A385192 (base 5), A163183 (base -2), A385223 (base -3), A385224 (base -4), A385225 (base -5).

Select[Prime[Range[200]], OddQ[MultiplicativeOrder[4, #]] &] (* Paolo Xausa, Jun 28 2025 *)

isA385221(p) = isprime(p) && (p!=2) && znorder(Mod(4,p))%2

A385225 Primes p such that multiplicative order of -5 modulo p is odd.

Original entry on oeis.org

2, 3, 7, 23, 29, 43, 47, 61, 67, 83, 103, 107, 127, 163, 167, 223, 227, 229, 263, 283, 307, 347, 349, 367, 383, 421, 443, 449, 463, 467, 487, 503, 509, 521, 523, 547, 563, 587, 607, 643, 647, 661, 683, 701, 709, 727, 743, 761, 787, 821, 823, 827, 863, 883, 887, 907, 947, 967, 983

Offset: 1

Jianing Song, Jun 22 2025

The multiplicative order of -5 modulo a(n) is A385231(n).
Contained in primes congruent to 1, 3, 7, 9 modulo 20 (primes p such that -5 is a quadratic residue modulo p, A139513), and contains primes congruent to 3, 7 modulo 20 (A122870).
Conjecture: this sequence has density 1/3 among the primes.

Jianing Song, Table of n, a(n) for n = 1..10000

Subsequence of A139513. Contains A122870 as a subsequence.
Cf. A385231 (the actual multiplicative orders).
Cf. other bases: A014663 (base 2), A385220 (base 3), A385221 (base 4), A385192 (base 5), A163183 (base -2), A385223 (base -3), A385224 (base -4), this sequence (base -5).

Select[Prime[Range[200]], OddQ[MultiplicativeOrder[-5, #]] &] (* Paolo Xausa, Jun 28 2025 *)

isA385225(p) = isprime(p) && (p!=5) && znorder(Mod(-5,p))%2

A385229 Odd multiplicative orders of -3 modulo primes.

Original entry on oeis.org

1, 3, 9, 15, 9, 21, 5, 11, 39, 17, 63, 69, 25, 39, 81, 99, 105, 111, 15, 141, 17, 165, 87, 61, 93, 189, 99, 73, 231, 243, 83, 29, 7, 285, 303, 51, 103, 315, 107, 11, 345, 121, 369, 375, 131, 405, 411, 71, 429, 219, 63, 453, 153, 117, 161, 165, 83, 17, 519, 105, 531, 267, 543, 561, 117

Offset: 1

Jianing Song, Jun 22 2025

Odd elements in A380482.

a(n) is the multiplicative order of -3 modulo A385223(n).

Jianing Song, Table of n, a(n) for n = 1..10000

Cf. A380482, A385223 (corresponding primes).

Cf. other bases: A139686 (base 2), A385226 (base 3), A385227 (base 4), A385193 (base 5), A385228 (base -2), this sequence (base -3), A385230 (base -4), A385231 (base -5).

Select[Map[MultiplicativeOrder[-3, #] &, Prime[Range[200]]], OddQ] (* Paolo Xausa, Jun 30 2025 *)

forprime(p=2, 1e4, if(p!=3, z=znorder(Mod(-3, p)); if(z%2, print1(z, ", "))))

cp's OEIS Frontend

A014663 Primes p such that multiplicative order of 2 modulo p is odd.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Extensions

A163183 Primes dividing 2^j + 1 for some odd j.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

A385192 Primes p such that multiplicative order of 5 modulo p is odd.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

A385220 Primes p such that multiplicative order of 3 modulo p is odd.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

A385224 Primes p such that multiplicative order of -4 modulo p is odd.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

A385221 Primes p such that multiplicative order of 4 modulo p is odd.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

A385225 Primes p such that multiplicative order of -5 modulo p is odd.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

A385229 Odd multiplicative orders of -3 modulo primes.

Views

Author