2.1群 1)群必是幺半群，但么半群未必是群。 2)在半群中， 可能既无左单位元，又无右单位元： 可能有左单位元，无右单位元： 可能有右单位元，无左单位元： 也可能既有左单位元，又有右单位元，此时二者 相等，是半群唯一的单位元。2.1 群 1) 群必是幺半群，但幺半群未必是群。 2) 在半群中， 可能既无左单位元，又无右单位元； 可能有左单位元，无右单位元； 可能有右单位元，无左单位元； 也可能既有左单位元，又有右单位元，此时二者 相等，是半群唯一的单位元