Musst du halt die Körperaxiome überprüfen
assoziativ , distributiv etc.
Problem ist vielleicht: Inverse bezüglich Multiplikation
zu so einem M invers ist (1/(a^2+b^2) )* a b
-b a
und das klappt immer wegen a^2+b^2 > 0 für jede Matrix, die nicht die Nullmatrix ist