OFFSET
1,1
COMMENTS
See A057429 for the values of p.
Primes of the form q = 2^p +- 2^((p+1)/2) + 1. Note that q == 1 (mod p). - Thomas Ordowski, Apr 18 2019
REFERENCES
John Brillhart et al., Factorizations of b^n +/- 1, b=2,3,5,6,7,10,12 up to high powers, Amer. Math. Soc., Providence RI, 1988, pp. xcvi+236.
R. K. Guy, Unsolved Problems in Number Theory, New York: Springer-Verlag, 1994, pp. 33-36.
Miriam Hausmann and Harold N. Shapiro, Perfect Ideals over the Gaussian Integers, Comm. Pure Appl. Math. 29 (1976), pp. 323-341.
LINKS
Arkadiusz Wesolowski, Table of n, a(n) for n = 1..25
Bogley, William A.; Williams, Gerald Efficient finite groups arising in the study of relative asphericity. Math. Z. 284, No. 1-2, 507-535 (2016).
Chris Caldwell, The Prime Glossary, Gaussian Mersenne
C. K. Caldwell, "Top Twenty" page, Gaussian Mersenne norm
Ellen Gethner, Stan Wagon, and Brian Wick, A Stroll Through the Gaussian Primes, Amer. Math. Monthly 105 (1998), pp. 327-337.
W. L. McDaniel, Perfect Gaussian integers, Acta Arithmetica 25 (1974), pp. 137-144.
MATHEMATICA
lst = {}; Do[a = (1 + I)^n - 1; b = a*Conjugate[a]; If[PrimeQ[b], AppendTo[lst, b]], {n, 151}]; lst
gmp[n_]:=Module[{x=(1+I)^n-1}, x*Conjugate[x]]; Select[Table[gmp[n], {n, 200}], PrimeQ] (* Harvey P. Dale, Apr 27 2016 *)
CROSSREFS
KEYWORD
nice,nonn
AUTHOR
Arkadiusz Wesolowski, Apr 23 2012
STATUS
approved