係数環の変更
係数拡大は R 加群の圏から S 加群の圏への関手と解釈できる.それは M を上のように SM に送り,R 準同型 u: M → N を u S = id S ⊗ u {\displaystyle u_{S}={\text{id}}_{S}\otimes u} で定義される S 準同型 uS: SM → SN に送る.