同余算术子群 {{rm SL}}_2(ZZ)