Congruence classes of varieties of algebras
13/09/2013 Sextafeira, 13 de Setembro de 2013, 15:4516:45, IIIUL  Sala B101
Pierre Gillibert (CAUL)
Instituto para a Investigação Interdisciplinar da Universidade de Lisboa
The congruence class of a variety of algebras is the class of all isomorphic copies of congruences lattices of algebras in the variety.
Most of this talk resolves around the following two questions:
Is it possible to characterize lattices in a given congruence class?
To which extent a variety of algebras is determines by its congruence class?
The first question seems very difficult. It is even difficult, for a given class, to prove that a willtobe characterization is not valid.
However, there is an efficient tool that allows to distinguish congruence classes, based on posetindexed diagrams of algebras. I shall illustrate it with several examples.
