Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 10h30 en salle 1013 (Sophie Germain) - https://semgrp.imj-prg.fr pour plus de renseignements.
Questions de décidabilité pour des théories de modules sur certains anneaux de Bézout
Date
04/10/2016
Horaire
16:00 à 17:30
Diffusion
Résume
Nous introduisons la notion de modules l-valués sur un anneau commutatif de Bézout. Un exemple étant l'anneau lui-même muni de l'application vers son groupe de divisibilité (une l-valuation). Dans ce cadre et supposant une propriété de divisiblité, nous montrons un résultat d'élimination relative des quantificateurs. Un des ingrédients est un théorème de Feferman-Vaught pour ces modules l-valués.
On en déduit des résultats de décidabilité pour des théories de modules sur certains anneaux de Bézout dénombrables avec “bonne factorization”, dont un cas particulier sont les “bons” domaines de Rumely (un exemple de tels domaines est l'anneau des entiers algébriques dont la décidabilité dans le langage des anneaux avait été montrée par van den Dries).
C'est un travail en commun avec Sonia L'Innocente (Université de Camérino).