A computer proof of relations in a certain class of groups
1991 ◽
Vol 117
(1-2)
◽
pp. 109-114
SynopsisA gp-toolkit consisting of computer implementations of various group theory methods, in particular a Tietze transformation program, was designed. Special cases of a conjecture were solved by the gp-toolkit. Examination of the method used by the gp-toolkit to deduce relations showed that a general approach had been employed. We present a proof verifying that the conjecture is true which is a straightforward generalisation of the method discovered by the gp-toolkit.