Register to reply

Herstein: Homomorphism Proof

by ThatPinkSock
Tags: herstein, homomorphism, proof
Share this thread:
Oct18-11, 07:35 PM
P: 3
From Herstein's Abstract Algebra. Section 2.7 #7

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

I want to prove that if k ∈ G' then kφ(N)k-1 = φ(N), but k = φ(n) for some n... then idk what.
Phys.Org News Partner Science news on
Wildfires and other burns play bigger role in climate change, professor finds
SR Labs research to expose BadUSB next week in Vegas
New study advances 'DNA revolution,' tells butterflies' evolutionary history
Oct18-11, 08:01 PM
micromass's Avatar
P: 18,086
Take a in N, you need to prove that

[tex]k\varphi(a)k^{-1}\in \varphi(N)[/tex]

Replace k with [itex]\varphi(n)[/itex], what do you get??
Oct19-11, 02:57 AM
Sci Advisor
P: 906
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?

Register to reply

Related Discussions
Please check my Homomorphism proof Linear & Abstract Algebra 8
Abstract Algebra Homomorphism Proof Calculus & Beyond Homework 3
Proof Involving Homomorphism and Normality Calculus & Beyond Homework 6
Homomorphism proof Calculus & Beyond Homework 2