2011-02-28 中山の補題 math 局所環 上の有限加群 が をみたすならば, 証明 を の生成元とすると, が存在して, の生成する部分加群を とする. は の部分加群なので, に含まれないならば に一致する. より,// -coherent -module が locally free であることの証明にも用いる.