SystemNormalizer( G )
SystemNormalizer
returns the system normalizer of a Sylow system of the
group G.
The system normalizer of a Sylow system is the intersection of all normalizers of subgroups in the Sylow system in G.
gap> SystemNormalizer( s4 ); Subgroup( s4, [ a ] ) gap> SystemNormalizer( D ); Subgroup( z5Xs4, [ a, b1 ] )
GAP 3.4.4