E8 lattice
= E8 lattice
{c}
{title2=$E_8$}
The positive-definite rank-eight <even unimodular lattice> can be realized as vectors in $\mathbb Z^8$ or $(\mathbb Z+1/2)^8$ whose coordinate sum is even, with the ordinary Euclidean inner product. Negating this form gives $E_8(-1)$ in the <K3 intersection lattice>.