isSmallestSymmetricGroupWithNonSolvableGaloisGroup
P186221
predicate
Indicates that the subject is the smallest symmetric group for which the associated Galois group is non-solvable.
Sample triples (1)
| Subject | Object |
|---|---|
| symmetric group S5 | true ⓘ |