论文部分内容阅读
设局部GCD整环(R,m)满足:存在u∈m-m~2,使得R/(u)是赋值环,且R_u是Bézout整环,则R叫做U_2环,u叫做一个正规元素.证明了若R是U_2环,则R与一元多项式环R[X]都是凝聚环;且若u是R的正规元素,dim(R/(u))=1,则每个有限生成投射R[X]-模是自由模.