Struktur/Automorphismus/Gruppe/Definition

Aus Wikiversity
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 .