1. 概述 于 群论 中, 若 半群 之间的 半群同态 是 满射 的, 则称之为 半群满同态. 它亦是半群范畴中的 满态射. 2. 定义 定义 1 (半群满同态) 设 为 半群, 若 半群同态 是 满射, 则称 为 半群满同态. 3. 例子 详情请参阅 群论中同态的例子. 4. 相关性质 命题 2 (半群满同态的复合仍是满同态) 设 为 半群, 半群满同态 以及 , 则 复合 仍是半群满同态. 证明 3 (半群满同态的复合仍是满同态) 利用 半群同态的复合仍是同态 以及 满射的复合仍是满射 立即得证. 5. 相关概念 半群同态, 半群单同态, 半群同构 群满同态 6. 术语翻译 中文英文半群满同态semigroup epimorphism