Montrer que (G,*) est un groupe

[Fanfan]

Bonsoir à tous, pourriez-vous m'éclaircir les idées ?
Je dois montrer que (G,*) est un groupe tq:

V(a,b)€E², I(x,y)€E² tq b=a*x=y*a on sait que * est associative.

Comment trouver l'élément neutre ?? Merci d'avance à tous ceux qui m'aideront !

[Antho07]

écris le en francais s'il te plait.

V c quelque soit?


I c quoi??
E c quoi?

[Fanfan]

V correspond à Pour tout ...
I correspond à : il existe
E correspond à mon ensemble
Merci !

[ThSQ]

Marrant !

il existe x,y tq b = a*x = y*a
il existe z tq a = b*z
alors a = a*x*z
posons e = x*z

b*e = y*a*e = y*a = b donc e est le neutre aussi pour b.

pareil pour les autres éléments et même chose pour le neutre à gauche.