Tue, 12 Mar 2024, 1:25 pm MDT
We investigate some applications of a certain technique (that we call Freese's technique), which is a tool for identifying certain lattices as sublattices of the congruence lattice of a given algebra. In particular we gave sufficient conditions for two families of lattices (called the rods and the snakes) to be admissible as sublattices of a variety generated by a given algebra, extending a result of R. Freese and P. Lipparini.
[video]