Retracts of Trees and Free Left Adequate Semigroups
نویسندگان
چکیده
Recent research of the author has studied edge-labelled directed trees under a natural multiplication operation. The class of all such trees (with a fixed labelling alphabet) has an algebraic interpretation, as a free object in the class of adequate semigroups. We consider here a natural subclass of these trees, defined by placing a restriction on edge orientations, and show that the resulting algebraic structure is a free object in the class of left adequate semigroups. Through this correspondence we establish some structural and algorithmic properties of free left adequate semigroups and monoids, and consequently of the category of all left adequate semigroups.
منابع مشابه
Left Adequate and Left Ehresmann Monoids Ii
This article is the second of two presenting a new approach to left adequate monoids. In the first, we introduced the notion of being T -proper, where T is a submonoid of a left adequate monoid M . We showed that the free left adequate monoid on a set X is X∗-proper. Further, any left adequate monoid M has an X∗-proper cover for some set X , that is, there is an X∗proper left adequate monoid M̂ ...
متن کاملStructure of Left Adequate and Left Ehresmann Monoids
This is the first of two articles studying the structure of left adequate and, more generally, of left Ehresmann monoids. Motivated by a careful analysis of normal forms, we introduce here a concept of proper for a left adequate monoid M . In fact, our notion is that of T -proper, where T is a submonoid of M . We show that any left adequate monoid M has an X∗proper cover for some set X , that i...
متن کاملThe word problem for free adequate semigroups
We study the complexity of computation in finitely generated free left, right and two-sided adequate semigroups and monoids. We present polynomial time (quadratic in the RAM model of computation) algorithms to solve the word problem and compute normal forms in each of these, and hence also to test whether any given identity holds in the classes of left, right and/or two-sided adequate semigroups.
متن کامل-
In this paper we introduce R-right (left), L-left (right) cancellative and weakly R(L)-cancellative semigroups and will give some equivalent conditions for completely simple semigroups, (completely) regular right (left) cancellative semigroups, right (left) groups, rectangular groups, rectangular bands, groups and right (left) zero semigroups according to R-right (left), L-left (right) and weak...
متن کاملOrdered semigroups characterized by their intuitionistic fuzzy bi-ideals
Fuzzy bi-ideals play an important role in the study of ordered semigroupstructures. The purpose of this paper is to initiate and study theintiuitionistic fuzzy bi-ideals in ordered semigroups and investigate thebasic theorem of intuitionistic fuzzy bi-ideals. To provide thecharacterizations of regular ordered semigroups in terms of intuitionisticfuzzy bi-ideals and to discuss the relationships ...
متن کامل