Large systems of independent objects in concrete categories. II
In this paper we propose a general approach to the theory of fuzzy algebras, while the early existing papers deal with a particular type of fuzzy structures as fuzzy groups, fuzzy ideals, fuzzy vector spaces and so on.
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.