Definition 10.121.5. Let $R$ be a Noetherian local domain of dimension $1$ with fraction field $K$. Let $V$ be a finite dimensional $K$-vector space. Let $M$, $M'$ be two lattices in $V$. The distance between $M$ and $M'$ is the integer
\[ d(M, M') = \text{length}_ R(M/M \cap M') - \text{length}_ R(M'/M \cap M') \]
of Lemma 10.121.4 part (5).
Comments (0)
There are also: