##### 单同态 - 单同态 - **单同态**是满足[[单射]]性质的[[同态]], 在一个代数结构上称为单自同态. 一个同态 $f: A \to B$ 是单同态, 如果它是单射, 即对于任意 $a_1, a_2 \in A$, 若 $f(a_1) = f(a_2)$, 则 $a_1 = a_2$