70.6 AgNormalizedOuterAutomorphisms

AgNormalizedOuterAutomorphisms( P )

returns a polycyclically presented group isomorphic to the group of normalized outer automorphisms of the polycyclically presented p-group P.

    gap> g:= SolvableGroup( "D8" );;
    gap> aut:= AgNormalizedOuterAutomorphisms( g );
    Group( IdAgWord ) 

Note: If the component P.isCompatiblePCentralSeries is not bound it is computed using IsCompatiblePCentralSeries.

Previous Up Top Next
Index