Large systems of independent objects in concrete categories. I
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...