Eine Klasse von Strukturen (häufig eine Varietät oder Modellklasse) hat die Amalgamierungseigenschaft (AP), wenn jede Paarung von Einbettungen einer gemeinsamen Unterstruktur in zwei Strukturen gemeinsam in eine einzige Oberstruktur eingebettet werden kann, so dass die beiden Einbettungen auf dem gemeinsamen Teil übereinstimmen (es existiert ein Amalgam bzw. Pushout für das Diagramm der Einbettungen).

Prinzip

AP bedeutet die Existenz kompatibler Pushouts für Einbettungsdiagramme: zu Einbettungen A→B1 und A→B2 existiert C und Einbettungen B1→C, B2→C, die das Quadrat kommutativ machen und die Bilder von A identifizieren, wodurch Strukturen entlang gemeinsamer Unterstrukturen konsistent zusammengefügt werden können.

Demonstration

Beispiel: Die Klasse der Vektorräume über einem festen Körper hat AP: gegeben Einbettungen eines gemeinsamen Unterraums in zwei Vektorräume ist ihr Amalgam der Quotient der direkten Summe durch die diagonale Kopie des Unterraums (bzw. die Summe als Unterraum einer gemeinsamen Erweiterung), wodurch ein Vektorraum entsteht, in dem die beiden Einbettungen auf dem gemeinsamen Unterraum übereinstimmen.

Fehlanwendung

Zu behaupten, AP gelte in einer Klasse ohne Prüfung der Einbettungen (z. B. AP für beliebige erste Ordnungstheorien oder für Körper pauschal) oder AP anzuwenden, wenn nur schwächere Eigenschaften wie die gemeinsame Einbettung existieren; auch AP mit Amalgamierung beliebiger Homomorphismen statt Einbettungen zu verwechseln ist ein Fehlgebrauch.

Konsequenz

Hat eine Klasse AP, so sind zahlreiche modelltheoretische und algebraische Konstruktionen möglich: Aufbau homogener und universaler Strukturen, Analyse von Amalgamen von Erweiterungen und Folgerungen zu Eindeutigkeit oder Kategorisität in gewissen Kardinalitäten; AP beeinflusst zudem Definierbarkeits‑ und Stabilitätsaspekte in der Modelltheorie.

Umkehrung

Das Versagen von AP bedeutet, dass es Einbettungen derselben A in B1 und B2 gibt, die nicht gleichzeitig in ein C eingebettet werden können, das die Identifikation auf A erhält; viele natürliche Klassen (z. B. bestimmte mit Zusatzstruktur versehene Körper oder Klassen mit inkompatiblen algebraischen Abschlüssen) zeigen AP‑Scheitern und damit Obstruktionsphänomene für Erweiterungen.

Abgrenzung

AP bezieht sich auf Einbettungen (injektive struktur­erhaltende Abbildungen) und die Existenz eines kommutativen Amalgams; sie garantiert nicht die Eindeutigkeit der Amalgame bis auf Isomorphismus, außer es gelten zusätzliche Bedingungen, und sie gilt nicht für Nicht‑Einbettungen. AP kann für eine Varietät gelten, für ihre Reduktionen oder Erweiterungen aber versagen, daher sind Signatur und Morphismenkategorie entscheidend.

Semantische Spannung

Spannung zwischen AP und der gemeinsamen Einbettungseigenschaft (JEP): JEP garantiert nur eine gemeinsame Erweiterung zweier Strukturen, jedoch kein kommutierendes Amalgam, das eine gemeinsame Unterstruktur identifiziert; AP ist streng stärker und bringt zusätzliche diagrammatische Anforderungen mit sich.

Synthese

Die Amalgamierungseigenschaft besagt, dass kompatible Einbettungen in eine gemeinsame Erweiterung zusammengefügt werden können: formal die Existenz von Pushouts für Einbettungsdiagramme. AP erlaubt kontrolliertes Verkleben von Strukturen, begründet viele modelltheoretische Konstruktionen homogener und universaler Objekte, und ihr Vorhandensein oder Fehlen prägt Erweiterungs‑ und Klassifikationsphänomene.