En el campo matemático de la teoría de modelos , la propiedad de amalgamación es una propiedad de las colecciones de estructuras que garantiza, bajo ciertas condiciones, que dos estructuras de la colección puedan considerarse subestructuras de una más grande.
Esta propiedad juega un papel crucial en el teorema de Fraïssé , que caracteriza las clases de estructuras finitas que surgen como eras de estructuras homogéneas contables.
El diagrama de la propiedad de amalgama aparece en muchas áreas de la lógica matemática . Algunos ejemplos incluyen la lógica modal como una relación de accesibilidad incestuosa, [ aclaración necesaria ] y en el cálculo lambda como una forma de reducción que tiene la propiedad de Church-Rosser .
Una amalgama se puede definir formalmente como una 5-tupla ( A,f,B,g,C ) tal que A,B,C son estructuras que tienen la misma firma , y f: A → B, g : A → C son incrustaciones . Recordemos que f: A → B es una incrustación si f es un morfismo inyectivo que induce un isomorfismo de A a la subestructura f(A) de B. [1]
Una clase K de estructuras tiene la propiedad de amalgamación si para cada amalgama con A,B,C ∈ K y A ≠ Ø, existen tanto una estructura D ∈ K como incrustaciones f': B → D, g': C → D tales que
Una teoría de primer orden tiene la propiedad de amalgamación si la clase de modelos de tiene la propiedad de amalgamación. La propiedad de amalgamación tiene ciertas conexiones con el cuantificador eliminación .
En general, la propiedad de amalgamación puede considerarse para una categoría con una elección específica de la clase de morfismos (en lugar de incrustaciones). Esta noción está relacionada con la noción categórica de un pullback , en particular, en conexión con la propiedad de amalgamación fuerte (ver más abajo). [2]
Una noción similar pero diferente a la propiedad de amalgamación es la propiedad de incrustación conjunta . Para ver la diferencia, primero considere la clase K (o simplemente el conjunto) que contiene tres modelos con órdenes lineales, L 1 de tamaño uno, L 2 de tamaño dos y L 3 de tamaño tres. Esta clase K tiene la propiedad de incrustación conjunta porque los tres modelos pueden incrustarse en L 3 . Sin embargo, K no tiene la propiedad de amalgamación. El contraejemplo para esto comienza con L 1 que contiene un solo elemento e y se extiende de dos maneras diferentes a L 3 , una en la que e es el más pequeño y la otra en la que e es el más grande. Ahora bien, cualquier modelo común con una incrustación de estas dos extensiones debe ser al menos de tamaño cinco para que haya dos elementos a cada lado de e .
Consideremos ahora la clase de cuerpos algebraicamente cerrados . Esta clase tiene la propiedad de amalgama, ya que dos extensiones de cuerpo cualesquiera de un cuerpo primo pueden incorporarse a un cuerpo común. Sin embargo, dos cuerpos arbitrarios no pueden incorporarse a un cuerpo común cuando las características de los cuerpos difieren.
Una clase K de estructuras tiene la propiedad de amalgama fuerte (SAP), también llamada propiedad de amalgama disjunta (DAP), si para cada amalgama con A,B,C ∈ K existen tanto una estructura D ∈ K como incrustaciones f': B → D, g': C → D tales que
![{\displaystyle f'[B]\cap g'[C]=(f'\circ f)[A]=(g'\circ g)[A]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7de4e1ad6bc2f6c87b33f0f28bd575dc3ff4653)
