Verknüpfung wohldefiniert, assoziativ und kommutativ

Question

Zeigen Sie dass folgende Verknüpfung wohldefiniert, assoziativ und kommutativ ist.

ℤxℤ → ℤ mit

[m1,n2] * [m2,n2] = [m1*m2 + n1*n2, m1*n2 + n1* m2]

Mir ist klar dass es so ist, aber wie kann ich das jeweils mathematisch korrekt beweisen?

Comments

Das bezieht sich ja wohl auf die Klassen

bzgl. einer Äquivalenzrelation oder ?

Wie ist die definiert ?

Answer 1

Hallo
die Abbildung geht doch nicht ℤxℤ → ℤ sondern definiert die Multiplikation in ℤxℤ?
dann musst du mit der gegebenen Regel einfach die 2 Gesetzte nachrechnen

Gruß lul