Abstract properties of S-arithmetic groups and the congruence subgroup problem