Sumários
Aula 19
15 Maio 2025, 15:30 • Maria João Antunes Dias Gouveia
Classes equacionais e operadores Id e M. As classes equacionais são fechadas para os operadores H, S e P. Id_K(X)=Id_K'(X) se K' for H(K), S(K) ou P(K). Álgebras livres para e em uma classe de álgebras sobre um conjunto $X$.
Aula 18
13 Maio 2025, 16:00 • Maria João Antunes Dias Gouveia
Álgebra dos termos de um certo tipo sobre um conjunto de variáveis. Caracterização de homomorfismos como aplicações que preservam quaisquer termos do tipo das álgebras. Identidades de um certo tipo e satisfação por álgebras e por classes de álgebras desse mesmo tipo. Propriedade de aplicação universal.
Aula 17
8 Maio 2025, 15:30 • Maria João Antunes Dias Gouveia
Resultados sobre álgebras subdiretamente irredutíveis:
- Se K for um conjunto finito de álgebras finitas do mesmo tipo e se HSP(K) for uma variedade congruente distributiva, então as álgebras subdiretamente irredutíveis de HSP(K) pertencem a HS(K).
Aula 16
6 Maio 2025, 16:00 • Maria João Antunes Dias Gouveia
Teorema da representação subdiretor de Birkhoff. Exemplos de álgebras subdiretamente irredutíveis: espaços vetoriais; grupos abelianos.