目次 自由加群と射影的加群 函手を完全にする加群を射影的加群と呼んだ。ホム函手は常に左完全であるから、これは完全列が完全列を誘導することを意味する。つまりが全射のとき、任意のに対してとなるが存在する。このようなを一般にのによる持ち上げ（lifti…