hasSylowSubgroupOrder

P97224
predicate

Indicates that a group possesses a Sylow subgroup whose order is the specified value.

All labels observed (10)

Label Occurrences
hasSylowSubgroupOrder canonical 3
hasOrderOfSylow2Subgroup 2
hasOrderOfSylow3Subgroup 2

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: hasSylowSubgroupOrder
Generated description
Indicates that a group possesses a Sylow subgroup whose order is the specified value.

Sample triples (17)

Subject Object
PSL(2,7) 8
PSL(2,7) 7
PSL(2,7) 3
McLaughlin group 128 via predicate surface "hasSylow2SubgroupOrder"
McLaughlin group 729 via predicate surface "hasSylow3SubgroupOrder"
McLaughlin group 125 via predicate surface "hasSylow5SubgroupOrder"
McLaughlin group 7 via predicate surface "hasSylow7SubgroupOrder"
McLaughlin group 11 via predicate surface "hasSylow11SubgroupOrder"
PGL(2,7) 16 via predicate surface "hasOrderOfSylow2Subgroup"
PGL(2,7) 3 via predicate surface "hasOrderOfSylow3Subgroup"
PGL(2,7) 7 via predicate surface "hasOrderOfSylow7Subgroup"
S5 8 via predicate surface "hasOrderOfSylow2Subgroup"
S5 3 via predicate surface "hasOrderOfSylow3Subgroup"
S5 5 via predicate surface "hasOrderOfSylow5Subgroup"
symmetric group S5 8 via predicate surface "hasSylow2SubgroupOrder"
symmetric group S5 3 via predicate surface "hasSylow3SubgroupOrder"
symmetric group S5 5 via predicate surface "hasSylow5SubgroupOrder"