COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Geometric Group Theory (GGT) Seminar > Fixed points of group homomorphisms and the Post Correspondence Problem

## Fixed points of group homomorphisms and the Post Correspondence ProblemAdd to your list(s) Download to your calendar using vCal - Laura Ciobanu (Heriot-Watt University)
- Friday 03 December 2021, 13:45-14:45
- In person if possible.
If you have a question about this talk, please contact . The Post Correspondence Problem (PCP) is a classical problem in computer science that can be stated as: is it decidable whether given two morphisms g and h between two free semigroups A and B, there is any nontrivial x in A such that g(x)=h(x)? This question can be phrased in terms of equalisers, asked in the context of free groups, and expanded: if the `equaliser’ of g and h is defined to be the subgroup consisting of all x where g(x)=h(x), it is natural to wonder not only whether the equaliser is trivial, but what its rank or basis might be. While the PCP for semigroups is famously insoluble and acts as a source of undecidability in many areas of computer science, the PCP for free groups is open, as are the related questions about rank, basis, or further generalisations. However, in this talk we will show that there are links and surprising equivalences between these problems in free groups, and classes of maps for which we can give complete answers (joint work with Alan Logan). I will also give an overview of what is known about the PCP in hyperbolic groups and beyond. This talk is part of the Geometric Group Theory (GGT) Seminar series. ## This talk is included in these lists:- All CMS events
- CMS Events
- DPMMS info aggregator
- Geometric Group Theory (GGT) Seminar
- Hanchen DaDaDash
- In person if possible
- Interested Talks
- bld31
Note that ex-directory lists are not shown. |
## Other listsLeverhulme Centre for the Future of Intelligence CQIF Seminar Enterprise Tuesday 2016-2017## Other talksHeavy mice and lighter things: developing models of extracellular matrix in health and ageing Targeting T cell ion transport to advance cancer immunotherapy Cambridge - Nova Workshop - Day 2 Morphogenesis and cell ordering in bacterial biofilms CorrosionRADAR - A journey from an invention to a global corrosion monitoring company Transparency, reproducibility, and adaptability in data analysis. |