Proving Finitely Presented Groups are Large by Computer

REFERENCES

• Baumslag , [Baumslag 69] G. 1969 . “A Non-cyclic One-Relator Group All of Whose Finite Quotients Are Cyclic.” . J. Austral. Math. Soc. , 10 : 497 – 498 .
   Google Scholar
• Baumslag , [Baumslag et al. 07] G. , Charles , F. , Miller , I II and Troeger , D. 2007 . “Reflections on the Residual Finiteness of One-Relator Groups.” . Groups Geom. Dyn. , 1 : 209 – 219 .
   Web of Science ®Google Scholar
• Bestvina , [Bestvina and Handel 92] M. and Handel , M. 1992 . “Train Tracks and Automorphisms of Free Groups.” . Ann. of Math. , 135 : 1 – 51 .
   Web of Science ®Google Scholar
• Brunner , [Brunner 76] A. M. 1976 . “A Group with an Infinite Number of Nielsen Inequivalent One-Relator Presentations.” . J. Algebra , 42 : 81 – 84 .
   Google Scholar
• Brunner , [Brunner 80] A. M. 1980 . “On a Class of One-Relator Groups.” . Canad. J. Math. , 32 : 414 – 420 .
   Google Scholar
• Button , [Button 07] J. O. 2007 . “Mapping Tori with First Betti Number at Least Two.” . J. Math. Soc. Japan , 59 : 351 – 370 .
   Google Scholar
• Button , [Button 09] J. O. 2009 . “Large Groups of Deficiency 1.” . Israel J. Math. , 167 : 111 – 140 .
   Google Scholar
• Button , [Button 10] J. O. 2010 . “Largeness of LERF and 1-Relator Groups.” . Groups Geom. Dyn. , : 709 – 738 .
   Google Scholar
• Button , [Button 08] J. O. “Proving Finitely Presented Groups Are Large by Computer” . (arxiv version). arxiv.org/abs/math/0812.4264, 2008
   Google Scholar
• Cooper , [Cooper et al. 07] D. , Long , D. D. and Reid , A. W. 2007 . “On the Virtual Betti Numbers of Arithmetic Hyperbolic 3-Manifolds.” . Geom. Topol. , 11 : 2265 – 2276 .
   Google Scholar
• Dietze , [Dietze and Schaps 74] A. and Schaps , M. 1974 . “Determining Subgroups of a Given Index in a Finitely Presented Group.” . Canadian J. Math. , 26 : 769 – 782 .
   Google Scholar
• Dunfield , [Dunfield and Thurston 03] N. M. and Thurston , W. P. 2003 . “The Virtual Haken Conjecture: Experiments and Examples.” . Geom. Topol. , 7 : 399 – 441 .
   Web of Science ®Google Scholar
• Edjvet , [Edjvet 84] M. 1984 . “The Concept of ‘Largeness’ in Group Theory.” . PhD thesis, University of Glasgow
   Google Scholar
• Gersten , [Gersten and Stallings 91] S. M. and Stallings , J. R. 1991 . “Irreducible Outer Automorphisms of a Free Group.” . Proc. Amer. Math. Soc. , 111 : 309 – 314 .
   Web of Science ®Google Scholar
• Higman , [Higman 51] G. 1951 . “A Finitely Generated Infinite Simple Group.” . J. London Math. Soc. , 26 : 61 – 64 .
   Google Scholar
• Hodgson , [Hodgson and Weeks 01] C. D. and Weeks , J. R. 2001 . “Closed Census Invariants.” . Available online (ftp://www.geometrygames.org/priv/weeks/SnapPea/SnapPeaCensus/ClosedCensus/ClosedCensusInvariants.txt)
   Google Scholar
• Holt , [Holt and Rees 96] D. F. and Rees , S. 1996 . “Free Quotients of Finitely Presented Groups.” . Experiment. Math. , 5 : 49 – 56 .
   Google Scholar
• Howie , [Howie 98] J. 1998 . “Free Subgroups in Groups of Small Deficiency.” . J. Group Theory , 1 : 95 – 112 .
   Google Scholar
• Lackenby , [Lackenby et al. 08] M. , Long , D. D. and Reid , A. W. 2008 . Covering Spaces of Arithmetic 3-Orbifolds , Cary, NC : Oxford University Press . Int. Math. Res. Not. IMRN 12
   Google Scholar
• Lickorish , [Lickorish 97] W. B. R. 1997 . An Introduction to Knot Theory , New York : Springer . Graduate Texts in Mathematics 175
   Google Scholar
• Lyndon , [Lyndon and Schupp 77] R. C. and Schupp , P. E. 1977 . Combinatorial Group Theory , New York : Springer .
   Google Scholar
• McCool , [McCool and Pietrowski 71] J. and Pietrowski , A. 1971 . “On Free Products with Amalgamation of Two Infinite Cyclic Groups.” . J. Algebra , 18 : 377 – 383 .
   Google Scholar
• Stallings , [Stallings 82] J. R. 1982 . “Topologically Unrealizable Automorphisms of Free Groups.” . Proc. Amer. Math. Soc. , 84 : 21 – 24 .
   Web of Science ®Google Scholar
• Venkataramana , [Venkataramana 08] T. N. 2008 . “Virtual Betti Numbers of Compact Locally Symmetric Spaces.” . Israel J. Math. , 166 : 235 – 238 .
   Google Scholar