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" ⓘ