>>665 続き
G={a,b}
a*a=a
b*a=b
a*b=a
b*b=b
は、aもbも右単位元だが、左単位元は存在しない。