Can the quotient by a nontrivial normal subgroup be isomorphic to the group?

Question

Suppose $N$ is a normal subgroup of a group $G$, with $N \neq \{e\}$. Can $G/N$ be isomorphic to $G$?

My attempt: It is not possible in the case when $G$ is finite; a quick way to see this is to note that $o(G/N) = o(G)/o(N)$, so $G/N$ and $G$ do not have the same number of elements. For the general case, I suspect that it isn't possible as well, but I'm not sure. My intuition is that since $G$ is isomorphic to $G/\{e\}$, it shouldn't be isomorphic to another $G/N$, but I'm not sure if this is accurate.

Answer 1

Let $G=\bigoplus_{j=1}^\infty \mathbb{Z}$, an infinite sum of infinite cyclic groups. Then, if $N$ is the (normal) subgroup consisting of the first summand, $G/N\simeq G$. As you have shown, it is not possible in the finite case.

Answer 2

A group $G$ is called Hopfian if it is not isomorphic to any proper quotient $G/N$. The most well known finitely generated (even 1-related) non-Hopfian group was found by Baumslag and Solitar. It is the group given by two generators $a,b$ and one relator $ba^2b^{-1}=a^3$.