##  [Amalgamation Property](/amalgamation-property-0) 

 Definition

A property of a class of structures meaning that any two structures in the class that share a common substructure can be embedded into a single structure from the class in such a way that the two embeddings agree on the common substructure (they are amalgamated).

 

 

 

 

 

 





## Principle

Principle

Given embeddings of a shared substructure into two structures, there exists a third structure and embeddings from those two into it making the obvious diagram commute; the shared part is identified consistently.

 

 

 

 

 





## Demonstration

Demonstration

For the class of finite graphs (with embeddings as induced subgraph inclusions), given graphs A ⊆ B1 and A ⊆ B2, their disjoint union identifying A yields a graph in the class into which B1 and B2 embed agreeing on A.

 

 

 

 

## Misapplication

Misapplication

Assuming amalgamation without checking embedding type (e.g., assuming homomorphism amalgamation suffices) or assuming unique amalgams up to isomorphism when only existence is guaranteed; this can mislead structural conclusions.

 

 

 

 

 





## Consequence

Consequence

When present, amalgamation enables the construction of larger homogeneous or universal structures from finite pieces and is a key hypothesis in Fraïssé theory and many model‑theoretic classification results.

 

 

 

 

## Reversal

Reversal

Failure of amalgamation occurs when two extensions of a common substructure cannot be combined without forcing inconsistency or collapsing unwanted relations; this signals obstructions to building homogeneous limits.

 

 

 

 

 





## Boundary

Boundary

Depends on the notion of embedding and on closure properties of the class; it may fail in classes closed under weaker morphisms or when additional constraints (like algebraic relations) obstruct consistent identification.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Competes with notions like the Strong Amalgamation Property (which forbids extra identifications) and with Joint Embedding Property; tension arises in whether existence alone suffices for intended constructions.

 

 

 

 

 





## Synthesis

Synthesis

The Amalgamation Property asserts that local compatibilities over a shared substructure can be glued into a global structure inside the class, providing the existence of consistent embeddings that identify the common part.