Proposition 1.17 . [0265]
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
Proposition 1.17.
We assume that is discrete. Then we have the following:
- (1)
Every lattice of is a finitely generated -module.
- (2)
If we set for a norm of of , then .