Tropical linear representations of the Chinese monoid (Q6047293)

From MaRDI portal





scientific article; zbMATH DE number 7735203
Language Label Description Also known as
default for all languages
No label defined
    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
      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
      tropical (max-plus) matrices
      0 references
      semigroup identities
      0 references
      semigroup representations
      0 references
      Chinese monoid
      0 references
      semigroup varieties
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references