Struktur/Automorphismus/Gruppe/Definition

Automorphismus

Es sei ${}S$ ein erststufiges Symbolalphabet und ${}M$ sei eine ${}S$-Struktur. Ein ${}S$-Isomorphismus

$\varphi \colon M\longrightarrow M$

heißt ein ${}S$-Automorphismus von ${}M$. Die Menge aller ${}S$-Automorphismen bildet die ${}S$-Automorphismengruppe von ${}M$, geschrieben ${}\operatorname {Aut} _{S}\,M$.