加载中…
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íma and Polák, which states that has a finite basis of identities for all , this implies that the identities of and admit a finite basis as well.

生成讲解博客的中文版本

生成AI智能校验的中文版本