证明了若R是GCD整环,N是有限型的w-模F的w-子模,满足(N:F)=(um),其中u∈R是素元,则存在F的w-子模升链A0=N(∠)A1(∠)…(∠)Am=F,使......