70.5 AgNormalizedAutomorphisms

AgNormalizedAutomorphisms( P )

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

    gap> g:= SolvableGroup( "D8" );;
    gap> aut:= AgNormalizedAutomorphisms( g );
    Group( g0, g1 )
    gap> Size( aut );
    4 

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

Previous Up Top Next
Index