57.9 IsIsomorphicPGroup

IsIsomorphicPGroup( G, H )

The functions returns true if G is isomorphic to H. Both groups must be ag groups of prime power order.

    gap> p1 := Group( (1,2,3,4), (1,3) );
    Group( (1,2,3,4), (1,3) )
    gap> p2 := SolvableGroup( 8, 5 );
    Q8
    gap> p3 := SolvableGroup( 8, 4 );
    D8
    gap> IsIsomorphicPGroup( AgGroup(p1), p2 );
    false
    gap> IsIsomorphicPGroup( AgGroup(p1), p3 );
    true 

The function computes and compares the standard presentations for G and H (see StandardPresentation).

This function requires the package "anupq" (see RequirePackage).

Previous Up Top
Index