Mathematics of Computation

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Help
ISSN 1088-6842(e) ISSN 0025-5718(p)

Gaussian Mersenne and Eisenstein Mersenne primes

Author(s): Pedro Berrizbeitia; Boris Iskra.
Journal: Math. Comp. 79 (2010), 1779-1791.
MSC (2010): Primary 11Y11
Posted: March 3, 2010
MathSciNet review: 2630012
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: The Biquadratic Reciprocity Law is used to produce a deterministic primality test for Gaussian Mersenne norms which is analogous to the Lucas-Lehmer test for Mersenne numbers. It is shown that the proposed test could not have been obtained from the Quadratic Reciprocity Law and Proth's Theorem. Other properties of Gaussian Mersenne norms that contribute to the search for large primes are given. The Cubic Reciprocity Law is used to produce a primality test for Eisenstein Mersenne norms. The search for primes in both families (Gaussian Mersenne and Eisenstein Mersenne norms) was implemented in 2004 and ended in November 2005, when the largest primes, known at the time in each family, were found.

References:

[B]: P. Berrizbeitia. Deterministic proofs of primality. (Spanish) Gac. R. Soc. Mat. Esp. 4 (2001), no. 2, 447-456. MR 1852299 (2002g:11010)
[BB1]: P. Berrizbeitia and T. G. Berry, Cubic Reciprocity and generalized Lucas-Lehmer Test for Primality of $A 3^n \pm 1$ , Proc. Amer. Math. Soc. 26 (1999), 1926-1925. MR 1487359 (99j:11006)
[BB]: P. Berrizbeitia and T. G. Berry, Biquadratic reciprocity and a Lucasian primality test. Math. Comp. 73 (2004), no. 247, 1559-1564. MR 2047101 (2004m:11005)
[BLS]: J. Brillhart, D. H. Lehmer, and J. L. Selfridge, New Primality criteria and factorization of $2^m \pm 1$ , Math. Comp. 29 (1975), 620-647. MR 0384673 (52:5546)
[BLSTW]: J. Brillhart, D. H. Lehmer, J. L. Selfridge, B. Tuckerman, and S. S. Wagstaff, Jr. Factorization of $b^n \pm 1$ , up to high powers, Amer. Math. Soc., Providence, RI, ISBN 0-8218-5078-4. MR 715603 (84k:10005)
[C]: C. Caldwell, The Prime Glossary, http://primes.utm.edu/glossary/
[CP]: R. Crandall and C. Pomerance, Prime Numbers: A Computational Perspective, Springer-Verlag, New York (2001), ISBN 0-387-94777-9. MR 1821158 (2002a:11007)
[G]: A. Guthmann, Effective primality tests for integers of the forms $N=k\cdot3\sp n+1$ and $N=k\cdot2\sp m3\sp n+1$ . BIT 32 (1992), no. 3, 529-534. MR 1179238 (93h:11008)
[HS]: M. Hausmann and H. Shapiro, Perfect Ideals over the Gaussian Integers, Comm. Pure Appl. Math., 29, 3 (1976), 323-341. MR 0424745 (54:12704)
[IR]: K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory, Springer-Verlag, Berlin (1982). MR 661047 (83g:12001)
[L]: E. Lehmer, Criteria for cubic and quartic residuacity, Mathematika, 5 (1958), 20-29. MR 0095162 (20:1668)
[McD]: W. McDaniel, Perfect Gaussian integers, Acta. Arith., 25 (1973/74) 137-144. MR 0332708 (48:11034)
[R]: P. Ribenboim, The little book of big primes. Springer-Verlag, New York, 1991. viii+237 pp. ISBN: 0-387-97508-X MR 1118843 (92i:11008)
[S]: R. Spira, The complex sum of divisors, Amer. Math. Monthly, 68 (1961) 120-124. MR 0148594 (26:6101)
[W]: H. C. Williams, Édouard Lucas and primality testing. Canadian Mathematical Society Series of Monographs and Advanced Texts, 22. A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1998. x+525 pp. ISBN: 0-471-14852-0 MR 1632793 (2000b:11139)
[WK]: K. S. Williams, On Euler's Criteria for Cubic Nonresidues, Proc. Amer. Math. Soc. 49, 2 (1975), 277-283. MR 0366792 (51:3038)

	Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
\|