Minimal algebras and category equivalences
A class ℱ of universal algebras is called a formation if the following conditions are satisfied: 1) Any homomorphic image of A ∈ ℱ is in ℱ; 2) If α₁, α₂ are congruences on A and , i = 1,2, then A/(α₁∩α₂) ∈ ℱ. We prove that any formation generated by a simple algebra with permutable congruences is minimal, and hence any formation containing a simple algebra, with permutable congruences, contains a minimum subformation. This result gives a partial answer to an open problem of Shemetkov and Skiba...
Let τ be a type of algebras without nullary fundamental operation symbols. We call an identity φ ≈ ψ of type τ clone compatible if φ and ψ are the same variable or the sets of fundamental operation symbols in φ and ψ are nonempty and identical. For a variety of type τ we denote by the variety of type τ defined by all clone compatible identities from Id(). We call the clone extension of . In this paper we describe algebras and minimal generics of all subvarieties of , where is the variety of...
This paper considers compositions of relations based on the notion of the afterset and the foreset, i. e., the subproduct, the superproduct and the square product introduced by Bandler and Kohout with modification proposed by De Baets and Kerre. There are proven all possible mixed pseudo-associativity properties of Bandler – Kohout compositions of relations.
Let be an algebraic structure of type and a set of open formulas of the first order language . The set of all subsets of closed under forms the so called lattice of -closed subsets of . We prove various sufficient conditions under which the lattice is modular or distributive.