25.71 IsPNilpotent

IsPNilpotent( U, p )

IsPNilpotent returns true, if the ag group U is p-nilpotent for the prime p, and false otherwise.

IsPNilpotent uses Glasby's p-nilpotency test (see Gla87).

    gap> IsPNilpotent( s4, 2 );
    false
    gap> s3 := Subgroup( s4, [ a, b ] );
    Subgroup( s4, [ a, b ] )
    gap> IsPNilpotent( s3, 2 );
    true
    gap> IsPNilpotent( s3, 3 );
    false 

Previous Up Top Next
Index