I have explicitly given a finitely generated
(non-abelian) free group G,
a finite index subgroup H,
and a finite index normal subgroup of H, called N.
(N is is in general not normal in G.)
(H and N are given as finitely generated subgroups of G).
Now my question:
Can GAP check if the intersection of H with
the normal closure of N in G is equal to N?
_________________________________________________________________ Downloaden Sie MSN Explorer kostenlos unter http://explorer.msn.de/intl.asp