Invertible substitutions on a three-letter alphabet. (Q1871489): Difference between revisions
From MaRDI portal
Latest revision as of 16:09, 5 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Invertible substitutions on a three-letter alphabet. |
scientific article |
Statements
Invertible substitutions on a three-letter alphabet. (English)
0 references
19 February 2004
0 references
A substitution is defined as a non-erasing morphism of the free monoid; a substitution is called invertible if it extends to an automorphism of the free group. The structure of the monoid of invertible substitutions over a two-letter alphabet is perfectly known [\textit{Z. Wen} and \textit{Z. Wen}, C. R. Acad. Sci., Paris, Sér. I 318, 299--304 (1994; Zbl 0812.11018)]; moreover it coincides with the monoid of Sturmian substitutions, that is, the substitutions which fix Sturmian words [\textit{F. Mignosi} and \textit{P Séébold}, J. Théor. Nombres Bordx. 5, 221--233 (1993; Zbl 0797.11029)]. The aim of this note is to extend this result to three-letter alphabets. The situation is a priori more involved since the monoid of invertible substitutions over a three-letter alphabet is known to be of infinite type [\textit{Z. Wen} and \textit{Y. Zhang}, Chin. Sci. Bull. 44, 1755--1760 (1999; Zbl 1040.20504)]. Nevertheless it is proved in the note under review that there exists a finite set S of elementary substitutions such that any invertible substitution can be decomposed as a finite composition of these susbtitutions, up to an inner automorphism; more precisely, if \(\sigma\) is an invertible substitution over a three-letter alphabet, then there exist \(W\), \(k\) such that \(\sigma= I_W\circ\sigma_i\circ \cdots\circ \sigma_k\), where for all \(i\), \(\sigma_i\in S\) and \(I_W\) is the morphism of the free group defined by \(I_W: U\mapsto WUW^{-1}\) (it is not a substitution in general). This immediately implies that an integer square matrix of size 3 with non-negative entries is the incidence matrix of an invertible substitution if and only if it is a finite product of nonnegative elementary matrices.
0 references
substitutions
0 references
Fibonacci morphism
0 references
automorphism of the free group
0 references