Translator Disclaimer
2011 Proving Finitely Presented Groups are Large by Computer
J. O. Button
Experiment. Math. 20(2): 153-168 (2011).

Abstract

We present a theoretical algorithm that given any finite presentation of a group as input, will terminate with answer yes if and only if the group is large. We then implement a practical version of this algorithm using MAGMA and apply it to a range of presentations. Our main focus is on two-generator one-relator presentations, for which we have a complete picture of largeness if the relator has exponent sum zero in one generator and word length at most 12, as well as if the relator is in the commutator subgroup and has word length at most 18. Indeed, all but a tiny number of presentations define large groups. Finally, we look at fundamental groups of closed hyperbolic 3-manifolds, for which the algorithm readily determines that at least a quarter of the groups in the SnapPea closed census are large.

Citation

Download Citation

J. O. Button. "Proving Finitely Presented Groups are Large by Computer." Experiment. Math. 20 (2) 153 - 168, 2011.

Information

Published: 2011
First available in Project Euclid: 6 October 2011

zbMATH: 1266.20044
MathSciNet: MR2821387

Subjects:
Primary: 20-04

Rights: Copyright © 2011 A K Peters, Ltd.

JOURNAL ARTICLE
16 PAGES


SHARE
Vol.20 • No. 2 • 2011
Back to Top