Alternative names (5)
isNonSolvable • solvability • solvable • solvableFor • solvableInRandom triples
| Subject | Object |
|---|---|
| gptkb:XOR-SAT | polynomial time |
| gptkb:GL(2,5) | false |
| gptkb:Thirring_model | yes |
| gptkb:special_linear_group_of_2x2_integer_matrices | true |
| gptkb:Z_2_≀_Z | true |
| gptkb:SL_2(ℤ) | true |
| gptkb:symmetric_group_S_{n-1} | true for n-1 < 5 |
| gptkb:symmetric_groups | for n ≤ 4 |
| gptkb:symmetric_group_S_{n-1} | false for n-1 >= 5 |
| gptkb:S_n | false (if n>=5) |
| gptkb:S_n | true (if n<=4) |
| gptkb:alternating_group_A4 | true |
| gptkb:Trisection_of_the_angle | some special angles (e.g., 90°, 180°) |
| gptkb:n-puzzle | depends on parity of inversions |
| gptkb:solvable_Baumslag–Solitar_group | true |
| gptkb:GL(2,C) | false |
| gptkb:A_4_×_A_4 | true |
| gptkb:P_(complexity_class) | polynomial time |
| gptkb:tetrahedral_group | true |
| gptkb:symmetric_group_S_3 | true |