Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
From MaRDI portal
Publication:1703232
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.
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
Cites work
- scientific article; zbMATH DE number 3615025 (Why is no real title available?)
- scientific article; zbMATH DE number 789816 (Why is no real title available?)
- scientific article; zbMATH DE number 5492069 (Why is no real title available?)
- scientific article; zbMATH DE number 3323852 (Why is no real title available?)
- A characterization of a free elementary inverse semigroup
- A combinatorial property for semigroups of matrices.
- Analogues of the bicyclic semigroup in simple semigroups without idempotents
- Duality and Equational Theory of Regular Languages
- Erratum to: ``Semigroup identities in the monoid of triangular tropical matrices
- Examples of varieties of semigroups
- Green's \(\mathcal J\)-order and the rank of tropical matrices.
- I-Bisimple Semigroups
- Identities of the Semigroup of Upper Triangular Tropical Matrices
- Khachiyan's linear programming algorithm
- Looking for identities on a bicyclic semigroup with computer assistance
- Max-linear systems. Theory and algorithms.
- Multiplicative structure of \(2\times 2\) tropical matrices
- On common eigenvectors for semigroups of matrices in tropical and traditional linear algebra
- On growth, identities and free subsemigroups for inverse semigroups of deficiency one.
- On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra
- On the axiomatic rank of varieties generated by a semigroup or monoid with one defining relation
- On the definition of a family of automata
- Polyhedral convex cones and the equational theory of the bicyclic semigroup
- Pure dimension and projectivity of tropical polytopes
- Semigroup identities in the monoid of triangular tropical matrices.
- Semigroup identities in the monoid of two-by-two tropical matrices.
- Semigroup identities of tropical matrix semigroups of maximal rank
- Semigroup of matrices acting on the max-plus projective space
- The Birkhoff theorem for finite algebras
- The Shortest Identities for Max-Plus Automata with Two States.
- The complexity of the equivalence problem for nonsolvable groups
- The finite basis problem for the monoid of two-by-two upper triangular tropical matrices
- Tropical matrix duality and Green's \(\mathcal D\) relation
Cited in
(30)- Geometry and algorithms for upper triangular tropical matrix identities
- Tropical plactic algebra, the cloaktic monoid, and semigroup representations
- Representations and identities of hypoplactic monoids with involution
- Tropical representations and identities of the stylic monoid
- Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
- Representations and identities of Baxter monoids with involution
- Semigroup identities in the monoid of two-by-two tropical matrices.
- Tropical representations and identities of plactic monoids
- Identities of tropical matrix semigroups and the plactic monoid of rank 4
- Identities in unitriangular and gossip monoids
- Finite basis problems for stalactic, taiga, sylvester and baxter monoids
- Remark on the identities of the grammic monoid with three generators
- Tropical matrices and group representations
- Tropical linear representations of the Chinese monoid
- The Shortest Identities for Max-Plus Automata with Two States.
- Semigroup identities of supertropical matrices
- Semigroup identities of tropical matrix semigroups of maximal rank
- Identities of the Kauffman monoid \(\mathcal{K}_3\)
- Identities and bases in the Sylvester and Baxter monoids
- Identities of the Semigroup of Upper Triangular Tropical Matrices
- Free objects in triangular matrix varieties and quiver algebras over semirings
- Ternary rings of operators arising from inverse semigroups
- Semigroup identities in the monoid of triangular tropical matrices.
- The tropical matrix groups with symmetric idempotents
- On the first order theory of plactic monoids
- Equational theories of upper triangular tropical matrix semigroups
- Identities in twisted Brauer monoids
- Representations and identities of plactic-like monoids
- Identities and bases in the hypoplactic monoid
- The finite basis problem for the monoid of two-by-two upper triangular tropical matrices
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)
