Strukturen/Automorphismus/Automorphismengruppe/Definition

Automorphismus

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

$\phi :M⟶M$

heißt $S$-Automorphismus. Die Menge aller $S$-Automorphismen bilden die $S$-Automorphismengruppe.