Tropical Representations and Identities of the Stylic Monoid
Abstract
We exhibit a faithful representation of the stylic monoid of every finite rank as a monoid of upper unitriangular matrices over the tropical semiring. Thus, we show that the stylic monoid of finite rank $n$ generates the pseudovariety $\boldsymbol{\mathcal{J}}_n$, which corresponds to the class of all piecewise testable languages of height $n$, in the framework of Eilenberg's correspondence. From this, we obtain the equational theory of the stylic monoids of finite rank, show that they are finitely based if and only if $n \leq 3$, and that their identity checking problem is decidable in linearithmic time. We also establish connections between the stylic monoids and other plactic-like monoids, and solve the finite basis problem for the stylic monoid with involution.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2022
- DOI:
- 10.48550/arXiv.2206.11725
- arXiv:
- arXiv:2206.11725
- Bibcode:
- 2022arXiv220611725A
- Keywords:
-
- Mathematics - Rings and Algebras;
- Mathematics - Combinatorics;
- Mathematics - Group Theory;
- 20M07 (Primary) 08B05;
- 05E10;
- 05E99;
- 12K10;
- 16Y60;
- 20M05;
- 20M30;
- 20M32 (Secondary)
- E-Print:
- 22 pages. Added results on the finite basis problem for the stylic monoid with involution and updated references