Un homomorfismo inyectivo f: M → N entre estructuras del mismo lenguaje de primer orden tal que para toda fórmula de primer orden φ(x1,...,xn) y todo tuple a de M, M ⊨ φ(a) si y solo si N ⊨ φ(f(a)); equivalentemente, f preserva y refleja todas las verdades de primer orden con parámetros de M.

Principio

La elementalidad se caracteriza por la preservación y reflexión de fórmulas de primer orden: una inmersión elemental identifica M con una subestructura elemental de N, de modo que M y su imagen satisfacen exactamente las mismas propiedades de primer orden con parámetros de M.

Demostración

La aplicación diagonal de una estructura M a un ultrapoder suficientemente saturado de M es elemental; recíprocamente, la inclusión de un submodelo elemental M ⊆ N es una inmersión elemental, lo que justifica el traslado de propiedades definibles entre M y N.

Aplicación incorrecta

Tratar como elemental cualquier homomorfismo inyectivo o cualquier inmersión que preserve fórmulas atómicas o sin cuantificadores; tales morfismos no preservan necesariamente fórmulas existenciales o universales y pueden fallar en ser elementales.

Consecuencia

Las inmersiones elementales permiten transferir enunciados de primer orden y construir cadenas elementales y extensiones elementales; son los morfismos de la teoría de modelos que preservan la estructura de primer orden completa y sostienen nociones de saturación y compacidad.

Inversión

Una inmersión no elemental (mera inmersión) puede preservar ciertos hechos estructurales pero no reflejar verdades de primer orden; la inversión enfatiza la diferencia entre preservación sintáctica de hechos atómicos y preservación semántica de todas las fórmulas de primer orden.

Límite

La elementalidad es una noción de primer orden: exige una firma común y concierne únicamente a fórmulas de primer orden; no garantiza la preservación de propiedades infinitarias o de orden superior ni de invariantes combinatorios fuera de lo expresable en primer orden.

Tensión semántica

Tensión entre inmersión elemental y equivalencia elemental: dos estructuras pueden ser elementalmene equivalentes (misma teoría) sin que exista una inmersión elemental entre ellas; la elementalidad es más fuerte que compartir teoría pero más débil que el isomorfismo.

Síntesis

Una inmersión elemental es una aplicación inyectiva que preserva y refleja todas las verdades de primer orden, identificando la fuente con una subestructura elemental del objetivo y posibilitando el traslado coherente de propiedades definibles y modelísticas.