In this paper, we extend to DA some techniques developed by Almeida and Weil, and Almeida and Zeitoun for the pseudovariety R to obtain representations of the implicit operations on DA: by labeled trees of finite height, by quasi-ternary labeled trees, and by labeled linear orderings. We prove that two implicit operations are equal over DA if and only if they have the same representation, for any of the three representations. We end the paper by relating these representations.
Abstract. The operator which constructs the pseudovariety generated by the idempotent-generated semigroups of a given pseudovariety is investigated. Several relevant examples of pseudovarieties generated by their idempotentgenerated elements are given as well as some properties of this operator. Particular attention is paid to the pseudovarieties in {J, R, L, DA} concerning this operator and their generator ranks and idempotent-generator ranks.
Abstract. Generalizing a property of the pseudovariety of all aperiodic semigroups observed by Tilson, we call E-local a pseudovariety V which satisfies the following property: for a finite semigroup, the subsemigroup generated by its idempotents belongs to V if and only if so do the subsemigroups generated by the idempotents in each of its regular D-classes. In this paper, we present several sufficient or necessary conditions for a pseudovariety to be E-local or for a pseudoidentity to define an E-local pseudovariety. We also determine several examples of the smallest E-local pseudovariety containing a given pseudovariety.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.