Sobre a variedade de Polin

Um semi-reticulado limitado com operadores (sro) é um semi-reticulado com operações unárias adicionais. Dado um sro A e uma variedade V, definem-se functores de A para V e, a partir destes, uma nova classe de álgebras, V[A]. Um exemplo deste tipo de construção é o dos chamados semi-reticulados fortes de semigrupos. No caso em que as álgebras de V são sro, também o são as álgebras de V[A]. A variedade de Polin é obtida por uma construção deste tipo, usando álgebras de Boole. Apresentaremos algumas propriedades importantes desta variedade relativamente às identidades satisfeitas pelos reticulados de congruências das suas álgebras.