minimalFaithfulPermutationDegree
P77138
predicate
Indicates the smallest degree (number of points) of a permutation representation on which a group can act faithfully (injectively) via permutations.
Observed surface forms (3)
- degreeOfPermutationRepresentation ×1
- minimalFaithfulPermutationDegreeApprox ×1
- minimalFaithfulPermutationRepresentation ×1
Sample triples (8)
| Subject | Object |
|---|---|
| Co1 | 98280 ⓘ |
| PSL(2,7) | 8 via predicate surface "degreeOfPermutationRepresentation" ⓘ |
| PSL(2,7) | 7 ⓘ |
| Held group | 2058 ⓘ |
| Held group | transitive of degree 2058 via predicate surface "minimalFaithfulPermutationRepresentation" ⓘ |
| Janko group J4 | 173067389 ⓘ |
| Janko group J4 | 1.7×10^8 via predicate surface "minimalFaithfulPermutationDegreeApprox" ⓘ |
| McL | 275 ⓘ |