# True or False: Any surjective homomorphism between 2 isomorphic groups is an isomorphism.

Suppose that $G$ and $G'$ are two groups isomorphic to each other. Is it true that any onto homomorphism from $G$ to $G'$ is an isomorphism, i.e. any surjective homomorphism has a trivial kernel?

If it was not the case, then $G≈G'$ also Image of homomorphism $=G'≈G/K$. Hence $G≈G/K$. This implies K is trivial. Am I right ?

• It is true for finite groups, for trivial reasons. – Bernard Jan 10 '17 at 19:46
• Is it also true for groups with finitely countable elements ? @ Bernard – Shreedhar Bhat Jan 10 '17 at 19:49
• @ShreedharBhat no, my example works if you change $\mathbb R$ with a finite group. – Jorge Fernández Hidalgo Jan 10 '17 at 21:38

clearly false, consider $\mathbb R ^\mathbb N$ and the "scoot to the left" function. (in other words $(x_1,x_2,\dots)\rightarrow (x_2,x_3,\dots)$)
The additive groups $(\mathbb C,+)$ and $(\mathbb R,+)$ are isomorphic; the map $z\mapsto\Re z$ is a surjective homomorphism but not an isomorphism.
Let $F$ be the free group generated by a countably infinite set $X.$ Any non-injective surjection from $X$ to $X$ extends to a surjective homomorphism from $F$ to $F$ which is not an isomorphism.