Balanced finite presentations of the trivial group
Group Theory
2016-07-07 v2 Metric Geometry
Abstract
We construct a sequence of balanced finite presentations of the trivial group with two generators and two relators with the following property: The minimal number of relations required to demonstrate that a generator represents the trivial element grows faster than the tower of exponentials of any fixed height of the length of the finite presentation.
Keywords
Cite
@article{arxiv.1504.00418,
title = {Balanced finite presentations of the trivial group},
author = {Boris Lishak},
journal= {arXiv preprint arXiv:1504.00418},
year = {2016}
}