projective module

Noun

(algebra) A module which is a direct summand of a free module.

Japanese Meaning

自由加群の直和部分加群、すなわち自由加群の直接和の構成要素となる加群

Every projective module over a ring is a direct summand of some free module, which simplifies many homological arguments.

環上の任意の射影加群はある自由加群の直和因子であり、多くのホモロジー論における議論を単純化する。

Sense（1）

(algebra) A module which is a direct summand of a free module.

projective modules

（ plural ）