Noether环上的幂稳定自由模

摘要

设I是Noether环R的投射理想,I^m=I^n,m≠n.该文证明,有限生成投射右R-模幂稳定自由当且仅当(1)存在环S使得I^(|m-n|)■S■R且有限生成投射S-模是幂稳定自由;(2)有限生成投射右R/I^(|m-n|)-模幂稳定自由.