Some combinatorial properties of infinite words and applications to semigroup theory (Q1917528): Difference between revisions
From MaRDI portal
Latest revision as of 12:06, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some combinatorial properties of infinite words and applications to semigroup theory |
scientific article |
Statements
Some combinatorial properties of infinite words and applications to semigroup theory (English)
0 references
8 December 1996
0 references
The main result, which generalizes a theorem of de Luca and Varrichio, is that a finitely generated semigroup \(S\) is finite if and only if \(S\) has the \(\omega\)-iteration property, which means that for each infinite sequence \(T\): \(s_1,s_2,\dots\) of elements of \(S\) there exists \(n\geq 1\), depending on \(T\), and \(i,j\in\{1,2,\dots,n\}\) such that \[ s_ns_{n-1}\dots s_2s_1=s_ns_{n-1}\dots s_{i+1}(s_i\dots s_j)^2s_{j-1}\dots s_2s_1. \] The proof makes use of bi-ideal sequences and Ramsey's Theorem. Earlier in the paper, theorems of Konig and of Shirshov are the inspiration for a new proof of the result of Restivo and Reutenauer that a finitely generated semigroup \(S\) is finite if and only if \(S\) is periodic and permutable. The proof is based on the notion of a word \(x\) being \(n\)-divided, meaning that \(x\) can be written as a product of \(n\) factors which is greater in the lexicographic ordering than all words \(x_\sigma\) formed by permuting these factors.
0 references
periodic semigroups
0 references
permutable semigroups
0 references
finitely generated semigroups
0 references
\(\omega\)-iteration property
0 references
bi-ideal sequences
0 references
Ramsey's Theorem
0 references