##  [Primmodell](/de/node/63599) 

 Definition

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

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

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

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

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

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

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

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

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.