Semiring identities of semigroups of reflexive relations and upper triangular boolean matrices
Group Theory
2023-12-05 v2
Abstract
We show that the following semirings satisfy the same identities: the semiring of all reflexive binary relations on a set with elements, the semiring of all upper triangular matrices over the boolean semiring, the semiring of all order preserving and extensive transformations of a chain with elements. In view of the result of Kl\'ima and Pol\'ak, which states that has a finite basis of identities for all , this implies that the identities of and admit a finite basis as well.
Keywords
Cite
@article{arxiv.2301.11863,
title = {Semiring identities of semigroups of reflexive relations and upper triangular boolean matrices},
author = {S. V. Gusev},
journal= {arXiv preprint arXiv:2301.11863},
year = {2023}
}