Skip to main content
3 of 10
added 17 characters in body
M. Winter
  • 13.6k
  • 3
  • 29
  • 70

Is every integral lattice a sublattice of $\Bbb Z^n$?

I wonder whether every full-dimensional integral lattice $\mathcal L$ is a sublattice of $\Bbb Z^n$ in the following sense:

Consider some vectors $v_1,..., v_k\in\Bbb Z^n$. Then $$\mathcal L(v_1,...,v_k):=\mathrm{span}\{v_1,...,v_k\}\cap \Bbb Z^n$$ is a lattice in $\mathrm{span}\{v_1,...,v_k\}\subseteq\Bbb R^n$ (with the inner product inherited from $\Bbb R^n$), and shall be called a sublattice of $\Bbb Z^n$.

Being a sublattice, of course, is meant as being isomorphic to such one in some natural sense. For example, $\mathcal L$ is considered a sublattice of $\Bbb Z^n$ if there is an actual sublattice $\mathcal L(v_1,...,v_k)\subseteq\Bbb Z^n$, a group isomorphism $\phi:\mathcal L\to\mathcal L(v_1,...,v_k)$ and a constant $\alpha\in\Bbb R$, so that $$\langle \phi(v),\phi(w)\rangle=\alpha \langle v,w\rangle,\quad\text{for all $v,w\in\mathcal L$}.$$

If not all integral lattices are such sublattices, are there some natural restriction (e.g. unimodularity) to make this true?

M. Winter
  • 13.6k
  • 3
  • 29
  • 70