[Up] [Previous] [Next] [Index]

3 Residual Functions

  • ResidualWrtFormation( G, F ) O

    Let G be a finite solvable group and F a formation. Then ResidualWrtFormation returns the F-residual subgroup of G.

    The following special cases have their own functions.

  • NilpotentResidual( G ) A

    This is the last term of the descending central series of G.

  • PResidual( G, p ) O

    This is the smallest normal subgroup of G whose index is a power of the prime p.

  • PiResidual( G, primes ) O

    This is the smallest normal subgroup of G whose index is divisible only by primes in the list primes.

  • CoprimeResidual( G, primes ) O

    This is the smallest normal subgroup of G whose index is divisible only by primes not in the list primes.

  • ElementaryAbelianProductResidual( G ) A

    This is the smallest normal subgroup of G whose factor group is a direct product of groups of prime order.

    [Up] [Previous] [Next] [Index]

    FORMAT manual
    January 2024