Une propriété d'une classe de structures signifiant que deux structures de la classe partageant une sous‑structure commune peuvent être plongées dans une seule structure de la classe de sorte que les deux plongements coïncident sur la sous‑structure commune (elles sont amalgamées).

Principe

Étant donné des plongements d'une sous‑structure partagée dans deux structures, il existe une troisième structure et des plongements de ces deux dernières dans celle‑ci rendant le diagramme canonique commutatif ; la partie partagée est identifiée de manière cohérente.

Démonstration

Pour la classe des graphes finis (avec plongements comme inclusions de sous‑graphes induits), étant donné A ⊆ B1 et A ⊆ B2, leur réunion disjointe en identifiant A fournit un graphe de la classe dans lequel B1 et B2 se plongent en coïncidant sur A.

Mauvaise application

Supposer l'amalgamation sans vérifier le type de plongement (par exemple supposer que l'amalgamation par homomorphisme suffit) ou présumer l'unicité des amalgames à isomorphisme près quand seule l'existence est garantie ; cela induit des erreurs sur la structure.

Conséquence

En présence de cette propriété, l'amalgamation permet de construire de grandes structures homogènes ou universelles à partir de morceaux finis et est une hypothèse clé en théorie de Fraïssé et dans de nombreux résultats de classification en modèle.

Inversion

L'échec de l'amalgamation survient lorsque deux extensions d'une sous‑structure commune ne peuvent pas être combinées sans provoquer une inconsistance ou sans écraser des relations non désirées ; cela signale des obstructions à la construction de limites homogènes.

Limite

Dépend de la notion de plongement et des propriétés de clôture de la classe ; elle peut échouer dans des classes fermées sous des morphismes plus faibles ou lorsque des contraintes supplémentaires (comme des relations algébriques) empêchent une identification cohérente.

Tension sémantique

Rivalise avec des notions comme la Propriété d'Amalgamation Forte (qui interdit des identifications supplémentaires) et avec la Propriété d'Emboîtement Conjoint ; la tension porte sur le fait que l'existence seule suffit ou non pour les constructions visées.

Synthèse

La Propriété d'Amalgamation affirme que des compatibilités locales sur une sous‑structure commune se recollent en une structure globale appartenant à la classe, garantissant l'existence de plongements cohérents identifiant la partie commune.