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>.