𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Presentations for Subgroups of Monoids

✍ Scribed by N. Ruškuc


Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
116 KB
Volume
220
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

✦ Synopsis


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 left and right ideals is finitely presented if and only if all its maximal subgroups are finitely presented. An inverse monoid with finitely many left and right ideals is finitely presented as an inverse monoid if and only if it is finitely presented as a monoid. An example of a finitely presented monoid with a finitely generated but not finitely presented group of units is exhibited.


📜 SIMILAR VOLUMES


Presentations of General Products of Mon
✍ T.G Lavers 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 129 KB

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

A Normal Form for a Class of Monoids Inc
✍ Ruth Corran 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 188 KB

The first part of this paper investigates a class of homogeneously presented monoids. Constructions which enable division and multiplication to be computed are described. The word problem and the division problem are solved, and a unique normal form is given for monoids in this class. The second par

Finitely Presented Normal Subgroups of a
✍ F.E.A. Johnson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 109 KB

We show that if ⌫ is a finitely presented normal subgroup of a product G = G 1 2 of Fuchsian groups which projects nontrivially to each factor, then ⌫ has finite index in G = G . The proof uses the author's previous reduction of the descrip-1 2 tion of normal subdirect products to the abelian case

Finite-Rank Free Metabelian Subgroups of
✍ Ada Peluso 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 148 KB

A sufficient condition is obtained for the residual torsion-free nilpotence of certain finitely presented metabelian groups that arise from a matrix representa-Ž . tion developed by Magnus 1939, Ann. of Math. 40, 764᎐768 for metabelian Ž groups. Using this condition and a construction due to Baumsla