Slim groupoids are groupoids satisfying $x(yz)\=xz$. We find all simple slim groupoids and all minimal varieties of slim groupoids. Every slim groupoid can be embedded into a subdirectly irreducible slim groupoid. The variety of slim groupoids has the finite embeddability property, so that the word problem is solvable. We introduce the notion of a strongly nonfinitely based slim groupoid (such groupoids are inherently nonfinitely based) and find all strongly nonfinitely based slim groupoids with at most four elements; up to isomorphism, there are just two such groupoids.
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.
J. Płonka in [12] noted that one could expect that the regularization ${\mathcal R}(K)$ of a variety ${K}$ of unary algebras is a subdirect product of ${K}$ and the variety ${D}$ of all discrete algebras (unary semilattices), but is not the case. The purpose of this note is to show that his expectation is fulfilled for those and only those irregular varieties ${K}$ which are contained in the generalized variety ${TDir}$ of the so-called trap-directable algebras.
Idempotent slim groupoids are groupoids satisfying $xx\=x$ and $x(yz)\=xz$. We prove that the variety of idempotent slim groupoids has uncountably many subvarieties. We find a four-element, inherently nonfinitely based idempotent slim groupoid; the variety generated by this groupoid has only finitely many subvarieties. We investigate free objects in some varieties of idempotent slim groupoids determined by permutational equations.