hasSylowSubgroupOrder
P97224
predicate
Indicates that a group possesses a Sylow subgroup whose order is the specified value.
Observed surface forms (9)
- hasOrderOfSylow2Subgroup ×2
- hasOrderOfSylow3Subgroup ×2
- hasSylow2SubgroupOrder ×2
- hasSylow3SubgroupOrder ×2
- hasSylow5SubgroupOrder ×2
- hasOrderOfSylow5Subgroup ×1
- hasOrderOfSylow7Subgroup ×1
- hasSylow11SubgroupOrder ×1
- hasSylow7SubgroupOrder ×1
Sample triples (17)
| Subject | Object |
|---|---|
| McLaughlin group | 11 via predicate surface "hasSylow11SubgroupOrder" ⓘ |
| McLaughlin group | 125 via predicate surface "hasSylow5SubgroupOrder" ⓘ |
| McLaughlin group | 128 via predicate surface "hasSylow2SubgroupOrder" ⓘ |
| McLaughlin group | 7 via predicate surface "hasSylow7SubgroupOrder" ⓘ |
| McLaughlin group | 729 via predicate surface "hasSylow3SubgroupOrder" ⓘ |
| PGL(2,7) | 16 via predicate surface "hasOrderOfSylow2Subgroup" ⓘ |
| PGL(2,7) | 3 via predicate surface "hasOrderOfSylow3Subgroup" ⓘ |
| PGL(2,7) | 7 via predicate surface "hasOrderOfSylow7Subgroup" ⓘ |
| PSL(2,7) | 3 ⓘ |
| PSL(2,7) | 7 ⓘ |
| PSL(2,7) | 8 ⓘ |
| S5 | 3 via predicate surface "hasOrderOfSylow3Subgroup" ⓘ |
| S5 | 5 via predicate surface "hasOrderOfSylow5Subgroup" ⓘ |
| S5 | 8 via predicate surface "hasOrderOfSylow2Subgroup" ⓘ |
| symmetric group S5 | 3 via predicate surface "hasSylow3SubgroupOrder" ⓘ |
| symmetric group S5 | 5 via predicate surface "hasSylow5SubgroupOrder" ⓘ |
| symmetric group S5 | 8 via predicate surface "hasSylow2SubgroupOrder" ⓘ |