"g" の元 "a" とinn("g")の元 ƒ("x") ＝ "xa" を対応させることによって、商群 "g"/z("g")と内部自己同型群の間の同型が得られる(z("g")は "g" の中心)