Axiomas de Separação em Álgebras Topológicas

Uma álgebra topológica é uma álgebra munida de uma topologia "compatível", i.e, para a qual as operações fundamentais são contínuas. A ocorrência de certas propriedades algébricas numa variedade impõe restrições às topologias compatíveis com álgebras da variedade. Serão apresentados resultados muito recentes que relacionam propriedades algébricas, como a permutabilidade e a modularidade das congruências, com propriedades topológicas de separação. Palavras chave: Álgebras topológicas, variedades k-permutáveis, variedades modulares, axiomas de separação.