cp's OEIS Frontend

A023212 Primes p such that 4*p+1 is also prime.

%I A023212 #140 Jan 09 2025 09:08:07
%S A023212 3,7,13,37,43,67,73,79,97,127,139,163,193,199,277,307,373,409,433,487,
%T A023212 499,577,619,673,709,727,739,853,883,919,997,1033,1039,1063,1087,1093,
%U A023212 1123,1129,1297,1327,1423,1429,1453,1543,1549,1567,1579,1597,1663,1753
%N A023212 Primes p such that 4*p+1 is also prime.
%C A023212 If p > 3 is a Sophie Germain prime (A005384), p cannot be in this sequence, because all Germain primes greater than 3 are of the form 6k - 1, and then 4p + 1 = 3*(8k-1). - _Enrique Pérez Herrero_, Aug 15 2011
%C A023212 a(n), except 3, is of the form 6k+1. - _Enrique Pérez Herrero_, Aug 16 2011
%C A023212 According to Beiler: the integer 2 is a primitive root of all primes of the form 4p + 1 with p prime. - _Martin Renner_, Nov 06 2011
%C A023212 Chebyshev showed that 2 is a primitive root of all primes of the form 4p + 1 with p prime. - _Jonathan Sondow_, Feb 04 2013
%C A023212 Also solutions to the equation: floor(4/A000005(4*n^2+n)) = 1. - _Enrique Pérez Herrero_, Jan 12 2013
%C A023212 Prime numbers p such that p^p - 1 is divisible by 4*p + 1. - _Gary Detlefs_, May 22 2013
%C A023212 It appears that whenever (p^p - 1)/(4*p + 1) is an integer, then this integer is even (see previous comment). - _Alexander R. Povolotsky_, May 23 2013
%C A023212 4p + 1 does not divide p^n + 1 for any n. - _Robin Garcia_, Jun 20 2013
%C A023212 Primes in this sequence of the form 4k+1 are listed in A113601. - _Gary Detlefs_, May 07 2019
%C A023212 There are no numbers with last digit 1 in this list (i.e., members of A030430) because primes p == 1 (mod 10) lead to 5|(4p+1) such that 4p+1 is not prime. - _R. J. Mathar_, Aug 13 2019
%D A023212 Albert H. Beiler, Recreations in the theory of numbers, New York: Dover, (2nd ed.) 1966, p. 102, nr. 5.
%D A023212 P. L. Chebyshev, Theory of congruences, Elements of number theory, Chelsea, 1972, p. 306.
%H A023212 Enrique Pérez Herrero, <a href="/A023212/b023212.txt">Table of n, a(n) for n = 1..5000</a>
%H A023212 Grigory Ryabov, <a href="https://arxiv.org/abs/2308.14209">On schurity of the dihedral group D_(2p)</a>, arXiv:2308.14209 [math.GR], 2023.
%H A023212 Rosemary Sullivan and Neil Watling, <a href="https://www.emis.de/journals/INTEGERS/papers/n65/n65.Abstract.html">Independent divisibility pairs on the set of integers from 1 to n</a>, INTEGERS, Vol. 13 (2013), Article A65.
%H A023212 Samuel S. Wagstaff, Jr., <a href="https://cs.uwaterloo.ca/journals/JIS/VOL24/Wagstaff/wag4.html">Sum of Reciprocals of Germain Primes</a>, Journal of Integer Sequences, Vol. 24, No. 2 (2021), Article 21.9.5.
%F A023212 Sum_{n>=1} 1/a(n) is in the interval (0.892962433, 1.1616905) (Wagstaff, 2021). - _Amiram Eldar_, Nov 04 2021
%p A023212 isA023212 := proc(n)
%p A023212     isprime(n) and isprime(4*n+1) ;
%p A023212 end proc:
%p A023212 for n from 1 to 1800 do
%p A023212     if isA023212(n) then
%p A023212         printf("%d,",n) ;
%p A023212     end if;
%p A023212 end do: # _R. J. Mathar_, May 26 2013
%t A023212 Select[Range[2000], PrimeQ[#] && PrimeQ[4# + 1] &] (* _Alonso del Arte_, Aug 15 2011 *)
%t A023212 Join[{3}, Select[Range[7, 2000, 6], PrimeQ[#] && PrimeQ[4# + 1] &]] (* _Zak Seidov_, Jan 21 2012 *)
%t A023212 Select[Prime[Range[300]],PrimeQ[4#+1]&] (* _Harvey P. Dale_, Oct 17 2021 *)
%o A023212 (Magma) [n: n in [0..1000] | IsPrime(n) and IsPrime(4*n+1)]; // _Vincenzo Librandi_, Nov 20 2010
%o A023212 (PARI) forprime(p=2,1800,if(Mod(p,4*p+1)^p==1, print1(p", \n"))) \\ _Alexander R. Povolotsky_, May 23 2013
%Y A023212 Cf. A001122, A005384, A043297, A088730.
%Y A023212 Cf. A005098, A090866.
%Y A023212 Cf. A182265, A182434.
%K A023212 nonn
%O A023212 1,1
%A A023212 _David W. Wilson_
%E A023212 Name edited by _Michel Marcus_, Nov 27 2020