Évènement

Richard MANDEL
Max Planck Institute for Software Systems à Kaiserslautern, Allemagne
https://sites.google.com/view/richardmandel

Date(s) : 20/02/2026   iCal
11h00 - 12h00

Pour un groupe G finiment engendré, le célèbre théorème de Boone-Higman établit l’équivalence entre la décidabilité de son problème du mot, et l’existence d’un plongement de G dans un sous-groupe simple d’un groupe de présentation finie. Chose frappante, ceci fournit une caractérisation entièrement algébrique d’une propriété algorithmique. Une question se pose donc naturellement : pour quels autres problèmes algorithmiques peut-on trouver une telle caractérisation? Sacerdote a donné une réponse partielle en étendant ce résultat à quelques autres problèmes de décision (par exemple le problème d’appartenance à un sous-groupe). Nous démontrons une extension à une classe de problèmes encore plus large, comprenant notamment le problème diophantien. (Travail en commun avec Francesco Matucci.)

Emplacement
Saint-Charles - FRUMAM (2ème étage)

Catégories

• Séminaire