Andrews–Curtis conjecture

every balanced presentation of the trivial group can be transformed into a trivial presentation by a sequence of Nielsen transformations on relators and conjugations of relators

Open the “Group theory” section on Wikipedia →

Source: List of unsolved problems in mathematics (CC BY-SA 4.0)