Kurs:Singularitätentheorie (Osnabrück 2019)/Binäre Tetraedergruppe/Realisierung in SL2C/Untergruppe der binären Oktaedergruppe/Beispiel/Beispielreferenznummer