On equations of clones
Nuclei of frame congruences generated by frame tolerances and by lattice congruences are constructed.
We introduce a new concept of ideals in BCC-algebras and describe connections between such ideals and congruences.
We introduce the k-radicals of Green's relations in semirings with a semilattice additive reduct, introduce the notion of left k-regular (right k-regular) semirings and characterize these semirings by k-radicals of Green's relations. We also characterize the semirings which are distributive lattices of left k-simple subsemirings by k-radicals of Green's relations.
We study the groupoids satisfying both the left distributivity and the left idempotency laws. We show that they possess a canonical congruence admitting an idempotent groupoid as factor. This congruence gives a construction of left idempotent left distributive groupoids from left distributive idempotent groupoids and right constant groupoids.
The paper contains characterizations of semigroup varieties whose semigroups with one generator (two generators) are permutable. Here all varieties of regular -semigroups are described in which each semigroup with two generators is permutable.
We present diagrammatic schemes characterizing congruence 3-permutable and distributive algebras. We show that a congruence 3-permutable algebra is congruence meetsemidistributive if and only if it is distributive. We characterize varieties of algebras satisfying the so-called triangular scheme by means of a Maltsev-type condition.