1
$\begingroup$

Let $G,H$ be groups and suppose that $\varphi: G\to H$ is a bijection such that for any proper subgroup $G'\neq G$ of $G$ the image $\varphi(G')$ is a subgroup of $H$ and the restriction $\varphi|_{G'}: G'\to \varphi(G')$ is a group isomorphism.

Does it follow that $G\cong H$?

$\endgroup$
2
  • $\begingroup$ You only need to check this for groups generated by $\le 2$ elements, right? For the others it is immediate that $\phi$ is a homomorphism. $\endgroup$
    – jmc
    Jan 5, 2015 at 10:11
  • $\begingroup$ It definitely does not follow that $\phi$ is an isomorphism. $\endgroup$ Jan 5, 2015 at 10:30

1 Answer 1

10
$\begingroup$

No. Here is a counterexample:

  • Take $G = \mathbb{Z}/4\mathbb{Z}$, and $H = \mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/2\mathbb{Z}$.
  • Take any bijection $\phi \colon G \to H$ such that $\phi(0) = (0,0)$.

There are only two proper subgroups of $G$, namely $\{0\}$ and $\langle 2 \rangle$. Both are mapped isomorphically to a subgroup of $H$. But $G \not\cong H$.

So you will need more assumptions. May I suggest the requirement that

$(\star)\quad$ $\phi$ induces a bijection between the posets of proper subgroups of $G$ and $H$.


As remarked in the comments, if $G$ does not have a generating set with $\le 2$ elements, then $\phi$ must be a homomorphism, hence an isomorphism.

If you add the assumption $(\star)$, then cyclic groups are fine as well. The lattice of subgroups is distributive if and only if the group is locally cyclic. If the group is finitely generated, this means that it must be cyclic (see http://planetmath.org/latticeofsubgroups).

Remark: I am not yet sure what to do with groups generated by $2$ elements, but I have the feeling those shouldn't be hard now. I do not have anything close to a proof though. Please let me know if you think $(\star)$ makes sense in your setting.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.