Strukturen/Automorphismus/Automorphismengruppe/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Automorphismus

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

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