| Автор | Holt, Derek F. |
| Дата выпуска | 1995 |
| dc.description | 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. |
| Формат | application.pdf |
| Издатель | Taylor & Francis Group |
| Копирайт | Copyright Taylor and Francis Group, LLC |
| Название | An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite |
| Тип | research-article |
| DOI | 10.1080/10586458.1995.10504312 |
| Electronic ISSN | 1944-950X |
| Print ISSN | 1058-6458 |
| Журнал | Experimental Mathematics |
| Том | 4 |
| Первая страница | 97 |
| Последняя страница | 100 |
| Аффилиация | Holt, Derek F.; Mathematics Institute, University of Warwick |
| Выпуск | 2 |
| Библиографическая ссылка | Holt, D. F., Epstein, D. B. A. and Rees, S. 1991. “The use of Knuth–Bendix methods to solve the word problem in automatic groups”. J. Symb. Comp., 12: 397–414. [Epstein et al. 1991] |
| Библиографическая ссылка | Epstein, D. B. A., Cannon, J. W., Holt, D. F., Levy, S., Paterson, M. S. and Thurston, W. P. 1992. Word Processing and Group Theory Boston: Jones and Bartlett.. [Epstein et al. 1992] |
| Библиографическая ссылка | Havas, G., Richardson, J. S. and Sterling, L. S. 1979. “The last of the Fibonacci groups”. Proc. Roy. Soc. Edinburgh, A83: 199–203. [Havas et al. 1979] |
| Библиографическая ссылка | Helling, H., Kim, A. C. and Mennicke, J. L. “On Fibonacci groups” Germany: University of Bielefeld.. [Helling et al. 1994], preprint |
| Библиографическая ссылка | Derek Holt, F. March 1994. “The Warwick Automatic Groups Software” March, [Holt 1994], Submitted to Proceedings of DI-MACS Conference on Computational Group Theory, Rutgers |
| Библиографическая ссылка | Johnson, D. L. 1980. Topics in the Theory of Group Presentations Cambridge: Cambridge University Press.. [Johnson 1980], London Math. Soc. Lecture Note Series 42 |
| Библиографическая ссылка | Newman, M. F. 1990. “Proving a group infinite”. Arch. Math., 54: 209–211. [Newman 1990] |
