在
抽象代数的
群论中,内自同构是
群的
自同构的一种。设g为
群G的一个元素,则g对应的内自同构,是以g的共轭作用定义如下
群G的所有内自同构在映射的合成运算下构成一个群,称为G的内自同构群,常记为Inn (G)。若G为交换群,则Inn(G)={1}。群G的内自同构群是它的自同构群的正规子群,群G的内自同构群同构于商群G/Z(G),其中Z(G)为G的中心,即Inn (G)-G/Z (G)。群G的不是内自构的自同构称为外自同构.商群Out (G) =Aut (G) /Inn (G)称为G的
外自同构群.外自同构群的元素一般不是自同构。
(4)若Inn(G)=Aut(G)且G无中心,则G称为
完备群。
群G的内自同构组成内自同构群Inn(G)。内自同构群Inn(G)与群G对其
中心Z(G)的商群G/Z(G)同构。
内自同构群Inn(G)是G的自同构群Aut(G)中的
正规子群,其对应商群记为Out(G)=Aut(G)/Inn(G),称为
外自同构群。
群G的子群H是G的
正规子群,当H在G的任一内自同构的作用下不变。这时G的内自同构限制到H上是H的自同构(未必是H的内自同构),因而有群同态。这个群同态的核是H在G中的
中心化子CG(H)。
对一般的子群H,可取其在G中的
正规化子NG(H),则H是NG(H)的正规子群,故有群同态,其核是CG(H)。因此NG(H)/CG(H)可以嵌入到Aut(H)内,即