Return to Revisions

Let $G$ be a non-trivial injective group and $g \in G$ non-trivial. From category theory, $G \times G$ is injective as well. But, now $G \times G$ embeds into a group $H$, where $(g,e)$ and $(e,g)$ are conjugate using an HNN-extension, or just embedding into the group $H:=(G \times G) \rtimes \mathbb Z/2\mathbb Z$. Since $(g,e)$ and $(e,g)$ are not conjugate in $G \times G$, $H$ cannot split back to $G \times G$. This is a contradiction.