Skip to main content
2 of 5
added 34 characters in body
seldom seen
  • 436
  • 3
  • 16

A pair of non-free groups, each of which is isomorphic to itself free product a free group. Are they isomorphic?

This is a follow-up question to Is there a non-free group $G$ whose subgroups are all freely decomposable?

In the answer to that question, Cornulier gives the following example (due to Kurosh) of a group $G$ which is not free, yet isomorphic to $G*\mathbb{Z}$:

$$G=\langle (a_i)_{n\geq 0},(b_i)_{n\geq 1},\mid \left[a_n,b_n\right]=a_{n-1},\forall n\geq 1\rangle$$

Of course $G\cong G*F$ whenever $F$ is a finitely generated free group.

Question: Is the group

$$H=\langle (a_i)_{n\geq 0},(b_i)_{n\geq 1},(c_i)_{n\geq 1},(d_i)_{n\geq 1}\mid \left[a_n,b_n\right]\left[c_n,d_n\right]=a_{n-1},\forall n\geq 1\rangle$$

not isomorphic to $H*F_n$, $n=1,2$ ($H$ is isomorphic to $H*F_3$)? To $G$? It seems to me like it shouldn't be.

seldom seen
  • 436
  • 3
  • 16