Supongamos que tenemos una extensión de grupo 1→N→G→H→1 y un automorfismo ϕ:G→G . ¿Es correcto que este automorfismo induce automorfismos ϕN:N→N y ϕH:H→H ?
Si es así, esto significaría que la imagen por ϕ de elementos de la forma (n,1H)∈G son los elementos (ϕN(n),1H) y que los elementos de la forma (n,h)∈G se envían a (ϕN(n)⋅n′(h),ϕH(h)) , donde n′(h) es un elemento de N que depende de h . ¿Es esto también correcto?