EPSRC Reference: 
EP/Y008626/1 
Title: 
Special Inverse Monoids: Geometry, Structure & Algorithms 
Principal Investigator: 
Kambites, Professor M 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Mathematics 
Organisation: 
University of Manchester, The 
Scheme: 
Standard Research 
Starts: 
01 March 2024 
Ends: 
28 February 2027 
Value (£): 
467,563

EPSRC Research Topic Classifications: 
Algebra & Geometry 
Logic & Combinatorics 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 

Summary on Grant Application Form 
Groups are one of the biggest success stories of modern mathematics, with a rich and beautiful pure mathematical theory which finds application across and beyond mathematics. In particular, they are wellequipped to model problems which display inherent symmetry or reversibility/invertibility, such as often arise in the physical sciences. Weaker algebraic structures such as semigroups and monoids have an even wider potential domain of application, encompassing problems without global symmetry or reversibility, such as those common in biology and computer science. However, they are harder to prove general theorems about, so there is less pure mathematical knowledge to apply.
Inverse monoids are a special type of monoid which form the natural algebraic model of partial symmetry, that is, similarity between different parts of a structure. They have applications in many areas, including notably functional analysis and mathematical physics. Special inverse monoids are a particular class midway between groups and (general) inverse monoids; although they are not yet well understood, the evidence so far suggests they have a rich and beautiful mathematical structure closely related to that of groups, while also displaying some of the wilder behaviour typical of inverse monoids. They also have applications to some problems of wider interest.
Here is an elementary example: consider words (finite sequences of symbols) over a finite alphabet (set of symbols). Suppose we choose two particular words (u and v say) which we declare to be equivalent. We then regard two longer words as equivalent if we can get from one to the other by repeatedly substituting u for v and vice versa within them. For example, if our rule is that AB is equivalent to BBAB, then AABB will be equivalent (by replacing the AB in the middle with BBAB) to ABBABB, and hence also (by replacing to AB at the beginning with BBAB) to BBABBABB and so forth. An natural question is: is there an algorithm which (for a particular rule) will tell us when two words are equivalent? This problem is called the word problem for onerelator monoids (or just the onerelator word problem); it has been a subject of research for over a century, but we still don't know the answer. However, some relatively recent research of Ivanov, Margolis and Meakin shows that it can be rephrased as a problem about special inverse monoids; since the latter have a very much richer algebraic and geometric structure than monoids in general, this is a promising line of attack.
The project seeks to develop our pure mathematical (algebraic, geometric and algorithmic) understanding of special inverse monoids. As well as potentially enabling progress on problems such as that above, it will act as a stepping stone to a better understanding of more general inverse monoids, and hence ultimately contribute to an algebraic understanding of nonreversible and nonsymmetric structures wherever they occur.

Key Findings 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Potential use in nonacademic 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.man.ac.uk 