Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.advisorRobertson, E. F.
dc.contributor.advisorRuskuc, Nik
dc.contributor.authorCain, Alan James
dc.coverage.spatialxv, 181 p.en_US
dc.date.accessioned2018-07-09T11:21:39Z
dc.date.available2018-07-09T11:21:39Z
dc.date.issued2005
dc.identifier.urihttp://hdl.handle.net/10023/15119
dc.description.abstractThis 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.en_US
dc.language.isoenen_US
dc.publisherUniversity of St Andrewsen
dc.subject.lccQA182.C2
dc.subject.lcshSemigroupsen
dc.subject.lcshPresentations of groups (Mathematics)en
dc.titlePresentations for subsemigroups of groupsen_US
dc.typeThesisen_US
dc.contributor.sponsorCarnegie Trust for the Universities of Scotlanden_US
dc.type.qualificationlevelDoctoralen_US
dc.type.qualificationnamePhD Doctor of Philosophyen_US
dc.publisher.institutionThe University of St Andrewsen_US


This item appears in the following Collection(s)

Show simple item record