En una estructura de primer orden dada M y para un conjunto de parámetros A ⊆ M, el cierre algebraico en sentido modeloteórico acl(A) es el conjunto de elementos de M que satisfacen alguna fórmula con parámetros en A que tiene solo un número finito de soluciones en M. Es un operador de cierre que captura la definibilidad por finitud sobre A en sentido modeloteórico.

Principio

acl se organiza por el criterio de soluciones finitas: un elemento es algebraico sobre A exactamente cuando está aislado entre las realizaciones de alguna fórmula con parámetros en A que admite finitas soluciones. De ello resulta un operador monotónico e idempotente con carácter finito que con frecuencia induce una preg geometría en teorías bien comportadas.

Demostración

En un cuerpo algebraicamente cerrado considerado como estructura de primer orden, un elemento está en acl(A) precisamente cuando es algebraico sobre el subcampo generado por A en el sentido algebraico usual; por ejemplo, una raíz de un polinomio no nulo con coeficientes en A pertenece a acl(A) porque el polinomio tiene un número finito de raíces en el modelo.

Aplicación incorrecta

Confundir acl(A) con el cierre definible dcl(A) en teorías arbitrarias o suponer que todo elemento algebraico en sentido modeloteórico genera una extensión algebraica finita en el sentido algebraico; ambos errores mezclan nociones de cierre distintas y desatienden la dependencia respecto al modelo y el criterio de finitud.

Consecuencia

El uso correcto de acl proporciona una noción bien definida de dependencia algebraica y suele generar una teoría de dimensiones o una preg geometría (propiedad de intercambio) en contextos estables o ω-estables, permitiendo definir independencia, bases canónicas y clasificar tipos por rango algebraico.

Inversión

La perspectiva inversa es la independencia algebraica: los elementos no contenidos en acl(A) son transcendentes sobre A en sentido modeloteórico, lo que significa que cualquier fórmula con parámetros en A que intentara aislarlos tiene infinitas soluciones; esto contrapone la dependencia por finitud a la libertad ilimitada.

Límite

acl depende del modelo ambiente y del lenguaje: solo captura la finitud de conjuntos de soluciones dentro del modelo especificado, excluye clases de equivalencia definibles de tamaño infinito y se distingue de otros cierres (dcl, cierre algebraico de campos) salvo en teorías particulares; sus buenas propiedades geométricas requieren hipótesis modeloteóricas adicionales.

Tensión semántica

acl entra en tensión con el cierre definible dcl: dcl exige definibilidad única por una fórmula mientras que acl admite ambigüedad finita. También existe tensión con la noción algebraica clásica de cierre en cuerpos cuando la estructura no es un cuerpo o cambia el lenguaje.

Síntesis

El cierre algebraico modeloteórico condensa la idea de estar finitamente determinado por parámetros en un operador de cierre: aísla los elementos con un número finito de posibilidades definibles sobre A y, combinado con estabilidad u otras hipótesis, constituye la estructura geométrica para argumentos de independencia y dimensión.