Current browse context:
math.RA
Change to browse by:
References & Citations
Mathematics > Rings and Algebras
Title: Tropical Representations and Identities of the Stylic Monoid
(Submitted on 23 Jun 2022 (v1), last revised 3 Oct 2022 (this version, v2))
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.
Submission history
From: Duarte Ribeiro [view email][v1] Thu, 23 Jun 2022 14:22:05 GMT (35kb)
[v2] Mon, 3 Oct 2022 11:54:19 GMT (38kb)
Link back to: arXiv, form interface, contact.