Strukturen/Automorphismus/Automorphismengruppe/Definition
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.