Binäre Oktaedergruppe/1 durch sqrt 2i -i zeta -i/Gehört dazu/Aufgabe

Aus Wikiversity

Zeige, dass die Matrix

zur binären Oktaedergruppe gehört (dabei ist eine primitive achte Einheitswurzel). Gehört sie auch zur

binären Tetraedergruppe?