1. Tropical representations and identities of the stylic monoid
- Author
-
Aird, Thomas, Ribeiro, Duarte, DM - Departamento de Matemática, and CMA - Centro de Matemática e Aplicações
- Subjects
20M07 (Primary) 08B05, 05E10, 05E99, 12K10, 16Y60, 20M05, 20M30, 20M32 (Secondary) ,Involution ,Algebra and Number Theory ,Unitriangular matrices ,Mathematics - Rings and Algebras ,Group Theory (math.GR) ,Stylic monoid ,Rings and Algebras (math.RA) ,Finite basis problem ,Monoid identities ,Mathematics::Category Theory ,FOS: Mathematics ,Mathematics - Combinatorics ,Tropical representation ,Combinatorics (math.CO) ,Mathematics - Group Theory - 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., Comment: 22 pages. Added results on the finite basis problem for the stylic monoid with involution and updated references
- Published
- 2022
- Full Text
- View/download PDF