设 ＜ A,* ＞ 是半群,e是左幺元且对每一个x∈A,存在 a)证明:对于任意的a,b,c∈A,如果a*b=a*c,则b=

设 ＜ A,* ＞ 是半群,e是左幺元且对每一个x∈A,存在

a)证明:对于任意的a,b,c∈A,如果a*b=a*c,则b=c.

b)通过证明e是A中的么元,证明: ＜ A,* ＞ 是群。