Use this URL to cite or link to this record in EThOS:
Title: Presentations for subsemigroups of groups
Author: Cain, Alan James
Awarding Body: University of St Andrews
Current Institution: University of St Andrews
Date of Award: 2005
Availability of Full Text:
Access from EThOS:
Access from Institution:
This thesis studies subsemigroups of groups from three perspectives: automatic structures, ordinary semigroup presentations, and Malcev presentaions. [A Malcev presentation is a presentation of a special type for a semigroup that can be embedded into a group. A group-embeddable semigroup is Malcev coherent if all of its finitely generated subsemigroups admit finite Malcev presentations.] The theory of synchronous and asynchronous automatic structures for semigroups is expounded, particularly for group-embeddable semigroups. In particular, automatic semigroups embeddable into groups are shown to inherit many of the pleasant geometric properties of automatic groups. It is proved that group- embeddable automatic semigroups admit finite Malcev presentations, and such presentations can be found effectively. An algorithm is exhibited to test whether an automatic semigroup is a free semigroup. Cancellativity of automatic semigroups is proved to be undecidable. Study is made of several classes of groups: virtually free groups; groups that satisfy semigroup laws (in particular [virtually] nilpotent and [virtually] abelian groups); polycyclic groups; free and direct products of certain groups; and one-relator groups. For each of these classes, the question of Malcev coherence is considered, together with the problems of whether finitely generated subsemigroups are finitely presented or automatic. This study yields closure and containment results regarding the class of Malcev coherent groups. The property of having a finite Malcev presentation is shown to be preserved under finite Rees index extensions and subsemigroups. Other concepts of index are also studied.
Supervisor: Robertson, E. F. ; Ruskuc, Nik Sponsor: Carnegie Trust for the Universities of Scotland
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: QA182.C2 ; Semigroups ; Presentations of groups (Mathematics)