It's called the Congruence Topology. If your group has the Congruence Subgroup Property (the modular group doesn't, but $SL_n(\mathbb{Z})$ does for $n>2$) then it's the same as the profinite topology.
HJRW
- 25k
- 3
- 68
- 144