Proof of No Right Identity for Operation with Two Left Identities

[Punkyc7]

If an operation has two left identities, show that it has no right identity.
$_{}$
pf/
Let e$_{1}$ and e$_{2}$ be left identities such that e$_{1}$≠e$_{2}$. Assume there exist a right identity and call it r.

Then we have that
e$_{1}$x=x
e$_{2}$x=x and
xr=x.


From here I want to try and show that there can not be a right identity but I don't see where to go.

 

[gb7nash]

If an operation has two left identities, show that it has no right identity.
$_{}$
pf/
Let e$_{1}$ and e$_{2}$ be left identities such that e$_{1}$≠e$_{2}$. Assume there exist a right identity and call it r.

This is fine so far.

Try evaluating e₁r. What two pieces of information can you conclude? Similarly...

 

[Punkyc7]

wouldnt I get
e$_{1}$r=e$_{1}$=r

and

e$_{2}$r=e$_{2}$=r

So we get e$_{2}$ and e$_{1}$ are equal contradicting that they were distinct.
Is that right?

 

[gb7nash]

Correct.

 

[Punkyc7]

thanks, I was trying to figure it out with the x's and I couldn't come to any contradiction