2020/05/13 by Almudena Colacito, Colacito, Almudena, Constantine Tsinakis +1
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2005.06533
openalex publication_date 2020/05/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The present article studies nilpotent and Hamiltonian cancellative residuated lattices and their relationship with nilpotent and Hamiltonian lattice-ordered groups. In particular, results about lattice-ordered groups are extended to the domain of residuated lattices. The two key ingredients that underlie the considerations of this paper are the categorical equivalence between Ore residuated lattices and lattice-ordered groups endowed with a suitable modal operator; and Malcev's description of nilpotent groups of a given nilpotency class c in terms of a semigroup equation.