Equational theories of upper triangular tropical matrix semigroups
type: Item
instance of: scholarly article
title: Equational theories of upper triangular tropical matrix semigroups
zbMATH Open document ID: 1496.14062
author: Bin Bin Han
author: Wen Ting Zhang
author: Yanfeng Luo
published in: Algebra Universalis
publication date: 2021-08-17T00:00:00Z
review text: Tropical mathematics now interact with many fields and applications, from algebraic geometry to optimization, phylogenetics to economics. The very origin of the word ``tropical'' came from semirings and automata theory. A nice historical overview is given by \textit{J.-E. Pean} [Tropical semirings, idempotency. Bristol. 50--69 (1994)]. This paper falls into this line of work. A simplistic way to view this line of work is to take the tropical semiring as an interesting algebra, and revisit classical questions for classical objects in semigroup theory over this algebra. For concreteness, one could take the min-plus semiring, where minimum replaces addition and addition replaces multiplication. The set of \(n \times n\) matrices equipped with matrix multiplication over the min-plus semiring becomes a semigroup. Now one could ask, for example, does the semigroup of \(n \times n\) tropical matrices have a finite basis? Does this semigroup have interesting identities? One can also consider other semigroups, such as those of upper triangular \(n \times n\) tropical matrices, denoted \(UT_n\). It turned out that \(UT_n\) is particularly interesting, as their identities have strong relations with the bicyclic and plactic monoid, which are other classical obects in semigroup theory. In particular, various researchers have resolved open questions related to the bicyclic and plactic monoid by first translating the questions in terms of \(UT_n\), and then use combinatorial or geometric techniques to answer them. See the citations on page 3, second paragraph, of this paper. This paper builds upon previous work and resolved the finite basis problem for the semigroups of upper triangular matrices \(UT_n\) for \(n = 2,3\). It also stated interesting open problems for \(n \geq 4\).
reviewed by: Ngoc Mai Tran
Mathematics Subject Classification ID: 14T10
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 15A80
zbMATH DE Number: 7382708
zbMATH Keywords: tropical semiring
zbMATH Keywords: matrix
zbMATH Keywords: identity
zbMATH Keywords: involution
zbMATH Keywords: finite basis problem
MaRDI profile type: Publication
full work available at URL: s00012-021-00738-1
OpenAlex ID: W3176545339
cites work: The finite basis problem for Kauffman monoids.
cites work: Unary enhancements of inherently non-finitely based semigroups.
cites work: Matrix identities involving multiplication and transposition.
cites work: Equational theories of semigroups with involution.
cites work: Max-algebra: The linear algebra of combinatorics?
cites work: Q3934450
cites work: Equations and dot-depth one
cites work: Equations and monoid varieties of dot-depth one and two
cites work: THE FINITE BASIS PROBLEM FOR THE MONOID OF TWO-BY-TWO UPPER TRIANGULAR TROPICAL MATRICES
cites work: The finite basis property of a certain semigroup of upper triangular matrices over a field.
cites work: On identities of finite involution semigroups.
cites work: Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
cites work: The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based
cites work: A non-finitely based involution semigroup of order five
cites work: Semigroup identities in the monoid of triangular tropical matrices.
cites work: Tropical plactic algebra, the cloaktic monoid, and semigroup representations
cites work: Semigroup identities in the monoid of two-by-two tropical matrices.
cites work: Identities in unitriangular and gossip monoids
cites work: Geometry and algorithms for upper triangular tropical matrix identities
cites work: Tropical representations and identities of plactic monoids
cites work: The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion
cites work: Finite involution semigroups with infinite irredundant bases of identities.
cites work: Finitely based finite involution semigroups with non-finitely based reducts
cites work: Equational theories of unstable involution semigroups
cites work: Q4682597
cites work: Non-finitely based finite involution semigroups with finitely based semigroup reducts
cites work: On the finite basis problem for the monoids of triangular Boolean matrices.
cites work: Identities of the Semigroup of Upper Triangular Tropical Matrices
cites work: Bases for equational theories of semi-groups
cites work: Tropical geometry of statistical models
cites work: On semigroups of matrices over the tropical semiring
cites work: On the axiomatic rank of varieties generated by a semigroup or monoid with one defining relation
cites work: Non-finitely based monoids.
cites work: The finite basis problem for finite semigroups
cites work: REFLEXIVE RELATIONS, EXTENSIVE TRANSFORMATIONS AND PIECEWISE TESTABLE LANGUAGES OF A GIVEN HEIGHT
cites work: A Nonfinitely Based Semigroup of Triangular Matrices
cites work: The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices
cites work: Finite basis problem for involution monoids of unitriangular Boolean matrices
DOI: 10.1007/S00012-021-00738-1
description: scientific article; zbMATH DE number 7382708