From distributive l-monoids to l-groups, and back again

Almudena Colacito, Nikolaos Galatos, George Metcalfe +1

We prove that an inverse-free equation is valid in the variety LG of lattice-ordered groups (l-groups) if and only if it is valid in the variety DLM of distributive lattice-ordered…