Eine Struktur heißt homogen (oft ultrahomogen), wenn jedes Isomorphismus zwischen ihren endlichen Teilstrukturen zu einem Automorphismus der gesamten Struktur erweiterbar ist. Äquivalent: endliche Muster, die in der Struktur auftreten, können durch globale Symmetrien beliebig verschoben werden.

Prinzip

Das ordnende Prinzip ist die Erweiterbarkeit lokaler Symmetrien: lokale Isomorphismen stoßen auf keine Hindernisse und lassen sich global realisieren. Dadurch wirkt die Automorphismengruppe stark transitiv auf endlichen Konfigurationen und die Struktur wird oft durch ihr Alter (Klasse der endlichen Teilstrukturen) bestimmt.

Demonstration

Der abzählbare zufällige (Rado-)Graph ist homogen: jeder Isomorphismus zwischen zwei endlichen induzierten Teilgraphen erweitert sich zu einem Automorphismus des gesamten Graphen, was seine starke Symmetrie und Einzigartigkeit unter den abzählbaren Graphen mit der Erweiterungseigenschaft erklärt.

Fehlanwendung

Homogenität zu behaupten ohne die Annahme über endliche Teilstrukturen (z. B. zu behaupten, partielle Isomorphismen zwischen unendlichen Teilstrukturen würden sich immer erweitern) oder Homogenität mit schwächeren Begriffen wie Vertex-Transitivität zu verwechseln, führt zu falschen Schlüssen über Erweiterbarkeit und Symmetrie.

Konsequenz

Echte Homogenität führt zu starker struktureller Regelmäßigkeit: Klassifizierung durch Fraïssé-Limits, reiche Automorphismengruppen und oft kontrollierbare Back-and-Forth-Argumente, die Eindeutigkeits- und Universalitätsergebnisse für abzählbare Modelle mit gegebenem Alter liefern.

Umkehrung

Das Gegenteil ist Rigidity: eine Struktur, deren einziger Automorphismus die Identität ist oder deren lokale Isomorphismen nicht erweiterbar sind. Rigidity zeigt den Verlust globaler Symmetrien und verhindert typischerweise Amalgamationskonstruktionen.

Abgrenzung

Homogenität ist eine finitäre Erweiterungseigenschaft: sie bezieht sich auf Isomorphismen endlicher Teilstrukturen und impliziert nicht automatisch die Erweiterung beliebiger partieller Isomorphismen, Kategorizität oder Saturation. Es gibt abgestufte Formen (k-Homogenität, Ultrahomogenität) und Homogenität kann in überabzählbaren Kontexten ohne weitere Voraussetzungen fehlen.

Semantische Spannung

Es besteht eine Spannung zwischen Homogenität als kombinatorischer Erweiterungseigenschaft und anderen modelltheoretischen Homogenitätsbegriffen (z. B. Saturation oder Homogenität bezüglich Typen): Eine Struktur kann ultrahomogen bezüglich endlicher Teilstrukturen, aber nicht saturiert sein und umgekehrt.

Synthese

Eine homogene Struktur ist dadurch charakterisiert, dass lokale endliche Symmetrien sich global fortsetzen lassen, wodurch sie bezüglich endlicher Muster maximal symmetrisch ist; diese finiten-zu-globalen Erweiterbarkeit bildet die Grundlage vieler kanonischer Konstruktionen und Klassifizierungsresultate.