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 |
| hasSylow2SubgroupOrder | 2 |
| hasSylow3SubgroupOrder | 2 |
| hasSylow5SubgroupOrder | 2 |
| hasOrderOfSylow5Subgroup | 1 |
| hasOrderOfSylow7Subgroup | 1 |
| hasSylow11SubgroupOrder | 1 |
| hasSylow7SubgroupOrder | 1 |
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" ⓘ |