Representations and identities of Baxter monoids with involution

DOI10.1007/S00233-023-10388-5MaRDI QIDQ6145355zbMATH OpenOpenAlexFDO

Authors Bin Bin Han, Wen Ting Zhang, Yanfeng Luo, Jinxing Zhao

Publication date 9 January 2024

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2301.13205

zbMATH Keywords

representationidentityfinite basis problemBaxter monoidSchützenberger's involution

Mathematics Subject Classification ID

Algebraic combinatorics (05E99) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Varieties (08B99)

Abstract: Let $(mathsf{baxt}_n,{}^{s}harp)$ be the Baxter monoid of finite rank $n$ with Sch"{u}tzenberger's involution ${}^{sharp}$. In this paper, it is shown that $(mathsf{baxt}_n,{}^{s}harp)$ admits a faithful representation by an involution monoid of upper triangular matrices over any semiring from a large class including the tropical semiring under the skew transposition. Then a transparent combinatorial characterization of the word identities satisfied by $(mathsf{baxt}_n,{}^{s}harp)$ is given. Further, it is proved that $(mathsf{baxt}_n,{}^{s}harp)$ is finitely based if and only if $neq3$, and shown that the identity checking problem for $(mathsf{baxt}_n,{}^{s}harp)$ can be done in polynomial time.

Recommendations

• Identities and bases in the Sylvester and Baxter monoids
• Representations and identities of hypoplactic monoids with involution
• Representations and identities of plactic-like monoids
• Finite basis problems for stalactic, taiga, sylvester and baxter monoids
• Identities in plactic, hypoplactic, sylvester, Baxter, and related monoids

Cites work

• scientific article; zbMATH DE number 1001729 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3582368 (Why is no real title available?)
• scientific article; zbMATH DE number 1737190 (Why is no real title available?)
• scientific article; zbMATH DE number 3287732 (Why is no real title available?)
• A non-finitely based involution semigroup of order five
• A sufficient condition for the absence of irredundant bases
• ALGORITHMIC PROBLEMS IN VARIETIES
• Advances in the Theory of Varieties of Semigroups
• Algebraic and combinatorial structures on pairs of twin binary trees
• Bases for equational theories of semi-groups
• Commutative combinatorial Hopf algebras.
• Complexity of the identity checking problem for finite semigroups.
• Equational theories of semigroups with involution.
• Equational theories of unstable involution semigroups
• Equational theories of upper triangular tropical matrix semigroups
• Finite basis problems for stalactic, taiga, sylvester and baxter monoids
• Finite involution semigroups with infinite irredundant bases of identities.
• Finite semigroups whose varieties have uncountably many subvarieties
• Finitely based finite involution semigroups with non-finitely based reducts
• INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS
• Identities and bases in the Sylvester and Baxter monoids
• Identities and bases in the hypoplactic monoid
• Identities in plactic, hypoplactic, sylvester, Baxter, and related monoids
• Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
• Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
• Identities of the Kauffman monoid \(\mathcal{K}_3\)
• Identities of the stylic monoid
• Lattice of combinatorial Hopf algebras: binary trees with multiplicities
• Matrix identities involving multiplication and transposition.
• Non-finitely based finite involution semigroups with finitely based semigroup reducts
• Noncommutative Schubert polynomials
• Noncommutative symmetric functions. IV: Quantum linear groups and Hecke algebras at \(q=0\)
• On the axiomatic rank of varieties generated by a semigroup or monoid with one defining relation
• On the hypoplactic monoid
• Representations and identities of plactic-like monoids
• Schubert polynomials and the Littlewood-Richardson rule
• Semigroup identities in the monoid of two-by-two tropical matrices.
• Symmetric functions and Hall polynomials. With contributions by A. V. Zelevinsky
• The algebra of binary search trees
• The finite basis problem for finite semigroups
• The finite basis problem for the monoid of two-by-two upper triangular tropical matrices
• The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based
• The stylic monoid
• The variety of Kleene algebras with conversion is not finitely based
• Tropical representations and identities of plactic monoids
• Tropical representations and identities of the stylic monoid
• Unary enhancements of inherently non-finitely based semigroups.
• Varieties of involution monoids with extreme properties

Cited in

(2)

• Representations and identities of hypoplactic monoids with involution
• Identities and bases in the Sylvester and Baxter monoids

This page was built for publication: Representations and identities of Baxter monoids with involution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6145355)