Next: Balanced presentations of the
Up: The Andrews-Curtis Conjecture
Previous: A potential smooth counterexample
Contents
Canada Research Chair in Combinatorial Algebra[2]
Alexei Miasnikov(McGill)
A second focus of Dr. Miasnikov’s program is to find a counterexample
to the Andrews-Curtis Conjecture, which holds that every balanced
presentation of a trivial group can be transformed into the standard
presentation by a finite sequence of elementary
transformations. Dr. Miasnikov posits that the Andrews-Curtis
Conjecture is false, and his proposed goal is to find a counterexample
in a finite quotient using computational methods.
root
2004-05-05