Was ist das genaue Problem? Es sind die Eigenschaften einer Untergruppe nachzuweisen. Das heißt, zeige, dass \(A+B\) die gleiche Struktur wie die Matrix aus \(C\) hat. Das gleiche gilt dann für \(A\cdot B\). Einmal nachrechnen mit \(x\) und \(y\) und feststellen, dass die Struktur dieselbe ist.
Invertierbarkeit kann man auch zeigen, indem man zeigt, dass die Determinante ungleich 0 ist. Das sieht man schnell, wenn man sie einmal berechnet. Und abelsch bedeutet, es gilt \(AB=BA\).
Für den Gruppenhomomorphismus ist \(f(A\cdot B)=f(A)\cdot f(B)\) zu zeigen. Das ist aber einfach, wenn man die Kommutativität aus b) ausnutzt. Im Kern sind alle Elemente enthalten, die durch die Abbildung auf das neutrale Element abgebildet werden (wie sieht das neutrale Element aus?) und wenn sich im Kern nur das neutrale Element selbst befindet, dann ist die Abbildung injektiv.