Solutions to homogeneous linear system of equations over the integers.

group-theoryintegerslinear algebralinear-transformationssystems of equations

Let $Ax=0$ a linear system of equations over the integers (i.e. all the entries of $A$ and $x$ are integers), where $A$ is an $m \times n $ matrix.

Do we know that if $n>m$ then there is a nonzero solution over the integers?

In linear algebra, for a homogeneous system this follows by the rank-nullity theorem. There has to be at least one linearly independent column, making the dimension of the kernel nontrivial. Is there something equivalent to this when we are no longer over a field, but instead over $Z$? Or is there perhaps some other useful fact about systems of linear equations over the integers that helps guarantee a solution to such a homogeneous system?

Best Answer

Let $B^n_s$ be the set of of points in $n$ dimensions that have integer coords $\le s$ in modulus. Then $A$ takes $B^n_s$ into $B^m_t$ with $t=|A|ns$, with $|A|$ denoting the element of $A$ with the highest magnitude. Now $B^n_s$ has $(2s+1)^n$ elements, and $B^m_t$ has $(2|A|ns+1)^m$. If I make $s$ sufficiently large, the former exceeds the latter and so (pigeon-hole principle) two points must have the same image. Their difference maps to zero, and this gives a solution to $Ax=0$. This method also gives an upper bound on the size of such a solution. Proof courtesy of Lang.