Amalgamation property


In the mathematical field of model theory, the amalgamation property is a property of collections of structures that guarantees, under certain conditions, that two structures in the collection can be regarded as substructures of a larger one.
This property plays a crucial role in Fraïssé's theorem, which characterises classes of finite structures that arise as
ages of countable homogeneous structures.
The diagram of the amalgamation property appears in many areas of mathematical logic. Examples include in modal logic as an incestual accessibility relation, and in lambda calculus as a manner of reduction having the Church–Rosser property.

Definition

An amalgam can be formally defined as a 5-tuple such that A,B,C are structures having the same signature, and f: AB, g: AC are injective morphisms that are referred to as embeddings.
A class K of structures has the amalgamation property if for every amalgam with A,B,CK and A ≠ Ø, there exist both a structure DK and embeddings f': BD, g': CD such that
A first-order theory has the amalgamation property if the class of models of has the amalgamation property. The amalgamation property has certain connections to the quantifier elimination.

Examples

A similar but different notion to the amalgamation property is the joint embedding property. To see the difference, first consider the class K containing three models with linear orders, L1 of size one, L2 of size two, and L3 of size three. This class K has the joint embedding property because all three models can be embedded into L3. However, K does not have the amalgamation property. The counterexample for this starts with L1 containing a single element e and extends in two different ways to L3, one in which e is the smallest and the other in which e is the largest. Now any common model with an embedding from these two extensions must be at least of size five so that there are two elements on either side of e.
Now consider the class of algebraically closed fields. This class has the amalgamation property since any two field extensions of a prime field can be embedded into a common field. However, two arbitrary fields cannot be embedded into a common field when the characteristic of the fields differ.

Strong amalgamation property

A class K of structures has the strong amalgamation property, also called the disjoint amalgamation property, if for every amalgam with A,B,CK there exist both a structure DK and embeddings f': BD, g': CD such that