Assuming $(G,*)$ is an non-abelian group and $a,b\in G$.
I have these two equations: $a*x=b$ and $y*a=b$.
First I had to prove, that both of the equations are uniquely solvable ($x_1=x_2$ and $y_1=y_2$), which I did. But now I need to find an example, where $x\neq y$.
I thought, maybe I can just write it like this: $x=a^{-1}*b$ and $y=b*a^{-1}$, since $*$ is not commutative, $x\neq y$.
Would that be a proper example?