Andrews-Curtis conjecture
From Wikipedia, the free encyclopedia
The Andrews-Curtis conjecture states that every balanced presentation of the trivial group can be transformed into a trivial presentation by a sequence of Nielsen transformations together with a random conjugation of a relator. It is not difficult to verify whether the conjecture holds for a given balanced presentation or not.
Although it is believed that the Andrews-Curtis conjecture is false, there are not many possible counterexamples known.
[edit] External links
- Gilbert Baumslag, Bruno Buchberger, and Timothy Daly, The Andrews-Curtis conjecture, 2004.