Ya que\(N\) es normal en\(G\text{,}\)\(gN = Ng\) para todos\(g \in G\text{.}\) Por lo tanto, para un dado\(g \in G\) y\(n \in N\text{,}\) existe un\(n'\) en\(N\) tal que\(g n = n' g\text{.}\) Por lo t...Ya que\(N\) es normal en\(G\text{,}\)\(gN = Ng\) para todos\(g \in G\text{.}\) Por lo tanto, para un dado\(g \in G\) y\(n \in N\text{,}\) existe un\(n'\) en\(N\) tal que\(g n = n' g\text{.}\) Por lo tanto,\(gng^{-1} = n' \in N\) o\(gNg^{-1} \subset N\text{.}\)
