Sumários
TP21 Aula 12
29 Maio 2026, 16:30 • Isabel Ferreirim
Folha 12: discussão e resolução dos exercícios 105 a 109.
T21 Aula 26
27 Maio 2026, 13:30 • Isabel Ferreirim
Teorema de estrutura dos módulos livres finitamente gerados (conclusão da demonstração). Teorema de estrutura dos módulos
finitamente gerados (fatores invariantes).
T21 Aula 25
26 Maio 2026, 14:00 • Isabel Ferreirim
Soma direta de R-módulos (número finito de parcelas).
Módulos sobre um domínio euclidiano Teorema de estrutura (enunciado).
Resultados auxiliares sobre matrizes com entradas num domínio euclidiano: operações elementares nas linhas e
nas colunas. Forma Normal de Smith: enunciado e algoritmo para a determinação dos fatores
invariantes. Um exemplo.
Teorema de estrutura dos módulos livres finitamente gerados (enunciado e início da
demonstração).