Identities of the kauffman monoid K4 and of the Jones Monoid J4

Kauffman monoids Kn and Jones monoids Jn, n=2,3,…, are two families of monoids relevant in knot theory. We prove a somewhat counterintuitive result that the Kauffman monoids K3 and K4 satisfy exactly the same identities. This leads to a polynomial time algorithm to check whether a given identity holds in K4. As a byproduct, we also find a polynomial time algorithm for checking identities in the Jones monoid J4. © Springer Nature Switzerland AG 2020.M. V. Volkov—Supported by Ural Mathematical Center under agreement No. 075-02-2020-1537/1 with the Ministry of Science and Higher Education of the Russian Federation

Green's D\mathcal{D}-relation for the multiplicative reduct of an idempotent semiring

summary:The idempotent semirings for which Green’s ${\cal D}$-relation on the multiplicative reduct is a congruence relation form a subvariety of the variety of all idempotent semirings. This variety contains the variety consisting of all the idempotent semirings which do not contain a two-element monobisemilattice as a subsemiring. Various characterizations will be given for the idempotent semirings for which the ${\cal D}$-relation on the multiplicative reduct is the least lattice congruence