-systems of unary algebras. I: On maximal and greatest -classes of the direct product of unary algebras
Semiheaps are ternary generalisations of involuted semigroups. The first kind of semiheaps studied were heaps, which correspond closely to groups. We apply the radical theory of varieties of idempotent algebras to varieties of idempotent semiheaps. The class of heaps is shown to be a radical class, as are two larger classes having no involuted semigroup counterparts. Radical decompositions of various classes of idempotent semiheaps are given. The results are applied to involuted I-semigroups, leading...
For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.
We describe algebras and varieties for which every ideal is a kernel of a one-block congruence.
Defining an (n+1)-ary superposition operation on the set of all n-ary terms of type τ, one obtains an algebra of type (n+1,0,...,0). The algebra n-clone τ is free in the variety of all Menger algebras ([9]). Using the operation there are different possibilities to define binary associative operations on the set and on the cartesian power . In this paper we study idempotent and regular elements as well as Green’s relations in semigroups of terms with these binary associative operations...