> < ^ Date: 29 Apr 2003 09:32:55 +0800
> < ^ From: Gordon Royle <gordon@csse.uwa.edu.au >
> ^ Subject: problems with normal subgroups

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


> < [top]