Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
From MaRDI portal
Publication:1703232
DOI10.1016/J.JALGEBRA.2017.12.032zbMATH Open1403.20066arXiv1612.04219OpenAlexW2560854895WikidataQ130150469 ScholiaQ130150469MaRDI QIDQ1703232FDOQ1703232
Authors: Laure Daviaud, Marianne Johnson, Mark Kambites 
Publication date: 1 March 2018
Published in: Journal of Algebra (Search for Journal in Brave)
Abstract: We establish necessary and sufficient conditions for a semigroup identity to hold in the monoid of 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 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 upper triangular matrix semigroups, and a new proof of the fact that this semigroup satisfies the same identities as the bicyclic monoid.
Full work available at URL: https://arxiv.org/abs/1612.04219
Recommendations
- Semigroup identities in the monoid of triangular tropical matrices.
- The finite basis problem for the monoid of two-by-two upper triangular tropical matrices
- Semigroup identities in the monoid of two-by-two tropical matrices.
- Geometry and algorithms for upper triangular tropical matrix identities
- Semigroup identities of supertropical matrices
Max-plus and related algebras (15A80) Semigroups of transformations, relations, partitions, etc. (20M20) General structure theory for semigroups (20M10)
Cites Work
- Tropical matrix duality and Green's \(\mathcal D\) relation
- Max-linear systems. Theory and algorithms.
- Duality and Equational Theory of Regular Languages
- Title not available (Why is that?)
- Green's \(\mathcal J\)-order and the rank of tropical matrices.
- Title not available (Why is that?)
- On the definition of a family of automata
- On the axiomatic rank of varieties generated by a semigroup or monoid with one defining relation
- Semigroup identities in the monoid of triangular tropical matrices.
- Semigroup identities of tropical matrix semigroups of maximal rank
- Erratum to: ``Semigroup identities in the monoid of triangular tropical matrices
- The finite basis problem for the monoid of two-by-two upper triangular tropical matrices
- Polyhedral convex cones and the equational theory of the bicyclic semigroup
- Identities of the Semigroup of Upper Triangular Tropical Matrices
- Semigroup of matrices acting on the max-plus projective space
- Semigroup identities in the monoid of two-by-two tropical matrices.
- Pure dimension and projectivity of tropical polytopes
- Multiplicative structure of \(2\times 2\) tropical matrices
- On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra
- The complexity of the equivalence problem for nonsolvable groups
- The Birkhoff theorem for finite algebras
- Title not available (Why is that?)
- A combinatorial property for semigroups of matrices.
- Examples of varieties of semigroups
- Analogues of the bicyclic semigroup in simple semigroups without idempotents
- A characterization of a free elementary inverse semigroup
- Title not available (Why is that?)
- Looking for identities on a bicyclic semigroup with computer assistance
- I-Bisimple Semigroups
- Khachiyan's linear programming algorithm
- On growth, identities and free subsemigroups for inverse semigroups of deficiency one.
- On common eigenvectors for semigroups of matrices in tropical and traditional linear algebra
- The Shortest Identities for Max-Plus Automata with Two States.
Cited In (29)
- Ternary rings of operators arising from inverse semigroups
- Identities of the Semigroup of Upper Triangular Tropical Matrices
- Representations and identities of Baxter monoids with involution
- Remark on the identities of the grammic monoid with three generators
- Representations and identities of hypoplactic monoids with involution
- Tropical representations and identities of plactic monoids
- Free objects in triangular matrix varieties and quiver algebras over semirings
- Identities and bases in the hypoplactic monoid
- Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
- Finite basis problems for stalactic, taiga, sylvester and baxter monoids
- Semigroup identities of tropical matrix semigroups of maximal rank
- Geometry and algorithms for upper triangular tropical matrix identities
- Identities and bases in the Sylvester and Baxter monoids
- Identities in twisted Brauer monoids
- Semigroup identities in the monoid of two-by-two tropical matrices.
- The Shortest Identities for Max-Plus Automata with Two States.
- Equational theories of upper triangular tropical matrix semigroups
- Tropical linear representations of the Chinese monoid
- The tropical matrix groups with symmetric idempotents
- Representations and identities of plactic-like monoids
- Tropical representations and identities of the stylic monoid
- Identities of the Kauffman monoid \(\mathcal{K}_3\)
- On the first order theory of plactic monoids
- The finite basis problem for the monoid of two-by-two upper triangular tropical matrices
- Tropical matrices and group representations
- Semigroup identities of supertropical matrices
- Semigroup identities in the monoid of triangular tropical matrices.
- Tropical plactic algebra, the cloaktic monoid, and semigroup representations
- Identities in unitriangular and gossip monoids
This page was built for publication: Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1703232)
