##  [Modelo Primo](/es/node/63599) 

 Definición

Un modelo P de una teoría completa T es primo si P se inmersa elementalmente en todo modelo de T; es un representante canónico y minimal (respecto a inmersiones elementales) de la teoría.

 

 

 

 

 

 





## Principio

Principio

Minimalidad por inmersión elemental: la primalidad selecciona un modelo más pequeño que debe aparecer dentro de cualquier otro modelo de la misma teoría completa, sirviendo como base o núcleo atómico desde el cual se extienden los demás.

 

 

 

 

 





## Demostración

Demostración

Para la teoría de cuerpos algebraicamente cerrados de característica fija, el cierre algebraico del cuerpo primo (por ejemplo, el cierre algebraico de Q o de F_p) es un modelo primo: se inmersa elementalmente en todo cuerpo algebraicamente cerrado de esa característica.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Equiparar primo con la menor cardinalidad o suponer que toda teoría tiene un modelo primo; un modelo primo es minimal en el sentido de inmersiones, no necesariamente en cardinalidad, y muchas teorías no admiten modelo primo.

 

 

 

 

 





## Consecuencia

Consecuencia

Cuando existe, un modelo primo proporciona una estructura mínima canónica que a menudo es atómica y útil para construir y comparar modelos; los modelos primos ayudan a analizar cierres definibles y propiedades fundamentales de algebraicidad.

 

 

 

 

## Inversión

Inversión

Una teoría sin modelo primo carece de una base canónica mínima por inmersión; los modelos pueden ser incomparables por inmersión elemental y la clasificación exige otros invariantes como tipos saturados o mínimos.

 

 

 

 

 





## Límite

Límite

Los modelos primos se definen para teorías completas de primer orden y requieren pruebas de existencia; la existencia puede fallar para teorías incompletas o con pocos tipos aislados, y la primalidad depende del lenguaje elegido y de la hipótesis de completitud.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Relacionado con modelos atómicos y modelos mínimos en contextos algebraicos: los modelos primos suelen ser atómicos en teorías completas contables, pero la primalidad enfatiza la universalidad por inmersión mientras que la atomicidad enfatiza los tipos aislados, produciendo una distinción sutil.

 

 

 

 

 





## Síntesis

Síntesis

Un modelo primo es el bloque elemental mínimo de una teoría completa: se inmersa en todo modelo de la teoría y, cuando existe, ofrece una semilla canónica y a menudo atómica desde la que se construyen o comparan otros modelos.