> < ^ Date: Tue, 23 Nov 1993 10:43:36 +0100
> < ^ From: Peter F. Mueller <Peter.Mueller@IWR.Uni-Heidelberg.De >
> ^ Subject: normalizer

[The following letter accidently got lost. Reply follows. mS]

Is the function `Normalizer(A,B)' , with `A' and `B' in a common
parent group, supposed to work even if `B' is not a subgroup of `A'?
If yes, then the following seems to provide a bug:

gap> g:=Group((1,6,13,5,4,2,15,10,14,12,3,9,7,11,8),(1,16)(2,3)(4,5)(6,7)(8,9)(10,11)(12,13)(14,15),(1,3)(4,8)(5,11)(6,10)(7,9)(13,15));;
gap> k:=Subgroup(g,[(1,2)(3,16)(4,7)(5,6)(8,11)(9,10)(12,15)(13,14),(1,3)(2,16)(4,6)(5,7)(8,10)(9,11)(12,14)(13,15)]);;
gap> u:=Stabilizer(g,1);;
gap> nu1:=Normalizer(u,k);;
gap> nu2:=Intersection(u,Normalizer(g,k));;
gap> Index(nu2,nu1);
gap> quit;

Best wishes,

> < [top]