Du kannst ja alle Eigenschaften des Ringes (ℤ,+,·) verwenden.
und musst die Eigenschaften von (R,⊕,⊗) darauf zurückführen:
1. R abgeschlossen bzgl ⊕. Seien (a,b) und (c,d) aus R.
==> (a,b) ⊕ (c,d) = ( a+c,b+d) nach Def. von ⊕
und weil (ℤ,+) abgeschlossen ist , sind auch a+c∈ℤ und b+d∈ℤ,
also (a,b) ⊕ (c,d) ∈ R.
2. ⊕ ist assoziativ in R: Seien (a,b) und (c,d) und (e,f) aus R.
==> ( (a,b) ⊕ (c,d)) ⊕ (e,f) nach Def. von ⊕
= ( a+c,b+d) ⊕ (e,f) nach Def. von ⊕
= ( (a+c)+e,(b+d) +f) Assoziativ. in (ℤ,+)
= ( a+(c+e),b+(d +f) ) nach Def. von ⊕
= (a,b) ⊕ (c+e,d+f) nach Def. von ⊕
= (a,b) ⊕ ( (c,d) ⊕ (e,f) ) . q.e.d.
Auf ähnliche Weise kannst du alle gewünschten Eigenschaften
von R auf die von ℤ zurückspielen. Viel Schreibarbeit.