Platonov-Rapinchuk is the canonical reference.
EDIT A less nuclear option (and one I should have mentioned in the first place is Morris Newman's Integral Matrices. I think chapter 7 and/or 9 have a(n elementary) proof.
Igor Rivin
- 96.4k
- 11
- 153
- 366