Fim da demonstração da validade do teste de Lucas-Lehmer (uma demonstração pode ser vista aqui).
O símbolo de Jacobi: definição, propriedades básicas e extensão da Lei de Reciprocidade Quadrática. Exemplo.

T.P.C.:

• Exercícios #10 e #11 do Cap. 6 do I&R (p. 77).
• Exercício #22 do Cap. 5 do I&R (p. 64).

Sexta 25/10:

O resultado de Fermat sobre a equação Diofantina y³ = x² + 2, e a ideia de Euler e Lagrange para a resolver, como motivação à Teoria Algébrica dos Números.
Noções aritméticas básicas em anéis comutativos: unidades, elementos associados, irredutíveis e primos. Noção de domínio Euclidiano, exemplos (Z e K[x], K corpo) e prova de que estes são DIPs (domínios de ideias principais).

T.P.C.: Mostrar que 2 é irredutível mas não é primo no anel Z[sqrt(-5)].