text: Коядром отображения f является группа Out ⁡ ( G ) {\displaystyle \operatorname {Out} (G)} внешних автоморфизмов; таким образом, имеет место точная последовательность: 1 → Z ( G ) → G → Aut ⁡ ( G ) → Out ⁡ ( G ) → 1 {\displaystyle 1\to Z(G)\to G\to \operatorname {Aut} (G)\to \operatorname {Out} (G)\to 1} .