## [Größe der Automorphismengruppe](/de/node/60916) Definition Die Kardinalität oder ein strukturelles Maß der Automorphismengruppe einer mathematischen Struktur, betrachtet als Indikator für die inneren Symmetrien der Struktur; Messgrößen sind der Gruppenordner im endlichen Fall oder Invarianten der Automorphismengruppe als abstrakte bzw. topologische Gruppe im unendlichen Fall. ## Prinzip Prinzip Automorphismen sind Bijektionen, die alle Relationen und Funktionen einer Struktur erhalten; die Größe sowie algebraische/topologische Eigenschaften der Automorphismengruppe spiegeln wider, wie homogen, symmetrisch oder starr die Struktur ist, und bestimmen Verhalten von Orbiten und Definierbarkeit. ## Demonstration Demonstration Beispiel: Ein vollständiger Graph mit n Knoten hat eine Automorphismengruppe isomorph zu S_n und damit die Größe n!; eine starre endliche Struktur hat Automorphismengruppe der Größe 1, während abzählbare homogene Strukturen oft große, stark transitive Automorphismengruppen besitzen. ## Fehlanwendung Fehlanwendung Einen großen Automorphismengruppenordner mit vielen definierbaren Mengen gleichzusetzen oder anzunehmen, die Kardinalität der Gruppe bestimme allein die modelltheoretische Komplexität; zwei nicht-isomorphe Strukturen können gleiche Automorphismengruppenkardinalitäten aufweisen, aber unterschiedliche Orbitenstrukturen und definierbare Relationen haben. ## Konsequenz Konsequenz Die Kenntnis von Größe und Struktur der Automorphismengruppe ermöglicht Orbit-Stabilisator-Analysen, die Klassifikation homogener Strukturen, Konstruktionen von Fraïssé-Grenzen und hat Konsequenzen für Definierbarkeit, Eliminierung von Imaginären und symmetriegestützte Algorithmen. ## Umkehrung Umkehrung Die Umkehrperspektive betont Starrheit: Das Studium von Strukturen mit trivialer Automorphismengruppe (Größe eins) hebt die Einzigartigkeit von Elementen und maximale Definierbarkeit hervor statt Symmetrie und Transitivität. ## Abgrenzung Abgrenzung »Größe« ist ein grobes Invariant: Für endliche Strukturen ist es die Gruppenordnung, für unendliche Strukturen werden oft feinere Invarianten benötigt (Topologie, Eigenschaften der Permutationsgruppe, Kardinalität der Orbiten); die Automorphismengruppe ist nur ein Aspekt struktureller Komplexität und muss nicht alle modelltheoretischen Merkmale widerspiegeln. ## Semantische Spannung Semantische Spannung Es besteht Spannung zwischen der Betrachtung der Automorphismengruppengröße als rohes kardinales Invariant und der Sicht auf die Automorphismengruppe als algebraisch/topologisches Objekt, dessen feinere Struktur (Erzeuger, Transitivität, abgeschlossene Untergruppen) mehr Information liefert als bloße Kardinalität. ## Synthese Synthese Die Größe der Automorphismengruppe fasst das Ausmaß der Symmetrie einer Struktur in einer kardinalen oder groben strukturellen Messgröße zusammen; in Kombination mit detaillierteren gruppentheoretischen und Orbiteninformationen ist sie ein mächtiges Werkzeug zur Analyse von Definierbarkeit, Homogenität und Klassifikation.