Use this URL to cite or link to this record in EThOS:
Title: On generators, relations and D-simplicity of direct products, Byleen extensions, and other semigroup constructions
Author: Baynes, Samuel
ISNI:       0000 0004 5361 337X
Awarding Body: University of St Andrews
Current Institution: University of St Andrews
Date of Award: 2015
Availability of Full Text:
Access from EThOS:
Access from Institution:
In this thesis we study two different topics, both in the context of semigroup constructions. The first is the investigation of an embedding problem, specifically the problem of whether it is possible to embed any given finitely presentable semigroup into a D-simple finitely presentable semigroup. We consider some well-known semigroup constructions, investigating their properties to determine whether they might prove useful for finding a solution to our problem. We carry out a more detailed study into a more complicated semigroup construction, the Byleen extension, which has been used to solve several other embedding problems. We prove several results regarding the structure of this extension, finding necessary and sufficient conditions for an extension to be D-simple and a very strong necessary condition for an extension to be finitely presentable. The second topic covered in this thesis is relative rank, specifically the sequence obtained by taking the rank of incremental direct powers of a given semigroup modulo the diagonal subsemigroup. We investigate the relative rank sequences of infinite Cartesian products of groups and of semigroups. We characterise all semigroups for which the relative rank sequence of an infinite Cartesian product is finite, and show that if the sequence is finite then it is bounded above by a logarithmic function. We will find sufficient conditions for the relative rank sequence of an infinite Cartesian product to be logarithmic, and sufficient conditions for it to be constant. Chapter 4 ends with the introduction of a new topic, relative presentability, which follows naturally from the topic of relative rank.
Supervisor: Ruškuc, Nik Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Semigroups ; D-simple ; Bisimple ; Byleen extension ; Relative rank ; Embedding ; QA182.B2 ; Semigroups ; Group theory--Generators ; Group theory--Relations ; Embeddings (Mathematics)