The Andrews-Curtis problem for \(\mathcal F (\mathfrak M)\) (Q1814014)

The following theorem is proved. Let \(F\) be a free group with basis \(\{x_ 1,\dots,x_ n\}\) \((n\geq 2)\), let \(H\) be a normal subgroup of \(F\) contained in the commutator subgroup \(F'\) and let \(U\) be a normal subgroup of \(F\) contained in \(H\) and containing the verbal subgroup \(V(H)\). If the group \(T\) of extended Nielsen transformations acts transitively on \(F/H\), then \(T\) acts transitively also on \(F/U\). Some consequences for the solution of the Andrews-Curtis problem in a variety are given.