Zum Inhalt springen

Strukturen/Automorphismus/Automorphismengruppe/Definition

Aus Wikiversity
Automorphismus

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

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