Closed
Description
Observed behaviour
gap> G := PrimitiveGroup(119, 1);
O-(8, 2)
gap> S := SymmetricGroup(119);
Sym( [ 1 .. 119 ] )
gap> IsSubgroup(S, G);
true
gap> N := Normalizer(S, G);;
gap> StructureDescription(N);
"O-(8,2)"
gap> Index(N, G);
1
gap> T := TwoClosure(G);
<permutation group with 32 generators>
gap> StructureDescription(T);
"O-(8,2) : C2"
gap> Index(T, G);
2
Expected behaviour
G
is a subgroup of index 2 in T
, so T
must lie in the normalizer N
.
NormalizerPermGroup
outputs a correct answer:
gap> N2 := NormalizerPermGroup(S, G);;
gap> Index(N2, G);
2
GAP banner
┌───────┐ GAP 4.10.0 of 01-Nov-2018
│ GAP │ https://www.gap-system.org
└───────┘ Architecture: x86_64-pc-linux-gnu-default64
Configuration: gmp 6.1.2, readline
Loading the library and packages ...
Packages: Alnuth 3.1.0, AtlasRep 1.5.1, AutPGrp 1.10, CTblLib 1.2.2, FactInt 1.6.2, GAPDoc 1.6.2, IO 4.5.4, Polycyclic 2.14, PrimGrp 3.4.0,
SmallGrp 1.3, TomLib 1.2.7, TransGrp 2.0.4
Try '??help' for help. See also '?copyright', '?cite' and '?authors'
The same problem is present in the current dev version 4.12dev-731-gc7a0c6e.
Activity