[GAP Forum] Embeddings into a group

Max Horn max at quendi.de
Wed May 9 12:52:23 BST 2018


Dear all,

just a minor side remark:

> On 08 May 2018, at 23:36, Bob Heffernan <bob.heffernan at gmail.com> wrote:
> 
> 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();

This can also be written as 

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


Best wishes,
Max

> 
> which will halt after finding one isomorphic subgroup.
> 
> Regards,
> Bob Heffernan
> 
> _______________________________________________
> Forum mailing list
> Forum at gap-system.org
> https://mail.gap-system.org/mailman/listinfo/forum




More information about the Forum mailing list