73.19 IsConjugation for crossed modules

XModOps.IsConjugation( X )

This Boolean function checks that the source is a normal subgroup of the range and that the boundary is an inclusion.

    gap> IsConjugation( CX );
    true 

Previous Up Top Next
Index