Sumários
T5
2 Outubro 2019, 08:00 • Mário Jorge Edmundo
Construção do anel dos inteiros a partir do semi-anel dos naturais. Construção da ordem total estrita nos inteiros estendendo a ordem nos naturais; compatibilidade com as operações de anel; leis de corte.
TP 4
27 Setembro 2019, 11:30 • Bruno Dinis
Relações de ordem. Resolução de exercícios sobre relações de ordem (5.7, 5.9 e 5.10 (a)).
T4
27 Setembro 2019, 10:30 • Mário Jorge Edmundo
Construção do grupo aditivo dos inteiros a partir do semi-grupo aditivo dos naturais. Nota sobre o grupo de Grothendieck associado a semi-grupo comutativo com elemento neutro (monóide), unicidade e universalidade.
TP 3
25 Setembro 2019, 09:00 • Bruno Dinis
Exercícios 3.4 (cont.) e 3.7. Funções compatíveis. Relações de equivalência. Resolução de exercícios sobre relações de equivalência (4.1, 4.2 e 4.3).
T3
25 Setembro 2019, 08:00 • Mário Jorge Edmundo
Propriedades da ordem; a ordem é uma ordem total estrita; lei do corte para a multiplicação; não há divisores de zero; a ordem respeita as operações de semi-anel. Princípio do mínimo; princípio de indução completa; exemplo (Teorema fundamental da aritmética).