Eine homogene Struktur ist ein Modell, in dem jedes Isomorphismus zwischen endlichen (oder sonst nach Kontext kleinen) Teilstrukturen zu einem Automorphismus der gesamten Struktur erweitert werden kann; äquivalent liegen Tupel mit demselben quantorenfreien (oder vollständigen) Typ über der leeren Menge in derselben Bahn unter der Automorphismengruppe und zeigen so starke interne Symmetrie.

Prinzip

Erweiterungseigenschaft für partielle Isomorphismen: lokale Symmetrien, die durch Isomorphismen kleiner Teilstrukturen bezeugt werden, lassen sich global fortsetzen, wodurch die Struktur hochsymmetrisch wird und lokale kombinatorische Muster im ganzen Modell wiederkehren.

Demonstration

Der Rado-Graph (random graph) ist ultrahomogen: jeder Isomorphismus zwischen zwei endlichen induzierten Teilgraphen lässt sich zu einem Automorphismus des ganzen Graphen erweitern. Folglich liegen zwei induzierte endliche Teilgraphen gleichen Isomorphietyps in derselben Automorphismenbahn.

Fehlanwendung

Homogenität mit Gesättigtheit oder einfacher Transitivität der Automorphismengruppe zu verwechseln; der Begriff ohne Angabe der Größenbeschränkung (endlich, abzählbar, <κ) zu verwenden, ändert die Bedeutung beträchtlich (ultrahomogen vs. κ-homogen).

Konsequenz

Homogenität impliziert eine vorhersehbare Wirkung der Automorphismen und starke Symmetrieeigenschaften, die zur Klassifikation von Bahnen, zur Berechnung von Automorphismengruppen und zur Anwendung von Back-and-Forth-Argumenten für Eindeutigkeit und Charakterisierung abzählbarer Strukturen genutzt werden.

Umkehrung

Eine starre oder stark asymmetrische Struktur hat wenige oder keine nichttrivialen Automorphismen und fehlt die Erweiterungseigenschaft; die Umkehrung der Homogenität liefert Strukturen, in denen lokale Isomorphismen nicht global erweiterbar sind und die Bahnen feiner sind.

Abgrenzung

Hängt von der erlaubten Größe der Teilstrukturen ab (endlich, endliche Tupel oder <κ); Homogenität ist eine strukturelle Eigenschaft von Erstordnungsmodellen, garantiert aber nicht per se die Realisierung aller Typen (Gesättigtheit) oder andere Regularitäten ohne zusätzliche Voraussetzungen.

Semantische Spannung

Spannung zwischen lokaler Erweiterung (Homogenität) und globaler Realisierung (Gesättigtheit) — Homogenität garantiert die Erweiterung partieller Isomorphismen, kann aber in nicht-gesättigten Modellen vorhanden sein, während Gesättigtheit unter passenden Bedingungen oft Homogenität auf kleinen Parametersätzen liefert.

Synthese

Eine homogene Struktur ist eine, deren lokale Isomorphismen zwischen kleinen Teilstrukturen zu globalen Automorphismen erhoben werden können und so allgegenwärtige Symmetrie erzeugen: sie beschreibt, wie lokale kombinatorische Muster global repliziert werden, und ermöglicht Back-and-Forth-Konstruktionen zur Klassifikation und Eindeutigkeit.