SL_2(Z) の元 S, T を

S = (1, 1)/(0, 1)
T = (0, -1)/(1, 0)

で定義する。

S(z) = z + 1
T(z) = -1/z

である。