Free Objects in Certain Varieties of Inverse Semigroups
نویسندگان
چکیده
In this paper it is shown how the graphical methods developed by Stephen for analyzing inverse semigroup presentations may be used to study varieties of inverse semigroups. In particular, these methods may be used to solve the word problem for the free objects in the variety of inverse semigroups generated by the five-element combinatorial Brandt semigroup and in the variety of inverse semigroups determined by laws of the form x = x. Covering space methods are used to study the free objects in a variety of the form V \l Q where V is a variety of inverse semigroups and Q is the variety of groups.
منابع مشابه
Trifree Objects in E-Varieties of Locally E-Solid Semigroups
We construct a modification of Churchill and Trotter’s trifree objects in e-varieties of locally E-solid semigroups, which have the property, for e-varieties of locally inverse semigroups and for e-varieties of Esolid semigroups, of being isomorphic to the bifree objects.
متن کاملSemidirect Products of Regular Semigroups
Within the usual semidirect product S ∗ T of regular semigroups S and T lies the set Reg (S ∗ T ) of its regular elements. Whenever S or T is completely simple, Reg (S ∗T ) is a (regular) subsemigroup. It is this ‘product’ that is the theme of the paper. It is best studied within the framework of existence (or e-) varieties of regular semigroups. Given two such classes, U and V, the e-variety U...
متن کاملVarieties of Commutative Semigroups
In this paper, we describe all equational theories of commutative semigroups in terms of certain well-quasi-orderings on the set of finite sequences of nonnegative integers. This description yields many old and new results on varieties of commutative semigroups. In particular, we obtain also a description of the lattice of varieties of commutative semigroups, and we give an explicit uniform sol...
متن کاملOn Lattices of Varieties of Restriction Semigroups
The left restriction semigroups have arisen in a number of contexts, one being as the abstract characterization of semigroups of partial maps, another as the ‘weakly left E-ample’ semigroups of the ‘York school’, and, more recently as a variety of unary semigroups defined by a set of simple identities. We initiate a study of the lattice of varieties of such semigroups and, in parallel, of their...
متن کاملA System of Bi-identities for Locally Inverse Semigroups
A class of regular semigroups closed under taking direct products, regular subsemigroups, and homomorphic images is an existence-variety (or evariety) of regular semigroups. Each e-variety of locally inverse semigroups can be characterized by a set of bi-identities. These are identities of terms of type (2, 2) in two sorts of variables X and X'. In this paper we obtain a basis of bi-identities ...
متن کامل