Struktur/Automorphismus/Gruppe/Definition

Automorphismus

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

$\phi :M⟶M$

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