Some examples of primitive lattices
Some modifications of congruence permutability and dually congruence regular varietie
It is well known that every congruence regular variety is n-permutable (in the sense of [9]) for some n ≥ 2. For the explicit proof see e.g. [2]. The connections between this n and Mal'cev type characterizations of congruence regularity were studied by G.D. Barbour and J.G. Raftery [1]. The concept of local congruence regularity was introduced in [3]. A common generalization of congruence regularity and local congruence regularity was given in [6] under the name "dual congruence regularity with...
Some old and new problems in the independence theory
Some properties of residuated lattices
We investigate some (universal algebraic) properties of residuated lattices—algebras which play the role of structures of truth values of various systems of fuzzy logic.
Some pseudovariety joins involving the pseudovariety of finite groups.
Some relations on the lattice of varieties of completely regular semigroups
On the lattice of varieties of completely regular semigroups considered as algebras with the binary multiplication and unary inversion within maximal subgroups, we study the relations , , , , , , and . Here is the kernel relation, is the trace relation, and are the left and the right trace relations, respectively, for , is the core relation and is the local relation. We give an alternative definition for each of these relations of the form for some subclasses of ....
Some subdirectly irreducible idem-potent semigroups.
Spaces and equations
It is proved, for various spaces A, such as a surface of genus 2, a figure-eight, or a sphere of dimension ≠ 1,3,7, and for any set Σ of equations, that Σ cannot be modeled by continuous operations on A unless Σ is undemanding (a form of triviality that is defined in the paper).
Special m-hyperidentities in biregular leftmost graph varieties of type (2,0)
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...
Strict refinement for direct sums and graphs.
Strictly order primal algebras.
Strong amalgamations of lattice ordered groups and modules.
Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras
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.
Strong regular varieties of partial algebras I
Structure of free algebras
Sturdy frames of type (2,2) algebras and their applications to semirings
We introduce sturdy frames of type (2,2) algebras, which are a common generalization of sturdy semilattices of semigroups and of distributive lattices of rings in the theory of semirings. By using sturdy frames, we are able to characterize some semirings. In particular, some results on semirings recently obtained by Bandelt, Petrich and Ghosh can be extended and generalized.
Subalgebra modular, distributive and boolean varieties of semigroups
Subalgebras and homomorphic images of algebras having the CEP and the WCIP
In the present paper we consider algebras satisfying both the congruence extension property (briefly the CEP) and the weak congruence intersection property (WCIP for short). We prove that subalgebras of such algebras have these properties. We deduce that a lattice has the CEP and the WCIP if and only if it is a two-element chain. We also show that the class of all congruence modular algebras with the WCIP is closed under the formation of homomorphic images.
Subcoherent algebras
Subdirect decompositions of algebras from 2-clone extensions of varieties
Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠. For a variety V of type τ we denote by the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible...