Error when computing automorphisms of simple orthogonal groups #4318
Closed
Description
opened on Mar 12, 2021
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