Herstein: Homomorphism Proof


by ThatPinkSock
Tags: herstein, homomorphism, proof
ThatPinkSock
ThatPinkSock is offline
#1
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.



Attempt:
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 Phys.org
Lemurs match scent of a friend to sound of her voice
Repeated self-healing now possible in composite materials
'Heartbleed' fix may slow Web performance
micromass
micromass is online now
#2
Oct18-11, 08:01 PM
Mentor
micromass's Avatar
P: 16,529
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??
Deveno
Deveno is offline
#3
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