Le théorème de Hahn asserte que tout groupe abélien divisible ordonné (GADO) est (à isomorphie près) un sous groupe du produit de Hahn, et contient la somme de Hahn (le produit et la somme en question étant pris au-dessus du squelette de G). Le squelette de G étant un invariant valuatif, il est facile de voir que tout automorphisme de G induit un automorphisme de son squelette.Dans cet exposé, nous nous penchons sur la réciproque: peut-on caractériser les GADOs pour lesquels tout automorphisme du squelette se relève en un automorphisme du groupe?. Il est facile de vérifier que la somme et produit de Hahn, et en fait, tout groupe de séries de Hahn ?-bornées (pour un cardinal infini ?), ont cette propriété de relèvement, mais on est loin d’une caractérisation générale. En particulier, il serait utile de savoir si tout groupe exponentiel a cette propriété.
- Théorie des Modèles et Groupes