Naturais primos e coprimos, as noções de MDC e MMC. Algoritmo de divisão nos inteiros e nos inteiros de Gauss.

Uma aplicação do algoritmo de divisão: a determinação de todos os subgrupos (= subanéis = ideais) no anel dos inteiros. Observações sobre o caso dos inteiros de Gauss, onde subgrupos <> subanéis <> ideais, mas onde os ideais são também sempre formados pelos múltiplos de um inteiro de Gauss fixo.

Texto: Secções 2.5, 2.6 (início)

Exercícios: p. 88, pp. 96 - 98.

Definições por indução, o exemplo de somas e produtos, incluindo potências e múltiplos inteiros.

O menor conjunto indutivo: outras representações.

Um resultado de classificação: os anéis unitários bem ordenados.

Texto: Secções 2.3 e 2.4