The underlying group of any finitely generated abelian lattice-ordered group is free
The authors prove two corollaries. First, that the underlying group of any finitely generated abelian lattice-ordered group is free, and second, that the free abelian lattice-ordered group on a countable set of generators has the underlying abelian group free of countable rank.
scientific article; zbMATH DE number 5173465