半群满同态

1. 概述

于 群论 中, 若 半群 之间的 半群同态 是 满射 的, 则称之为 半群满同态. 它亦是 半群范畴 中的 满同态.

2. 定义

定义 1 (半群满同态)

设 为 半群, 若 半群同态 是 满射, 则称 为 半群满同态.

3. 例子

详情请参阅 群论中同态的例子.

4. 相关性质

命题 2 (半群满同态的复合仍是满同态)

设 为 半群, 定义 1 (半群满同态) 以及 , 则 复合 仍是半群满同态.

证明 3 (半群满同态的复合仍是满同态)

利用 同态 (半群) > ^1e8392 以及 满射 > ^a1d2d3 立即得证.

5. 相关概念

• 半群同态, 半群单同态, 半群同构
• 群满同态

6. 术语翻译

中文	英文
半群满同态	semigroup epimorphism