Group conjugation has non-trivial LD-identities
Aleš Drápal, Tomáš Kepka, Michal Musílek · Czech digital mathematics library · 1994
summary: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.