Un modèle P d'une théorie complète T est premier si P se plonge élémentairement dans tout modèle de T ; c'est un représentant canonique minimal (au sens des plongements élémentaires) de la théorie.

Principe

Minimalité par plongement élémentaire : la primalité sélectionne un plus petit modèle qui doit apparaître dans tout autre modèle de la même théorie complète, servant de base ou de noyau atomique à partir duquel les autres s'étendent.

Démonstration

Pour la théorie des corps algébriquement clos d'une caractéristique fixée, la clôture algébrique du corps premier (par exemple la clôture algébrique de Q ou de F_p) est un modèle premier : elle se plonge élémentairement dans tout corps algébriquement clos de cette caractéristique.

Mauvaise application

Assimiler premier à plus petite cardinalité ou supposer que toute théorie possède un modèle premier ; un modèle premier est minimal au sens des plongements, pas nécessairement de la cardinalité, et de nombreuses théories n'admettent aucun modèle premier.

Conséquence

Lorsqu'il existe, un modèle premier fournit une structure minimale canonique souvent atomique et utile pour construire et comparer des modèles ; les modèles premiers aident à analyser les clôtures définissables et les propriétés d'algébricité fondamentales.

Inversion

Une théorie sans modèle premier n'a pas de base d'emboîtement minimale canonique ; les modèles peuvent alors être mutuellement non comparables par plongement élémentaire, et la classification exige d'autres invariants comme les types saturés ou minimaux.

Limite

Les modèles premiers sont définis pour des théories complètes du premier ordre et exigent des preuves d'existence ; l'existence peut échouer pour des théories incomplètes ou celles ayant trop peu de types isolés, et la primalité dépend du langage choisi et de l'hypothèse de complétude.

Tension sémantique

Lié aux modèles atomiques et aux modèles minimaux en contexte algébrique : les modèles premiers sont souvent atomiques pour les théories complètes dénombrables, mais la primalité met l'accent sur l'universalité par plongement tandis que l'atomicité insiste sur les types isolés, produisant une distinction subtile.

Synthèse

Un modèle premier est le bloc élémentaire minimal d'une théorie complète : il se plonge dans tout modèle de la théorie et, lorsqu'il existe, fournit une graine canonique et souvent atomique à partir de laquelle on construit ou compare les autres modèles.