Skip to main content
2 of 2
Added the assumption that H is indecomposable
François Brunault
  • 20.8k
  • 2
  • 53
  • 102

As explained in the comments, the result is true if $H$ is abelian.

Here is an argument which shows that the result is true in the somewhat orthogonal case where $H$ has trivial center [EDIT] and is indecomposable [/EDIT].

Write the epimorphism $G \times G \to H \times H$ as $\begin{pmatrix} a & b \\ c & d \end{pmatrix}$ with $a,b,c,d : G \to H$. Let $A,B,C,D$ be the respective images of $a,b,c,d$ in $H$.

The groups $A$ and $B$ commute elementwise in the sense that $xy=yx$ for every $x \in A$ and $y \in B$. Moreover, they generate $H$ by assumption. So we have an exact sequence

\begin{equation*} 1 \to A \cap B \to A \times B \to H \to 1 \end{equation*}

and similarly for $C,D$. Note that $A \cap B$ commutes with $A$ and $B$, so it must lie in the center of $H$, thus it should be trivial. Therefore $H=A \times B = C \times D$. It follows that $A=\{e\}$ or $B=\{e\}$, thus $a$ or $b$ is surjective.

The same argument also works in some cases where the center of $H$ is not trivial, for example when $H$ is a group of order $p^3$ with $p$ prime.

François Brunault
  • 20.8k
  • 2
  • 53
  • 102