Hi,
I am having great problems searching for certain subgroups...
Here is a group:
g001 := PermList([1,2,3,4,9,10,11,12,5,6, 7,8,13,14,15,16,17,18,19,20, 25,26,27,28,21,22,23,24,29,30, 31,32,33,34,35,36,41,42,43,44, 37,38,39,40,45,46,47,48,49,50, 51,52,57,58,59,60,53,54,55,56, 61,62,63,64]); g002 := PermList([1,2,4,3,6,5,7,8,10,9, 11,12,13,14,16,15,18,17,19,20, 21,22,24,23,25,26,28,27,30,29, 31,32,63,64,62,61,60,59,57,58, 56,55,53,54,51,52,50,49,48,47, 45,46,43,44,42,41,39,40,38,37, 36,35,33,34]); g003 := PermList([1,2,5,6,3,4,7,8,18,17, 22,21,20,19,24,23,10,9,14,13, 12,11,16,15,25,26,29,30,27,28, 31,32,39,40,35,36,37,38,33,34, 56,55,52,51,54,53,50,49,48,47, 44,43,46,45,42,41,63,64,59,60, 61,62,57,58]); g004 := PermList([1,3,2,4,5,7,6,8,9,11, 10,12,13,15,14,16,33,35,34,36, 37,39,38,40,41,43,42,44,45,47, 46,48,17,19,18,20,21,23,22,24, 25,27,26,28,29,31,30,32,49,51, 50,52,53,55,54,56,57,59,58,60, 61,63,62,64]); g005 := PermList([2,1,3,4,5,6,8,7,9,10, 12,11,14,13,15,16,17,18,20,19, 22,21,23,24,26,25,27,28,29,30, 32,31,64,63,61,62,59,60,58,57, 55,56,54,53,52,51,49,50,47,48, 46,45,44,43,41,42,40,39,37,38, 35,36,34,33]); g := GroupWithGenerators([g001,g002,g003,g004,g005]);
I know that it has an elementary abelian normal subgroup of order 64...
But when I try to find it, this happens..
gap> n := NormalSubgroups(g);
Error <obj> is not a subset of the parent of <G> at
Error( "<obj> is not a subset of the parent of <G>" );
ClosureSubgroup( b, k ) called from
SubgroupsSolvableGroup( r, rec(
actions := auts,
funcnorm := r,
consider := ExactSizeConsiderFunction( Index( j, M ) ),
normal := true ) ) called from
<function>( <arguments> ) called from read-eval-loop
Entering break read-eval-print loop, you can 'quit;' to quit to outer
loop,
or you can return to continue
What am I doing wrong? I read the manual, but cannot see any
pre-conditions
for the "NormalSubgroups" routine that I am violating...
--
Dr. Gordon F Royle, http://www.csse.uwa.edu.au/~gordon,
gordon@csse.uwa.edu.au
--
Miles-Receive-Header: reply