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