含幺交换环R上有限生成模不同基的势相等的证明

定理设R为含幺的交换环,S和T是有限生成自由R—模M的两个基,则|S|=|T|。证法1 设S={x1,x2,…,xn},T={y1,y2,…,ym}为R—模M的两个不同基。由于R是含幺交换环,知存在R极大理想m,使k=R/m为域。下边考虑R—模M的子模:而M/mM可视为R—模,但,故M/mM可作为R/m—模。另一方面,S={x1,x2,…,xn}是M的基,可知是R/m—模M/mM的生成元而且是k=R/m线性无关的。