La cardinalidad o medida estructural del grupo de automorfismos de una estructura matemática, considerada como indicador de sus simetrías internas; las medidas pueden ser el orden del grupo en el caso finito o invariantes del grupo de automorfismos visto como grupo abstracto o topológico en el caso infinito.

Principio

Los automorfismos son bijecciones que preservan todas las relaciones y funciones de una estructura; el tamaño y las propiedades algebraicas/topológicas del grupo de automorfismos reflejan cuán homogénea, simétrica o rígida es la estructura y condicionan el comportamiento de órbitas y definibilidad.

Demostración

Ejemplo: el grafo completo con n vértices tiene grupo de automorfismos isomorfo a S_n con tamaño n!; una estructura finita rígida tiene grupo de automorfismos de tamaño 1, mientras que estructuras numerables homogéneas suelen tener grupos de automorfismos grandes y altamente transitivos.

Aplicación incorrecta

Equiparar un grupo de automorfismos grande con muchos conjuntos definibles o asumir que la cardinalidad del grupo por sí sola determina la complejidad modelo-teórica; dos estructuras no isomorfas pueden compartir cardinalidades del grupo de automorfismos pero diferir en la estructura de órbitas y relaciones definibles.

Consecuencia

Conocer el tamaño y la estructura del grupo de automorfismos informa análisis órbita-estabilizador, la clasificación de estructuras homogéneas, la construcción de límites de Fraïssé y tiene consecuencias para la definibilidad, la eliminación de imaginarios y algoritmos basados en simetría.

Inversión

La perspectiva inversa enfatiza la rigidez: estudiar estructuras con grupo de automorfismos trivial (tamaño uno) destaca la unicidad de elementos y la definibilidad máxima en lugar de la simetría y la transitividad.

Límite

'Tamaño' es un invariante grosero: para estructuras finitas es el orden del grupo, pero para estructuras infinitas a menudo se necesitan invariantes más finos (topología, propiedades del grupo de permutaciones, cardinalidad de órbitas); el grupo de automorfismos es solo un aspecto de la complejidad estructural y no refleja necesariamente todas las características modelo-teóricas.

Tensión semántica

Hay tensión entre ver el tamaño del grupo de automorfismos como un invariante cardinal bruto y verlo como un objeto algebraico/topológico cuyo detalle estructural (generación, transitividad, subgrupos cerrados) aporta más información que la mera cardinalidad.

Síntesis

El tamaño del grupo de automorfismos condensa el grado de simetría de una estructura en una medida cardinal o estructural grosera; combinado con información grupal y de órbitas más fina, se convierte en una herramienta potente para analizar definibilidad, homogeneidad y clasificación.