Une structure homogène est un modèle dans lequel tout isomorphisme entre sous-structures finies (ou autrement petites, selon le contexte) s’étend en un automorphisme de la structure entière ; équivalemment, des tuples ayant le même type quantificateur-libre (ou complet) sur l’ensemble vide se trouvent dans la même orbite sous le groupe des automorphismes, ce qui témoigne d’une forte symétrie interne.

Principe

Propriété d’extension des isomorphismes partiels : les symétries locales observées par des isomorphismes de petites sous-structures peuvent être étendues globalement, rendant la structure hautement symétrique et assurant la récurrence des motifs combinatoires locaux dans tout le modèle.

Démonstration

Le graphe de Rado (ou graphe aléatoire) est ultrahomogène : tout isomorphisme entre deux sous-graphes finis induits s’étend en un automorphisme du graphe entier. Par conséquent, deux sous-graphes finis induits du même type d’isomorphisme se trouvent dans la même orbite d’automorphismes.

Mauvaise application

Confondre homogénéité avec saturation ou avec la simple transitivité du groupe d’automorphismes ; utiliser le terme sans préciser la borne de taille (finie, dénombrable, <κ) modifie sensiblement la signification (ultrahomogène vs κ-homogène).

Conséquence

L’homogénéité entraîne une action d’automorphismes prévisible et des propriétés de symétrie fortes utilisées pour classifier les orbites, calculer les groupes d’automorphismes et appliquer des arguments de back-and-forth pour l’unicité et la caractérisation de structures dénombrables.

Inversion

Une structure rigide ou fortement asymétrique possède peu ou pas d’automorphismes non triviaux et n’a pas la propriété d’extension ; inverser l’homogénéité donne des structures où les isomorphismes locaux ne s’étendent pas globalement et où les orbites sont plus fines.

Limite

Dépend de la taille autorisée des sous-structures (finies, tuples finis ou <κ) ; l’homogénéité est une propriété structurelle des modèles du premier ordre mais ne garantit pas en soi la réalisation de tous les types (saturation) ni d’autres régularités sans hypothèses supplémentaires.

Tension sémantique

Tension entre extension locale (homogénéité) et réalisation globale (saturation) — l’homogénéité garantit l’extension des isomorphismes partiels mais peut tenir dans des modèles non saturés, et inversement la saturation assure souvent une homogénéité pour de petits ensembles de paramètres sous des conditions appropriées.

Synthèse

Une structure homogène est celle dont les isomorphismes locaux entre petites sous-structures peuvent être relevés en automorphismes globaux, produisant une symétrie omniprésente : elle explique comment les motifs combinatoires locaux se répliquent globalement et permet des constructions back-and-forth pour la classification et l’unicité.