例では、g ＝ sl(2,r),k ＝ so(2)で、γ はモジュラー群sl(2,z)の任意のねじれのないである。