The stable Andrews-Curtis conjecture and thickenable presentations of the trivial group

Abstract

We establish an explicit upper bound on the number of stable Andrews-Curtis moves that convert thickenable balanced presentations of the trivial group to the standard one-generator presentation. We also present a proof that thickenable balanced presentations of the trivial group satisfy the (unstable) Andrews-Curtis conjecture.