Left-distributive embedding algebras.
For a universal algebra , let End() and Aut() denote, respectively, the endomorphism monoid and the automorphism group of . Let S be a semigroup and let T be a characteristic subsemigroup of S. We say that ϕ ∈ Aut(S) is a lift for ψ ∈ Aut(T) if ϕ|T = ψ. For ψ ∈ Aut(T) we denote by L(ψ) the set of lifts of ψ, that is, Let be an independence algebra of infinite rank and...
For a universal algebra 𝓐, let End(𝓐) and Aut(𝓐) denote, respectively, the endomorphism monoid and the automorphism group of 𝓐. Let S be a semigroup and let T be a characteristic subsemigroup of S. We say that ϕ ∈ Aut(S) is a lift for ψ ∈ Aut(T) if ϕ|T = ψ. For ψ ∈ Aut(T) we denote by L(ψ) the set of lifts of ψ, that is, L(ψ) = {ϕ ∈ Aut(S) | ϕ|T = ψ}. Let 𝓐 be an independence algebra of infinite rank and let S be a monoid of monomorphisms such that G = Aut(𝓐) ≤ S ≤ End(𝓐). In [2] it is proved...
We find the basis of all linear identities which are true in the variety of entropic graph algebras. We apply it to describe the lattice of all subvarieties of power entropic graph algebras.
We investigate some local versions of congruence permutability, regularity, uniformity and modularity. The results are applied to several examples including implication algebras, orthomodular lattices and relative pseudocomplemented lattices.
An algebra of type τ is said to be locally finite if all its finitely generated subalgebras are finite. A class K of algebras of type τ is called locally finite if all its elements are locally finite. It is well-known (see [2]) that a variety of algebras of the same type τ is locally finite iff all its finitely generated free algebras are finite. A variety V is finitely based if it admits a finite basis of identities, i.e. if there is a finite set σ of identities such that V = ModΣ, the class of...