Abstract:We show that group conjugation generates a proper subvariety of left distributive idempotent groupoids. This subvariety coincides with the variety generated by all cancellative left distributive groupoids.
Keywords: left distributivity, free group
AMS Subject Classification: 20N02, 20A99