Some cancellation theorems about projective modules over polynomial rings (Q1100236): Difference between revisions

Let R be a commutative Noetherian ring of dimension d, \(A=R[X_ 1,...,X_ n]\) and P a finitely generated projective A-module. P is cancellative if \(P\oplus A=Q\oplus A\) implies \(P\cong Q\). The aim of this paper is to give a positive answer when \(d=2\) or \(n=2\) and R is normal to the following question of \textit{H. Bass}: ``Is every projective A-module P of \(rank\geq d+1\) cancellative?'' In an ``Added in proof'' it is announced that the above question was solved positively by R. A. Rao and H. Lindel by different techniques.