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
GAP 3.4.4