Concise presentations of direct products
Martin R Bridson

TL;DR
This paper demonstrates that direct powers of certain perfect groups can be presented more concisely than expected, with bounds on generators and relators that depend logarithmically on the power, revealing new structural insights.
Contribution
It provides new bounds on the minimal presentations of direct powers of perfect groups, including cases with special elements, and discusses implications for the Relation Gap Problem.
Findings
Direct powers of perfect groups have O(log n) generators and relators.
Additional conditions lead to even more concise presentations with d(G)+1 generators.
Bounds on deficiency are non-monotonic, suggesting potential counterexamples for the Relation Gap Problem.
Abstract
Direct powers of perfect groups admit more concise presentations than one might naively suppose. If , then has a presentation with generators and relators. If, in addition, there is an element that has infinite order in every non-trivial quotient of , then has a presentation with generators and relators. The bounds that we obtain on the deficiency of are not monotone in ; this points to potential counterexamples for the Relation Gap Problem.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
