Proposition 1.14 . [025Z]
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.14.
Let be a lattice of . We assume that, as an -module, admits a free basis . Then is an orthonormal basis of with respect to .