\indexentry {Format}{5} \indexentry {Formation@`Formation'}{6} \indexentry {Formation@`Formation'}{6} \indexentry {IsFormation@`IsFormation'}{7} \indexentry {NameOfFormation@`NameOfFormation'}{7} \indexentry {ResidualFunctionOfFormation@`ResidualFunctionOfFormation'}{7} \indexentry {ScreenOfFormation@`ScreenOfFormation'}{7} \indexentry {SupportOfFormation@`SupportOfFormation'}{7} \indexentry {ChangedSupport@`ChangedSupport'}{7} \indexentry {IsIntegrated@`IsIntegrated'}{7} \indexentry {Integrated@`Integrated'}{7} \indexentry {formation!equality}{7} \indexentry {formation!comparison}{7} \indexentry {Intersection@`Intersection'}{7} \indexentry {ProductOfFormations@`ProductOfFormations'}{7} \indexentry {ResidualWrtFormation@`ResidualWrtFormation'}{9} \indexentry {NilpotentResidual@`NilpotentResidual'}{9} \indexentry {PResidual@`PResidual'}{9} \indexentry {PiResidual@`PiResidual'}{9} \indexentry {CoprimeResidual@`CoprimeResidual'}{9} \indexentry {ElementaryAbelianProductResidual@`ElementaryAbelianProductResidual'}{9} \indexentry {FNormalizerWrtFormation@`FNormalizerWrtFormation'}{10} \indexentry {SystemNormalizer@`SystemNormalizer'}{10} \indexentry {CoveringSubgroup1@`CoveringSubgroup1'}{11} \indexentry {CoveringSubgroup2@`CoveringSubgroup2'}{11} \indexentry {CoveringSubgroupWrtFormation@`CoveringSubgroupWrtFormation'}{11} \indexentry {CarterSubgroup@`CarterSubgroup'}{11}