Tue, 18 November 2025, 1:25 pm MT
Lattice-ordered pregroups (l-pregroups) are exactly the involutive residuated lattices where addition and multiplication coincide. Among them, for every positive integer n, the n-periodic l-pregroup F_n(Z) of n-periodic order-preserving functions on the integers plays an important role in understanding distributive l-pregroups and also n-periodic ones. We give a finite axiomatization of the variety generated by F_n(Z). On the way we also obtain some more general results about periodic l-pregroups and we characterize the finitely subdirectly irreducibles of the variety generated by F_n(Z).
Joint work with Nick Galatos.