hi ,
let (G,*) be a semigroup with the property that for any two elements a,b belongs to G , the equations:
a*x=b , y*a=b
have solutions x,y in G , verify that (G,*) forms a group.
---
my attempt
first one ,
* is associative as (G,*) is a semigroup
assume a=b ,then ...