The main result of this paper gives a presentation for an arbitrary subgroup of a monoid defined by a presentation. It is a modification of the well known Reidemeister-Schreier theorem for groups. Some consequences of this result are explored. It is proved that a regular monoid with finitely many le
Presentations of General Products of Monoids
✍ Scribed by T.G Lavers
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 129 KB
- Volume
- 204
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
Conditions are found under which a general product of two finitely presented monoids is itself finitely presented. Presentations in terms of the presentations of the factors are given, subject to these conditions. ᮊ 1998 Academic Press Presentations of monoids are of great practical and theoretical importance. So, given a ''recipe'' for constructing a monoid from one or more monoids, it is natural to ask for a recipe that gives a presentation for the constructed monoid from presentations of the ''ingredients.'' This philosow x phy lies behind a recent article of Howie and Ruskuc 1 , and also w x motivates much of Ruskuc's thesis 6 . The recipe considered in the
📜 SIMILAR VOLUMES
Let M be a reductive monoid with a reductive unit group G. Clearly there is a natural G × G action on M. The orbits are the -classes (in the sense of semigroup theory) and form a finite lattice. The general problem of finding the lattice remains open. In this paper we study a new class of reductive
A new strict hierarchy for the pseudovariety of aperiodic monoids is described. The nth level of the hierarchy is the pseudovariety of all divisors of monoids of full transformations of finite chains respecting some n-chain of inter¨als. The levels can be obtained by iterated semidirect product of t
Let G be a group acting effectively on a Hausdorff space X, and let Y be an open dense subset of X. We show that the inverse monoid generated by elements of G regarded as partial functions on Y is an F-inverse monoid whose maximum group image is isomorphic to G. We also describe the monoid in terms
The long-known results of Schreier᎐Eilenberg᎐Mac Lane on group extensions are raised to a categorical level, for the classification and construction of the manifold of all graded monoidal categories, the type being given group ⌫ with 1-component a given monoidal category. Explicit application is mad