Kommutative Algebren/Moduldefinition und Ringhomomorphismus/Äquivalenz/Aufgabe

Aus Wikiversity

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

gilt.