Free Objects in Certain Varieties of Inverse Semigroups
Samuel Margolis, John C. Meakin, Joseph B. Stephen · Canadian Journal of Mathematics · 1990
Abstract 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 formxn=xn+ 1. Covering space methods are used to study the free objects in a variety of the form ∨ where is a variety of inverse semigroups and is the variety of groups.