Skip to content

Research at St Andrews

Behind and beyond a theorem on groups related to trivalent graphs

Research output: Contribution to journalArticle

Author(s)

George Havas, Edmund F. Robertson, Dale C. Sutherland

School/Research organisations

Abstract

In 2006 we completed the proof of a five-part conjecture that was made in 1977 about a family of groups related to trivalent graphs. This family covers all 2-generator, 2-relator groups where one relator specifies that a generator is an involution and the other relator has three syllables. Our proof relies upon detailed but general computations in the groups under question. The proof is theoretical, but based upon explicit proofs produced by machine for individual cases. Here we explain how we derived the general proofs from specific cases. The conjecture essentially addressed only the finite groups in the family. Here we extend the results to infinite groups, effectively determining when members of this family of finitely presented groups are simply isomorphic to a specific quotient.

Close

Details

Original languageEnglish
Pages (from-to)323-332
Number of pages10
JournalJournal of the Australian Mathematical Society
Volume85
Issue number3
DOIs
Publication statusPublished - Dec 2008

    Research areas

  • Finitely presented groups, Proofs, Todd-Coxeter coset enumeration, Trivalent graphs

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Groups St Andrews 2017 in Birmingham

    Campbell, C. M., Parker, C. W., Quick, M., Robertson, E. F. & Roney-Dougal, C. M., Apr 2019, Cambridge University Press. 508 p. (London Mathematical Lecture Note Series 455)

    Research output: Book/ReportBook

  2. Paris 1907: the observer vs the administrator

    Peres, T., Gomez Mena, J., Robertson, E., Falconer, I. & O'Connor, J., 1 Feb 2019, In : Astronomy & Geophysics. 60, 1, p. 1.40-1.42

    Research output: Contribution to journalArticle

  3. Online resource for the history of astronomy

    Talbot, G., Shand, I., Falconer, I., Robertson, E. & O'Connor, J., 1 Feb 2018, In : Astronomy and Geophysics. 59, 1, p. 1.20-1.21 aty025.

    Research output: Contribution to journalArticle

  4. Erwin Schrödinger and quantum wave mechanics

    O'Connor, J. J. & Robertson, E. F., 22 Aug 2017, In : Quanta. 6, 1, p. 48-52 5 p.

    Research output: Contribution to journalArticle

  5. Groups St Andrews 2013

    Campbell, C. M. (ed.), Quick, M. (ed.), Robertson, E. F. (ed.) & Roney-Dougal, C. M. (ed.), 2015, Cambridge: Cambridge University Press. 500 p. (London Mathematical Society lecture note series ; vol. 422)

    Research output: Book/ReportBook

Related by journal

  1. On the number of subsemigroups of direct products involving the free monogenic semigroup

    Clayton, A. & Ruskuc, N., 1 Feb 2019, In : Journal of the Australian Mathematical Society. First View, 12 p.

    Research output: Contribution to journalArticle

  2. L.G. Kovács and linear groups

    Detinko, A. S. & Flannery, D. L., Feb 2017, In : Journal of the Australian Mathematical Society. 102, 1, p. 55-62

    Research output: Contribution to journalArticle

  3. On the generating graph of a simple group

    Lucchini, A., Maroti, A. & Roney-Dougal, C. M., Aug 2017, In : Journal of the Australian Mathematical Society. 103, 1, p. 91-103

    Research output: Contribution to journalArticle

  4. Presentations of inverse semigroups, their kernels and extensions

    Carvalho, C. A., Gray, R. & Ruskuc, N., 1 Jun 2011, In : Journal of the Australian Mathematical Society. 90, 3, p. 289-316

    Research output: Contribution to journalArticle

  5. Growth of generating sets for direct powers of classical algebraic structures

    Quick, M. & Ruskuc, N., Aug 2010, In : Journal of the Australian Mathematical Society. 89, 1, p. 105-126 22 p.

    Research output: Contribution to journalArticle

ID: 18141015

Top