In this paper we find cardinalities of lattices of topologies of uncountable unars and show that the lattice of topologies of a unar cannor be countably infinite. It is proved that under some finiteness conditions the lattice of topologies of a unar is finite. Furthermore, the relations between the lattice of topologies of an arbitrary unar and its congruence lattice are established.
An algebra is tolerance trivial if where is the lattice of all tolerances on . If contains a Mal’cev function compatible with each , then is tolerance trivial. We investigate finite algebras satisfying also the converse statement.
We introduce a special set of relations called clausal relations. We study a Galois connection Pol-CInv between the set of all finitary operations on a finite set D and the set of clausal relations, which is a restricted version of the Galois connection Pol-Inv. We define C-clones as the Galois closed sets of operations with respect to Pol-CInv and describe the lattice of all C-clones for the Boolean case D = {0,1}. Finally we prove certain results about C-clones over a larger set.
A semigroup S is said to be completely π-regular if for any a ∈ S there exists a positive integer n such that aⁿ is completely regular. A completely π-regular semigroup S is said to be a GV-semigroup if all the regular elements of S are completely regular. The present paper is devoted to the study of generalized quasi-orthodox GV-semigroups and least Clifford congruences on them.
Commutative semigroups satisfying the equation and having only two -invariant congruences for an automorphism group are considered. Some classes of these semigroups are characterized and some other examples are constructed.
In universal algebra, we oftentimes encounter varieties that are not especially well-behaved from any point of view, but are such that all their members have a “well-behaved core”, i.e. subalgebras or quotients with satisfactory properties. Of special interest is the case in which this “core” is a retract determined by an idempotent endomorphism that is uniformly term definable (through a unary term ) in every member of the given variety. Here, we try to give a unified account of this phenomenon....