Failure of automorphism invariance for Andrews–Curtis equivalence
Failure of automorphism invariance for Andrews–Curtis equivalence
Let be the free group on , let be the set of balanced presentations of the trivial group with two generators, and let act componentwise on pairs. Write when the pairs are related by Andrews–Curtis moves. Failure of automorphism invariance. It is not true that for every and every , one has . This contradicts the possibility that adding automorphism moves never enlarges Andrews–Curtis orbits for all balanced presentations. The source gives no resolution evidence beyond the asserted negative statement.
Sources & referencesView supporting material
Primary source
Dmitry Panteleev and Alexander Ushakov, “Conjugacy search problem and the Andrews-Curtis conjecture”, arXiv:1609.00325 (2016).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.