L收縮(L-retract)由L同態誘導出的概念.設M,N是f模，若存在L同態。:M}N和Y:N->M,使得。Y - 1.},，則稱N為M的一個L收縮，其中1N表示N的恆等L同態.f模是投射的充分必要條件是，它為自由f模的一個收縮.
