2.1群 半群S中既是左单位元又是右单位元的元素，则 称为S的单位元。 若半群$有单位元，则称S为有单位元的半群， 或么半群2.1 群 半群S中既是左单位元又是右单位元的元素，则 称为S的单位元。 若半群S有单位元，则称S为有单位元的半群， 或幺半群