Alternative names (5)
isNonSolvable • solvability • solvable • solvableFor • solvableInRandom triples
| Subject | Object |
|---|---|
| gptkb:symmetric_group_S_n_(n_≥_3) | false (for n ≥ 5) |
| gptkb:S_4 | true |
| gptkb:upper_triangular_matrix_group | true |
| gptkb:2SAT | polynomial time |
| gptkb:general_linear_group | true |
| gptkb:symmetric_group_S8 | false |
| gptkb:Aut(A_6) | false |
| gptkb:Generalized_Word_Problem_for_Groups | free groups |
| gptkb:GL(2,5) | false |
| gptkb:alternating_group_A4 | true |
| gptkb:BS(m,_n) | depends on m and n |
| gptkb:Ising_Hamiltonian | exactly in 1D |
| gptkb:Klondike_Solitaire | Not all deals are winnable |
| gptkb:GL(2,C) | false |
| gptkb:SL(2,3)_×_C2 | true |
| gptkb:S_3_×_S_3 | true |
| gptkb:GL_2(Q) | false |
| gptkb:eight-vertex_model | yes |
| gptkb:symmetric_group_S_6 | false |
| gptkb:massive_Thirring_model | yes |