射影加群

数学において、射影加群(しゃえいかぐん、英: projective module）とは、表現可能関手 Hom(P, –) が完全となるような加群 P のことである。 自由加群の一般化に相当する。ホモロジー代数学における基本的な概念のひとつであり、で導入された。