Kommutative Algebren/Moduldefinition und Ringhomomorphismus/Äquivalenz/Aufgabe

Seien und kommutative Ringe. Zeige, dass genau dann eine -Algebra ist, wenn ein -Modul ist, für den zusätzlich

gilt.