陵21世纪教材 定理723给定半群<S,⊙>,如果4={gg 为<S,⊙>到<S,⊙>的半群自同态映射}且o是 函数复合运算,则<A,0>为半群。 由于恒等映射禔是复合运算o的幺元,因此 可得下面定理: PT PRESS 人民邮电出版社定理7.2.3 给定半群<S，⊙>，如果A={g|g 为<S，⊙>到<S，⊙>的半群自同态映射}且o是 函数复合运算，则<A，o>为半群。 由于恒等映射i是复合运算o的幺元，因此 可得下面定理：