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