View source for Unimodular lattice

A lattice <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095360/u0953601.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095360/u0953602.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095360/u0953603.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095360/u0953604.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095360/u0953605.png" /> vectors in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095360/u0953606.png" />, then the lattice spanned by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095360/u0953607.png" /> is unimodular if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095360/u0953608.png" /> (because <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095360/u0953609.png" />).

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Milnor,   D. Husemoller,   "Symmetric bilinear forms" , Springer  (1973)  pp. 16</TD></TR></table>