Für "Körper" musst du die Körperaxiome prüfen:
additive Gruppe hattet ihr vermutlich schon für alle Matrizen gezeigt.
multiplikativ: Abgeschlossenheit und assoziativ ist wohl klar.
neutrales El ist ist die Einheitsmatrix, also a=1 und b=0 und
multiplikative inverse gibt es auch:
Inverse zu (ab−ba) ist
a2+b21(a−bba)
Distributivgesetze gelten ja bei Matrizen auch immer.
Und X2 + 1 = 0 hat als Lösung
(01−10)
Und ein Isomorphismus ist
(ab−ba)→a+bi