I have first started with an attempt to prove:
$$a^{-1}a=a^{-1}ae=a^{-1}aaa^{-1}$$ but it has lead me nowhere, so I tried to think about counterexample, but I do know much Monoids
I have first started with an attempt to prove:
$$a^{-1}a=a^{-1}ae=a^{-1}aaa^{-1}$$ but it has lead me nowhere, so I tried to think about counterexample, but I do know much Monoids
I linked you the other question for the technique used there!
First, note that if $aa^{-1}=e$ then $$a^{-1}aa^{-1}a = a^{-1}a$$ so if $c=a^{-1}a$ then $cc=c$. Now you can multiply by the right inverse $c^{-1}$ to get $c=e$. So your monoid has a left inverse, that coincides with the right (i.e. it is a group).