Seien x,y aus X und a wie in der Aufgabenstellung.
Für das erste musst du zeigen, dass das Ergebnis durch die Angabe der Def. eindeutig bestimmt ist
(Das ist offenbar so.) und das das Ergebnis (x-a)(y-a) + a immer wieder in X liegt.
Wäre es nicht so, da wäre ja (x-a)(y-a) + a = a
also (x-a)(y-a) = 0
also x=a oder y=a , was aber nicht möglich ist wegen x,y aus X .
Passt also.
abelsche Gruppe: Abgeschlossenheit hatten wir gerade, fehlt also
assoziativ , kommutativ und Existenz von Neutralen, und Inversen.assoziativ: Seien x,y,z aus X dann gilt
(x*y)*z
= ( (x-a)(y-a) + a ) * z
=( ( (x-a)(y-a) + a ) - a ) * ( z - a ) + a
... Das musst du jetzt so umformen, dass du das gleiche Ergebnis
erhältst wie bei
x*(y*z)
= x* ( (y-a)(z-a) + a )
= (x-a) ( (y-a)(z-a) + a ) - a ) + aund für kommutativ entsprechend x*y = y*x
neutrales Element n müsste liefern n*x=x also
(n-a)(x-a) + a = x
Dazu muss wohl n = 1+a sein .
Und ein inverses zu x hast du mit einem y, für das x*y = 1+a gilt
also (y-a)(x-a) + a = 1+a
y-a = 1 / (x-a) also
y = a + 1 / (x-a) und das geht immer, da x nicht gleich a.