La cardinalité ou la mesure structurelle du groupe d'automorphismes d'une structure mathématique, regardée comme indicateur des symétries internes de la structure ; les mesures peuvent être l'ordre du groupe dans le cas fini ou des invariants du groupe d'automorphismes considéré comme groupe abstrait ou topologique dans le cas infini.

Principe

Les automorphismes sont des bijections qui préservent toutes les relations et fonctions d'une structure ; la taille et les propriétés algébriques/topologiques du groupe d'automorphismes reflètent à quel point la structure est homogène, symétrique ou rigide et contraignent le comportement des orbites et de la définissabilité.

Démonstration

Exemple : un graphe complet à n sommets a pour groupe d'automorphismes le groupe symétrique S_n d'ordre n! ; une structure finie rigide a un groupe d'automorphismes de taille 1, tandis que des structures dénombrables homogènes possèdent souvent des groupes d'automorphismes grands et fortement transitifs.

Mauvaise application

Équivaloir un grand groupe d'automorphismes à beaucoup d'ensembles définissables ou supposer que la cardinalité du groupe à elle seule détermine la complexité modèle-théorique ; deux structures non isomorphes peuvent partager des cardinalités de groupe d'automorphismes mais différer par la structure des orbites et les relations définissables.

Conséquence

Connaître la taille et la structure du groupe d'automorphismes éclaire les analyses orbite-stabilisateur, la classification des structures homogènes, la construction de limites de Fraïssé et a des conséquences pour la définissabilité, l'élimination des imaginaires et les algorithmes fondés sur la symétrie.

Inversion

La perspective inverse met l'accent sur la rigidité : étudier des structures au groupe d'automorphismes trivial (taille un) met en évidence l'unicité des éléments et une définissabilité maximale plutôt que les symétries et la transitivité.

Limite

La 'taille' est un invariant grossier : pour les structures finies il s'agit de l'ordre du groupe, mais pour les structures infinies on a souvent besoin d'invariants plus fins (topologie, propriétés du groupe de permutations, cardinalité des orbites) ; le groupe d'automorphismes n'est qu'un aspect de la complexité structurelle et ne reflète pas nécessairement toutes les caractéristiques modèle-théoriques.

Tension sémantique

Il existe une tension entre la considération de la taille du groupe d'automorphismes comme invariant cardinal brut et la considération du groupe comme objet algébrique/topologique dont la structure fine (générateurs, transitivité, sous-groupes clos) porte plus d'information que la seule cardinalité.

Synthèse

La taille du groupe d'automorphismes condense l'étendue de la symétrie d'une structure en une mesure cardinale ou structurelle grossière ; combinée à des informations groupo-théoriques et d'orbites plus fines, elle devient un outil puissant pour analyser la définissabilité, l'homogénéité et la classification.