![]() |
![]() |
#23 | |
"Rashid Naimi"
Oct 2015
Remote to Here/There
32×269 Posts |
![]()
The problem with Wilson’s theorem is that, while being deterministic, it also works for all primes and not a subset of them like the Sweety’s concept. As such it does not concur with the OP.
Quote:
Last fiddled with by a1call on 2023-05-07 at 00:09 |
|
![]() |
![]() |
![]() |
#24 |
Jun 2015
Vallejo, CA/.
49816 Posts |
![]()
Although this is probably already known (by analogy) you can say that for n to be prime, a sufficient but not necessary condition is that
An-1/(A-1) is prime. Of course A can be any positive integer>1 _ as long it is not of the form jk where k ≥ 2_ we have For A=2 .A000043 Mersenne Primes For A=3 .A028491 For A=5 .A004061 For A=6 .A004062 For A=7 .A004063 For A=10 A004023 Repunits For A=12 A004064 E&OE |
![]() |
![]() |
![]() |
#25 |
Jan 2021
California
52·23 Posts |
![]() Last fiddled with by slandrum on 2023-05-18 at 10:50 |
![]() |
![]() |
![]() |
#26 |
Dec 2022
2·3·7·13 Posts |
![]()
Yes, I'm assuming that as the only sensible meaning.
That (A^n - 1)/(A - 1) is prime is certainly a sufficient condition (A, n integers > 1). Now does it become necessary when generalised? That is, is there always for n prime some base A that yields a prime? Well-founded conjecture says there are, and infinitely many of them. |
![]() |
![]() |
![]() |
#27 |
Jun 2015
Vallejo, CA/.
23·3·72 Posts |
![]() |
![]() |
![]() |
![]() |
Thread Tools | |
![]() |
||||
Thread | Thread Starter | Forum | Replies | Last Post |
CADO-NFS git pull doesn't appear to be sufficient | EdH | CADO-NFS | 3 | 2021-10-22 13:06 |
Condition on composite numbers easily factored | baih | Factoring | 16 | 2019-09-29 15:48 |
necessary but not sufficient condition for primes | Alberico Lepore | Alberico Lepore | 22 | 2018-01-03 16:17 |
Devaraj numbers- necessary and sufficient condition | devarajkandadai | Number Theory Discussion Group | 7 | 2017-09-23 02:58 |
Is a 18M-FFT sufficient to test a 100M number? | __HRB__ | Information & Answers | 13 | 2010-05-23 13:37 |