2
$\begingroup$

I have a finitely prsented group $G$ and its subgroup $H$. They aren't stored however as fp groups in GAP. I can quite easy obtain some presentation $pr$ of $G$ in. How can I obtain the presentation of $H$ induced by $pr$ in GAP?

$\endgroup$
  • $\begingroup$ This might help. $\endgroup$ – Shaun Dec 30 '17 at 0:22
2
$\begingroup$

Since you do not tell us anything about $G$ and $H$ and how you got them and represent them the following is rather abstract.

Suppose $G$ is a group in GAP and $H$ a subgroup (such that IsSubset(G,H) returns true).

Now construct separately a finitely presented group $F$ that is isomorphic to $G$, that is you create a free group and factor out the relators. Construct the natural epimorphism by mapping the generators of $F$ to corresponding images in $G$ (which I presume you know, they might in fact be the generators you gave to construct $G$).

hom:=GroupHomomorphismByImages(F,G,GeneratorsOfGroup(F),imagesinG);

You can get the subgroup of $F$ corresponding to $H$ as

U:=PreImage(hom,H);

and then use phi:=IsomorphismFpGroup(H); to construct a new finitely presented group isomorphic to $H$. You might need to pull the free generators back through $\phi$ and then through hom to see what elements of your $H$ they correspond to.

The cost of this operation (and the quality of the presentation) grows with the index of $H$ in $G$, so if this index is several million it is unlikely to perform satisfactory.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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