Finite Soluble Groups [HB 26]

Changes:

• New function AutomorphismGroup(G) to compute the automorphism group of a permutation group G.
• The function Centralizer(H, K) for soluble groups H and K is now allowed, provided only that H and K have a common supergroup. (Previously K had to be a subgroup of H.)
• The function AllHomomorphisms for soluble groups has been renamed to Homomorphisms.

New features:

• If G is a soluble group of order pⁿ, and v an element of the vector space of dimension n over $\mbox{\rm GF}(p)$, then G!v now produces the corresponding element of G.
• A problem in ExtractGroup(p-quotient process) that was causing a significant waste of time has been fixed.