Does G≅G/HG\cong G/H imply that HH is trivial?

Let G be any group such that

where H is a normal subgroup of G.

If G is finite, then H is the trivial subgroup {e}. Does the result still hold when G is infinite ? In what kind of group could I search for a counterexample ?


Look at G=i=1 Z and the subgroup H=Z  i=2 0.

Source : Link , Question Author : Klaus , Answer Author : Rasmus

Leave a Comment