Groupe de Fibonacci
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
En mathématiques, pour tout entier , le n-ième groupe de Fibonacci noté F(2,n) ou parfois F(n) est défini par n générateurs et n relations :
- a1a2 = a3,
- a2a3 = a4,
- an − 2an − 1 = an,
- an − 1an = a1,
- ana1 = a2.
Ces groupes ont été introduits par John Conway en 1965.
Le groupe F(2,n) est d'ordre fini pour n = 2,3,4,5,7 et infini pour n = 6 et . L'infinitude de F(9) a été prouvée en 1990 par ordinateur.
[modifier] Liens externes
- (en) An alternative proof that the Fibonacci group F(2,9) is infinite par Derek K. Holt (fichier PostScript).