For any ideal I of a ring R, let S=R/I. In this note, we consider the following global lifting problem: For any projective S-module Q, does there exist a projective R-module P such that Q and P/IP are isomorphic as S-modules? The concept of global lifting was introduced in Wu's paper and one of our goals there is to study the computation of K_0 groups. Thus in what follows, Q and P are sometimes assumed to be finitely generated in addition.
展开▼
机译:对于环R的任何理想I,令S = R / I。在此注释中,我们考虑以下全局提升问题:对于任何射影S模块Q,是否存在射影R模块P使得Q和P / IP与S模块同构? Wu的论文中介绍了全局提升的概念,我们的目标之一是研究K_0组的计算。因此,在下文中,有时假定Q和P是另外有限生成的。
展开▼