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.Β
3 Citations
Bases for pseudovarieties closed under bideterministic product
- MathematicsAlgebra universalis
- 2019
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
- MathematicsArXiv
- 2021
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
- Mathematics, Computer ScienceSTACS
- 2013
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
- Mathematics
- 2009
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
- MathematicsInt. J. Algebra Comput.
- 1997
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
- MathematicsInt. J. Algebra Comput.
- 1997
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
- MathematicsInt. J. Algebra Comput.
- 2010
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
- Mathematics
- 1997
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
- Mathematics
- 1993
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β¦