射影加群
環 R は半単純 ⇔ すべての左 R 加群は射影的
Piはすべて射影加群 ⇔ ⊕Pi は射影加群
可換局所環上の有限生成射影加群は自由加群
体係数多項式環上の有限生成射影加群は自由加群 (en:Quillen-Suslin theorem)