login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A273871
Primes p such that (4^(p-1)-1) == 0 mod ((p-1)^2+1).
2
3, 5, 17, 257, 8209, 59141, 65537, 649801
OFFSET
1,1
COMMENTS
Prime terms from A273870.
The first 5 known Fermat primes from A019434 are in this sequence.
Conjecture 1: also primes p such that ((4^k)^(p-1)-1) == 0 mod ((p-1)^2+1) for all k >= 0.
Conjecture 2: supersequence of Fermat primes (A019434).
EXAMPLE
5 is a term because (4^(5-1)-1) == 0 mod ((5-1)^2+1); 255 == 0 mod 17.
PROG
(Magma) [n: n in [1..100000] | IsPrime(n) and (4^(n-1)-1) mod ((n-1)^2+1) eq 0]
(PARI) is(n)=isprime(n) && Mod(4, (n-1)^2+1)^(n-1)==1 \\ Charles R Greathouse IV, Jun 08 2016
CROSSREFS
Sequence in context: A256510 A260377 A056130 * A078726 A019434 A164307
KEYWORD
nonn,more
AUTHOR
Jaroslav Krizek, Jun 01 2016
STATUS
approved