Identities in unitriangular and gossip monoids
Johnson, Marianne; id_orcid 0000-0003-4059-845X, Peter Fenner · Research Explorer (The University of Manchester) · 2019
We establish a criterion for a semigroup identity to hold in the monoid of nxn upper unitriangular matrices with entries in a commutative semiring S. This criterion is combinatorial modulo the arithmetic of the multiplicative identity element of S. In the case where S is non-trivial and idempotent, the generated variety is the variety Jn1, which by a result of Volkov is generated by any one of: the monoid of unitriangular Boolean matrices, the monoid Rn of all reflexive relations on an n element set, or the Catalan monoid Cn. We propose S-matrix analogues of these latter two monoids in the case where S is an idempotent semiring whose multiplicative identity element is the `top' element with respect to the natural partial order on S, and show that each generates Jn1. As a consequence we obtain a complete solution to the finite basis problem for lossy gossip monoids.