[Def]群 $G$ 的内自同构(群),外自同构(群)
设 $G$ 是群, 固定 $g\in G$, 映射 $\sigma_g:G\rightarrow G$, via $\sigma_g(a)=g^{-1}ag$ 定义了 $G$ 的一个自同构, 称为由 $g$ 诱导的 $G$ 的内自同构.
由所有内自同构构成的集合 $\sigma(G)=\{\sigma_g\mid g\in G\}$ 构成了一个群, 称为内自同构群, 它是 $\text{Aut}(G)$ 的一个子群.
称 $\text{Aut}(G)\setminus\sigma(G)$ 中的元素为 $G$ 的外自同构, 而称 $\text{Aut}(G)/\sigma(G)$ 为 $G$ 的外自同构群.