Back to search results

PhD Studentship: Exploring the Frontiers of Decidability for Semigroups and Inverse Monoids

University of East Anglia - MTH

Qualification Type: PhD
Location: Norwich
Funding for: UK Students, EU Students, International Students
Funding amount: £17,668 annual stipend p.a.
Hours: Full Time
Placed On: 4th October 2022
Closes: 9th January 2023
Reference: GRAYR_U23SCID

One of the most amazing results of twentieth century mathematics was the discovery by Alonzo Church and Alan Turing that there are problems in mathematics that cannot be solved using a computer. Problems that can be solved algorithmically are said to be decidable. This PhD project is in the area of combinatorial algebra which is the study of algebraic objects like groups, and more generally semigroups, defined in terms of a generating set, and a set of defining relations holding among those generators. Many fundamental decision problems arise in combinatorial algebra such as the word problem, which asks whether there is an algorithm which takes two products over the generators and decides whether they represent the same element. Other important decision problems include the conjugacy and isomorphism problems.

A central problem in this area is to understand for which groups and monoids a given problem is decidable. The study of this problem brings together ideas from algebra, logic, geometry, and computer science, and has led researchers to identify and study interesting classes such as hyperbolic groups, and one-relator groups and monoids; see [3].

In this project you will investigate decision problems for semigroups and inverse monoids. While groups are an algebraic abstraction of permutations, and semigroups of arbitrary mappings, inverse monoids correspond to partial bijections and provide a framework for studying partial symmetries. In group theory important progress has been made in this area for groups that can be built up from a sufficiently nice chain of subgroups, called a hierarchy. This approach has been used to solve decision problems for one-relator groups and other classes; see [3, 4]. Building on results from [1] and [2] you will develop theories of hierarchies for semigroups and inverse monoids, analogous to those for groups, and then apply this to investigate decision problems.

Funding

This PhD studentship is funded for three years by the Faculty of Science.  Funding comprises an annual stipend (£17,668 pa), home tuition fees and research costs.  .  International applicants (EU/non-EU) are eligible for UEA funded studentships but are required to fund the difference between Home and International tuition fees (which for 2022-23 are detailed on the University’s fees pages at https://www.uea.ac.uk/about/university-information/finance-and-procurement/finance-information-for-students/tuition-fees).

We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

PhD tools
 

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Ok Ok

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Manage your job alerts Manage your job alerts

Account Verification Missing

In order to create multiple job alerts, you must first verify your email address to complete your account creation

Request verification email Request verification email

jobs.ac.uk Account Required

In order to create multiple alerts, you must create a jobs.ac.uk jobseeker account

Create Account Create Account

Alert Creation Failed

Unfortunately, your account is currently blocked. Please login to unblock your account.

Email Address Blocked

We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below.

Max Alerts Reached

A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert

Manage your job alerts Manage your job alerts

Creation Failed

Unfortunately, your alert was not created at this time. Please try again.

Ok Ok

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

 
 
 
More PhDs from University of East Anglia

Show all PhDs for this organisation …

More PhDs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge