Spezielle lineare Gruppe/2/Z/Erzeuger/Eigenschaften/Fakt

In ${\mathrm{SL}}_2\left(\mathbb{Z}\right)$ mit

$S=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$

und

$T=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$

gelten die Beziehungen

$S^2=-\mathrm{Id}$

und

$(ST{)}^3=-\mathrm{Id}.$

Einen Beweis erstellen