Entre les catégories des groupes semialgébriques et des groupes de Lie se trouve la catégorie des groupes définissables dans une expansion o-minimale des réels (noté simplement définissables dans la suite). Puisque tout groupe définissable peut être équipé d’une structure de groupe de Lie (Pillay 1989), il est intéressant de savoir sous quelles conditions un groupe de Lie est isomorphe (au sens de Lie) à un groupe définissable. Starchenko, Onshuus et Conversano ont répondu à cette question dans le cas où le groupe est résoluble (2016). Nous nous intéresserons ici au cas linéaire puis si le temps le permet au cas général.
- Théorie des Modèles et Groupes