1. 概述 于 群论 中, 幺半群同态 是 幺半群 间的 同态. 2. 定义 定义 1 (幺半群同态) 设 皆为 幺半群, 以及它们之间 (于 基础集 上) 的 映射 , 若该映射同时满足： 幺元 则称 为幺半群 间的 同态. 3. 例子 详情请参阅 群论中同态的例子. 4. 相关性质 5. 相关概念 半群同态 群同态 6. 术语翻译 中文英文幺半群同态monoid homomorphism