Du musst für Assoziativität nur einsetzen
x ⊕ ( y ⊕ z ) =x + ( y ⊕ z ) - x * ( y ⊕ z ) = x + (y + z - y*z) - x * (y + z - y*z)
= x + y + z - xy - xz - yz + xyz
Analog rechnest du jetzt ( x ⊕ y ) ⊕ z aus und vergleichst die Ergebnisse. Du willst zeigen, dass x ⊕ ( y ⊕ z ) = ( x ⊕ y ) ⊕ z..
Kommutativität ist auch nur einsetzen:
x ⊕ y = x + y - x*y = y + x - y*x = y ⊕ x. Dabei verwendest du die Kommuativität von + und * auf IR.
Neutrales Element: Du suchst ein e s.d. x ⊕ e = e ⊕ x = x für alle x
Zu lösen ist also x = x+e - x*e
Dann suchst du zu jedem Element x ein Inverses, d.h. ein y mit
e = x ⊕ y = x + y - x*y
auch diese Gleichung musst du jetzt nach y auflösen. Dabei wird dir dann auch auffallen, weshalb nur IR\{1} betrachtet wird.