##### 同构 - 同构 - **同构**是满足[[双射]]性质的[[同态]], 在一个代数结构上称为自同构. 一个同态 $f: A \to B$ 是同构, 如果它是双射, 即既是单射又是满射, 记作 $A \cong B$. 所有 $A$ 上的自同构 $\text{Aut}(A)$ 构成一个[[群]], 称为自同构群, 其运算为映射复合