[問 半群(G,･) (但し,･は2項演算)が左単位元(つまり,∀a∈G,e_l･a=a)と右逆元(つまり,∀a∈G,a･a^r=e_l)を持つなら(G,･)は群をなすか?

という問題です。
偽だと思いますがなかなか反例が思い付きません。
どのような例がありますでしょうか?