Strukturen/Automorphismus/Automorphismengruppe/Definition

Automorphismus

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

$\varphi \colon M\longrightarrow M$

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