陵21世纪教材 定理724给定半群<S,⊙>,若B={为 <S,⊙>到<S,⊙>的半群自同构映射},o为函 数复合运算,则<B,O,诊是独异点。 定理72.5给定半群<S,⊙>,又<SS,o> 是从S到S的所有函数在复合运算0下构成的函数 半群,则存在从<S,⊙>到<SS,o>的半群同态 映射g,或者说<S,⊙≥半群同态于<S,o> PT PRESS 人民邮电出版社定理7.2.4 给定半群<S，⊙>，若B={h|h为 <S，⊙>到<S，⊙>的半群自同构映射}，o为函 数复合运算，则<B，o ，i>是独异点。 定理7.2.5 给定半群<S，⊙>，又<S S ，o> 是从S到S的所有函数在复合运算o下构成的函数 半群，则存在从<S，⊙>到<S S ，o>的半群同态 映射g，或者说<S，⊙>半群同态于<S S ，o>