$K_1$-theory and the congruence problem

The following results are presented: a) A $K_1$-functor of a noncommutative ring with unity is a factor of a general linear group with respect to the subgroup of elementary matrices; b) a description is given of all the subgroups of finite index in a special linear group over the order in a field.