Row lattice of an integer matrix (source code)

= Row lattice of an integer matrix
{title2=$L_A=\mathbb Z^m A$}

= Row lattice
{synonym}

The row lattice of an integer <matrix> with $m$ rows is the set of their integer linear combinations. It is an <Euclidean lattice> in its real span, since it is contained in the discrete set $\mathbb Z^n$ and spans that real vector space. For a nonsingular two-by-two integer <matrix>, the <row Hermite normal form in rank two> gives a canonical <basis> and proves that its index in $\mathbb Z^2$ is the absolute value of its <determinant>.