|  Agenda del Departamento | 
|   | Canal @matematicasuamEnlace al canal del Departamento en youtube. | 
| PIM (Pequeño Instituto de Matemáticas)Con el objetivo de fomentar el interés por las matemáticas y dirigido a jóvenes entre 14 y 18 años, nace este proyecto de Instituto de Ciencias Matemáticas (ICMAT) en colaboración con nuestro Departamento, la Universidad Autónoma de Madrid y la Real Sociedad Matemática Española. El proyecto comienzó en el curso académico 2022-2023. Ampliar información en su página web. | 
Seminario teoría de grupos UAM-ICMAT
Miercoles 9 de Octubre, 12:30, Aula 520 UAM 
 
 Albert Garreta (UPV/EHU) 
 
 Title: Equations and first-order theory of one-relator monoids and of word-hyperbolic monoids. 
 
 Abstract: 
 
 First we will introduce the classes of word-hyperbolic monoids and of one- 
 relator monoids, and we will compare these to their group theoretic counter- 
 parts. We will also provide a broad overview on the topics of first-order theory 
 and Diophantine problems in groups and monoids, paying special attention 
 to their algorithmic aspects. We will then proceed to discuss the decidability 
 of different fragments of the first-order theory in word-hyperbolic monoids 
 and one-relator monoids. In particular we will prove in an informal manner 
 that in many of these one can encode (by means of systems of equations) 
 the longstanding open problem of word equations with length constraints. A 
 consequence of this result is that these monoids have undecidable positive 
 AE-theory. This is joint work with Robert D. Gray.