交换环上有限生成自由模的一个性质

用交换代数及同调代数的方法证明了交换环上有限生成自由模的一个性质，并举例说明有限维向量空间中向量组的秩这一概念，不便于推广到交换环上有限生成自由模的情形。