## Herstein: Homomorphism Proof

From Herstein's Abstract Algebra. Section 2.7 #7

If φ is a homomorphism of G onto G' and N ◅ G, show that φ(N) ◅ G.

Attempt:
I want to prove that if k ∈ G' then kφ(N)k-1 = φ(N), but k = φ(n) for some n... then idk what.
 PhysOrg.com science news on PhysOrg.com >> Galaxies fed by funnels of fuel>> The better to see you with: Scientists build record-setting metamaterial flat lens>> Google eyes emerging markets networks
 Blog Entries: 8 Recognitions: Gold Member Science Advisor Staff Emeritus Take a in N, you need to prove that $$k\varphi(a)k^{-1}\in \varphi(N)$$ Replace k with $\varphi(n)$, what do you get??
 Recognitions: Science Advisor the fact that φ is onto is important. this means that EVERY k in G' is the image of some g in G: k = φ(g). now use the fact that φ is a homomorphism. what can we say about kφ(n)k-1?