Ejercicio de álgebra abstracta

buenas, usted me podría ayudar a resolver este ejercicio:

pruébese que un conjunto no vacío G junto co un operación binaria * (asterisco) en G tal que las ecuaciones a*x=b y y*a=b tienen soluciones en G para todas las a,b, e G, es un grupo. (e:pertenece)

En que temas de la teoria de grupos me podría ayudar.

Gracias