Reduction Theory and Arithmetic Groups