Fonctionne avec Indico
v3.2.9
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 ?"