Résume | Un corps aux différences est un corps avec un automorphisme distingué. La modèle compagne de leur théorie, ACFA, est supersimple. En analogie avec ce qui se passe pour les corps différentiels de caractéristique 0 et la théorie DCF0, on peut se demander si les modèles premiers (d'ACFA) existent et sont uniques à isomorphisme près.
Je donnerai d'abord les raisons évidentes pour une réponse négative. Puis j'investiguerai la question si sur certains corps aux différences il existe des modèles premiers uniques, et là encore, donnerai un contre-exemple.
Il se trouve cependant qu'en regardant d'autres notions de clôtures, provenant de notions de modèles aleph-epsilon saturés ou kappa-saturés, et en imposant une condition naturelle au corps de base K, on peut montrer que les modèles aleph-epsilon premiers (ou kappa-premiers) existent et sont uniques à K-isomorphisme près.
Ce résultat est faux en caractéristique positive. |