Fibonacci semigroups (Q1330684)

The Fibonacci group \(F(r,n)\) [resp. Fibonacci semigroup \(S(r,n)\)] is the group [resp. semigroup] with presentation \[ \begin{multlined}\langle a_ 1,a_ 2,\ldots,a_ n : a_ 1a_ 2 \ldots a_ r = a_{r + 1},\;a_ 2a_ 3 \ldots a_{r + 1} = a_{r + 2},\;\ldots \\ \ldots,\;a_{n - 1} a_ na_ 1 \ldots a_{r - 2} = a_{r - 1},\;a_ na_ 1a_ 2 \ldots a_{r - 1} = a_ r\rangle.\end{multlined} \] It is proved that \(S(r,n)\) is a union of \(d = (r,n)\) pairwise disjoint right ideals, each of which is a subgroup of \(S(r,n)\) isomorphic to \(F(r,n)\). In particular, \(S(r,n)\) and \(F(r,n)\) are both finite or infinite together. A generalization of this is proved concerning the group, semigroup pair, \(F(r,n,k)\) and \(S(r,n,k)\), in which the index of the letter on the right side of each relation differs by \(k\) from that of the last letter on the left (so that \(S(r,n,1) = S(r,n)\)). A table of the orders of these so-called generalized Fibonacci groups \(F(r,n,k)\) is provided which includes some new entries, such as that for \(F(6,6,4)\) which equals 10.655.