Congruence extension, Hamiltonian and Abelian properties in locally finite varieties
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.
- Every Hamiltonian variety has the congruence extension property - a short proof
- Finite algebras with Abelian properties
- Finite fixed point algebras are subdiagonalisable
- Finite Simple Abelian Algebras are Strictly Simple
- scientific article; zbMATH DE number 3446963 (Why is no real title available?)
- Injectivity and related concepts in modular varieties: I. Two commutator properties
- On the Relationship Between AP, RS and CEP
- Every Hamiltonian variety has the congruence extension property - a short proof
- Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
- Abelian algebras and the Hamiltonian property
- Strongly Abelian Varieties and the Hamiltonian Property
- scientific article; zbMATH DE number 167356 (Why is no real title available?)
- On Hamiltonian ternary algebras with operators
This page was built for publication: Congruence extension, Hamiltonian and Abelian properties in locally finite varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1180705)
