The $n$-dimensional affine group over the integers is the group $\mathcal
G_n$ of all affinities on $\mathbb R^{n}$ which leave the lattice $ \mathbb
Z^{n}$ invariant. $\mathcal G_n$ yields a geometry in the classical sense of
the Erlangen Program.
Let $G$ be an $\ell$-group (which is short for ``lattice-ordered abelian
group''). Baker and Beynon proved that $G$ is finitely presented iff it is
finitely generated and projective. In the category $\mathcal U$ of {\it unital}
$\ell$-groups---those $\ell$-groups having a distinguished order-unit
$u$---only the $(\Leftarrow)$-direction holds in general. Morphisms in
$\mathcal U$ are {\it unital $\ell$-homomorphisms,} i.e., hom\-o\-mor\-phisms
that preserve the order-unit and the lattice structure.
A unital $\ell$-group $(G,u)$ is an abelian group $G$ equipped with a
translation-invariant lattice-order and a distinguished element $u$, called
order-unit, whose positive integer multiples eventually dominate each element
of $G$. We classify finitely generated unital $\ell$-groups by sequences
$\mathcal W = (W_{0},W_{1},...)$ of weighted abstract simplicial complexes,
where $W_{t+1}$ is obtained from $W_{t}$ either by the classical Alexander
binary stellar operation, or by deleting a maximal simplex of $W_{t}$.