Für Gruppe musst du zeigen:
Abgeschlossenheit
Assoziativität
Existenz eines neutrales El.
und zu jedem El ein inverses.
zu1) seine A,B aus SL(n, Z)
dann auch A*B; denn erstens werden bei der Berechnung von
A*B die El. von A und B nur addiert und multipliziert ,
die Ergebnisse bleiben also in Z.
Zweitens bleibt det=1 denn
det(A*B) = det(A)*det(B) = 1*1 = 1.
Assoziativität gilt bei Matrixmultiplikation immer.
neutral ist die Einheitsmatrix.
Und die inverse einer Matrix mit det=1 hat auch det=1
und wenn du etwa die Formel A^(-1) = 1/det(A) * adj(A) benutzt,
ist auch klar, dass in der inversen Matrix nur ganze Zahlen
auftauchen.