"On groups defined by A^q=1, B^(-1)AB=A^x, B^q=A^e" - читать интересную книгу автора (Weiss M.J.)