Random triples
| Subject | Object |
|---|---|
| gptkb:projective_special_linear_group_PSL(n,C) | true (for n>2) |
| gptkb:projective_unitary_group_PU(n) | true |
| gptkb:projective_special_linear_group_PSL(n,_C) | yes |
| gptkb:SL(n,C) | false |
| gptkb:E_8_automorphism_group | true |
| gptkb:Fischer_group_Fi24' | true |
| gptkb:Mathieu_group_M_12 | true |
| gptkb:Mathieu_group_M12 | true |
| gptkb:PSL_n(q) | true (for n>2 or q>3) |