Hostname: page-component-77c89778f8-5wvtr Total loading time: 0 Render date: 2024-07-21T15:22:39.179Z Has data issue: false hasContentIssue false
  • English
  • Français

Computer aided determination of a Fibonacci group

Published online by Cambridge University Press:  17 April 2009

George Havas
George Havas
Affiliation:
Department of Mathematics, Institute of Advanced Studies, Australian National University, Canberra, ACT.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The Fibonacci group F(2, 7) has been known to be cyclic of order 29 for about five years. This was first established by computer coset enumerations which exhibit only the result, without supporting proofs. The working in a coset enumeration actually contains proofs of many relations that hold in the group. A hand proof that F(2, 7) is cyclic of order 29, based on the working in computer coset enumerations, is presented here.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 15 , Issue 2 , October 1976 , pp. 297 - 305
Copyright
Copyright © Australian Mathematical Society 1976

References

[1]Brunner, A.M., “The determination of Fibonacci groups”, Bull. Austral. Math. Soc. 11 (1974), 11–14.CrossRefGoogle Scholar
[2]Cannon, John J., Dimino, Lucien A., Havas, George and Watson, Jane M., “Implementation and analysis of the Todd-Coxeter algorithm”, Math. Comp. 27 (1973), 463–490.CrossRefGoogle Scholar
[3]Conway, J.H., “Advanced problem 5327”, Amer. Math. Monthly 72 (1965), 915.Google Scholar
[4]Johnson, D.L., Wamsley, J.W., and Wright, D.,“The Fibonacci groups”, Proc. London Math. Soc. (3) 29 (1974), 577–592.CrossRefGoogle Scholar
[5]Leech, John, “Coset enumeration”, Computational problems in abstract algebra, 21–35 (Proc. Conf. Oxford, 1967. Pergamon, Oxford, London, Edinburgh, Hew York, Toronto, Sydney, Paris, Braunschweig, 1970).Google Scholar
[6]Leech, John, “Computer proof of relations in groups”, Topics in group theory and confutation (Proc. Royal Irish Acad. Summer School on Group Theory and Computation, Galway 1973. Academic Press, to appear).Google Scholar
[7] Various Authors, “Generators and relations for cyclic groups” (Solution to advanced problem 5327, see [3] above), Amer. Math. Monthly 74 (1967), 91–93.Google Scholar