Skip to main content
8 of 10
edited tags
GH from MO
  • 105.4k
  • 8
  • 293
  • 398

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

By lattice I mean a subgroup of the additive group $\mathbb R^n$ that has full rank (that is, it spans $\mathbb R^n$ when considered as a set of vectors) and which is also isomorphic to $\mathbb Z^n$. A lattice $\mathcal L$ is integral if any $v,w\in\mathcal L$ have $\langle v,w\rangle\in\mathbb Z$, where $\langle\cdot,\cdot\rangle$ denotes the standard inner product.

I wonder whether every integral lattice $\mathcal L$ is isomorphic to a sublattice of $\mathbb Z^n$ in the following sense:

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

Two lattices $\mathcal L_1$ and $\mathcal L_2$ are said to be isomorphic, if they are isomorphic as groups (by some group isomorphism $\phi:\mathcal L_1\to\mathcal L_2$) and if there exists a constant $\alpha\in\mathbb R$, so that $$\langle \phi(v),\phi(w)\rangle=\alpha \langle v,w\rangle,\quad\text{for all $v,w\in\mathcal L_1$}.$$

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