On a combinatorial property of Fibonacci semigroup
type: Item
instance of: scholarly article
title: On a combinatorial property of Fibonacci semigroup
zbMATH Open document ID: 0811.20051
DOI: 10.1016/0012-365X(93)90301-9
author: Giuseppe Pirillo
published in: Discrete Mathematics
publication date: 1995-04-20T00:00:00Z
review text: Let \(A^ +\) be a free semigroup over a two-letter alphabet \(A = \{a,b\}\), \(\varphi : A^ + \to A^ +\) be the morphism defined by \(\varphi(a) = ab\), \(\varphi(b) = a\). Let \(f_ 1 = a\) and \(f_{n + 1} = \varphi(f_ n)\). Then \(| f_ 1|, | f_ 2 |, \dots, | f_ n|, \dots\) is the sequence of Fibonacci numbers. By iterating the morphism \(\varphi\), starting with \(a\), we can define a (unique) infinite Fibonacci word \(f = abaababaabaab \dots\). Denote by \({\mathcal F} (f)\) the set of all factors of \(f\). The Fibonacci semigroup \(\mathcal F\) is, by definition, the Rees quotient of \(A^ +\) by the ideal \(J(f) = A^ + - {\mathcal F}(f)\) of nonfactors of \(f\). We say that a semigroup \(S\) has property \(P^*_ n\), \(n \geq 2\), if, given elements \(x_ 1, \dots, x_ n\) of \(S\), at least two of the \(n!\) products of these elements coincide. \textit{A. Restivo} proved that the Fibonacci semigroup \(\mathcal F\) has property \(P^*_ 8\) [see Permutation properties and the Fibonacci semigroup, Semigroup Forum (to appear)]. The author proves that \(\mathcal F\) has property \(P^*_ 4\) but does not have property \(P^*_ 3\). In fact, the six possible products of three elements \(a, b, abaaba\) of \({\mathcal F}(f)\) belong to \({\mathcal F}(f)\) and are different. This is the best possible result.
reviewed by: L.V.Potemkin
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 68R15
zbMATH DE Number: 500643
zbMATH Keywords: permutation properties
zbMATH Keywords: free semigroup
zbMATH Keywords: Fibonacci numbers
zbMATH Keywords: infinite Fibonacci word
zbMATH Keywords: Fibonacci semigroup
MaRDI profile type: Publication
cites work: Rewriting products of group elements. I
cites work: Some combinatorial properties of the Thue-Morse sequence and a problem in semigroups
cites work: Infinite words and permutation properties
cites work: On cube-free \(\omega\)-words generated by binary morphisms
cites work: Q3659988
cites work: Q3800292
cites work: Permutation properties and the Fibonacci semigroup
cites work: On the Burnside problem for semigroups
description: scientific article; zbMATH DE number 500643