Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
First we assume that is discrete.
We choose a positive integer such that .
We set
.
Note that is a finitely generated lattice of
by Proposition 1.17.
As
by Proposition 1.17, we have
the assertion.
Next we assume that is not discrete.
By Proposition 1.18,
there is a lattice of such that .
By Proposition 1.19,
there is a finitely generated lattice of such that
and
, as desired.
∎