Ein Modell P einer vollständigen Theorie T heißt prim, wenn P sich elementar in jedes Modell von T einbetten lässt; es ist ein minimales (bezüglich elementarer Einbettungen) kanonisches Repräsentant der Theorie.

Prinzip

Minimalität durch elementare Einbettung: Primalität wählt ein kleinstes Modell aus, das in jedem anderen Modell derselben vollständigen Theorie erscheinen muss und als Basis oder atomarer Kern dient, von dem aus andere Modelle sich erweitern.

Demonstration

Für die Theorie der algebraisch abgeschlossenen Körper einer festen Charakteristik ist der algebraische Abschluss des Primfeldes (z. B. der algebraische Abschluss von Q oder von F_p) ein Primmodell: er lässt sich elementar in jeden algebraisch abgeschlossenen Körper dieser Charakteristik einbetten.

Fehlanwendung

Prim mit geringster Kardinalität verwechseln oder annehmen, jede Theorie habe ein Primmodell; ein Primmodell ist minimal im Sinne von Einbettungen, aber nicht notwendigerweise in der Kardinalität, und viele Theorien besitzen kein Primmodell.

Konsequenz

Existiert es, liefert ein Primmodell eine kanonische minimale Struktur, die oft atomar ist und nützlich zum Konstruieren und Vergleichen von Modellen dient; Primmodelle helfen, definierbare Abschlüsse und grundlegende Algebraizitäts-Eigenschaften zu analysieren.

Umkehrung

Eine Theorie ohne Primmodell besitzt keine kanonische minimale Einbettungsbasis; Modelle können dann gegenseitig nicht durch elementare Einbettungen vergleichbar sein, und die Klassifikation erfordert andere Invarianten wie gesättigte oder minimale Typen.

Abgrenzung

Primmodelle sind für vollständige Theorien der ersten Ordnung definiert und bedürfen eines Existenznachweises; Existenz kann für unvollständige Theorien oder solche mit zu wenigen isolierten Typen scheitern, und Primalität hängt von der gewählten Sprache und der Vollständigkeitsannahme ab.

Semantische Spannung

Verwandt mit atomaren Modellen und minimalen Modellen in algebraischen Kontexten: Primmodelle sind in abzählbaren vollständigen Theorien oft atomar, doch betont Primalität die Einbettungsuniversalisität, während Atomarität auf isolierte Typen fokussiert — ein subtiler Unterschied.

Synthese

Ein Primmodell ist das minimale elementare Bauelement einer vollständigen Theorie: es lässt sich in jedes Modell der Theorie einbetten und liefert, falls vorhanden, einen kanonischen, oft atomaren Keim, von dem andere Modelle konstruiert oder verglichen werden.