> < ^ Date: Thu, 11 Mar 1993 16:02:17 +0100
> < ^ From: Ralf Dentzer <dentzer@polyhymnia.iwr.uni-heidelberg.de >
> ^ Subject: SemidirectProduct

It seems to me that for semidirect products of AG groups the operations
Embedding and Projection are not implemented.
(For permutation groups they seem to work.)
Here is an example:

gap> G:=AllSolvableGroups(Size, 64)[249];
grp_64_249
gap> N:=Subgroup(G, [G.1, G.4, G.5, G.6]);
Subgroup( grp_64_249, [ a, d, e, f ] )
gap> B:=Subgroup(G, [G.2]);
Subgroup( grp_64_249, [ b ] )
gap> phi:=IdentityMapping(B);
IdentityMapping( Subgroup( grp_64_249, [ b ] ) )
gap> GG:=SemidirectProduct(B, phi, N);
Group( g1, g2, g3, g4, h1, h2, h3, h4 )
gap> Embedding(B, GG, 1);
Error, Record: element 'Embedding' must have an assigned value at
return arg[2].operations.Embedding( arg[1], arg[2], arg[3] ) ... in
Embedding( B, GG, 1 ) called from
main loop
brk> quit;
gap> Projection(GG, B, 1);
Error, Record: element 'Projection' must have an assigned value at
return arg[1].operations.Projection( arg[1], arg[2], arg[3] ) ... in
Projection( GG, B, 1 ) called from
main loop
brk> quit;

As a workaround I use GG.embeddings resp. GG.projections.

Ralf Dentzer dentzer@kalliope.iwr.uni-heidelberg.de


> < [top]