[GAP Forum] ExtensionsByGroupNoCentre apparently misses groups
Benjamin Sambale
benjamin.sambale at gmail.com
Fri Dec 4 15:13:36 GMT 2015
Dear Forum,
consider
G:=TransitiveGroup(20,543);
The following commands show that G is an extension of A5xA5 with C4xC2:
N:=First(NormalSubgroups(G),n->Size(n)=60^2);;
StructureDescription(N);
StructureDescription(G/N);
Since A5xA5 is perfect and centerless, G can be constructed via
ExtensionsByGroupNoCentre from the grpconst package (according to the
manual):
K:=Group((1,2,3),(3,4,5),(6,7,8),(8,9,10));;
H:=Group((1,2,3,4),(5,6));;
LoadPackage("grpconst");
ext:=ExtensionsByGroupNoCentre(K,H);;
However, G does not appear in the list of extensions:
List(ext,x->IsomorphismGroups(x,G));
[ fail, fail, fail, fail, fail, fail, fail, fail, fail, fail, fail, fail ]
Any thoughts? I'm using GAP 4.7.8.
Best wishes,
Benjamin
More information about the Forum
mailing list