Ringerweiterung/Automorphismengruppe/Operation auf Kähler-Differentialen/Aufgabe

Es sei ${}R\subseteq S$ eine Erweiterung von kommutativen Ringen. Zeige, dass die Automorphismengruppe ${}\operatorname {Aut} _{R}\,(S)$ in natürlicher Weise auf dem Modul der Kähler-Differentiale ${}\Omega _{S{|}R}$ ${}R$-linear operiert.

Eine Lösung erstellen