The natural mod- projection map
is surjective.
Proof: We want to show that for any integer matrix with , there is an matrix such that
1) If , we can choose integers such that are coprime.
WLOG assume that . Now if divides , then it cannot divide both and ; Because otherwise the determinant won’t be
Choose such that is not divisible by – you can take if doesn’t divide and if divides
Use Chinese remainder theorem to find such that for dividing
Now by construction is not divisible by any prime dividing , and hence coprime to
is our choice.
2) Now consider
We have Let
The determinant of the above matrix is
Because are coprime we can choose such that
Hence the determinant of equals and we are done.
Another proof: Given a matrix with , use elementary row and column operations to reduce the matrix to diagonal , where the inverse is over
Further using the following factorisation
we see that can be lifted to a matrix in – the elementary row operators are in and the matrices in the above factorisation can be easily lifted.
We now move to the case of larger matrices.
We also have surjectivity of the natural quotient map
Proof: We reduce the case of diagonal matrices by elementary row and column operations.
Once we have the diagonal matrix, use matrices to set all the diagonal entries except one to (Multiply with matrices of this form which by above identity is known to be generated by elementary matrices) But because the determinant is not changed, the last entry would be just Thus we see that is generated by elementary matrices; we are now done because elementary matrices can be lifted to
-These are special cases of much more general results about algebraic groups: See Strong Approximation.
– The above matrix identities and theory elementary matrices is studied in K-theory.