Some Operators that Preserve the Locality of a Pseudovariety of Semigroups

@article{Costa2013SomeOT,
  title={Some Operators that Preserve the Locality of a Pseudovariety of Semigroups},
  author={Alfredo Costa and Ana Paula Escada},
  journal={Int. J. Algebra Comput.},
  year={2013},
  volume={23},
  pages={583-610}
}
It is shown that if 𝖡 is a local monoidal pseudovariety of semigroups, then π–ͺ β“œ 𝖡, 𝖣 β“œ 𝖡 and are local. Other operators of the form 𝖹 β“œ(_) are considered. In the process, results about the interplay between operators 𝖹 β“œ(_) and (_) * 𝖣k are obtained.Β 
Bases for pseudovarieties closed under bideterministic product
We show that if $\mathsf V$ is a semigroup pseudovariety containing the finite semilattices and contained in $\mathsf {DS}$, then it has a basis of pseudoidentities between finite products of regular…
Locality and Centrality: The Variety ZG
TLDR
It is shown that ZG is local, that is, the semidirect product ZG βˆ— D of ZG by definite semigroups is equal to LZG, the variety of semig groups where all local monoids are in ZG.
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable
TLDR
It is shown that it is decidable for a given regular language and a non-negative integer m, whether the language is definable by a formula in FO^2[<,suc] which has at most m quantifier alternations.

References

SHOWING 1-10 OF 56 REFERENCES
On the lattice ofΒ sub-pseudovarieties ofΒ DA
The wealth of information that is available on the lattice of varieties of bands, is used to illuminate the structure of the lattice of sub-pseudovarieties of DA, a natural generalization of bands…
Congruences on the Lattice of Pseudovarieties of Finite Semigroups
TLDR
A family of complete congruences is introduced onβ„’(β„±) of pseudovarieties of finite semigroups that provide a framework from which to study β„’ (β„½) both locally and globally.
Free Profinite β„›-Trivial Monoids
TLDR
The structure of semigroups of implicit operations on R, the pseudovariety of all β„›-trivial semig groups, is described by means of labeled ordinals and of labeled infinite trees of finite depth.
A Structural Approach to the Locality of Pseudovarieties of the Form LH (m) V
We show that if H is a Fitting pseudovariety of groups and V is a local pseudovariety of monoids, then LH β“œ V is local if either V contains the six element Brandt monoid, or H is a non-trivial…
The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
Abstract. We use classical results on the lattice $ \cal L (\cal B) $ of varieties of band (idempotent) semigroups to obtain information on the structure of the lattice Ps (DA) of subpseudovarieties…
Monoid varieties defined byxn+1=x are local
We offer a new proof of the theorem in the title. In fact, we prove that for any varietyH of groups of finite exponent, the varietyCR(H) of all completely regular monoids with subgroups fromH, is…
...
...