English

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 Rn\mathcal{R}_n of all reflexive binary relations on a set with nn elements, the semiring Un\mathcal{U}_n of all n×nn\times n upper triangular matrices over the boolean semiring, the semiring Cn\mathcal{C}_n of all order preserving and extensive transformations of a chain with nn elements. In view of the result of Kl\'ima and Pol\'ak, which states that Cn\mathcal{C}_n has a finite basis of identities for all nn, this implies that the identities of Rn\mathcal{R}_n and Un\mathcal{U}_n 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}
}
R2 v1 2026-06-28T08:23:42.534Z