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