if http://latex.codecogs.com/gif.latex?f:N%20%5Cto%20G has monomorphism , and N is abelian

then http://latex.codecogs.com/gif.latex?f%5E%7B-1%7D is homomorphism??

Printable View

- March 1st 2012, 11:26 PMvernalhomomorphism
if http://latex.codecogs.com/gif.latex?f:N%20%5Cto%20G has monomorphism , and N is abelian

then http://latex.codecogs.com/gif.latex?f%5E%7B-1%7D is homomorphism?? - March 2nd 2012, 07:50 PMDevenoRe: homomorphism
only makes sense on f(N), since there's no unique way to define for .

but if we are restricting our attention to f(N), then is more than just a homomorphism, it's an isomorphism (because if is a monomorphism, is an isomorphism).