On the other hand , it is a difficult problem to find an explicit set of generators for a given arithmetic group .
Arithmetic groups are known to be finitely generated .
It is a difficult problem to find an explicit set of generators for a given arithmetic group .
Arithmetic groups are known to be finitely generated .