Sumários
Aula 10
27 Março 2025, 15:30 • Maria João Antunes Dias Gouveia
Homomorfismos de um reticulado L para o reticulado 2: exemplos para L distributivo limitado finito e para L limitado e finito mas não distributivo; como usar H(L,2) para definir um mergulho de L numa potência de 2. Esclarecimento de dúvidas sobre operações termo e operações polinomiais.
Aula 9
25 Março 2025, 16:00 • Maria João Antunes Dias Gouveia
Reticulado enquanto cpo versus reticulado enquanto álgebra. Aplicações isótonas, mergulhos e isomorfismos de ordem e homomorfismos, mergulhos e isomorfismos de reticulado. Reticulados distributivos. Reticulados limitados e homomorfismos de reticulados limitados. HSP(2) tipo (2,2) é subvariedade de reticulados distributivos; HSP(2) tipo (2,2,0,0) é subvariedade de reticulados distributivos limitados.
Aula 8
20 Março 2025, 15:30 • Maria João Antunes Dias Gouveia
Semirreticulado e reticulado como conjuntos parcialmente ordenados. Reticulado limitado e reticulado completo. Os reticulados das partes de um conjunto, das relações de equivalência num conjunto, dos subuniversos de uma álgebra, das relações de congruência de uma álgebra.
Aula 7
18 Março 2025, 16:00 • Maria João Antunes Dias Gouveia
Relações de congruência e álgebra quociente.