Geht einfach alle Axiome durch und zeigt, dass sie erfüllt sind:
I. Die Abgeschlossenheit ist wohl am schwierigsten. X*Y muss wieder in IR \ { −3 } liegen,
dh. xy + 3x + 3y + 6=-3 darf nicht gehen für x,y ∈IR \ { −3 }.
Schauen wir mal: xy + 3x + 3y + 6=-3 ⇔ 3x+3y+xy+9=0 ⇔ (x+3)(y+3)=0 ⇔ x=-3,y=-3
Also ist die Verknüpfung abgeschlossen.
II. Ass: (x*y)*z = hinschreiben, dann vergleichen mit:
x*(y*z) = ...
III. Existenz des neutralen Elements
k*y=y soll sein. Was ist k?
k*y = y = ky+3k+3y+6
⇔ y(k+2) +3k+6=0 ⇔ k=-2 ist das neutr. Element
IV. Existenz des inversen Elements
Sei x das inverse Element von y, also x*y=-2
x*y = -2 = xy+3x+3y +6 ⇒ x= -\( \frac{3y+8}{y+3} \) ausrechnen!
Dies ist das inverse Element. Es ist definiert, da der Nenner immer ≠0 ist.
V. Kommutativität: x*y = y*x sieht man wegen Komm.gesetze in ℝ.