Generalized varieties of commutative and nilpotent semigroups.
Group conjugation has non-trivial LD-identities
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.