70.7 IsIsomorphic

IsIsomorphic( P1, P2 )

returns true if the polycyclically or freely presented p-group P1 and the polycyclically presented p-group P2 are isomorphic, false otherwise.

    gap> g:= SolvableGroup( "D8" );;
    gap> nonab:= AllTwoGroups( Size, 8, IsAbelian, false );
    [ Group( a1, a2, a3 ), Group( a1, a2, a3 ) ]
    gap> List( nonab, x -> IsIsomorphic( g, x ) );
    [ true, false ] 

(The function Isomorphisms returns isomorphisms in case the groups are isomorphic.)

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

Previous Up Top Next
Index