Group conjugation has non-trivial LD-identities
Aleš Drápal, Tomáš Kepka, Michal Musílek (1994)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
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.