Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Of course. How careless of me. I had previously been looking hard at $(at)^{4}=abcd$, so that in $H/N$ just one relator was added, but could not decide whether the group was trivial or not. All I could say was that $H/N$ is generated by 2 elements. Perhaps someone with GAP experience might be more successful if indeed this is the trivial group.
