Congruence extension, Hamiltonian and Abelian properties in locally finite varieties (Q1180705)

An algebra \(A\) is said to have the congruence extension property (CEP) if every congruence on every subalgebra of \(A\) is obtained by a restriction of some congruence on \(A\). A variety of algebras is said to possess the CEP if each algebra in the variety has this property. An algebra \(A\) is said to be Hamiltonian if every subuniverse of \(A\) is an equivalence class of some congruence on \(A\). Hamiltonian varieties are those in which every algebra is Hamiltonian. An algebra \(A\) is called Abelian if the diagonal of \(A\times A\) is a congruence class. It is known that Hamiltonian varieties are Abelian and have the CEP. The author proves that every locally finite and locally solvable variety with the CEP is Hamiltonian. In a variety with the CEP every locally solvable congruence of a locally finite algebra is central.