Suppose that $G$ is a group with the property that for every choice of elements in $G$, $axb=cxd$ implies $ab=cd$. Prove that $G$ is Abelian.

Let $a,b\in G$. Then you have $(bab^{-1})ba(e)=(e)ba(a)=ba^2$, so by hypothesis you can conclude that $bab^{-1}e=ea$, that is $bab^{-1}=a$, which implies $ab=(bab^{-1})b=ba$, so $G$ is abelian.


Beginning with $b = b$, which is equivalent to $eb = be$, observe that we have $aa^{-1}b = ba^{-1}a$.

Thus, by hypothesis, $ab = ba$. Hence the group is abelian.