ula_10。这个群同态的核是"H"在"G"中的中心化子C("H")。对一般的子群"H"，可取其在"G"中的正规化子N("H")，则"H"是N("H")的正规子群，故有群同态formula_11，其核是C("H")。因此N("H")/C("H")可以嵌入到Aut("H")内，即是单射。