射しゃ影えい加か群ぐん

noun

projective module

A module that is a direct summand of a free module; used in homological algebra and module theory.

• 自じ由ゆう加か群ぐんの直ちょく和わ因いん子しである加か群ぐんを射しゃ影えい加か群ぐんという。

  A module that is a direct summand of a free module is called a projective module.