Hallo,
in einer Halbgruppe muss es kein neutrales Element geben:
https://de.wikipedia.org/wiki/Halbgruppe
Du musst also nur das Assoziativgesetz nachweisen:
b)
x o (y o z) = x o (y+z -2) = x+(y+z-2) - 2 = x+y+z-4
(x o y) o z = (x+y-2) o z = (x+y-2)+z - 2 = x+y+z-4
→ AG gilt
c)
x o (y o z) = x o (3yz) = 3•x•(3yz) = 9xyz
(x o y) o z = (3xy) o z = 3 • (3xy) • z = 9xyz
→ AG gilt
Gruß Wolfgang