Random triples
| Subject | Object |
|---|---|
| gptkb:Fischer_group_F_1 | ⟨x, y | x^11 = y^2 = 1, yxy^{-1} = x^5⟩ |
| gptkb:Harada-Norton_group | (x,y | x^3 = y^2 = (xy)^4 = 1) |
| gptkb:Thompson_group | using generators and relations |
| gptkb:Janko_subgroup | with generators and relations |