Tropical Representations and Identities of the Stylic Monoid

DOI10.1007/S00233-022-10328-9arXiv2206.11725MaRDI QIDQ6402963FDOQ6402963

Authors: Thomas Aird, Duarte Ribeiro 

Publication date: 23 June 2022

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 $$, 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 $nleq3$, 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.

Mathematics Subject Classification ID

Representation of semigroups; actions of semigroups on sets (20M30) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)

This page was built for publication: Tropical Representations and Identities of the Stylic Monoid

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6402963)