Rewriting in Varieties of Idempotent Semigroups
نویسندگان
چکیده
We consider rewriting as a tool for solving identity problems in varieties of idempotent semigroups. It is known that there exist finite canonical term rewrite systems and finite canonical word rewrite systems for only a very limited number of those varieties. We present a finite canonical conditional word rewrite system for a particular variety in which the classical approaches cannot be applied. Moreover, we obtain infinite single letter deleting rewrite systems for each join-irreducible variety.
منابع مشابه
Radical decompositions of semiheaps
Semiheaps are ternary generalisations of involuted semigroups. The first kind of semiheaps studied were heaps, which correspond closely to groups. We apply the radical theory of varieties of idempotent algebras to varieties of idempotent semiheaps. The class of heaps is shown to be a radical class, as are two larger classes having no involuted semigroup counterparts. Radical decompositions of v...
متن کاملOn the join of two pseudovarieties
The aim of this lecture is to survey some recent developments in the theory of finite semigroups. More precisely, we shall consider the following problem about pseudovarieties of semigroups: given two pseudovarieties V and W, find a description of their join V ∨W (that is, of the pseudovariety they generate). This question is motivated by the theory of rational languages: it appears in a natura...
متن کاملFree Profinite Semigroups Over Some Classes of Semigroups Locally in D(G)
The theory of free profinite semigroups, which received its major impetus with the publication of Reiterman’s paper [17] in the early eighties, has proven to be an important tool in the study of pseudovarieties of semigroups and on the varieties of recognizable languages associated with them (via Eilenberg’s Theorem on varieties [13]). The importance of Reiterman’s theorem was immediately under...
متن کاملThe Galois Correspondence between Subvariety Lattices and Monoids of Hypersubstitutions
Denecke and Reichel have described a method of studying the lattice of all varieties of a given type by using monoids of hypersubstitutions. In this paper we develop a Galois correspondence between monoids of hypersubstitutions of a given type and lattices of subvarieties of a given variety of that type. We then apply the results obtained to the lattice of varieties of bands (idempotent semigro...
متن کاملOn supermatrix idempotent operator semigroups
One-parameter semigroups of antitriangle idempotent supermatrices and corresponding superoperator semigroups are introduced and investigated. It is shown that t-linear idempotent superoperators and exponential superoperators are mutually dual in some sense, and the first gives additional to exponential solution to the initial Cauchy problem. The corresponding functional equation and analog of r...
متن کامل