is a composition factor of every non-solvable finite group
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:alternating_group_A_n_(for_n_>_2) | true |