係数環の変更
係数拡大は R 加群を S 加群に変える.