a) Es ist
-

und
-

Diese Menge ist also abgeschlossen unter der Matrizenmultiplikation und enthält mit jedem Element auch das inverse Element. Für
liegt die Einheitsmatrix vor. Da diese Matrizen die Determinante
besitzen, liegt insgesamt eine Untergruppe der speziellen linearen Gruppe vor.
b) Die Abbildung
-
ist ein Gruppenisomorphismus.