Every Hamiltonian variety has the congruence extension property - a short proof (Q1121301)

An algebra A is called Hamiltonian if every subalgebra B of A is a class of a suitable congruence on A. An algebra A is said to have the strong congruence extension property if every congruence \(\theta\) on an arbitrary subalgebra B is induced by a congruence \(\psi\) on A such that each \(\psi\)-class is either contained in B or disjoint from B. It is proved that if A is an algebra with Hamiltonian square \(A\times A\), then A has the strong congruence extension property. From this, there follows the result stated in the title and discovered earlier by \textit{E. W. Kiss} [ibid. 12, 395-398 (1981; Zbl 0422.08003)].