Geodetic groups: foundational problems in algebra and computer science

该项目旨在解决几何群论和理论计算机科学中的重要和长期悬而未决的问题。自20世纪80年代以来，研究人员一直猜测，大地测量的几何性质等同于几个纯粹的代数、算法和语言理论特征。 项目小组在群体的测地线性质、正式语言和群体之间的互动以及重写系统理论方面的专业知识，加上该小组最近取得的突破，确保了可以预期的重大成果。 好处包括对研究型学生和博士后研究人员进行尖端技术培训，以及增进数学和计算机科学的基础知识。

The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations. The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected. Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.