[GAP Forum] Embeddings into a group

[Bob Heffernan]

On Tue, May 01, 2018 at 01:45:13PM +0000, William Giuliano wrote:
> cosets of B1 and B2 in B. I have tried to use “IsomorphicSubgroups”
> after switching to a better representation of B (as a permutation and
> pc group), but it didn’t work.

William

If you only want a single embedding of a group H in a group G, then you
can try something like this:

PushOptions(rec(findall:=false));
emb:=IsomorphicSubgroups(G,H);
PopOptions();

which will halt after finding one isomorphic subgroup.

Regards,
Bob Heffernan