Special congruence triples for a regular semigroup.
Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies a term equation s ≈ t if the corresponding graph algebra satisfies s ≈ t. A class of graph algebras V is called a graph variety if where Σ is a subset of T(X) × T(X). A graph variety is called a biregular leftmost graph variety if Σ’ is a set of biregular leftmost term equations. A term equation s ≈ t is called an identity in a variety...
We develop a theory of split extensions of unitary magmas, which includes defining such extensions and describing them via suitably defined semidirect product, yielding an equivalence between the categories of split extensions and of (suitably defined) actions of unitary magmas on unitary magmas. The class of split extensions is pullback stable but not closed under composition. We introduce two subclasses of it that have both of these properties.
We show that all finite Brouwerian semilattices have strong endomorphism kernel property (SEKP), give a new proof that all finite relative Stone algebras have SEKP and also fully characterize dual generalized Boolean algebras which possess SEKP.
All monounary algebras which have strong endomorphism kernel property are described.
This paper introduces the notion of a strong retract of an algebra and then focuses on strong retracts of unary algebras. We characterize subuniverses of a unary algebra which are carriers of its strong retracts. This characterization enables us to describe the poset of strong retracts of a unary algebra under inclusion. Since this poset is not necessarily a lattice, we give a necessary and sufficient condition for the poset to be a lattice, as well as the full description of the poset.