Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
Combinatorial algorithms in semigroups
Item metadata
dc.contributor.advisor | Mitchell, James David | |
dc.contributor.author | Smith, Finlay Laughlan | |
dc.coverage.spatial | 180 | en_US |
dc.date.accessioned | 2024-02-15T14:04:03Z | |
dc.date.available | 2024-02-15T14:04:03Z | |
dc.date.issued | 2022-06-14 | |
dc.identifier.uri | https://hdl.handle.net/10023/29260 | |
dc.description.abstract | Computational semigroup theory is concerned with developing and implementing algorithms for determining properties of semigroups. The problems in computational semigroup theory can often be divided into sub-problems in computational group theory and combinatorics. In this thesis, we demonstrate how to split a number of problems into group-theoretical and combinatorial sub-problems, and provide algorithms for solving the combinatorial sub-problems. The algorithms presented in this thesis have been implemented in C++ and GAP, and benchmarks are provided to show them practical. In Chapter 1, we introduce the necessary background in semigroup theory. In Chapter 2, we introduce a new algorithm for non-exhaustively determining the structure of a semigroup defined by generators, and show that it applies to certain families of matrices over semirings as well as a number of standard and well-known families to which previous algorithms apply. In Chapter 3 we describe and compute minimal generating sets for several naturally occurring monoids of boolean matrices, in particular the full boolean matrix monoid, Hall monoid, reflexive boolean matrix monoid, and upper and lower triangular boolean matrix monoids. These results extend the dimensions for which the ranks of these monoids are known. We also determine the rank of the 2 × 2 matrices over the max-plus and min-plus semirings with and without threshold, as well as the n × n matrices over Z/kZ relative to their group of units. Chapter 4 contains new algorithms for determining the translations and bitranslations of arbitrary finite semigroups. We also provide specialised algorithms for computing translations and bitranslations of semigroups defined by finite presentations, completely 0-simple semigroups, congruence-free semigroups, and completely-simple semigroups. Finally, Chapter 4 contains some further questions raised by the work in this thesis. | en_US |
dc.language.iso | en | en_US |
dc.publisher | University of St Andrews | en |
dc.subject.lcc | QA182.S6 | |
dc.subject.lcsh | Algorithms | en |
dc.subject.lcsh | Semigroups | en |
dc.subject.lcsh | Combinatorial group theory | en |
dc.title | Combinatorial algorithms in semigroups | en_US |
dc.type | Thesis | en_US |
dc.contributor.sponsor | Engineering and Physical Sciences Research Council (EPSRC) | en_US |
dc.type.qualificationlevel | Doctoral | en_US |
dc.type.qualificationname | PhD Doctor of Philosophy | en_US |
dc.publisher.institution | The University of St Andrews | en_US |
dc.identifier.grantnumber | EP/N509759/1 | en_US |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.