Struktur/Automorphismus/Gruppe/Definition

Automorphismus

Es sei ein erststufiges Symbolalphabet und sei eine -Struktur. Ein -Isomorphismus

heißt ein -Automorphismus von . Die Menge aller -Automorphismen bildet die -Automorphismengruppe von , geschrieben .