[go: up one dir, main page]

login
Revision History for A191088 (Bold, blue-underlined text is an addition; faded, red-underlined text is a deletion.)

Showing entries 1-10 | older changes
Least number k such that the first n primes have Kronecker symbol (p|k) = -1.
(history; published version)
#16 by N. J. A. Sloane at Tue Jan 19 14:00:32 EST 2016
STATUS

editing

approved

#15 by N. J. A. Sloane at Tue Jan 19 14:00:08 EST 2016
COMMENTS

In case k is restricted to be a prime, the condition (p|k) = -1 becomes equivalent to say saying that p is a quadratic non-residue (mod k). - M. F. Hasler, Jan 18 2016

Discussion
Tue Jan 19
14:00
N. J. A. Sloane: Minor correction to third comment
#14 by M. F. Hasler at Mon Jan 18 22:40:02 EST 2016
NAME

Least number k such that the first n primes are not squares mod have Kronecker symbol (p|k) = -1.

COMMENTS

That This implies, but is, not equivalent to, that the first n primes are quadratic non-residues mod k. The first 13 terms are prime[Corrected by _M. Sequence A191089 is similar, but forces k to be primeF. Hasler_, Jan 18 2016]

The first 13 terms are prime. Sequence A191089 is similar, but forces k to be prime.

In case k is restricted to be a prime, the condition (p|k) = -1 becomes equivalent to say that p is a quadratic non-residue (mod k). - M. F. Hasler, Jan 18 2016

STATUS

proposed

editing

Discussion
Mon Jan 18
22:42
M. F. Hasler: I might submit the sequence corresponding to the original definition and move the EXAMPLE there. (Although it does not look very interesting to me, mostly repeated terms after the first few values. As David says, it's not very "logical" to use non-prime moduli k in that way.)
#13 by M. F. Hasler at Mon Jan 18 12:31:14 EST 2016
STATUS

editing

proposed

Discussion
Mon Jan 18
12:37
N. J. A. Sloane: Maximilian, assuming you are right, is this sequence ready to be approved? Or does it need to be corrected?
12:46
M. F. Hasler: It would need to be corrected (definition and/or sequence: see example of a(2) different from data). IMO this definition corresponds to sequence (3,4,8,8,8,8,15,24,24,24,24,24,24,24,24,24,24,24,24,24,56,56,56,56,56,56,56,56,56,120,120,120,...) (PARI) a(n)=for(k=2,9e9,for(i=1,n,issquare(Mod(prime(i),k))&&next(2));return(k)) \\ 
 I sent a mail to David asking him whether he agrees, maybe forgot to leave you in CC, will check.  --- I "proposed" this only so that other editors would look at it.
12:51
M. F. Hasler: [checked: yougot the mail]. - Alternatively, (PARI) a(n)=for(k=2,9e9,for(i=1,n,issquare(t=Mod(prime(i),k))&&t&&next(2));return(k))  \\ checks for quadratic non-residues (not just "not squares", ie. excluding 0) which yields 2,3,3,5,8,8,15,24,24,24,(same thereafter),...
#12 by M. F. Hasler at Mon Jan 18 12:31:08 EST 2016
EXAMPLE

a(1) = 3 is the least number k > 1 such that prime(1) = 2 is not a square mod k (since for k=1 and k=2, p=2 would be zero, thus a square, mod k).

a(2) = 4 is the least number > 1 k such that prime(1) = 2 and prime(2) = 3 are not squares mod p k (the only squares mod 4 are 0 = 0^1 = 2^2 and 1 = 1^2 = 3^3 (mod 4); while for k=2, p=2 would be zero, thus a square, and for k=3 this would be the case for p=3).

STATUS

proposed

editing

#11 by M. F. Hasler at Mon Jan 18 12:23:31 EST 2016
STATUS

editing

proposed

#10 by M. F. Hasler at Mon Jan 18 12:21:23 EST 2016
EXAMPLE

a(1) = 3 is the least number k > 1 such that prime(1) = 2 is not a square mod k (since for k=1 and k=2, p=2 would be zero, thus a square, mod k).

a(2) = 4 is the least number > 1 such that 2 and 3 are not squares mod p (the only squares mod 4 are 0 = 0^1 = 2^2 and 1 = 1^2 = 3^3 (mod 4); while for k=2, p=2 would be zero, thus a square, and for k=3 this would be the case for p=3).

STATUS

approved

editing

Discussion
Mon Jan 18
12:23
M. F. Hasler: IMHO this sequence suffers from the same error than A191087 and many that precede ; the criterion "not square" is erroneously replaced by "kronecker = -1".
#9 by Charles R Greathouse IV at Mon May 13 01:49:36 EDT 2013
PROG

(PARI) q=2; for(k=3, 1e9, forprime(p=2, q, if(kronecker(p, k)>=0, next(2))); print1(k", "); q=nextprime(q+1); k--) \\ _Charles R Greathouse IV, _, Oct 10 2011

EXTENSIONS

a(16)-a(28) from _Charles R Greathouse IV, _, Oct 10 2011

Discussion
Mon May 13
01:49
OEIS Server: https://oeis.org/edit/global/1914
#8 by Russ Cox at Fri Mar 30 17:23:02 EDT 2012
AUTHOR

_T. D. Noe (noe(AT)sspectra.com), _, May 25 2011

Discussion
Fri Mar 30
17:23
OEIS Server: https://oeis.org/edit/global/120
#7 by Charles R Greathouse IV at Mon Oct 10 00:28:17 EDT 2011
STATUS

editing

approved