EnglishFrançais

Site Web DMA

Bannière DMA Site de l'ENS Site Paris Sciences et Lettres Site du CNRS Accueil

Théorie des Modèles et Groupes

Horaires : Le mardi 21 février 2017, 16h

Lieu : Sophie Germain, Salle 1016

Equationalité des paires de corps

Amador Martin-Pizarro (Lyon 1)

Une théorie est équationelle si tout ensemble définissable est combinaison booléenne d'instances d'équations, c'est-à-dire des formules telles que la famille des intersections finies d'instances ont la propriété de chaîne descendante. L'équationalité, introduite par Srour et ensuite étudiée par Pillay et Srour, entraîne la stabilité. Or, le seul exemple algébrique naturel d'une théorie stable non-équationelle est la théorie du groupe non-abélien libre, comme récemment montré par Sela. Cependant, ce n'est pas évident de montrer qu'une théorie stable donnée est équationelle. Cet exposé présentera les idées d'un travail en commun avec Martin Ziegler sur l'équationalité de la théorie des belles paires de corps algébriquement clos en toute caractéristique.

 

Autres séances du séminaire


45 rue d'Ulm - F 75230 PARIS cedex 05 | phone : (33) 1 44 32 20 49 | fax : (33) 1 44 32 20 69

Plan du site | Mentions légales | | Edition du site | Web site designed under SPIP