Finite basis problem for involution monoids of unitriangular Boolean matrices

DOI10.1007/s00012-019-0637-xzbMath1477.20104OpenAlexW3001109570WikidataQ126304494 ScholiaQ126304494MaRDI QIDQ1987544

Nan Wang, Wen Ting Zhang, Yan-Feng Luo

Publication date: 15 April 2020

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-019-0637-x

zbMATH Keywords

varietyinvolutionBoolean matrixfinite basis problem\({\mathscr{J}}\)-trivial semigroups

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Equational logic, Mal'tsev conditions (08B05)

Related Items (3)

A non-finitely based involution semigroup of order five ⋮ Tropical representations and identities of the stylic monoid ⋮ Equational theories of upper triangular tropical matrix semigroups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite involution semigroups with infinite irredundant bases of identities.
• Unary enhancements of inherently non-finitely based semigroups.
• On finite \(\mathcal J\)-trivial monoids
• Equations and monoid varieties of dot-depth one and two
• Identities satisfied by a finite ring
• Equational theories of unstable involution semigroups
• Varieties of associative rings. I
• Equational theories of semigroups with involution.
• The variety of Kleene algebras with conversion is not finitely based
• The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices
• Matrix identities involving multiplication and transposition.
• Bases for equational theories of semi-groups
• Identical relations in finite groups
• LIMIT VARIETIES GENERATED BY COMPLETELY 0-SIMPLE SEMIGROUPS
• A NEW EXAMPLE OF A MINIMAL NONFINITELY BASED SEMIGROUP
• The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion
• Equational Bases for Lattice Theories.
• REFLEXIVE RELATIONS, EXTENSIVE TRANSFORMATIONS AND PIECEWISE TESTABLE LANGUAGES OF A GIVEN HEIGHT
• Non-finitely based finite involution semigroups with finitely based semigroup reducts
• THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES
• Finitely based finite involution semigroups with non-finitely based reducts

This page was built for publication: Finite basis problem for involution monoids of unitriangular Boolean matrices