Modelltheorie/Relative Automorphismengruppe/Untergruppe/Aufgabe

Es sei ${}S$ ein Symbolalphabet, ${}M$ eine ${}S$-Struktur und ${}N\subseteq M$ eine ${}S$-Unterstruktur. Zeige, dass die relative Automorphismengruppe ${}S-\operatorname {Aut} _{N}\,M$ eine Untergruppe der Automorphismengruppe

${}S-\operatorname {Aut} \,M$ ist.

Eine Lösung erstellen