RE: O maior numero primo do mundo

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Mon, 31 May 1999, Alexandre Stauffer wrote:

> > teste de Lucas-Lehmer
> Em que consiste o teste de primalidade de Lucas-Lehmer???

Para verificar se 2^p - 1 é primo defina:
a(0) = 4, a(n+1) = (a(n)^2 - 2) mod (2^p - 1).

Teorema: 2^p - 1 é primo se e somente se a(p-2) = 0 (mod 2^p - 1).

O Gugu e eu estamos acabendo de escrever um livro sobre este assunto
para o colóquio de matemática. Em breve o livro estará disponível
na minha home page.

[]s, N.
http://www.mat.puc-rio.br/~nicolau