摘要： 幺模格 如果一个秩为n的自由阿贝尔群$E$上定义了一个对称的双线性形式$(x, y) \to x.y$，则称$E$为格。格中任意元素$a\in E$的范数定义为$a.a$。如果我们把$E$看作$\mathbb{Z}$上的模，那么范数就是$E$上的二次型。如果$E$中任何元素的范数都是偶数，则称$E$ 阅读全文