Abstract:
It is proved that the group of matrices of order two with determinant 1 over a Dedekind ring of arithmetic type is generated by elementary matrices if there are infinitely many invertible elements in this ring. We also obtain a more general result, describing the group generated by elementary matrices belonging to a congruence subgroup.
Bibliography: 6 titles.