Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Aut(G) = {φ : G → G | φ es un isomorfı́smo de G}
A cada g ∈ G asociamos una función φg : G → G, definida como φg (x) := gxg −1 para todo x ∈ G.
(φg ◦ φh−1 )(x) = g(h−1 xh)g −1 = (gh−1 )x(gh−1 )−1 =: φgh−1 (x)
y de esta forma, tenemos que φg ◦ φh−1 ∈ H. Veamos ahora que H C G. Sea φ ∈ Aut(G) y para cada
g ∈ G, considere φφg φ−1 ∈ φHφ−1 . Para cada x ∈ G tenemos que
demostrando asi que φ ◦ φg φ−1 es un elemento de H, luego φHφ−1 ⊂ H y por ello H es normal en G.
2a. Sean a, b ∈ Z(G). Para todo x ∈ G se tiene que
y de esta forma ab−1 ∈ Z(G) y asi Z(G) es subgrupo de G. Por otro lado, como gz = zg para todo g ∈ G
y para todo z ∈ Z(G), entonces gZ(G) = Z(G)g es decir Z(G) es normal en G.
2b. Por hipotesis, G/Z(G) = hgZ(G)i para algún g ∈ G. Sean a, b ∈ G. Entonces a ∈ (gZ(G))n =
g n Z(G) y b ∈ (gZ(G))m = g m Z(G), para algún par de enteros n, m. Por lo tanto existen elementos
z1 , z2 ∈ Z(G) tales que a = g n z1 y b = g m z2 . Entonces
ab = g n z1 g m z2 = g n g m z1 z2 = g n+m z2 z1 = g m z2 g n z1 = ba
2
5a. Sea g 0 ∈ G0 . Como φ es isomorfismo, existe g ∈ G tal que g 0 = φ(g). Entonces