[GAP Forum] Bug in SemidirectProduct?
Benjamin Sambale
bsambale at gmx.de
Wed May 27 17:49:48 BST 2009
Dear forum,
take a look at the following GAP code:
G:=AlternatingGroup(4);
N:=Subgroup(G,[(1,2)(3,4),(1,3)(2,4)]);
H:=DirectProduct(CyclicGroup(2),CyclicGroup(2));
A:=AutomorphismGroup(H);
P:=SylowSubgroup(A,3);
epi:=NaturalHomomorphismByNormalSubgroup(G,N);
iso:=IsomorphismGroups(FactorGroup(G,N),P);
f:=CompositionMapping(IsomorphismGroups(FactorGroup(G,N),P),epi);
SemidirectProduct(G,f,H);
After the command "SemidirectProduct(G,f,H);" GAP returns:
"Error, not ready yet, only finite polycyclic groups are allowed"
But every group in my example is finite polycyclic, even the semidirect
product would be. I can't imagine, what should be the problem in
constructing semidirect products.
Thanks for any help,
Benjamin
More information about the Forum
mailing list