[GAP Forum] determining the groups isomorphic to another group

Burkhard Höfling burkhard at hoefling.name
Fri Apr 24 07:33:25 BST 2009


Dear Levie,

> 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));

Why don't you use

isom:=Filtered(M, x -> ForAll(x, z -> IsomorphismGroups(x,g) <> fail));

Or maybe I have misunderstood your question?

Cheers,

Burkhard.




More information about the Forum mailing list