Using GAP to compute the abelianization of a subgroup

Let $K$ be the group generated by four elements $x_1,\cdots,x_4$ with relations that each generator commutes with all its conjugates. (An equivalent relation is, any simple commutator with repeated generator is trivial; for example, $[[x_2,[x_1,x_3]],x_3]=1$.) It can be proved that $K$ is finitely presented.

Let $A$ be the subgroup of $K$ generated by the following elements:

  • $x_1x_2x_3x_4$;
  • $[x_1,x_2][x_1,x_3][x_1,x_4][x_2,x_3][x_2,x_4][x_3,x_4]$;
  • $[x_1,x_2,x_3][x_1,x_2,x_4][x_1,x_3,x_4][x_2,x_3,x_4]$;
  • $[x_1,x_3,x_2][x_1,x_4,x_2][x_1,x_4,x_3][x_2,x_4,x_3]$;
  • $[x_1,x_2,x_3,x_4]$;
  • $[x_1,x_2,x_4,x_3]$;
  • $[x_1,x_3,x_2,x_4]$;
  • $[x_1,x_3,x_4,x_2]$;
  • $[x_1,x_4,x_2,x_3]$;
  • $[x_1,x_4,x_3,x_2]$.

Now I would like to compute the abelianization of $A$; namely, the group $A/[A,A]$, where $[A,A]$ is the commutator subgroup of $A$. My question is:


Is there any way that I can use GAP to find the abelianization of $A$?


As I never used GAP before, I am not familiar with how to input my question into GAP. A note of my notation: in my question $[a,b]=aba^{-1}b^{-1}$ and $[a,b,c,d]$ means $[[[a,b],c],d]$. If it is hopeless to apply GAP to my problem, is there any way that I can attack my problem by hand?

Solutions Collecting From Web of "Using GAP to compute the abelianization of a subgroup"