7 research outputs found
On Decidability of Intermediate Levels of Concatenation Hierarchies
It is proved that if definability of regular languages in the Sigma(n) fragment of the first-order logic on finite words is decidable, then it is decidable also for the Delta(n+1) fragment. In particular, the decidability for Delta(5) is obtained. More generally, for every concatenation hierarchy of regular languages, it is proved that decidability of one of its half levels implies decidability of the intersection of the following half level with its complement
D-semigroups and constellations
In a result generalising the EhresmannâScheinâNambooripad Theorem relating inverse semigroups to inductive groupoids, Lawson has shown that Ehresmann semigroups correspond to certain types of ordered (small) categories he calls Ehresmann categories. An important special case of this is the correspondence between two-sided restriction semigroups and what Lawson calls inductive categories. Gould and Hollings obtained a one-sided version of this last result, by establishing a similar correspondence between left restriction semigroups and certain ordered partial algebras they call inductive constellations (a general constellation is a one-sided generalisation of a category). We put this one-sided correspondence into a rather broader setting, at its most general involving left congruence D-semigroups (which need not satisfy any semiadequacy condition) and what we call co-restriction constellations, a finitely axiomatized class of partial algebras. There are ordered and unordered versions of our results. Two special cases have particular interest. One is that the class of left Ehresmann semigroups (the natural one-sided versions of Lawsonâs Ehresmann semigroups) corresponds to the class of co-restriction constellations satisfying a suitable semiadequacy condition. The other is that the class of ordered left Ehresmann semigroups (which generalise left restriction semigroups and for which semigroups of binary relations equipped with domain operation and the inclusion order are important examples) corresponds to a class of ordered constellations defined by a straightforward weakening of the inductive constellation axioms
On generators and relations for unions of semigroups
Finite generation and presentability of general unions of semigroups, as well as of bands of semigroups, bands of monoids, semilattices of semigroups and strong semilattices of semigroups, are investigated. For instance, it is proved that a band Y of monoids S alpha (alpha is an element of Y) is finitely generated/presented if and only if Y is finite and all S-alpha are finitely generated/presented. By way of contrast, an example is exhibited of a finitely generated semigroup which is not finitely presented, but which is a disjoint union of two finitely presented subsemigroups.</p
Extensions of left regular bands by R-unipotent semigroups
In this paper we describe R-unipotent semigroups being regular extensions of a left regular
band by an R-unipotent semigroup T as certain subsemigroups of a wreath product of a left
regular band by T .We obtain Szendreiâs result that each E-unitaryR-unipotent semigroup is
embeddable into a semidirect product of a left regular band by a group. Further, specialising
the first authorâs notion of λ-semidirect product of a semigroup by a locally R-unipotent
semigroup, we provide an answer to an open question raised by the authors in [Extensions
and covers for semigroups whose idempotents form a left regular band, Semigroup Forum
81 (2010), 51-70]