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