tion::::定义.此节给出投射模的两种等价定义。
自由模的直和项.投射模最直接的刻划是一个自由模的直和项；换言之，一个模 formula_2 是投射模，若且唯若存在另一个模 formula_3 使得 formula_4 是自由模。此时 formula_2 是 formula_6 的一个投影态射的项。
提昇性质.较容易操作也较符合范畴论思想的定义是利用提昇性质。模 formula_2 是投射模，若且唯若对任何模满射 formula_8 及模态射 form