Proving Finitely Presented Groups are Large by Computer

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.

[1]  D. Moldavanski,et al.  On the finite images of some one-relator groups , 1995 .

[2]  A. Reid,et al.  On the virtual Betti numbers of arithmetic hyperbolic 3-manifolds , 2007 .

[3]  J. Button.  Large groups of deficiency 1 , 2008 .

[5]  A. Brunner.  On a Class of One-Relator Groups , 1980, Canadian Journal of Mathematics.

[6]  T.N.Venkataramana.  Virtual Betti Numbers of Compact Locally Symmetric Spaces , 2006, math/0611733.

[7]  Douglas R. Troeger,et al.  Reflections on the residual finiteness of one-relator groups , 2007 .

[8]  J. Button.  Largeness of LERF and 1-relator groups , 2008, 0803.3805.

[9]  G. Higman,et al.  A Finitely Generated Infinite Simple Group , 1951 .

[10]  A group with an infinite number of Nielsen inequivalent one-relator presentations , 1976 .

[11]  Mary Schaps,et al.  Determining Subgroups of a Given Finite Index in a Finitely Presented Group , 1974, Canadian Journal of Mathematics.

[12]  W. Thurston,et al.  The virtual Haken conjecture: Experiments and examples , 2002, math/0209214.

[13]  Mladen Bestvina,et al.  Train tracks and automorphisms of free groups , 1992 .

[14]  Derek F. Holt,et al.  Free Quotients of Finitely Presented Groups , 1996, Exp. Math..

[15]  Topologically unrealizable automorphisms of free groups , 1982 .

[16]  Charles F. Miller,et al.  Combinatorial Group Theory , 2002 .

[17]  Gilbert Baumslag,et al.  A non-cyclic one-relator group all of whose finite quotients are cyclic , 1969, Journal of the Australian Mathematical Society.

[18]  L. Kauffman.  An Introduction to Knot Theory , 2001 .

[19]  J.O.Button.  Proving finitely presented groups are large by computer , 2008, 0812.4264.

[20]  S. Gersten,et al.  Irreducible outer automorphisms of a free group , 1991 .

[21]  J. Howie.  Free subgroups in groups of small deficiency , 1998 .

[22]  S. J. Pride,et al.  The concept of "largeness" in group theory II , 1984 .

[23]  S. Thomas.  On the concept of “largeness” in group theory , 2009 .

[24]  On free products with amalgamation of two infinite cyclic groups , 1971 .

[25]  J. Button.  Mapping tori with first Betti number at least two , 2007 .