Séminaire Logique mathématique ICJ

Une minuscule amelioration au Theoreme des Indecomposables

par Bruno Poizat (ICJ)

Europe/Paris
ICJ, salle 112, bât. Braconnier, UCBL - La Doua

ICJ, salle 112, bât. Braconnier, UCBL - La Doua

Description

Ce theoreme declare que, sous certaines hypotheses, une partie definissable  X  d'un groupe de rang de Morley fini  G  engendre un sous-groupe definissable ; j'en affaibli un peu les hypotheses, grace a l'introduction pour tout  X  definissable d'un certain sous-groupe definissable  e(X) ; a son propos, je suis conduit a examiner la question : "Est-ce-qu'un sous-groupe de  G  finiment engendre peut contenir un groupe infini definissable ?"