Groupe de Fibonacci
En mathématiques, pour tout entier , le n-ième groupe de Fibonacci noté ou parfois est défini par n générateurs et n relations :
- .
Ces groupes ont été introduits par John Conway en 1965.
Le groupe est d'ordre fini pour et infini pour et . L'infinitude de a été prouvée en 1990 par ordinateur.
Liens externes[modifier | modifier le code]
- (en) An alternative proof that the Fibonacci group F(2,9) is infinite par Derek K. Holt (fichier PostScript).