The Andrews-Curtis Conjecture and Black Box Groups

Alexandre V. Borovik, Evgenii I. Khukhro, Alexei G. Myasnikov

The paper discusses the Andrews-Curtis graph of a normal subgroup N in a group G. The vertices of the graph are k-tuples of elements in N which generate N as a normal subgroup; two…