Balanced finite presentations of the trivial group

From MaRDI portal
Publication:2979669




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.









This page was built for publication: Balanced finite presentations of the trivial group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2979669)