Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-12-01T00:13:11.858Z Has data issue: false hasContentIssue false
  • English
  • Français

A computer proof of relations in a certain class of groups

Published online by Cambridge University Press:  14 November 2011

Edmund F. Robertson  and
Kevin Rutherford
Edmund F. Robertson
Affiliation:
Department of Mathematical Sciences, University of St Andrews, Mathematical Institute, North Haugh, St Andrews KY16 9SS, Scotland, U.K
Kevin Rutherford
Affiliation:
Department of Mathematical Sciences, University of St Andrews, Mathematical Institute, North Haugh, St Andrews KY16 9SS, Scotland, U.K
Get access Rights & Permissions [Opens in a new window]

Synopsis

A gp-toolkit consisting of computer implementations of various group theory methods, in particular a Tietze transformation program, was designed. Special cases of a conjecture were solved by the gp-toolkit. Examination of the method used by the gp-toolkit to deduce relations showed that a general approach had been employed. We present a proof verifying that the conjecture is true which is a straightforward generalisation of the method discovered by the gp-toolkit.

Type
Research Article
Information
Proceedings of the Royal Society of Edinburgh Section A: Mathematics , Volume 117 , Issue 1-2 , 1991 , pp. 109 - 114
Copyright
Copyright © Royal Society of Edinburgh 1991

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1Campbell, C. M. and Robertson, E. F.. Deficiency zero groups involving Fibonacci and Lucas numbers. Proc. Roy. Soc. Edinburgh Sect. A 81 (1978), 273–286.CrossRefGoogle Scholar
2Campbell, C. M. and Robertson, E. F.. Some problems in group presentations. J. Korean Math. Soc. 19 (1983), 59–64.Google Scholar
3Havas, G., Kenne, P. E., Richardson, J. S. and Robertson, E. F.. A Tietze transformation program. In Computational Group Theory, pp. 69–74 (London: Academic Press, 1984).Google Scholar
4Rutherford, K.. Computational techniques applied to group presentations (Ph.D. Thesis, University of St Andrews, 1989).Google Scholar