Una estructura se llama homogénea (a menudo ultrahomogénea) si todo isomorfismo entre sus subestructuras finitas se extiende a un autómorfismo de la estructura entera. Equivalentemente, los patrones finitos que aparecen en la estructura pueden trasladarse en cualquier lugar mediante simetrías globales.

Principio

La idea organizadora es la extensibilidad de simetrías locales: los isomorfismos locales no se ven obstaculizados y pueden realizarse globalmente. Esto hace que el grupo de autómorfismos sea altamente transitivo sobre configuraciones finitas y con frecuencia determina la estructura por su edad (clase de subestructuras finitas).

Demostración

El grafo aleatorio numerable (grafo de Rado) es homogéneo: cualquier isomorfismo entre dos subgrafos inducidos finitos se extiende a un autómorfismo del grafo entero, lo que explica su alta simetría y su unicidad entre grafos numerables con la propiedad de extensión.

Aplicación incorrecta

Afirmar homogeneidad sin la hipótesis sobre subestructuras finitas (por ejemplo, sostener que isomorfismos parciales entre subestructuras infinitas siempre se extienden) o confundir homogeneidad modeloteórica con nociones más débiles como la transitividad de vértices conduce a conclusiones erróneas sobre extensibilidad y simetría.

Consecuencia

La homogeneidad verdadera produce una fuerte regularidad estructural: clasificación mediante límites de Fraïssé, grupos de autómorfismos ricos y argumentos back-and-forth controlables que generan resultados de unicidad y universalidad para modelos numerables con una edad dada.

Inversión

El reverso es la rigidez: una estructura cuyo único autómorfismo es la identidad o cuyos isomorfismos locales no se extienden. La rigidez exhibe la pérdida de simetrías globales y normalmente impide construcciones basadas en amalgama.

Límite

La homogeneidad es una propiedad de extensión finitaria: concierne a isomorfismos de subestructuras finitas y no implica automáticamente la extensión de isomorfismos parciales arbitrarios, ni la categoricidad o saturación. Existen formas graduadas (k-homogeneidad, ultrahomogeneidad) y la homogeneidad puede fallar en contextos no numerables sin hipótesis adicionales.

Tensión semántica

Hay tensión entre la homogeneidad como propiedad combinatoria de extensión y otras nociones modeloteóricas de homogeneidad (por ejemplo, saturación o homogeneidad relativa a tipos): una estructura puede ser ultrahomogénea en el sentido de subestructuras finitas pero no saturada, y viceversa.

Síntesis

Una estructura homogénea es aquella cuyas simetrías locales finitas se extienden globalmente, volviéndola maximalmente simétrica respecto de patrones finitos; esta extensibilidad finito-a-global sustenta muchas construcciones canónicas y resultados de clasificación en teoría de modelos y combinatoria.