isSmallestSymmetricGroupWithNonSolvableSubgroup
P186116
predicate
Indicates that a group is the smallest symmetric group (by degree) that contains at least one subgroup which is not solvable.
Sample triples (1)
| Subject | Object |
|---|---|
| symmetric group S5 | true ⓘ |