稳定自由模

（模论和代数K理论中的基本概念）

稳定自由模(stably free module)亦称准自由模.模论和代数K理论中的一个基本概念，是介于自由模与投射模之间的模类.设P是一个A模，若有自然数。与n，使得P①A<m>=A<‑}，则称P为稳定自由模.自由模当然是稳定自由的，同时稳定自由模必然是投射模;反之都未必成立.研究自由模与投射模之间的差距，可通过它们与稳定自由模的关系来进行.