Congruence subgroup problems Whitehead groups ($K_1$) mathematics