An alternative proof that the Fibonacci group F(2,9) is infinite
Group Theory
2009-09-25 v1
Abstract
This note contains a report of a proof by computer that the Fibonacci group F(2,9) is automatic. The automatic structure can be used to solve the word problem in the group. Furthermore, it can be seen directly from the word-acceptor that the group generators have infinite order, which of course implies that the group itself is infinite.
Cite
@article{arxiv.math/9507204,
title = {An alternative proof that the Fibonacci group F(2,9) is infinite},
author = {Derek F. Holt},
journal= {arXiv preprint arXiv:math/9507204},
year = {2009}
}
Comments
LaTex, 3 pages, no figures. To appear in Experimental Mathematics