On Mon, Oct 18, 2004 at 10:55:52AM -0200, Claudio Buffara wrote: > 2. Suponha que p = 2^n + 1 seja um primo maior do que 3. Prove que 3 eh uma > raiz primitiva mod p.
Sabemos que n deve ser par. Observe que 3 n�o � um quadrado m�dulo p pois Lagrange(3/p) = (-1)^((3-1)(p-1)/4) Lagrange(p/3) = Lagrange(2/3) = -1. O grupo multiplicativo (Z/(p))^* � c�clico com 2^n elementos assim neste grupo todo elemento que n�o � um quadrado � um gerador. []s, N. ========================================================================= Instru��es para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html =========================================================================
