Every Hamiltonian variety has the congruence extension property - a short proof
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)].
- Congruence extension, Hamiltonian and Abelian properties in locally finite varieties
- scientific article; zbMATH DE number 920780
- Strongly Abelian Varieties and the Hamiltonian Property
- A Hamiltonian version of a result of Gromoll and Grove
- Extension theorems for Hamming varieties over finite fields
- scientific article; zbMATH DE number 3983246
- scientific article; zbMATH DE number 3918444
- scientific article; zbMATH DE number 3987476
- The Hartogs extension phenomenon in almost homogeneous algebraic varieties
- A Converse for the Cayley-Hamilton Theorem
- Congruence extension, Hamiltonian and Abelian properties in locally finite varieties
- A Hamiltonian property for nilpotent algebras
- scientific article; zbMATH DE number 167356 (Why is no real title available?)
- On congruence extension properties for ordered algebras
- Hamiltonian ordered algebras and congruence extension
- Join epimorphisms which preserve certain lattice identities
This page was built for publication: Every Hamiltonian variety has the congruence extension property - a short proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1121301)
