Identities of the Kauffman Monoid
We give a transparent combinatorial characterization of the identities satisfied by the Kauffman monoid . Our characterization leads to a polynomial time algorithm to check whether a given identity holds in .
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We give a transparent combinatorial characterization of the identities satisfied by the Kauffman monoid K3. Our characterization leads to a polynomial time algorithm to check whether a given identity holds in K3.
For each positive n, let un=vn denote the identity obtained from the Adjan identity (xy)(yx)(xy)(xy)(yx)=(xy)(yx)(yx)(xy)(yx) by substituting (xy)→(x1x2…xn) and (yx)→(xn…x2x1). We show that every monoid which satisfies un=vn for each positive n and generates the variety containing the bicyclic monoid is nonfinitely based. This implies that the monoid of 2 by 2 upper triangular tropical matrices over the tropical semiring is nonfinitely based.
We prove a sufficient condition under which a semigroup admits no finite identity basis. As an application, it is shown that the identities of the Kauffman monoid Kn are nonfinitely based for each n≥3. This result holds also for the case when Kn is considered as an involution semigroup under either of its natural involutions.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.