On projective modules and computation of dimension of a module over Laurent polynomial ring (Q555248)

The authors give a procedure and describe an algorithm to compute the dimension of a module over Laurent polynomial ring. They prove the cancellation theorems for projective modules and the qualitative version of Laurent polynomial analogue of Horrock's theorem. In the sequel we indicate a couple of theorems proved in the paper. Theorem 1: Let \(P\) and \(P'\) be finitely generated projective modules over \(R[X,X^{-1}]\). Suppose that \(fP\subset P'\subset P\) for some doubly monic polynomial \(f\in R[X,X^{-1}]\). Then \(P\) and \(P'\) are stably isomorphic. In particular, if \(P_f\simeq P'_{f'}\) then \(P\) and \(P'\) are stably isomorphic. Theorem 2: Let \(R\) be a local ring and \(P\) be a projective \(R[X,X^{-1}]\) module. Then, for any doubly monic polynomial \(f\in R[X,X^{-1}]\), the \(R[X,X^{-1}]\) module \(P\) and the \(R[X,X^{-1}]_f\) module \(P_f\) have the same minimal number of generators.