T6
4 Outubro 2019, 10:30 • Mário Jorge Edmundo
Construção do grupo multiplicativo dos racionais positivos a partir do semi-grupo multiplicativo do naturais positivos; construção do semi-anel comutativo dos racionais positivos com zero, construção da ordem total estrita compatível com as operações de semi-anel; construção do anel comutativo dos racionais a partir do semi-anel comutativo dos racionais positivos com zero.