In SL 2 ( Z ) {\displaystyle {}\operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}} mit
und
gelten die Beziehungen