关于可数生成模的投射分解

设R为带单位元的结合环,对于任一可数生成的R——模V,以及V的可数生成的投射分解:…→P_2→P_1→P_0→V→0,必有R的某可数子环S,以及可数(i=0,1,2,…)使得作为S-模…→M_2→M_1→M_0→U→0是U的投射分解,并且S与U分别能从R和V中继承许多良好的性质。