Presentations for subsemigroups of finitely generated commutative semigroups

We introduce the concept of presentation for subsemigroups of finitely generated commutative semigroups, which extends the concept of presentation for finitely generated commutative semigroups. We show that for every subsemigroup of a finitely generated commutative semigroup there are special presentations which solve the word problem in the given subsemigroup. Some properties like being cancellative, reduced and/or torsion free are studied under this new point of view. This paper was supported by the project DGES PB96-1424.     

The alternating semigroups: Generators and congruences

The idea of an even permutation has recently been generalized, via path notation, to one-one partial transformations (charts) in the symmetric inverse semigroupsC _n. The even charts form the alternating semigroupA _n ^c ⊂C _n . Generators ofA _n ^c are identified: It then follows that forn≥5,A _n ^c is the collection of restrictions of the even permutations (of rankn). Like theC _n case, the congruences ofA _n ^c form a chain. Part of this research was supported by a Mary Washington College faculty development grant.     

Invariant semigroups of orthodox semigroups

We consider, in a right inverse semigroupS with a multiplicative inverse transversalS ^o, the notion of anS ^o-invariant subsemigroup and use this to describe all the left amenable orders definable onS. The results obtained, together with their duals, are used to prove that ifS is an orthodox semigroup with a multiplicative inverse transversalS ^o, then every amenable order onS ^o can be extended to a unique amenable order onS. NATO Collaborative Research Grant 910765 is gratefully acknowledged. The second-named author also gratefully acknowledges support from the Calouste Gulbenkian Foundation, Lisbon.     

Quotient semigroups and extension semigroups

We discuss properties of quotient semigroup of abelian semigroup from the viewpoint of C ^*-algebra and apply them to a survey of extension semigroups. Certain interrelations among some equivalence relations of extensions are also considered.     

Inverse semigroups and varieties of finite semigroups

In this paper we shall present a new construction of the free inverse monoid on a set X. Contrary to the previous constructions of [9, 11], our construction is symmetric and originates from classical ideas of language theory. The ingredients of this construction are the free group on X and the relation that associates to a word w of the free monoid on X, the set of all pairs (u, v) such that uv = w. It follows at once from our construction that the free inverse monoid on X can be naturally embedded into the Schützenberger product of two free groups of basis X. We shall also give some connections with the theory of expansions as developed by Rhodes and Birget [2, 3].     

Embedding inverse semigroups in coset semigroups

The setK(G) of all cosets X of a group G, modulo all subgroups of G, forms an inverse semigroup under the multiplication X*Y=smallest coset that constains XY. In this note we show that each inverse semigroup S can be embedded in some coset semigroupK(G). This follows from a result which shows that symmetric inverse semigroups can be embedded in the coset semigroups of suitable symmetric groups. We also give necessary and sufficient conditions on an inverse semigroup S in order that it should be isomorphic to someK(G). This research was supported by a grant from the National Science Foundation.     

Preaffine semigroups and convex matrix semigroups

Algebraic conditions are given which guarantee that a semigroup on a subset of real topological vector space can be embedded in a convex matrix semigroup. We also study when the minimal ideal of a convex matrix semigroup will be convex.     

Preaffine semigroups and convex matrix semigroups

Algebraic conditions are given which guarantee that a semigroup on a subset of real topological vector space can be embedded in a convex matrix semigroup. We also study when the minimal ideal of a convex matrix semigroup will be convex.     

Completely regular semigroups as semigroups of partial transformations

Communicated by G. Lallement     

Presentations of noneffective orbifolds

It is well known that an effective orbifold (one for which the local stabilizer groups act effectively) can be presented as a quotient of a smooth manifold by a locally free action of a compact Lie group . We use the language of groupoids to provide a partial answer to the question of whether a noneffective orbifold can be so presented. We also note some connections to stacks and gerbes.