Tropical linear representations of the Chinese monoid (Q6047293)

From MaRDI portal
scientific article; zbMATH DE number 7735203
Language Label Description Also known as
English
Tropical linear representations of the Chinese monoid
scientific article; zbMATH DE number 7735203

    Statements

    Tropical linear representations of the Chinese monoid (English)
    0 references
    0 references
    0 references
    0 references
    7 September 2023
    0 references
    The Chinese monoid which was explored by \textit{G. Duchamp} and \textit{D. Krob} [in: Words, languages and combinatorics II. Proceedings of the 2nd international conference, Kyoto, Japan, August 25-28, 1992. Singapore: World Scientific. 124--142 (1994; Zbl 0875.68720)] is a ternary monoid related to the plactic monoid and generated by the relations \(cba=cab=bca\) for totally ordered alphabets \(a\leq b \leq c\). Recall that a faithful linear representation of a semigroup \(S\) is a homomorphism \(\rho\) that takes any element in \(S\) to the multiplicative monoid of matrices of dimension \(n\times n\) over the tropical (max-plus) semiring \(\mathbb{T}\). If a homomorphism \(\rho\) is injective, then it is called faithful. In this paper, the authors give an inductive construction of a faithful linear representation for \(\mathrm{Ch}_{n+1}:= \langle a_1,\ldots,a_{n+1} \rangle\) out of a faithful representation for \(\mathrm{Ch}_{n}\) under which the number of generators equals \(n\) based on the concept of a faithful representation by matrcies of the plactic monoid \(\mathrm{Plc}_n\) over the tropical semiring. In fact, the appendices at the end of the paper provide a linear representation of the Chinese monoid of rank 2 and 3. The main result of the paper is as follows: The Chinese monoid \(\mathrm{Ch}_{n}\) of rank \(n\) has a faithful linear representation by tropical triangular matrices in (upper) triangular tropical matrices of size \( 2\cdot 3^{n-2}\), more precisely by block-diagonal triangular matrices with blocks of size 2. To prove this theorem, some lemmas are needed. Actually, in view of computational complexity, the main theorem also presents a beneficial tool for finding the canonical form of the Chinese monoid \(\mathrm{Ch}_{n}\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    tropical (max-plus) matrices
    0 references
    semigroup identities
    0 references
    semigroup representations
    0 references
    Chinese monoid
    0 references
    semigroup varieties
    0 references
    0 references