射影加群

数学において、射影加群(しゃえいかぐん、英: projective module）とは、表現可能関手 Hom(P, –) が完全となるような加群 P のことである。自由加群の一般化に相当する。