## [Homogene Struktur](/de/node/60078) Definition 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 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 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 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 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 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 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 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 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.