# zbMATH — the first resource for mathematics

Congruences and ideals on left divisible involutory groupoids. (English) Zbl 0879.08003
A left divisible involutory groupoid (an LDIG) is, as an algebra of type $$\langle 2,2,0\rangle$$, a generalization of a semiloop. The author shows that the variety of such groupoids is ideal determined, describes connections between ideals and congruences in any LDIG, and gives a four element base of the clone of ideal terms of any LDIG.
##### MSC:
 08A30 Subalgebras, congruence relations 08B99 Varieties
Full Text: