
We establish necessary and sufficient conditions for a semigroup identity to hold in the monoid of $n\times n$ upper triangular tropical matrices, in terms of equivalence of certain tropical polynomials. This leads to an algorithm for checking whether such an identity holds, in time polynomial in the length of the identity and size of the alphabet. It also allows us to answer a question of Izhakian and Margolis, by showing that the identities which hold in the monoid of $2\times 2$ upper triangular tropical matrices are exactly the same as those which hold in the bicyclic monoid. Our results extend to a broader class of "chain structured tropical matrix semigroups"; we exhibit a faithful representation of the free monogenic inverse semigroup within such a semigroup, which leads also to a representation by $3\times 3$ upper triangular matrix semigroups, and a new proof of the fact that this semigroup satisfies the same identities as the bicyclic monoid.
21 pages. This amended version of the author accepted manuscript contains a corrected proof of Proposition 7.1. The new proof establishes the proposition exactly as originally published, all other results are unaffected and the manuscript is otherwise unamended
bicyclic monoid, Mathematics - Rings and Algebras, 510, 004, Semigroups of transformations, relations, partitions, etc., upper triangular tropical matrices, Semigroup identities, Bicyclic monoid, semigroup identities, Rings and Algebras (math.RA), FOS: Mathematics, Upper triangular tropical matrices, 20M07, 20M20, 15A80, QA, Max-plus and related algebras, General structure theory for semigroups
bicyclic monoid, Mathematics - Rings and Algebras, 510, 004, Semigroups of transformations, relations, partitions, etc., upper triangular tropical matrices, Semigroup identities, Bicyclic monoid, semigroup identities, Rings and Algebras (math.RA), FOS: Mathematics, Upper triangular tropical matrices, 20M07, 20M20, 15A80, QA, Max-plus and related algebras, General structure theory for semigroups
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 22 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
