Published online by Cambridge University Press: 20 November 2018
Throughout this note, let R be a discrete valuation ring with prime element π, residue class field , and quotient field K. Let Λ be an R-order in a finite dimensional K-algebra A. A Λ-lattice is an R-free finitely generated left Λ-module. For k > 0, we set
where M is any Λ-lattice. Obviously, for Λ-lattices M and N,
Maranda [1] and D. G. Higman [3] considered the reverse implication, and Proved
THEOREM. Let Λ be an R-order in a separable K-algebra A. Then there exists a positive integer k (which depends on Λ) with the following property: for each pair of Λ-lattices M and N,
Indeed,m it suffices to choose k so that
Maranda proved this result for the special case where Λ is the integral group ring RG of a finite group G.