25.13 Normalizer for Ag Groups

AgGroupOps.Normalizer( S, U )

Note that the AG series of G should be the refinement of an elementary abelian series, see IsElementaryAbelianAgSeries. Otherwise the calculation of the normalizer is done using an orbit algorithm, which is generally too slow or space extensive. You can construct a new polycyclic presentation for G such that AG series is a refinement of an elementary abelian series with ElementaryAbelianSeries (see ElementaryAbelianSeries) and IsomorphismAgGroup.

For details on the implementation see citeGS90,CNW90.

Previous Up Top Next
Index