hasSylowSubgroupForPrime

P186219
predicate

Indicates that a group possesses a Sylow subgroup corresponding to the given prime.

Sample triples (3)

Subject Object
SL(2,7) 2
SL(2,7) 3
SL(2,7) 7