2.1群 设$是一个非空集合，如果它有一个代数运算满 足结合律，则称S是一个半群。 如果半群S中有元素e,满足对任意的a∈S,有 ea=a,则称e为S的一个左单位元。 如果半群S中有元素e,满足对任意的a∈S, 有ae'=a,则称e为S的一个右单位元。2.1 群 设S是一个非空集合，如果它有一个代数运算满 足结合律，则称S是一个半群。 如果半群S中有元素e，满足对任意的 ，有 ea=a，则称e为S的一个左单位元。 如果半群S中有元素 ，满足对任意的 ， 有 ，则称 为S的一个右单位元。 e  e  a S  ae a  = a S 