Reduction Theory