问答题
简答题
设（S，·）是一个半群，e∈S称为S的一个左（右）单位元，如果对于任意的a∈S都有e·a=a（a·e=a），对于a∈S，如果存在b∈S使b·a=e（a·b=e），则称a左（右）可逆，b是a的一个左（右）逆元，假设S有左（右）单位元e且S中每个元素都有关于e的左（右）逆元。证明：（S，·）是一个群。
【参考答案】
点击查看答案
