Eine Eigenschaft einer Strukturklasse, die besagt, dass beliebige zwei Strukturen der Klasse mit einer gemeinsamen Teilstruktur in eine einzelne Struktur der Klasse eingebettet werden können, wobei die beiden Einbettungen auf der gemeinsamen Teilstruktur übereinstimmen (sie werden amalgamiert).

Prinzip

Bei gegebenen Einbettungen einer gemeinsamen Teilstruktur in zwei Strukturen existiert eine dritte Struktur und Einbettungen der beiden in diese, so dass das offensichtliche Diagramm kommutiert; der gemeinsame Teil wird konsistent identifiziert.

Demonstration

Für die Klasse der endlichen Graphen (mit Einbettungen als Inklusionen induzierter Teilgraphen) liefert die disjunkte Vereinigung unter Identifikation von A für A ⊆ B1 und A ⊆ B2 einen Graphen aus der Klasse, in den B1 und B2 einbettbar sind und auf A übereinstimmen.

Fehlanwendung

Die Amalgamation ohne Prüfung des Einbettungstyps anzunehmen (z. B. fälschlich Homomorphismen zuzulassen) oder die Eindeutigkeit des Amalgams bis auf Isomorphie vorauszusetzen, obwohl nur Existenz garantiert ist; das führt zu falschen strukturellen Schlüssen.

Konsequenz

Ist Amalgamation vorhanden, so ermöglicht sie den Aufbau größerer homogener oder universeller Strukturen aus endlichen Bausteinen und ist eine zentrale Voraussetzung in der Fraïssé‑Theorie und in vielen modelltheoretischen Klassifikationssätzen.

Umkehrung

Das Versagen der Amalgamation liegt vor, wenn zwei Erweiterungen einer gemeinsamen Teilstruktur nicht vereinbar zusammengefügt werden können, ohne Inkonsistenzen zu erzeugen oder unerwünschte Relationen zu kollabieren; dies zeigt Hindernisse für homogene Limiten.

Abgrenzung

Hängt von der Begriffsbestimmung der Einbettung und von Abschlussbedingungen der Klasse ab; sie kann in Klassen scheitern, die unter schwächeren Morphismen abgeschlossen sind, oder wenn zusätzliche Beschränkungen (z. B. algebraische Relationen) eine konsistente Identifikation verhindern.

Semantische Spannung

Steht im Spannungsverhältnis zu Begriffen wie der starken Amalgamationseigenschaft (die zusätzliche Identifikationen ausschließt) und zur Joint Embedding Property; die Spannung betrifft, ob die bloße Existenz ausreicht für die gewünschten Konstruktionen.

Synthese

Die Amalgamation‑Eigenschaft besagt, dass lokale Verträglichkeiten über eine gemeinsame Teilstruktur zu einer globalen Struktur in der Klasse zusammengeklebt werden können und somit konsistente Einbettungen existieren, die den gemeinsamen Teil identifizieren.