restriction of scalars of a module for a ringhomomorphism

1. Proposition

Let \(R,S\) be rings, \(M\) an \(S\)-module and \(\varphi: R \rightarrow S\) Then \(M\) is an $R$-Module with

\begin{align*} r \cdot m \coloneqq& \varphi(r) \cdot m \end{align*}

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:38