[GAP Forum] determining the groups isomorphic to another group

Benjamin Sambale bsambale at gmx.de
Fri Apr 24 06:50:16 BST 2009


Take a look at the command "IsIsomorphicGroup" provided by the package 
"Sonata".

Levie Bicua schrieb:
> Dear Forum,
>  
> Let 
> M:=[Group([ (4,5), (2,3), (1,2)(4,5) ]), Group([ (4,5), (2,3), (1,3) ]),
> Group([ (4,5), (2,5), (1,3) ]), Group([ (4,5), (2,5), (1,3)(4,5) ]), 
> Group([ (4,5), (2,5), (1,3)(2,4) ]),Group([ (4,5), (2,5), (1,3)(2,5) ]),
> Group((1,3,4,5),(1,6)(2,5))];
> Suppose I want to know which of the elements of G are isomorphic to another group, say, 
> g:=Group((1,2,3,4,5,6),(1,6)(2,5)(3,4));
> I tried doing this but indirectly:
> isom:=Filtered(M, x -> ForAll(x, z -> IsomorphismGroups(x,g)=fail));
> "isom" returns a list of elements of G which are not isomorphic to g.. which means that
>  remaining elements are the groups isomorphic to g. Is there a more direct way of getting 
> a list of groups from G which are isomorphic to g? thanks.
>  
> Levi
>
>
>
>       
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum
>
>   



More information about the Forum mailing list