THE FIBONACCI GROUP

In mathematics, for a natural number, the nth Fibonacci group, denoted or sometimes, is defined by n generators and n relations: . These groups were introduced by John Conway in 1965. The group is of finite order for and infinite order for and. The infinitude of was proved by computer in 1990.