A 単位的可換環
M A加群

(L⊗M)⊗N ～ L⊗(M⊗N), M⊗N ～ N⊗M だから、
係数拡大で得られる操作はどの順番でやっても結果は同型

I⊂A イデアル
M/IM ～ A/I⊗M

S⊂A 乗法的集合
S^(-1)M ～ S^(-1)A⊗M

I⊂A イデアル
lim(M/I^nM) ～ lim(A/I^n)⊗M