| EPSRC Reference: |
GR/K42103/01 |
| Title: |
COMPUTATIONAL SEMIGROUP THEORY |
| Principal Investigator: |
Howie, Professor J |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Pure Mathematics |
| Organisation: |
University of St Andrews |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 April 1996 |
Ends: |
31 March 1999 |
Value (£): |
97,034
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The applicants, together with the proposed research assistant, have begun a highly successful theory of finitely presented semi-groups. The programme will build on the theoretical developments already made and the computational tools already implemented. The theoretical development of Todd-Coxeter type enumeration procedures will continue, providing tools for determining the algebraic structure of a finitely presented semigroup in terms of groups. Rewriting methods have already been found for the determination of certain substructures and this work will be greatly extended. Rewriting techniques will be sought to study the groups of units of a monoid and the group of units of group and semigroup rings.The algorithms and semi-algorithms will be implemented to allow investigation of important semigroups and semigroup constructions. In particular semigroups which occur naturally in group theory, automata theory and the theory of formal languages will be studied using the tools developed as part of the programme.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.st-and.ac.uk |